Trace number 4078840

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.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1208_6-sat.opb
MD5SUM767f3c2306b702c64990fc49595a468e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark21.4007
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20812
Total number of constraints65671
Number of constraints which are clauses65331
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints340
Minimum length of a constraint1
Maximum length of a constraint65
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 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 427
Number of bits of the biggest sum of numbers9
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-07T06:20:55+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-4078840-1465273255.opb"]
0.00/0.01	c use --random-gen="1322573569 1169254273 1404932481 1954502035 1582753616 70886880 1387297697 718946834 4152815914 1691183772 1602422230 1325320140 1601910328 3263971561 1787100488 3914544623 3952142274 3101543285 1891837278 348648283 3905698802 614206593 1875967193 1903039529 1173201756 1250250555 4133166907 2090234273 368365350 1691113498 704742610 206506171 2251446229 566694137 41467522 4054625892 740611029 2383343123 3313321231 1176912819 2684121172 2805999339 1921593267 461184625 2471833159 3986975968 3582749068 1690391891 3495416347 2830367121 1420814443 2215015906 100068531 2432944440 2845839132 1813721076 823765508 1048117058 2360608741 916534756 4231515711 3043825354 1732606772 3978438489 4220699895 1304812898 1752071286 2207452842 2880260431 3896110876 1335324151 1900326053 3138580634 2120478693 118908738 4002375280 2290749360 1009893829 298629274 2501924901 2963892882 378028066 3264433925 2951909450 357058589 556151950 4087777414 566706826 2716478809 4098864814 667433148 82931124 3032983390 1408146891 3035319926 158042922 2013334045 1627832045 1568942251 3164117677 628097509 1869462821 3070285777 1107431004 2849741626 3004207770 2899118205 3902376327 483904463 2853600744 1488302124 2044867702 3920377066 583249975 136156287 4132669346 2484281265 4233107716 2313909863 2977299046 4161568973 2320731188 3585981356 2108040289 77428684 3897377606 2475075057 2559624687 3904445850 802354309 1094740968 3166708816 1023818467 3152498927 2950711762 3959590225 1747998925 3205543304 1973473386 4208444360 1473498013 653888798 1661679720 2136101272 1262012489 2089799106 4212873384 1282659922 4119184551 3795888999 3219862740 2023322017 3970849123 70466257 2674792817 2545424996 1453833357 794885944 3889331630 524045315 3783554542 656257191 576820197 4078318559 3945307162 2511109252 4254950403 613778189 4178997808 1653568944 4154053750 587399080 3806893938 4159870385 897274648 1263651851 2847556386 1291275070 2717213038 1659754992 1513028140 2261109993 939847646 556517752 3738833324 3096342210 2344083442 3205117427 4250714798 1690456008 3335694910 4276536772 2944925798 1482164264 2198793965 656457877 1705686661 2022980870 3118010231 3015411855 349620285 3208389302 737042935 3044235394 453174352 4229083392 1825118717 1956914200 2534829054 1119225042 685029440 214358171 1835276017 3143170478 3914426988 2397671933 148905048 1660923594 2127398704 1384771567 1237657070 2288297284 544981268 3922578750 1466952222 411889627 1018038511 4167648396 1423081007 1008738830 3586967662 387571554 2434251270 2234545975 767459171 3014778959 1659755735 2803350146 2137170803 3916732902 3558606238 2607853553 3251579771 1616317436 2302517165 1410077925 1677470543 4173563182 2633455201 2634195361 3522412879 82998630 3058877819 1731085303 2398496059 261355457 255 362436" option to reproduce the execution
0.29/0.38	c #vars 20812
0.29/0.38	c #constraints 65671
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 |    16862      0 |    14591 |        0
0.99/1.02	c  0.2s |       1 |      175 |      100 |    16862      0 |    14591 |    14761
1.29/1.36	c  0.5s |       2 |      384 |      250 |    18549      0 |    14591 |    14761
1.89/1.91	c  1.1s |       3 |      764 |      475 |    20404      0 |    14591 |    14761
2.59/2.62	c  1.8s |       4 |     1238 |      813 |    22445      0 |    14591 |    14761
3.39/3.47	c  2.6s |       5 |     1929 |     1320 |    24690      0 |    14591 |    14761
4.59/4.67	c  3.8s |       6 |     3060 |     2081 |    29877      0 |    14591 |    14761
6.69/6.76	c  5.9s |       7 |     4643 |     3223 |    32865      0 |    14591 |    14761
8.79/8.81	c  8.0s |       7 |     6202 |     4423 |    32865      0 |    14591 |    14761
9.69/9.77	c  8.9s |       8 |     6879 |     4936 |    36152      0 |    14591 |    14761
11.89/11.92	c 11.1s |       8 |     8389 |     6036 |    36152      0 |    14591 |    14761
13.89/13.94	c 13.1s |       8 |     9855 |     7036 |    36152      0 |    14591 |    14761
14.79/14.87	c 14.0s |       9 |    10462 |     7506 |    39768      0 |    14591 |    14761
16.89/16.95	c 16.1s |       9 |    11870 |     8506 |    39768      0 |    14591 |    14761
18.99/19.03	c 18.2s |       9 |    13227 |     9506 |    39768      0 |    14591 |    14761
20.99/21.04	c 20.2s |       9 |    14419 |    10406 |    39768      0 |    14591 |    14761
23.19/23.28	c 22.4s |       9 |    15546 |    11306 |    43745      0 |    14591 |    14761
23.38/23.44	c 22.6s |      10 |    15615 |    11361 |    43745      0 |    14591 |    14761
25.58/25.68	c 24.8s |      10 |    16653 |    12161 |    43745      0 |    14591 |    14761
27.68/27.78	c 26.9s |      10 |    17796 |    13061 |    43745      0 |    14591 |    14761
29.88/29.94	c 29.1s |      10 |    19001 |    13961 |    43745      0 |    14591 |    14761
32.08/32.14	c 31.3s |      10 |    20242 |    14861 |    43745      0 |    14591 |    14761
34.19/34.28	c 33.4s |      10 |    21491 |    15761 |    43745      0 |    14591 |    14761
36.29/36.31	c 35.5s |      10 |    22315 |    16461 |    43745      0 |    14591 |    14761
37.88/37.90	c 37.1s |      11 |    23239 |    17144 |    48120      0 |    14591 |    14761
39.88/39.91	c 39.1s |      11 |    24285 |    17944 |    48120      0 |    14591 |    14761
42.08/42.12	c 41.3s |      11 |    25445 |    18844 |    48120      0 |    14591 |    14761
44.09/44.12	c 43.3s |      11 |    26256 |    19544 |    48120      0 |    14591 |    14761
46.19/46.25	c 45.4s |      11 |    27258 |    20344 |    48120      0 |    14591 |    14761
48.28/48.36	c 47.5s |      11 |    28353 |    21144 |    48120      0 |    14591 |    14761
50.38/50.46	c 49.6s |      11 |    29207 |    21844 |    48120      0 |    14591 |    14761
52.68/52.79	c 51.9s |      11 |    30100 |    22544 |    48120      0 |    14591 |    14761
54.88/54.96	c 54.1s |      11 |    30982 |    23244 |    48120      0 |    14591 |    14761
57.19/57.28	c 56.4s |      11 |    31865 |    23944 |    48120      0 |    14591 |    14761
59.28/59.32	c 58.5s |      11 |    32792 |    24644 |    48120      0 |    14591 |    14761
61.48/61.58	c 60.7s |      11 |    33728 |    25344 |    48120      0 |    14591 |    14761
63.18/63.27	c 62.4s |      12 |    34301 |    25819 |    52933      0 |    14591 |    14761
65.48/65.59	c 64.7s |      12 |    35075 |    26419 |    52933      0 |    14591 |    14761
67.78/67.85	c 67.0s |      12 |    35785 |    27019 |    52933      0 |    14591 |    14761
69.78/69.87	c 69.0s |      12 |    36516 |    27619 |    52933      0 |    14591 |    14761
71.98/72.02	c 71.2s |      12 |    37233 |    28219 |    52933      0 |    14591 |    14761
74.18/74.25	c 73.4s |      12 |    38194 |    28919 |    52933      0 |    14591 |    14761
76.27/76.36	c 75.5s |      12 |    39075 |    29619 |    52933      0 |    14591 |    14761
78.37/78.49	c 77.6s |      12 |    39809 |    30219 |    52933      0 |    14591 |    14761
80.57/80.63	c 79.8s |      12 |    40563 |    30819 |    52933      0 |    14591 |    14761
82.67/82.71	c 81.9s |      12 |    41356 |    31419 |    52933      0 |    14591 |    14761
84.97/85.04	c 84.2s |      12 |    42059 |    32019 |    52933      0 |    14591 |    14761
86.98/87.05	c 86.2s |      12 |    42697 |    32519 |    52933      0 |    14591 |    14761
89.18/89.24	c 88.4s |      12 |    43421 |    33119 |    52933      0 |    14591 |    14761
91.38/91.50	c 90.6s |      12 |    44190 |    33719 |    52933      0 |    14591 |    14761
93.58/93.67	c 92.8s |      12 |    44913 |    34319 |    52933      0 |    14591 |    14761
95.87/95.95	c 95.1s |      12 |    45686 |    34919 |    52933      0 |    14591 |    14761
98.17/98.22	c 97.4s |      12 |    46379 |    35519 |    52933      0 |    14591 |    14761
100.57/100.64	c 99.8s |      12 |    47114 |    36119 |    52933      0 |    14591 |    14761
102.67/102.77	c  101s |      12 |    47724 |    36619 |    52933      0 |    14591 |    14761
104.97/105.09	c  104s |      12 |    48318 |    37119 |    52933      0 |    14591 |    14761
107.07/107.16	c  106s |      12 |    48959 |    37619 |    52933      0 |    14591 |    14761
109.47/109.51	c  108s |      12 |    49654 |    38219 |    52933      0 |    14591 |    14761
111.77/111.84	c  110s |      12 |    50417 |    38819 |    58227      0 |    14591 |    14761
111.77/111.89	c  111s |      13 |    50435 |    38832 |    58227      0 |    14591 |    14761
114.07/114.19	c  113s |      13 |    51094 |    39332 |    58227      0 |    14591 |    14761
116.17/116.22	c  115s |      13 |    51665 |    39832 |    58227      0 |    14591 |    14761
118.17/118.29	c  117s |      13 |    52274 |    40332 |    58227      0 |    14591 |    14761
120.57/120.63	c  119s |      13 |    52888 |    40832 |    58227      0 |    14591 |    14761
122.87/122.94	c  122s |      13 |    53694 |    41432 |    58227      0 |    14591 |    14761
125.27/125.30	c  124s |      13 |    54417 |    42032 |    58227      0 |    14591 |    14761
127.47/127.55	c  126s |      13 |    55151 |    42632 |    58227      0 |    14591 |    14761
129.77/129.84	c  128s |      13 |    55955 |    43232 |    58227      0 |    14591 |    14761
131.97/132.08	c  131s |      13 |    56839 |    43832 |    58227      0 |    14591 |    14761
134.27/134.31	c  133s |      13 |    57594 |    44432 |    58227      0 |    14591 |    14761
136.37/136.44	c  135s |      13 |    58422 |    45032 |    58227      0 |    14591 |    14761
138.67/138.78	c  137s |      13 |    59228 |    45632 |    58227      0 |    14591 |    14761
140.77/140.84	c  139s |      13 |    59828 |    46132 |    58227      0 |    14591 |    14761
142.97/143.09	c  142s |      13 |    60653 |    46732 |    58227      0 |    14591 |    14761
145.06/145.18	c  144s |      13 |    61425 |    47332 |    58227      0 |    14591 |    14761
147.16/147.20	c  146s |      13 |    62105 |    47832 |    58227      0 |    14591 |    14761
149.26/149.38	c  148s |      13 |    62798 |    48332 |    58227      0 |    14591 |    14761
151.56/151.60	c  150s |      13 |    63572 |    48932 |    58227      0 |    14591 |    14761
153.76/153.89	c  153s |      13 |    64173 |    49432 |    58227      0 |    14591 |    14761
156.27/156.35	c  155s |      13 |    64760 |    49932 |    58227      0 |    14591 |    14761
158.56/158.61	c  157s |      13 |    65349 |    50432 |    58227      0 |    14591 |    14761
160.57/160.62	c  159s |      13 |    65844 |    50832 |    58227      0 |    14591 |    14761
162.87/162.92	c  162s |      13 |    66471 |    51332 |    58227      0 |    14591 |    14761
165.07/165.14	c  164s |      13 |    67091 |    51832 |    58227      0 |    14591 |    14761
167.27/167.32	c  166s |      13 |    67667 |    52332 |    58227      0 |    14591 |    14761
169.56/169.66	c  168s |      13 |    68289 |    52832 |    58227      0 |    14591 |    14761
171.57/171.68	c  170s |      13 |    68759 |    53232 |    58227      0 |    14591 |    14761
173.87/173.91	c  173s |      13 |    69413 |    53732 |    58227      0 |    14591 |    14761
176.07/176.11	c  175s |      13 |    70174 |    54332 |    58227      0 |    14591 |    14761
178.36/178.42	c  177s |      13 |    70777 |    54832 |    58227      0 |    14591 |    14761
180.66/180.78	c  179s |      13 |    71385 |    55332 |    58227      0 |    14591 |    14761
182.76/182.82	c  181s |      13 |    72024 |    55832 |    58227      0 |    14591 |    14761
185.06/185.17	c  184s |      13 |    72613 |    56332 |    58227      0 |    14591 |    14761
187.36/187.48	c  186s |      13 |    73088 |    56732 |    58227      0 |    14591 |    14761
189.56/189.68	c  188s |      13 |    73716 |    57232 |    58227      0 |    14591 |    14761
191.96/192.02	c  191s |      13 |    74298 |    57732 |    58227      0 |    14591 |    14761
193.96/194.06	c  193s |      13 |    74765 |    58132 |    64050      0 |    14591 |    14761
194.96/195.09	c  194s |      14 |    75035 |    58352 |    64050      0 |    14591 |    14761
197.16/197.24	c  196s |      14 |    75538 |    58752 |    64050      0 |    14591 |    14761
199.16/199.26	c  198s |      14 |    76025 |    59152 |    64050      0 |    14591 |    14761
201.55/201.60	c  200s |      14 |    76670 |    59652 |    64050      0 |    14591 |    14761
203.56/203.69	c  202s |      14 |    77288 |    60152 |    64050      0 |    14591 |    14761
205.66/205.73	c  204s |      14 |    77932 |    60652 |    64050      0 |    14591 |    14761
207.96/208.07	c  207s |      14 |    78552 |    61152 |    64050      0 |    14591 |    14761
210.35/210.45	c  209s |      14 |    79184 |    61652 |    64050      0 |    14591 |    14761
212.45/212.59	c  211s |      14 |    79809 |    62152 |    64050      0 |    14591 |    14761
214.95/215.04	c  214s |      14 |    80417 |    62652 |    64050      0 |    14591 |    14761
217.25/217.31	c  216s |      14 |    81021 |    63152 |    64050      0 |    14591 |    14761
219.55/219.60	c  218s |      14 |    81633 |    63652 |    64050      0 |    14591 |    14761
221.96/222.05	c  221s |      14 |    82221 |    64152 |    64050      0 |    14591 |    14761
224.06/224.17	c  223s |      14 |    82716 |    64552 |    64050      0 |    14591 |    14761
226.57/226.61	c  225s |      14 |    83396 |    65052 |    64050      0 |    14591 |    14761
228.77/228.89	c  228s |      14 |    83880 |    65452 |    64050      0 |    14591 |    14761
230.86/230.90	c  230s |      14 |    84370 |    65852 |    64050      0 |    14591 |    14761
232.86/232.93	c  232s |      14 |    84837 |    66252 |    64050      0 |    14591 |    14761
234.96/235.09	c  234s |      14 |    85330 |    66652 |    64050      0 |    14591 |    14761
237.46/237.57	c  236s |      14 |    85979 |    67152 |    64050      0 |    14591 |    14761
239.66/239.70	c  238s |      14 |    86504 |    67552 |    64050      0 |    14591 |    14761
242.06/242.15	c  241s |      14 |    86971 |    67952 |    64050      0 |    14591 |    14761
244.16/244.26	c  243s |      14 |    87463 |    68352 |    64050      0 |    14591 |    14761
246.66/246.73	c  245s |      14 |    87946 |    68752 |    64050      0 |    14591 |    14761
248.86/248.98	c  248s |      14 |    88453 |    69152 |    64050      0 |    14591 |    14761
251.15/251.25	c  250s |      14 |    88934 |    69552 |    64050      0 |    14591 |    14761
253.15/253.28	c  252s |      14 |    89451 |    69952 |    64050      0 |    14591 |    14761
255.26/255.35	c  254s |      14 |    90094 |    70452 |    64050      0 |    14591 |    14761
257.55/257.66	c  256s |      14 |    90696 |    70952 |    64050      0 |    14591 |    14761
259.95/260.03	c  259s |      14 |    91301 |    71452 |    64050      0 |    14591 |    14761
262.05/262.17	c  261s |      14 |    91966 |    71952 |    64050      0 |    14591 |    14761
264.55/264.60	c  263s |      14 |    92642 |    72452 |    64050      0 |    14591 |    14761
266.75/266.82	c  265s |      14 |    93303 |    72952 |    64050      0 |    14591 |    14761
269.15/269.26	c  268s |      14 |    93952 |    73452 |    64050      0 |    14591 |    14761
271.25/271.30	c  270s |      14 |    94459 |    73852 |    64050      0 |    14591 |    14761
273.55/273.69	c  272s |      14 |    94945 |    74252 |    64050      0 |    14591 |    14761
276.16/276.23	c  275s |      14 |    95451 |    74652 |    64050      0 |    14591 |    14761
278.36/278.42	c  277s |      14 |    95944 |    75052 |    64050      0 |    14591 |    14761
280.35/280.44	c  279s |      14 |    96429 |    75452 |    64050      0 |    14591 |    14761
282.45/282.60	c  281s |      14 |    96896 |    75852 |    64050      0 |    14591 |    14761
284.65/284.72	c  283s |      14 |    97375 |    76252 |    64050      0 |    14591 |    14761
286.85/286.98	c  286s |      14 |    97844 |    76652 |    64050      0 |    14591 |    14761
289.26/289.30	c  288s |      14 |    98313 |    77052 |    64050      0 |    14591 |    14761
291.55/291.67	c  290s |      14 |    98778 |    77452 |    64050      0 |    14591 |    14761
293.85/293.95	c  293s |      14 |    99256 |    77852 |    64050      0 |    14591 |    14761
296.05/296.16	c  295s |      14 |    99752 |    78252 |    64050      0 |    14591 |    14761
298.15/298.24	c  297s |      14 |   100258 |    78652 |    64050      0 |    14591 |    14761
300.35/300.40	c  299s |      14 |   100743 |    79052 |    64050      0 |    14591 |    14761
302.85/302.99	c  302s |      14 |   101332 |    79552 |    64050      0 |    14591 |    14761
305.35/305.48	c  304s |      14 |   101816 |    79952 |    64050      0 |    14591 |    14761
307.65/307.71	c  306s |      14 |   102352 |    80352 |    64050      1 |    14591 |    14761
309.64/309.72	c  308s |      14 |   102961 |    80852 |    64050      1 |    14591 |    14761
311.94/312.04	c  311s |      14 |   103670 |    81452 |    64050      1 |    14591 |    14761
314.34/314.40	c  313s |      14 |   104390 |    82052 |    64050      1 |    14591 |    14761
316.34/316.45	c  315s |      14 |   104997 |    82552 |    64050      1 |    14591 |    14761
318.34/318.47	c  317s |      14 |   105614 |    83052 |    64050      1 |    14591 |    14761
320.44/320.58	c  319s |      14 |   106206 |    83552 |    64050      1 |    14591 |    14761
322.94/323.02	c  322s |      14 |   106929 |    84152 |    64050      1 |    14591 |    14761
325.24/325.38	c  324s |      14 |   107659 |    84752 |    64050      1 |    14591 |    14761
327.64/327.78	c  326s |      14 |   108260 |    85252 |    64050      1 |    14591 |    14761
329.74/329.84	c  328s |      14 |   108912 |    85752 |    64050      1 |    14591 |    14761
332.15/332.25	c  331s |      14 |   109607 |    86352 |    64050      1 |    14591 |    14761
334.35/334.40	c  333s |      14 |   110207 |    86852 |    64050      1 |    14591 |    14761
336.74/336.83	c  335s |      14 |   110917 |    87452 |    70455      1 |    14591 |    14761
337.54/337.67	c  336s |      15 |   111121 |    87632 |    70455      1 |    14591 |    14761
340.14/340.20	c  339s |      15 |   111516 |    87932 |    70455      1 |    14591 |    14761
342.54/342.69	c  341s |      15 |   112143 |    88432 |    70455      1 |    14591 |    14761
344.94/345.02	c  344s |      15 |   112723 |    88932 |    70455      1 |    14591 |    14761
347.04/347.15	c  346s |      15 |   113305 |    89432 |    70455      1 |    14591 |    14761
349.24/349.38	c  348s |      15 |   113908 |    89932 |    70455      1 |    14591 |    14761
351.64/351.75	c  350s |      15 |   114507 |    90432 |    70455      1 |    14591 |    14761
354.24/354.31	c  353s |      15 |   115094 |    90932 |    70455      1 |    14591 |    14761
356.54/356.61	c  355s |      15 |   115724 |    91432 |    70455      1 |    14591 |    14761
358.84/358.94	c  358s |      15 |   116295 |    91932 |    70455      1 |    14591 |    14761
361.03/361.13	c  360s |      15 |   116886 |    92432 |    70455      1 |    14591 |    14761
363.33/363.50	c  362s |      15 |   117520 |    92932 |    70455      1 |    14591 |    14761
365.63/365.75	c  364s |      15 |   118157 |    93432 |    70455      1 |    14591 |    14761
367.93/368.01	c  367s |      15 |   118793 |    93932 |    70455      1 |    14591 |    14761
370.33/370.42	c  369s |      15 |   119406 |    94432 |    70455      1 |    14591 |    14761
372.63/372.72	c  371s |      15 |   120029 |    94932 |    70455      1 |    14591 |    14761
374.93/375.01	c  374s |      15 |   120745 |    95532 |    70455      1 |    14591 |    14761
376.93/377.04	c  376s |      15 |   121362 |    96032 |    70455      1 |    14591 |    14761
379.23/379.37	c  378s |      15 |   121983 |    96532 |    70455      1 |    14591 |    14761
381.53/381.70	c  380s |      15 |   122543 |    97032 |    70455      1 |    14591 |    14761
383.94/384.09	c  383s |      15 |   123125 |    97532 |    70455      1 |    14591 |    14761
386.33/386.48	c  385s |      15 |   123741 |    98032 |    70455      1 |    14591 |    14761
388.73/388.80	c  387s |      15 |   124357 |    98532 |    70455      1 |    14591 |    14761
391.13/391.21	c  390s |      15 |   124974 |    99032 |    70455      1 |    14591 |    14761
393.23/393.30	c  392s |      15 |   125425 |    99432 |    70455      1 |    14591 |    14761
395.53/395.69	c  394s |      15 |   125878 |    99832 |    70455      1 |    14591 |    14761
397.63/397.73	c  396s |      15 |   126345 |   100232 |    70455      1 |    14591 |    14761
400.03/400.10	c  399s |      15 |   126920 |   100732 |    70455      1 |    14591 |    14761
402.43/402.53	c  401s |      15 |   127563 |   101232 |    70455      1 |    14591 |    14761
404.43/404.56	c  403s |      15 |   128025 |   101632 |    70455      1 |    14591 |    14761
406.63/406.71	c  405s |      15 |   128495 |   102032 |    70455      1 |    14591 |    14761
408.93/409.03	c  408s |      15 |   128934 |   102432 |    70455      1 |    14591 |    14761
411.23/411.32	c  410s |      15 |   129617 |   102932 |    70455      1 |    14591 |    14761
413.43/413.59	c  412s |      15 |   130221 |   103432 |    70455      1 |    14591 |    14761
415.53/415.61	c  414s |      15 |   130703 |   103832 |    70455      1 |    14591 |    14761
417.62/417.77	c  416s |      15 |   131181 |   104232 |    70455      1 |    14591 |    14761
420.13/420.21	c  419s |      15 |   131668 |   104632 |    70455      1 |    14591 |    14761
422.43/422.55	c  421s |      15 |   132170 |   105032 |    70455      1 |    14591 |    14761
424.63/424.76	c  423s |      15 |   132674 |   105432 |    70455      1 |    14591 |    14761
427.22/427.30	c  426s |      15 |   133174 |   105832 |    70455      1 |    14591 |    14761
429.22/429.39	c  428s |      15 |   133666 |   106232 |    70455      1 |    14591 |    14761
431.52/431.68	c  430s |      15 |   134113 |   106632 |    70455      1 |    14591 |    14761
433.72/433.85	c  432s |      15 |   134583 |   107032 |    70455      1 |    14591 |    14761
436.22/436.33	c  435s |      15 |   135204 |   107532 |    70455      1 |    14591 |    14761
438.42/438.53	c  437s |      15 |   135733 |   107932 |    70455      1 |    14591 |    14761
440.72/440.81	c  439s |      15 |   136233 |   108332 |    70455      1 |    14591 |    14761
442.82/442.95	c  442s |      15 |   136706 |   108732 |    70455      1 |    14591 |    14761
445.02/445.17	c  444s |      15 |   137170 |   109132 |    70455      1 |    14591 |    14761
447.32/447.47	c  446s |      15 |   137775 |   109632 |    70455      1 |    14591 |    14761
449.52/449.63	c  448s |      15 |   138339 |   110132 |    70455      1 |    14591 |    14761
451.72/451.85	c  450s |      15 |   138891 |   110632 |    70455      1 |    14591 |    14761
454.12/454.23	c  453s |      15 |   139500 |   111132 |    70455      1 |    14591 |    14761
456.12/456.29	c  455s |      15 |   139953 |   111532 |    70455      1 |    14591 |    14761
458.32/458.49	c  457s |      15 |   140430 |   111932 |    70455      1 |    14591 |    14761
460.62/460.72	c  459s |      15 |   140938 |   112332 |    70455      1 |    14591 |    14761
462.92/463.00	c  462s |      15 |   141516 |   112832 |    70455      1 |    14591 |    14761
464.92/465.06	c  464s |      15 |   141967 |   113232 |    70455      1 |    14591 |    14761
467.32/467.43	c  466s |      15 |   142580 |   113732 |    70455      1 |    14591 |    14761
469.32/469.44	c  468s |      15 |   143060 |   114132 |    70455      1 |    14591 |    14761
471.72/471.86	c  471s |      15 |   143696 |   114632 |    70455      1 |    14591 |    14761
474.12/474.25	c  473s |      15 |   144192 |   115032 |    70455      1 |    14591 |    14761
476.62/476.78	c  475s |      15 |   144656 |   115432 |    70455      1 |    14591 |    14761
478.82/478.94	c  478s |      15 |   145126 |   115832 |    70455      1 |    14591 |    14761
481.01/481.19	c  480s |      15 |   145606 |   116232 |    70455      1 |    14591 |    14761
483.31/483.49	c  482s |      15 |   146078 |   116632 |    70455      1 |    14591 |    14761
485.71/485.80	c  484s |      15 |   146561 |   117032 |    70455      1 |    14591 |    14761
487.91/488.08	c  487s |      15 |   147065 |   117432 |    70455      1 |    14591 |    14761
490.21/490.38	c  489s |      15 |   147545 |   117832 |    70455      1 |    14591 |    14761
492.51/492.60	c  491s |      15 |   148024 |   118232 |    70455      1 |    14591 |    14761
494.51/494.68	c  493s |      15 |   148489 |   118632 |    70455      1 |    14591 |    14761
496.81/496.93	c  496s |      15 |   148994 |   119032 |    70455      1 |    14591 |    14761
499.11/499.25	c  498s |      15 |   149487 |   119432 |    70455      1 |    14591 |    14761
501.41/501.51	c  500s |      15 |   149999 |   119832 |    70455      1 |    14591 |    14761
503.41/503.52	c  502s |      15 |   150485 |   120232 |    70455      1 |    14591 |    14761
505.81/505.93	c  505s |      15 |   150956 |   120632 |    70455      1 |    14591 |    14761
508.31/508.46	c  507s |      15 |   151414 |   121032 |    70455      1 |    14591 |    14761
510.42/510.53	c  509s |      15 |   151869 |   121432 |    70455      1 |    14591 |    14761
512.91/513.00	c  512s |      15 |   152347 |   121832 |    70455      1 |    14591 |    14761
515.11/515.25	c  514s |      15 |   152844 |   122232 |    70455      1 |    14591 |    14761
517.11/517.26	c  516s |      15 |   153189 |   122532 |    70455      1 |    14591 |    14761
519.71/519.80	c  518s |      15 |   153685 |   122932 |    70455      1 |    14591 |    14761
521.71/521.85	c  521s |      15 |   154028 |   123232 |    70455      1 |    14591 |    14761
524.31/524.42	c  523s |      15 |   154486 |   123632 |    70455      1 |    14591 |    14761
526.61/526.74	c  525s |      15 |   154945 |   124032 |    70455      1 |    14591 |    14761
528.71/528.83	c  527s |      15 |   155401 |   124432 |    70455      1 |    14591 |    14761
531.31/531.43	c  530s |      15 |   155876 |   124832 |    70455      1 |    14591 |    14761
533.91/534.09	c  533s |      15 |   156334 |   125232 |    70455      1 |    14591 |    14761
536.01/536.11	c  535s |      15 |   156676 |   125532 |    70455      1 |    14591 |    14761
538.51/538.60	c  537s |      15 |   157133 |   125932 |    70455      1 |    14591 |    14761
541.00/541.17	c  540s |      15 |   157586 |   126332 |    70455      1 |    14591 |    14761
543.31/543.50	c  542s |      15 |   158068 |   126732 |    70455      1 |    14591 |    14761
546.91/547.03	c  546s |      15 |   158434 |   127032 |    70455      2 |    14591 |    14761
549.30/549.41	c  548s |      15 |   158799 |   127332 |    70455      2 |    14591 |    14761
551.30/551.46	c  550s |      15 |   159445 |   127832 |    70455      2 |    14591 |    14761
553.60/553.73	c  552s |      15 |   160047 |   128332 |    70455      2 |    14591 |    14761
560.61/560.71	c  559s |      15 |   160310 |   128532 |    70455      2 |    14591 |    14761
563.01/563.15	c  562s |      15 |   160913 |   129032 |    70455      2 |    14591 |    14761
565.31/565.41	c  564s |      15 |   161539 |   129532 |    70455      2 |    14591 |    14761
567.30/567.43	c  566s |      15 |   162133 |   130032 |    70455      2 |    14591 |    14761
569.50/569.61	c  568s |      15 |   162740 |   130532 |    70455      2 |    14591 |    14761
571.50/571.68	c  570s |      15 |   163331 |   131032 |    77501      2 |    14591 |    14761
573.70/573.88	c  573s |      15 |   163940 |   131532 |    77501      2 |    14591 |    14761
573.80/573.95	c  573s |      16 |   163962 |   131552 |    77501      2 |    14591 |    14761
576.10/576.24	c  575s |      16 |   164222 |   131752 |    77501      2 |    14591 |    14761
578.40/578.53	c  577s |      16 |   165025 |   132352 |    77501      2 |    14591 |    14761
580.71/580.84	c  579s |      16 |   165759 |   132952 |    77501      2 |    14591 |    14761
583.01/583.14	c  582s |      16 |   166495 |   133552 |    77501      2 |    14591 |    14761
585.21/585.31	c  584s |      16 |   167277 |   134152 |    77501      2 |    14591 |    14761
587.31/587.48	c  586s |      16 |   167920 |   134652 |    77501      2 |    14591 |    14761
589.51/589.68	c  588s |      16 |   168515 |   135152 |    77501      2 |    14591 |    14761
591.90/592.08	c  591s |      16 |   169243 |   135752 |    77501      2 |    14591 |    14761
594.10/594.27	c  593s |      16 |   169967 |   136352 |    77501      2 |    14591 |    14761
596.21/596.30	c  595s |      16 |   170775 |   136952 |    77501      2 |    14591 |    14761
598.41/598.55	c  597s |      16 |   171340 |   137452 |    77501      2 |    14591 |    14761
600.51/600.65	c  599s |      16 |   171970 |   137952 |    77501      2 |    14591 |    14761
602.81/602.93	c  602s |      16 |   172583 |   138452 |    77501      2 |    14591 |    14761
605.01/605.17	c  604s |      16 |   173180 |   138952 |    77501      2 |    14591 |    14761
607.30/607.47	c  606s |      16 |   173790 |   139452 |    77501      2 |    14591 |    14761
609.80/609.97	c  609s |      16 |   174402 |   139952 |    77501      2 |    14591 |    14761
611.90/612.03	c  611s |      16 |   174860 |   140352 |    77501      2 |    14591 |    14761
614.00/614.19	c  613s |      16 |   175469 |   140852 |    77501      2 |    14591 |    14761
616.50/616.62	c  615s |      16 |   176096 |   141352 |    77501      2 |    14591 |    14761
618.60/618.71	c  617s |      16 |   176617 |   141752 |    77501      2 |    14591 |    14761
620.60/620.79	c  619s |      16 |   177276 |   142252 |    77501      2 |    14591 |    14761
622.90/623.02	c  622s |      16 |   177913 |   142752 |    77501      2 |    14591 |    14761
625.20/625.37	c  624s |      16 |   178643 |   143352 |    77501      2 |    14591 |    14761
627.29/627.46	c  626s |      16 |   179117 |   143752 |    77501      2 |    14591 |    14761
629.29/629.49	c  628s |      16 |   179600 |   144152 |    77501      2 |    14591 |    14761
631.40/631.56	c  630s |      16 |   180204 |   144652 |    77501      2 |    14591 |    14761
633.69/633.87	c  633s |      16 |   180808 |   145152 |    77501      2 |    14591 |    14761
635.80/635.93	c  635s |      16 |   181456 |   145652 |    77501      2 |    14591 |    14761
637.90/638.02	c  637s |      16 |   181965 |   146052 |    77501      2 |    14591 |    14761
639.99/640.14	c  639s |      16 |   182442 |   146452 |    77501      2 |    14591 |    14761
642.19/642.35	c  641s |      16 |   182919 |   146852 |    77501      2 |    14591 |    14761
644.50/644.61	c  643s |      16 |   183367 |   147252 |    77501      2 |    14591 |    14761
646.70/646.87	c  646s |      16 |   184016 |   147752 |    77501      2 |    14591 |    14761
649.19/649.30	c  648s |      16 |   184590 |   148252 |    77501      2 |    14591 |    14761
651.20/651.34	c  650s |      16 |   185041 |   148652 |    77501      2 |    14591 |    14761
653.40/653.58	c  652s |      16 |   185648 |   149152 |    77501      2 |    14591 |    14761
655.50/655.63	c  654s |      16 |   186160 |   149552 |    77501      2 |    14591 |    14761
657.89/658.00	c  657s |      16 |   186772 |   150052 |    77501      2 |    14591 |    14761
659.90/660.07	c  659s |      16 |   187273 |   150452 |    77501      2 |    14591 |    14761
662.39/662.57	c  661s |      16 |   187857 |   150952 |    77501      2 |    14591 |    14761
664.79/664.98	c  664s |      16 |   188478 |   151452 |    77501      2 |    14591 |    14761
666.89/667.01	c  666s |      16 |   188946 |   151852 |    77501      2 |    14591 |    14761
669.09/669.22	c  668s |      16 |   189418 |   152252 |    77501      2 |    14591 |    14761
671.09/671.25	c  670s |      16 |   189872 |   152652 |    77501      2 |    14591 |    14761
673.19/673.36	c  672s |      16 |   190343 |   153052 |    77501      2 |    14591 |    14761
675.29/675.47	c  674s |      16 |   190844 |   153452 |    77501      2 |    14591 |    14761
677.49/677.64	c  676s |      16 |   191332 |   153852 |    77501      2 |    14591 |    14761
679.99/680.11	c  679s |      16 |   191970 |   154352 |    77501      2 |    14591 |    14761
682.39/682.54	c  681s |      16 |   192603 |   154852 |    77501      2 |    14591 |    14761
684.89/685.00	c  684s |      16 |   193181 |   155352 |    77501      2 |    14591 |    14761
687.09/687.25	c  686s |      16 |   193636 |   155752 |    77501      2 |    14591 |    14761
689.59/689.77	c  688s |      16 |   194104 |   156152 |    77501      2 |    14591 |    14761
691.98/692.13	c  691s |      16 |   194586 |   156552 |    77501      2 |    14591 |    14761
694.18/694.33	c  693s |      16 |   195062 |   156952 |    77501      2 |    14591 |    14761
696.58/696.71	c  695s |      16 |   195530 |   157352 |    77501      2 |    14591 |    14761
699.08/699.27	c  698s |      16 |   196018 |   157752 |    77501      2 |    14591 |    14761
701.28/701.47	c  700s |      16 |   196503 |   158152 |    77501      2 |    14591 |    14761
703.58/703.79	c  702s |      16 |   197045 |   158552 |    77501      2 |    14591 |    14761
705.78/705.98	c  705s |      16 |   197579 |   158952 |    77501      2 |    14591 |    14761
708.08/708.22	c  707s |      16 |   198188 |   159452 |    77501      2 |    14591 |    14761
710.08/710.27	c  709s |      16 |   198704 |   159852 |    77501      2 |    14591 |    14761
712.28/712.47	c  711s |      16 |   199200 |   160252 |    77501      2 |    14591 |    14761
714.89/715.04	c  714s |      16 |   199704 |   160652 |    77501      2 |    14591 |    14761
717.19/717.37	c  716s |      16 |   200229 |   161052 |    77501      2 |    14591 |    14761
719.68/719.82	c  718s |      16 |   200732 |   161452 |    77501      2 |    14591 |    14761
721.78/721.92	c  721s |      16 |   201233 |   161852 |    77501      2 |    14591 |    14761
724.08/724.26	c  723s |      16 |   201717 |   162252 |    77501      2 |    14591 |    14761
726.38/726.59	c  725s |      16 |   202177 |   162652 |    77501      2 |    14591 |    14761
728.48/728.68	c  727s |      16 |   202666 |   163052 |    77501      2 |    14591 |    14761
730.68/730.86	c  730s |      16 |   203144 |   163452 |    77501      2 |    14591 |    14761
733.18/733.31	c  732s |      16 |   203669 |   163852 |    77501      2 |    14591 |    14761
735.38/735.55	c  734s |      16 |   204136 |   164252 |    77501      2 |    14591 |    14761
737.78/737.99	c  737s |      16 |   204600 |   164652 |    77501      2 |    14591 |    14761
740.08/740.26	c  739s |      16 |   205205 |   165152 |    77501      2 |    14591 |    14761
742.08/742.27	c  741s |      16 |   205696 |   165552 |    77501      2 |    14591 |    14761
744.38/744.56	c  743s |      16 |   206175 |   165952 |    77501      2 |    14591 |    14761
746.78/746.93	c  746s |      16 |   206700 |   166352 |    77501      2 |    14591 |    14761
749.28/749.47	c  748s |      16 |   207200 |   166752 |    77501      2 |    14591 |    14761
751.47/751.68	c  750s |      16 |   207691 |   167152 |    77501      2 |    14591 |    14761
753.87/754.07	c  753s |      16 |   208198 |   167552 |    77501      2 |    14591 |    14761
755.97/756.16	c  755s |      16 |   208699 |   167952 |    77501      2 |    14591 |    14761
758.57/758.74	c  757s |      16 |   209158 |   168352 |    77501      2 |    14591 |    14761
760.77/760.93	c  760s |      16 |   209536 |   168652 |    77501      2 |    14591 |    14761
762.87/763.04	c  762s |      16 |   209909 |   168952 |    77501      2 |    14591 |    14761
765.37/765.60	c  764s |      16 |   210398 |   169352 |    77501      2 |    14591 |    14761
767.68/767.82	c  766s |      16 |   210781 |   169652 |    77501      2 |    14591 |    14761
770.17/770.39	c  769s |      16 |   211283 |   170052 |    77501      2 |    14591 |    14761
772.57/772.74	c  771s |      16 |   211655 |   170352 |    77501      2 |    14591 |    14761
775.07/775.27	c  774s |      16 |   212167 |   170752 |    77501      2 |    14591 |    14761
777.87/778.07	c  777s |      16 |   212648 |   171152 |    77501      2 |    14591 |    14761
780.57/780.75	c  779s |      16 |   213147 |   171552 |    77501      2 |    14591 |    14761
783.27/783.47	c  782s |      16 |   213642 |   171952 |    77501      2 |    14591 |    14761
785.87/786.07	c  785s |      16 |   214123 |   172352 |    77501      2 |    14591 |    14761
788.37/788.57	c  787s |      16 |   214601 |   172752 |    77501      2 |    14591 |    14761
790.97/791.13	c  790s |      16 |   215094 |   173152 |    77501      2 |    14591 |    14761
793.07/793.23	c  792s |      16 |   215558 |   173552 |    77501      2 |    14591 |    14761
795.57/795.75	c  794s |      16 |   216149 |   174052 |    77501      2 |    14591 |    14761
797.57/797.76	c  796s |      16 |   216503 |   174352 |    77501      2 |    14591 |    14761
799.77/799.95	c  799s |      16 |   216981 |   174752 |    77501      2 |    14591 |    14761
801.97/802.16	c  801s |      16 |   217473 |   175152 |    77501      2 |    14591 |    14761
804.46/804.64	c  803s |      16 |   217976 |   175552 |    77501      2 |    14591 |    14761
806.56/806.73	c  805s |      16 |   218354 |   175852 |    77501      2 |    14591 |    14761
808.56/808.78	c  807s |      16 |   218731 |   176152 |    77501      2 |    14591 |    14761
811.06/811.28	c  810s |      16 |   219081 |   176452 |    77501      2 |    14591 |    14761
813.66/813.84	c  812s |      16 |   219418 |   176752 |    77501      2 |    14591 |    14761
815.96/816.17	c  815s |      16 |   219761 |   177052 |    77501      2 |    14591 |    14761
818.27/818.43	c  817s |      16 |   220105 |   177352 |    77501      2 |    14591 |    14761
820.86/821.03	c  820s |      16 |   220241 |   177452 |    77501      3 |    14591 |    14761
823.36/823.52	c  822s |      16 |   220711 |   177852 |    77501      3 |    14591 |    14761
825.76/825.92	c  825s |      16 |   221302 |   178352 |    77501      3 |    14591 |    14761
827.76/828.00	c  827s |      16 |   221762 |   178752 |    77501      3 |    14591 |    14761
829.86/830.09	c  829s |      16 |   222254 |   179152 |    77501      3 |    14591 |    14761
832.06/832.23	c  831s |      16 |   222868 |   179652 |    77501      3 |    14591 |    14761
834.16/834.39	c  833s |      16 |   223636 |   180252 |    77501      3 |    14591 |    14761
836.26/836.46	c  835s |      16 |   224107 |   180652 |    77501      3 |    14591 |    14761
838.66/838.83	c  837s |      16 |   224733 |   181152 |    77501      3 |    14591 |    14761
840.75/840.91	c  840s |      16 |   225330 |   181652 |    77501      3 |    14591 |    14761
842.75/842.93	c  842s |      16 |   225944 |   182152 |    77501      3 |    14591 |    14761
845.05/845.21	c  844s |      16 |   226663 |   182752 |    77501      3 |    14591 |    14761
847.25/847.42	c  846s |      16 |   227354 |   183352 |    77501      3 |    14591 |    14761
849.45/849.60	c  848s |      16 |   227996 |   183852 |    77501      3 |    14591 |    14761
851.95/852.12	c  851s |      16 |   228753 |   184452 |    77501      3 |    14591 |    14761
854.25/854.46	c  853s |      16 |   229372 |   184952 |    77501      3 |    14591 |    14761
856.77/856.93	c  856s |      16 |   229987 |   185452 |    77501      3 |    14591 |    14761
859.16/859.38	c  858s |      16 |   230588 |   185952 |    77501      3 |    14591 |    14761
861.56/861.72	c  860s |      16 |   231067 |   186352 |    77501      3 |    14591 |    14761
864.06/864.22	c  863s |      16 |   231670 |   186852 |    77501      3 |    14591 |    14761
866.05/866.28	c  865s |      16 |   232129 |   187252 |    77501      3 |    14591 |    14761
868.45/868.65	c  867s |      16 |   232694 |   187752 |    77501      3 |    14591 |    14761
870.75/870.95	c  870s |      16 |   233281 |   188252 |    77501      3 |    14591 |    14761
873.26/873.42	c  872s |      16 |   233867 |   188752 |    77501      3 |    14591 |    14761
875.25/875.49	c  874s |      16 |   234334 |   189152 |    77501      3 |    14591 |    14761
877.75/877.91	c  877s |      16 |   234979 |   189652 |    77501      3 |    14591 |    14761
879.75/879.93	c  879s |      16 |   235574 |   190152 |    77501      3 |    14591 |    14761
881.75/881.95	c  881s |      16 |   236092 |   190552 |    77501      3 |    14591 |    14761
883.84/884.03	c  883s |      16 |   236565 |   190952 |    77501      3 |    14591 |    14761
886.34/886.52	c  885s |      16 |   237161 |   191452 |    77501      3 |    14591 |    14761
888.75/888.99	c  888s |      16 |   237748 |   191952 |    77501      3 |    14591 |    14761
890.95/891.16	c  890s |      16 |   238206 |   192352 |    77501      3 |    14591 |    14761
893.15/893.31	c  892s |      16 |   238713 |   192752 |    77501      3 |    14591 |    14761
895.54/895.72	c  894s |      16 |   239325 |   193252 |    77501      3 |    14591 |    14761
897.55/897.73	c  896s |      16 |   239794 |   193652 |    77501      3 |    14591 |    14761
900.04/900.24	c  899s |      16 |   240406 |   194152 |    77501      3 |    14591 |    14761
902.34/902.54	c  901s |      16 |   240895 |   194552 |    77501      3 |    14591 |    14761
904.34/904.57	c  903s |      16 |   241285 |   194852 |    77501      3 |    14591 |    14761
906.54/906.73	c  905s |      16 |   241784 |   195252 |    77501      3 |    14591 |    14761
908.64/908.86	c  908s |      16 |   242276 |   195652 |    77501      3 |    14591 |    14761
911.04/911.26	c  910s |      16 |   242754 |   196052 |    77501      3 |    14591 |    14761
913.34/913.54	c  912s |      16 |   243275 |   196452 |    85252      3 |    14591 |    14761
915.64/915.85	c  914s |      16 |   243750 |   196852 |    85252      3 |    14591 |    14761
918.14/918.31	c  917s |      16 |   244246 |   197252 |    85252      3 |    14591 |    14761
919.14/919.32	c  918s |      17 |   244463 |   197432 |    85252      3 |    14591 |    14761
921.14/921.39	c  920s |      17 |   244881 |   197732 |    85252      3 |    14591 |    14761
923.53/923.71	c  922s |      17 |   245372 |   198132 |    85252      3 |    14591 |    14761
925.83/926.05	c  925s |      17 |   245902 |   198532 |    85252      3 |    14591 |    14761
927.93/928.15	c  927s |      17 |   246422 |   198932 |    85252      3 |    14591 |    14761
930.03/930.24	c  929s |      17 |   246913 |   199332 |    85252      3 |    14591 |    14761
932.13/932.31	c  931s |      17 |   247459 |   199732 |    85252      3 |    14591 |    14761
934.53/934.75	c  933s |      17 |   248110 |   200232 |    85252      3 |    14591 |    14761
936.62/936.82	c  935s |      17 |   248662 |   200632 |    85252      3 |    14591 |    14761
939.02/939.24	c  938s |      17 |   249316 |   201132 |    85252      3 |    14591 |    14761
941.12/941.39	c  940s |      17 |   249881 |   201532 |    85252      3 |    14591 |    14761
943.22/943.46	c  942s |      17 |   250435 |   201932 |    85252      3 |    14591 |    14761
945.62/945.89	c  945s |      17 |   251048 |   202432 |    85252      3 |    14591 |    14761
947.92/948.20	c  947s |      17 |   251674 |   202932 |    85252      3 |    14591 |    14761
950.42/950.62	c  949s |      17 |   252492 |   203532 |    85252      3 |    14591 |    14761
952.43/952.70	c  951s |      17 |   253160 |   204032 |    85252      3 |    14591 |    14761
954.92/955.18	c  954s |      17 |   253803 |   204532 |    85252      3 |    14591 |    14761
957.42/957.64	c  956s |      17 |   254426 |   205032 |    85252      3 |    14591 |    14761
959.72/959.95	c  959s |      17 |   255005 |   205532 |    85252      3 |    14591 |    14761
962.22/962.40	c  961s |      17 |   255637 |   206032 |    85252      3 |    14591 |    14761
964.42/964.67	c  963s |      17 |   256108 |   206432 |    85252      3 |    14591 |    14761
966.62/966.82	c  965s |      17 |   256657 |   206832 |    85252      3 |    14591 |    14761
968.92/969.12	c  968s |      17 |   257147 |   207232 |    85252      3 |    14591 |    14761
971.01/971.22	c  970s |      17 |   257696 |   207632 |    85252      3 |    14591 |    14761
973.11/973.37	c  972s |      17 |   258171 |   208032 |    85252      3 |    14591 |    14761
975.41/975.68	c  974s |      17 |   258674 |   208432 |    85252      3 |    14591 |    14761
977.51/977.75	c  976s |      17 |   259135 |   208832 |    85252      3 |    14591 |    14761
980.11/980.35	c  979s |      17 |   259746 |   209332 |    85252      3 |    14591 |    14761
982.31/982.50	c  981s |      17 |   260254 |   209732 |    85252      3 |    14591 |    14761
984.71/984.99	c  984s |      17 |   260869 |   210232 |    85252      3 |    14591 |    14761
986.81/987.06	c  986s |      17 |   261367 |   210632 |    85252      3 |    14591 |    14761
989.01/989.27	c  988s |      17 |   261834 |   211032 |    85252      3 |    14591 |    14761
991.41/991.69	c  990s |      17 |   262350 |   211432 |    85252      3 |    14591 |    14761
993.81/994.00	c  993s |      17 |   262811 |   211832 |    85252      3 |    14591 |    14761
996.31/996.50	c  995s |      17 |   263316 |   212232 |    85252      3 |    14591 |    14761
998.81/999.03	c  998s |      17 |   263817 |   212632 |    85252      3 |    14591 |    14761
1001.01/1001.29	c 1000s |      17 |   264310 |   213032 |    85252      3 |    14591 |    14761
1003.31/1003.59	c 1002s |      17 |   264813 |   213432 |    85252      3 |    14591 |    14761
1005.51/1005.74	c 1004s |      17 |   265322 |   213832 |    85252      3 |    14591 |    14761
1007.71/1007.96	c 1007s |      17 |   265841 |   214232 |    85252      3 |    14591 |    14761
1010.21/1010.41	c 1009s |      17 |   266330 |   214632 |    85252      3 |    14591 |    14761
1012.51/1012.76	c 1011s |      17 |   266790 |   215032 |    85252      3 |    14591 |    14761
1014.90/1015.18	c 1014s |      17 |   267334 |   215432 |    85252      3 |    14591 |    14761
1017.50/1017.72	c 1016s |      17 |   267865 |   215832 |    85252      3 |    14591 |    14761
1019.90/1020.11	c 1019s |      17 |   268355 |   216232 |    85252      3 |    14591 |    14761
1022.10/1022.32	c 1021s |      17 |   268692 |   216532 |    85252      3 |    14591 |    14761
1024.60/1024.85	c 1024s |      17 |   269173 |   216932 |    85252      3 |    14591 |    14761
1026.80/1027.06	c 1026s |      17 |   269677 |   217332 |    85252      3 |    14591 |    14761
1029.30/1029.57	c 1028s |      17 |   270138 |   217732 |    85252      3 |    14591 |    14761
1031.90/1032.11	c 1031s |      17 |   270603 |   218132 |    85252      3 |    14591 |    14761
1034.50/1034.72	c 1033s |      17 |   271092 |   218532 |    85252      3 |    14591 |    14761
1036.80/1037.06	c 1036s |      17 |   271491 |   218832 |    85252      3 |    14591 |    14761
1038.80/1039.08	c 1038s |      17 |   271899 |   219132 |    85252      3 |    14591 |    14761
1041.20/1041.43	c 1040s |      17 |   272263 |   219432 |    85252      3 |    14591 |    14761
1043.60/1043.89	c 1043s |      17 |   272822 |   219832 |    85252      3 |    14591 |    14761
1046.20/1046.41	c 1045s |      17 |   273342 |   220232 |    85252      3 |    14591 |    14761
1048.20/1048.46	c 1047s |      17 |   273962 |   220632 |    85252      3 |    14591 |    14761
1050.69/1050.90	c 1050s |      17 |   274519 |   221032 |    85252      3 |    14591 |    14761
1052.69/1052.96	c 1052s |      17 |   274917 |   221332 |    85252      3 |    14591 |    14761
1055.19/1055.42	c 1054s |      17 |   275501 |   221732 |    85252      3 |    14591 |    14761
1057.59/1057.80	c 1056s |      17 |   276038 |   222132 |    85252      3 |    14591 |    14761
1059.69/1059.98	c 1059s |      17 |   276554 |   222532 |    85252      3 |    14591 |    14761
1062.19/1062.40	c 1061s |      17 |   277233 |   223032 |    85252      3 |    14591 |    14761
1064.19/1064.45	c 1063s |      17 |   277766 |   223432 |    85252      3 |    14591 |    14761
1066.69/1066.94	c 1066s |      17 |   278490 |   223932 |    85252      3 |    14591 |    14761
1068.79/1069.06	c 1068s |      17 |   279010 |   224332 |    85252      3 |    14591 |    14761
1071.10/1071.40	c 1070s |      17 |   279718 |   224832 |    85252      3 |    14591 |    14761
1073.51/1073.79	c 1072s |      17 |   280361 |   225332 |    85252      3 |    14591 |    14761
1075.71/1075.97	c 1075s |      17 |   280839 |   225732 |    85252      3 |    14591 |    14761
1077.81/1078.04	c 1077s |      17 |   281324 |   226132 |    85252      3 |    14591 |    14761
1080.40/1080.62	c 1079s |      17 |   281913 |   226632 |    85252      3 |    14591 |    14761
1082.60/1082.86	c 1082s |      17 |   282504 |   227032 |    85252      3 |    14591 |    14761
1084.90/1085.18	c 1084s |      17 |   283021 |   227432 |    85252      3 |    14591 |    14761
1087.30/1087.51	c 1086s |      17 |   283531 |   227832 |    85252      3 |    14591 |    14761
1089.60/1089.85	c 1088s |      17 |   284069 |   228232 |    85252      3 |    14591 |    14761
1091.80/1092.07	c 1091s |      17 |   284604 |   228632 |    85252      3 |    14591 |    14761
1094.10/1094.36	c 1093s |      17 |   285093 |   229032 |    85252      3 |    14591 |    14761
1096.69/1096.90	c 1096s |      17 |   285653 |   229432 |    85252      3 |    14591 |    14761
1098.80/1099.03	c 1098s |      17 |   286179 |   229832 |    85252      3 |    14591 |    14761
1101.00/1101.21	c 1100s |      17 |   286744 |   230232 |    85252      3 |    14591 |    14761
1103.20/1103.43	c 1102s |      17 |   287287 |   230632 |    85252      3 |    14591 |    14761
1105.49/1105.72	c 1104s |      17 |   287805 |   231032 |    85252      3 |    14591 |    14761
1107.69/1107.93	c 1107s |      17 |   288280 |   231432 |    85252      3 |    14591 |    14761
1109.89/1110.10	c 1109s |      17 |   288849 |   231832 |    85252      3 |    14591 |    14761
1112.89/1113.12	c 1112s |      17 |   289378 |   232232 |    85252      4 |    14591 |    14761
1114.89/1115.17	c 1114s |      17 |   289887 |   232632 |    85252      4 |    14591 |    14761
1117.09/1117.39	c 1116s |      17 |   290508 |   233132 |    85252      4 |    14591 |    14761
1119.18/1119.41	c 1118s |      17 |   291000 |   233532 |    85252      4 |    14591 |    14761
1121.58/1121.80	c 1120s |      17 |   291788 |   234132 |    85252      4 |    14591 |    14761
1123.78/1124.03	c 1123s |      17 |   292580 |   234732 |    85252      4 |    14591 |    14761
1126.19/1126.43	c 1125s |      17 |   293308 |   235332 |    85252      4 |    14591 |    14761
1128.28/1128.58	c 1127s |      17 |   293992 |   235832 |    85252      4 |    14591 |    14761
1130.68/1130.91	c 1130s |      17 |   294634 |   236332 |    85252      4 |    14591 |    14761
1132.68/1132.91	c 1132s |      17 |   295259 |   236832 |    85252      4 |    14591 |    14761
1134.68/1134.99	c 1134s |      17 |   295777 |   237232 |    85252      4 |    14591 |    14761
1137.18/1137.49	c 1136s |      17 |   296271 |   237632 |    85252      4 |    14591 |    14761
1139.17/1139.50	c 1138s |      17 |   296771 |   238032 |    85252      4 |    14591 |    14761
1141.27/1141.58	c 1140s |      17 |   297389 |   238532 |    85252      4 |    14591 |    14761
1143.78/1144.02	c 1143s |      17 |   297985 |   239032 |    85252      4 |    14591 |    14761
1145.87/1146.11	c 1145s |      17 |   298518 |   239432 |    85252      4 |    14591 |    14761
1148.07/1148.33	c 1147s |      17 |   299011 |   239832 |    85252      4 |    14591 |    14761
1150.07/1150.37	c 1149s |      17 |   299496 |   240232 |    85252      4 |    14591 |    14761
1152.67/1152.95	c 1152s |      17 |   300114 |   240732 |    85252      4 |    14591 |    14761
1154.96/1155.28	c 1154s |      17 |   300594 |   241132 |    85252      4 |    14591 |    14761
1157.46/1157.70	c 1156s |      17 |   301249 |   241632 |    85252      4 |    14591 |    14761
1159.56/1159.84	c 1158s |      17 |   301800 |   242032 |    85252      4 |    14591 |    14761
1162.16/1162.44	c 1161s |      17 |   302474 |   242532 |    85252      4 |    14591 |    14761
1164.26/1164.57	c 1163s |      17 |   303130 |   243032 |    85252      4 |    14591 |    14761
1166.45/1166.76	c 1165s |      17 |   303792 |   243532 |    85252      4 |    14591 |    14761
1168.55/1168.85	c 1168s |      17 |   304428 |   244032 |    85252      4 |    14591 |    14761
1170.95/1171.26	c 1170s |      17 |   305034 |   244532 |    85252      4 |    14591 |    14761
1173.15/1173.46	c 1172s |      17 |   305649 |   245032 |    85252      4 |    14591 |    14761
1175.24/1175.58	c 1174s |      17 |   306274 |   245532 |    85252      4 |    14591 |    14761
1177.34/1177.69	c 1176s |      17 |   306749 |   245932 |    85252      4 |    14591 |    14761
1179.84/1180.16	c 1179s |      17 |   307237 |   246332 |    85252      4 |    14591 |    14761
1182.14/1182.50	c 1181s |      17 |   307822 |   246832 |    85252      4 |    14591 |    14761
1184.74/1185.01	c 1184s |      17 |   308428 |   247332 |    85252      4 |    14591 |    14761
1187.24/1187.55	c 1186s |      17 |   309070 |   247832 |    85252      4 |    14591 |    14761
1189.24/1189.58	c 1188s |      17 |   309605 |   248232 |    85252      4 |    14591 |    14761
1191.44/1191.73	c 1190s |      17 |   310122 |   248632 |    85252      4 |    14591 |    14761
1193.54/1193.81	c 1192s |      17 |   310604 |   249032 |    85252      4 |    14591 |    14761
1195.63/1195.96	c 1195s |      17 |   311102 |   249432 |    85252      4 |    14591 |    14761
1197.83/1198.11	c 1197s |      17 |   311624 |   249832 |    85252      4 |    14591 |    14761
1200.23/1200.50	c 1199s |      17 |   312124 |   250232 |    85252      4 |    14591 |    14761
1202.63/1202.93	c 1202s |      17 |   312601 |   250632 |    85252      4 |    14591 |    14761
1205.03/1205.36	c 1204s |      17 |   313087 |   251032 |    85252      4 |    14591 |    14761
1207.43/1207.74	c 1206s |      17 |   313576 |   251432 |    85252      4 |    14591 |    14761
1209.73/1210.05	c 1209s |      17 |   314064 |   251832 |    85252      4 |    14591 |    14761
1212.03/1212.33	c 1211s |      17 |   314544 |   252232 |    85252      4 |    14591 |    14761
1214.33/1214.65	c 1213s |      17 |   315018 |   252632 |    85252      4 |    14591 |    14761
1216.92/1217.20	c 1216s |      17 |   315723 |   253132 |    85252      4 |    14591 |    14761
1219.22/1219.53	c 1218s |      17 |   316223 |   253532 |    85252      4 |    14591 |    14761
1221.42/1221.78	c 1220s |      17 |   316725 |   253932 |    85252      4 |    14591 |    14761
1223.62/1223.96	c 1223s |      17 |   317228 |   254332 |    85252      4 |    14591 |    14761
1226.01/1226.38	c 1225s |      17 |   317739 |   254732 |    85252      4 |    14591 |    14761
1228.61/1228.94	c 1228s |      17 |   318213 |   255132 |    85252      4 |    14591 |    14761
1231.11/1231.48	c 1230s |      17 |   318718 |   255532 |    85252      4 |    14591 |    14761
1233.71/1234.08	c 1233s |      17 |   319217 |   255932 |    85252      4 |    14591 |    14761
1235.71/1236.08	c 1235s |      17 |   319569 |   256232 |    85252      4 |    14591 |    14761
1238.10/1238.40	c 1237s |      17 |   319694 |   256332 |    85252      4 |    14591 |    14761
1240.30/1240.66	c 1239s |      17 |   320232 |   256732 |    85252      4 |    14591 |    14761
1242.50/1242.87	c 1242s |      17 |   320775 |   257132 |    85252      4 |    14591 |    14761
1244.91/1245.26	c 1244s |      17 |   321272 |   257532 |    85252      4 |    14591 |    14761
1247.10/1247.47	c 1246s |      17 |   321738 |   257932 |    85252      4 |    14591 |    14761
1249.20/1249.59	c 1248s |      17 |   322209 |   258332 |    85252      4 |    14591 |    14761
1251.30/1251.60	c 1250s |      17 |   322709 |   258732 |    85252      4 |    14591 |    14761
1253.30/1253.67	c 1252s |      17 |   323230 |   259132 |    85252      4 |    14591 |    14761
1255.59/1255.93	c 1255s |      17 |   323727 |   259532 |    85252      4 |    14591 |    14761
1257.99/1258.39	c 1257s |      17 |   324335 |   260032 |    85252      4 |    14591 |    14761
1260.40/1260.78	c 1259s |      17 |   324858 |   260432 |    85252      4 |    14591 |    14761
1262.89/1263.25	c 1262s |      17 |   325328 |   260832 |    85252      4 |    14591 |    14761
1265.49/1265.83	c 1264s |      17 |   325859 |   261232 |    85252      4 |    14591 |    14761
1268.10/1268.42	c 1267s |      17 |   326335 |   261632 |    85252      4 |    14591 |    14761
1270.19/1270.55	c 1269s |      17 |   326701 |   261932 |    85252      4 |    14591 |    14761
1272.39/1272.74	c 1271s |      17 |   327049 |   262232 |    85252      4 |    14591 |    14761
1274.39/1274.79	c 1273s |      17 |   327393 |   262532 |    85252      4 |    14591 |    14761
1276.58/1276.96	c 1276s |      17 |   327758 |   262832 |    85252      4 |    14591 |    14761
1278.68/1279.08	c 1278s |      17 |   328145 |   263132 |    85252      4 |    14591 |    14761
1281.29/1281.65	c 1280s |      17 |   328543 |   263432 |    85252      4 |    14591 |    14761
1283.39/1283.77	c 1282s |      17 |   328908 |   263732 |    85252      4 |    14591 |    14761
1286.08/1286.41	c 1285s |      17 |   329427 |   264132 |    85252      4 |    14591 |    14761
1288.58/1288.97	c 1288s |      17 |   329917 |   264532 |    85252      4 |    14591 |    14761
1291.19/1291.54	c 1290s |      17 |   330392 |   264932 |    85252      4 |    14591 |    14761
1293.68/1294.04	c 1293s |      17 |   330732 |   265232 |    85252      4 |    14591 |    14761
1295.87/1296.28	c 1295s |      17 |   331114 |   265532 |    85252      4 |    14591 |    14761
1298.47/1298.84	c 1297s |      17 |   331620 |   265932 |    85252      4 |    14591 |    14761
1300.57/1300.95	c 1300s |      17 |   332005 |   266232 |    85252      4 |    14591 |    14761
1302.77/1303.19	c 1302s |      17 |   332396 |   266532 |    85252      4 |    14591 |    14761
1305.07/1305.43	c 1304s |      17 |   332769 |   266832 |    85252      4 |    14591 |    14761
1307.57/1307.97	c 1307s |      17 |   333270 |   267232 |    85252      4 |    14591 |    14761
1309.67/1310.01	c 1309s |      17 |   333653 |   267532 |    85252      4 |    14591 |    14761
1311.77/1312.12	c 1311s |      17 |   334031 |   267832 |    85252      4 |    14591 |    14761
1314.47/1314.87	c 1314s |      17 |   334501 |   268232 |    85252      4 |    14591 |    14761
1316.96/1317.31	c 1316s |      17 |   335045 |   268632 |    85252      4 |    14591 |    14761
1319.67/1320.07	c 1319s |      17 |   335541 |   269032 |    85252      4 |    14591 |    14761
1322.16/1322.54	c 1321s |      17 |   336057 |   269432 |    85252      4 |    14591 |    14761
1324.26/1324.65	c 1323s |      17 |   336431 |   269732 |    85252      4 |    14591 |    14761
1326.85/1327.24	c 1326s |      17 |   336788 |   270032 |    85252      4 |    14591 |    14761
1329.05/1329.49	c 1328s |      17 |   337157 |   270332 |    85252      4 |    14591 |    14761
1331.15/1331.52	c 1330s |      17 |   337501 |   270632 |    85252      4 |    14591 |    14761
1333.85/1334.20	c 1333s |      17 |   338021 |   271032 |    85252      4 |    14591 |    14761
1336.05/1336.41	c 1335s |      17 |   338355 |   271332 |    85252      4 |    14591 |    14761
1338.46/1338.89	c 1338s |      17 |   338716 |   271632 |    85252      4 |    14591 |    14761
1340.85/1341.26	c 1340s |      17 |   339075 |   271932 |    85252      4 |    14591 |    14761
1343.25/1343.64	c 1342s |      17 |   339425 |   272232 |    85252      4 |    14591 |    14761
1345.64/1346.05	c 1345s |      17 |   339795 |   272532 |    85252      4 |    14591 |    14761
1348.14/1348.54	c 1347s |      17 |   340140 |   272832 |    85252      4 |    14591 |    14761
1350.64/1351.00	c 1350s |      17 |   340502 |   273132 |    85252      4 |    14591 |    14761
1352.94/1353.37	c 1352s |      17 |   340831 |   273432 |    85252      4 |    14591 |    14761
1356.14/1356.57	c 1355s |      17 |   340972 |   273532 |    85252      4 |    14591 |    14761
1358.74/1359.15	c 1358s |      17 |   341334 |   273832 |    85252      4 |    14591 |    14761
1361.24/1361.65	c 1360s |      17 |   341677 |   274132 |    85252      4 |    14591 |    14761
1363.34/1363.74	c 1362s |      17 |   342040 |   274432 |    85252      4 |    14591 |    14761
1365.63/1366.05	c 1365s |      17 |   342452 |   274732 |    85252      4 |    14591 |    14761
1367.63/1368.06	c 1367s |      17 |   342826 |   275032 |    85252      4 |    14591 |    14761
1369.93/1370.35	c 1369s |      17 |   343252 |   275332 |    85252      4 |    14591 |    14761
1372.44/1372.86	c 1372s |      17 |   343616 |   275632 |    85252      4 |    14591 |    14761
1374.83/1375.27	c 1374s |      17 |   343988 |   275932 |    85252      4 |    14591 |    14761
1377.33/1377.75	c 1376s |      17 |   344318 |   276232 |    85252      4 |    14591 |    14761
1379.53/1379.99	c 1379s |      17 |   344699 |   276532 |    85252      4 |    14591 |    14761
1382.24/1382.65	c 1381s |      17 |   345200 |   276932 |    85252      4 |    14591 |    14761
1384.94/1385.33	c 1384s |      17 |   345723 |   277332 |    85252      4 |    14591 |    14761
1387.04/1387.43	c 1386s |      17 |   346085 |   277632 |    85252      4 |    14591 |    14761
1389.24/1389.64	c 1388s |      17 |   346453 |   277932 |    85252      4 |    14591 |    14761
1391.74/1392.15	c 1391s |      17 |   346803 |   278232 |    85252      4 |    14591 |    14761
1394.04/1394.50	c 1393s |      17 |   347176 |   278532 |    85252      4 |    14591 |    14761
1396.54/1396.97	c 1396s |      17 |   347562 |   278832 |    85252      4 |    14591 |    14761
1398.94/1399.37	c 1398s |      17 |   347905 |   279132 |    85252      4 |    14591 |    14761
1401.44/1401.87	c 1401s |      17 |   348291 |   279432 |    85252      4 |    14591 |    14761
1404.03/1404.42	c 1403s |      17 |   348653 |   279732 |    85252      4 |    14591 |    14761
1406.13/1406.55	c 1405s |      17 |   348896 |   279932 |    85252      4 |    14591 |    14761
1408.84/1409.26	c 1408s |      17 |   349314 |   280232 |    85252      4 |    14591 |    14761
1411.43/1411.82	c 1410s |      17 |   349678 |   280532 |    85252      4 |    14591 |    14761
1413.93/1414.30	c 1413s |      17 |   350047 |   280832 |    85252      4 |    14591 |    14761
1416.43/1416.81	c 1415s |      17 |   350408 |   281132 |    85252      4 |    14591 |    14761
1418.93/1419.37	c 1418s |      17 |   350744 |   281432 |    85252      4 |    14591 |    14761
1421.13/1421.58	c 1420s |      17 |   351102 |   281732 |    85252      4 |    14591 |    14761
1423.73/1424.18	c 1423s |      17 |   351470 |   282032 |    85252      4 |    14591 |    14761
1426.22/1426.68	c 1425s |      17 |   351849 |   282332 |    85252      4 |    14591 |    14761
1429.92/1430.33	c 1429s |      17 |   352099 |   282532 |    85252      5 |    14591 |    14761
1432.12/1432.58	c 1431s |      17 |   352452 |   282832 |    85252      5 |    14591 |    14761
1434.42/1434.82	c 1433s |      17 |   352820 |   283132 |    85252      5 |    14591 |    14761
1436.82/1437.29	c 1436s |      17 |   353434 |   283632 |    85252      5 |    14591 |    14761
1439.02/1439.42	c 1438s |      17 |   353894 |   284032 |    85252      5 |    14591 |    14761
1441.02/1441.44	c 1440s |      17 |   354385 |   284432 |    85252      5 |    14591 |    14761
1443.32/1443.76	c 1442s |      17 |   355041 |   284932 |    85252      5 |    14591 |    14761
1445.52/1445.94	c 1445s |      17 |   355515 |   285332 |    85252      5 |    14591 |    14761
1447.92/1448.32	c 1447s |      17 |   355952 |   285732 |    85252      5 |    14591 |    14761
1450.12/1450.54	c 1449s |      17 |   356450 |   286132 |    85252      5 |    14591 |    14761
1452.32/1452.79	c 1451s |      17 |   356931 |   286532 |    85252      5 |    14591 |    14761
1454.71/1455.13	c 1454s |      17 |   357313 |   286832 |    85252      5 |    14591 |    14761
1456.81/1457.23	c 1456s |      17 |   357662 |   287132 |    85252      5 |    14591 |    14761
1458.81/1459.29	c 1458s |      17 |   358026 |   287432 |    85252      5 |    14591 |    14761
1461.01/1461.46	c 1460s |      17 |   358523 |   287832 |    85252      5 |    14591 |    14761
1463.11/1463.50	c 1462s |      17 |   359015 |   288232 |    85252      5 |    14591 |    14761
1465.61/1466.05	c 1465s |      17 |   359617 |   288732 |    85252      5 |    14591 |    14761
1467.61/1468.07	c 1467s |      17 |   360077 |   289132 |    85252      5 |    14591 |    14761
1469.91/1470.32	c 1469s |      17 |   360663 |   289632 |    85252      5 |    14591 |    14761
1472.31/1472.78	c 1471s |      17 |   361269 |   290132 |    85252      5 |    14591 |    14761
1474.51/1474.91	c 1474s |      17 |   361737 |   290532 |    85252      5 |    14591 |    14761
1476.71/1477.16	c 1476s |      17 |   362223 |   290932 |    85252      5 |    14591 |    14761
1479.31/1479.70	c 1478s |      17 |   362724 |   291332 |    85252      5 |    14591 |    14761
1481.91/1482.33	c 1481s |      17 |   363194 |   291732 |    85252      5 |    14591 |    14761
1483.91/1484.37	c 1483s |      17 |   363564 |   292032 |    85252      5 |    14591 |    14761
1486.01/1486.46	c 1485s |      17 |   363967 |   292332 |    85252      5 |    14591 |    14761
1488.51/1488.98	c 1488s |      17 |   364492 |   292732 |    85252      5 |    14591 |    14761
1490.61/1491.05	c 1490s |      17 |   364871 |   293032 |    85252      5 |    14591 |    14761
1492.91/1493.32	c 1492s |      17 |   365362 |   293432 |    85252      5 |    14591 |    14761
1495.31/1495.71	c 1494s |      17 |   365841 |   293832 |    85252      5 |    14591 |    14761
1497.51/1497.92	c 1497s |      17 |   366371 |   294232 |    93778      5 |    14591 |    14761
1499.81/1500.22	c 1499s |      17 |   366837 |   294632 |    93778      5 |    14591 |    14761
1501.90/1502.36	c 1501s |      17 |   367396 |   295032 |    93778      5 |    14591 |    14761
1504.00/1504.44	c 1503s |      17 |   367956 |   295432 |    93778      5 |    14591 |    14761
1506.10/1506.57	c 1505s |      17 |   368463 |   295832 |    93778      5 |    14591 |    14761
1508.30/1508.71	c 1507s |      17 |   368989 |   296232 |    93778      5 |    14591 |    14761
1508.30/1508.79	c 1507s |      18 |   369015 |   296252 |    93778      5 |    14591 |    14761
1510.90/1511.31	c 1510s |      18 |   369519 |   296652 |    93778      5 |    14591 |    14761
1513.40/1513.80	c 1512s |      18 |   370150 |   297152 |    93778      5 |    14591 |    14761
1515.80/1516.24	c 1515s |      18 |   370785 |   297652 |    93778      5 |    14591 |    14761
1518.00/1518.45	c 1517s |      18 |   371243 |   298052 |    93778      5 |    14591 |    14761
1520.30/1520.71	c 1519s |      18 |   371737 |   298452 |    93778      5 |    14591 |    14761
1522.40/1522.84	c 1521s |      18 |   372246 |   298852 |    93778      5 |    14591 |    14761
1524.50/1524.99	c 1524s |      18 |   372729 |   299252 |    93778      5 |    14591 |    14761
1526.60/1527.02	c 1526s |      18 |   373231 |   299652 |    93778      5 |    14591 |    14761
1528.71/1529.17	c 1528s |      18 |   373721 |   300052 |    93778      5 |    14591 |    14761
1530.91/1531.37	c 1530s |      18 |   374249 |   300452 |    93778      5 |    14591 |    14761
1533.50/1533.95	c 1533s |      18 |   374872 |   300952 |    93778      5 |    14591 |    14761
1536.10/1536.52	c 1535s |      18 |   375381 |   301352 |    93778      5 |    14591 |    14761
1538.51/1538.97	c 1538s |      18 |   375852 |   301752 |    93778      5 |    14591 |    14761
1540.50/1540.98	c 1540s |      18 |   376198 |   302052 |    93778      5 |    14591 |    14761
1543.10/1543.59	c 1542s |      18 |   376664 |   302452 |    93778      5 |    14591 |    14761
1545.10/1545.59	c 1544s |      18 |   377019 |   302752 |    93778      5 |    14591 |    14761
1547.40/1547.84	c 1546s |      18 |   377489 |   303152 |    93778      5 |    14591 |    14761
1549.60/1550.09	c 1549s |      18 |   377982 |   303552 |    93778      5 |    14591 |    14761
1552.00/1552.48	c 1551s |      18 |   378466 |   303952 |    93778      5 |    14591 |    14761
1554.10/1554.59	c 1553s |      18 |   378983 |   304352 |    93778      5 |    14591 |    14761
1556.20/1556.65	c 1555s |      18 |   379503 |   304752 |    93778      5 |    14591 |    14761
1558.50/1558.95	c 1558s |      18 |   379990 |   305152 |    93778      5 |    14591 |    14761
1560.79/1561.22	c 1560s |      18 |   380452 |   305552 |    93778      5 |    14591 |    14761
1563.39/1563.82	c 1562s |      18 |   380916 |   305952 |    93778      5 |    14591 |    14761
1565.79/1566.23	c 1565s |      18 |   381398 |   306352 |    93778      5 |    14591 |    14761
1567.99/1568.48	c 1567s |      18 |   381863 |   306752 |    93778      5 |    14591 |    14761
1570.09/1570.56	c 1569s |      18 |   382360 |   307152 |    93778      5 |    14591 |    14761
1572.60/1573.08	c 1572s |      18 |   382832 |   307552 |    93778      5 |    14591 |    14761
1575.29/1575.78	c 1574s |      18 |   383318 |   307952 |    93778      5 |    14591 |    14761
1577.79/1578.30	c 1577s |      18 |   383824 |   308352 |    93778      5 |    14591 |    14761
1580.59/1581.05	c 1580s |      18 |   384293 |   308752 |    93778      5 |    14591 |    14761
1582.89/1583.37	c 1582s |      18 |   384787 |   309152 |    93778      5 |    14591 |    14761
1585.49/1585.96	c 1585s |      18 |   385249 |   309552 |    93778      5 |    14591 |    14761
1588.00/1588.48	c 1587s |      18 |   385717 |   309952 |    93778      5 |    14591 |    14761
1590.69/1591.14	c 1590s |      18 |   386231 |   310352 |    93778      5 |    14591 |    14761
1593.29/1593.72	c 1592s |      18 |   386697 |   310752 |    93778      5 |    14591 |    14761
1595.59/1596.00	c 1595s |      18 |   387042 |   311052 |    93778      5 |    14591 |    14761
1598.19/1598.64	c 1597s |      18 |   387508 |   311452 |    93778      5 |    14591 |    14761
1600.29/1600.72	c 1599s |      18 |   387875 |   311752 |    93778      5 |    14591 |    14761
1602.29/1602.78	c 1601s |      18 |   388262 |   312052 |    93778      5 |    14591 |    14761
1604.79/1605.28	c 1604s |      18 |   388776 |   312452 |    93778      5 |    14591 |    14761
1606.79/1607.28	c 1606s |      18 |   389165 |   312752 |    93778      5 |    14591 |    14761
1608.79/1609.29	c 1608s |      18 |   389520 |   313052 |    93778      5 |    14591 |    14761
1611.29/1611.79	c 1610s |      18 |   390007 |   313452 |    93778      5 |    14591 |    14761
1613.39/1613.87	c 1613s |      18 |   390350 |   313752 |    93778      5 |    14591 |    14761
1615.88/1616.32	c 1615s |      18 |   390844 |   314152 |    93778      5 |    14591 |    14761
1618.08/1618.51	c 1617s |      18 |   391378 |   314552 |    93778      5 |    14591 |    14761
1620.38/1620.86	c 1620s |      18 |   391847 |   314952 |    93778      5 |    14591 |    14761
1622.48/1622.97	c 1622s |      18 |   392238 |   315252 |    93778      5 |    14591 |    14761
1624.78/1625.28	c 1624s |      18 |   392727 |   315652 |    93778      5 |    14591 |    14761
1626.78/1627.28	c 1626s |      18 |   393065 |   315952 |    93778      5 |    14591 |    14761
1629.28/1629.70	c 1628s |      18 |   393522 |   316352 |    93778      5 |    14591 |    14761
1631.88/1632.33	c 1631s |      18 |   393986 |   316752 |    93778      5 |    14591 |    14761
1633.98/1634.47	c 1633s |      18 |   394342 |   317052 |    93778      5 |    14591 |    14761
1636.68/1637.15	c 1636s |      18 |   394832 |   317452 |    93778      5 |    14591 |    14761
1639.18/1639.66	c 1638s |      18 |   395345 |   317852 |    93778      5 |    14591 |    14761
1641.48/1641.99	c 1641s |      18 |   395824 |   318252 |    93778      5 |    14591 |    14761
1644.19/1644.60	c 1643s |      18 |   396298 |   318652 |    93778      5 |    14591 |    14761
1646.68/1647.16	c 1646s |      18 |   396772 |   319052 |    93778      5 |    14591 |    14761
1649.28/1649.73	c 1648s |      18 |   397226 |   319452 |    93778      5 |    14591 |    14761
1651.28/1651.79	c 1650s |      18 |   397618 |   319752 |    93778      5 |    14591 |    14761
1653.48/1653.99	c 1653s |      18 |   397977 |   320052 |    93778      5 |    14591 |    14761
1655.78/1656.20	c 1655s |      18 |   398329 |   320352 |    93778      5 |    14591 |    14761
1658.38/1658.87	c 1658s |      18 |   398817 |   320752 |    93778      5 |    14591 |    14761
1660.78/1661.27	c 1660s |      18 |   399167 |   321052 |    93778      5 |    14591 |    14761
1663.08/1663.56	c 1662s |      18 |   399541 |   321352 |    93778      5 |    14591 |    14761
1665.28/1665.73	c 1664s |      18 |   400050 |   321752 |    93778      5 |    14591 |    14761
1667.38/1667.83	c 1666s |      18 |   400530 |   322152 |    93778      5 |    14591 |    14761
1669.38/1669.89	c 1669s |      18 |   400900 |   322452 |    93778      5 |    14591 |    14761
1671.48/1671.97	c 1671s |      18 |   401259 |   322752 |    93778      5 |    14591 |    14761
1673.58/1674.08	c 1673s |      18 |   401611 |   323052 |    93778      5 |    14591 |    14761
1675.68/1676.14	c 1675s |      18 |   401975 |   323352 |    93778      5 |    14591 |    14761
1677.78/1678.24	c 1677s |      18 |   402301 |   323652 |    93778      5 |    14591 |    14761
1680.38/1680.82	c 1679s |      18 |   402782 |   324052 |    93778      5 |    14591 |    14761
1682.97/1683.43	c 1682s |      18 |   403272 |   324452 |    93778      5 |    14591 |    14761
1685.07/1685.50	c 1684s |      18 |   403622 |   324752 |    93778      5 |    14591 |    14761
1687.57/1688.08	c 1687s |      18 |   404129 |   325152 |    93778      5 |    14591 |    14761
1689.67/1690.12	c 1689s |      18 |   404473 |   325452 |    93778      5 |    14591 |    14761
1691.87/1692.35	c 1691s |      18 |   404816 |   325752 |    93778      5 |    14591 |    14761
1694.37/1694.83	c 1693s |      18 |   405174 |   326052 |    93778      5 |    14591 |    14761
1696.57/1697.04	c 1696s |      18 |   405538 |   326352 |    93778      5 |    14591 |    14761
1698.77/1699.29	c 1698s |      18 |   405871 |   326652 |    93778      5 |    14591 |    14761
1701.17/1701.64	c 1700s |      18 |   406252 |   326952 |    93778      5 |    14591 |    14761
1703.27/1703.76	c 1702s |      18 |   406582 |   327252 |    93778      5 |    14591 |    14761
1705.68/1706.18	c 1705s |      18 |   406930 |   327552 |    93778      5 |    14591 |    14761
1707.98/1708.46	c 1707s |      18 |   407303 |   327852 |    93778      5 |    14591 |    14761
1710.57/1711.05	c 1710s |      18 |   407666 |   328152 |    93778      5 |    14591 |    14761
1712.97/1713.44	c 1712s |      18 |   408023 |   328452 |    93778      5 |    14591 |    14761
1715.47/1715.91	c 1715s |      18 |   408387 |   328752 |    93778      5 |    14591 |    14761
1717.78/1718.30	c 1717s |      18 |   408717 |   329052 |    93778      5 |    14591 |    14761
1720.08/1720.52	c 1719s |      18 |   409093 |   329352 |    93778      5 |    14591 |    14761
1722.07/1722.53	c 1721s |      18 |   409444 |   329652 |    93778      5 |    14591 |    14761
1724.77/1725.28	c 1724s |      18 |   409787 |   329952 |    93778      5 |    14591 |    14761
1727.47/1727.94	c 1727s |      18 |   410130 |   330252 |    93778      5 |    14591 |    14761
1729.97/1730.48	c 1729s |      18 |   410495 |   330552 |    93778      5 |    14591 |    14761
1732.37/1732.82	c 1731s |      18 |   410832 |   330852 |    93778      5 |    14591 |    14761
1734.77/1735.30	c 1734s |      18 |   411214 |   331152 |    93778      5 |    14591 |    14761
1737.17/1737.69	c 1736s |      18 |   411584 |   331452 |    93778      5 |    14591 |    14761
1739.67/1740.10	c 1739s |      18 |   411953 |   331752 |    93778      5 |    14591 |    14761
1742.17/1742.60	c 1741s |      18 |   412338 |   332052 |    93778      5 |    14591 |    14761
1744.36/1744.87	c 1744s |      18 |   412690 |   332352 |    93778      5 |    14591 |    14761
1746.76/1747.25	c 1746s |      18 |   413054 |   332652 |    93778      5 |    14591 |    14761
1749.16/1749.63	c 1748s |      18 |   413406 |   332952 |    93778      5 |    14591 |    14761
1751.76/1752.27	c 1751s |      18 |   413740 |   333252 |    93778      5 |    14591 |    14761
1754.76/1755.26	c 1754s |      18 |   414106 |   333552 |    93778      5 |    14591 |    14761
1757.37/1757.84	c 1756s |      18 |   414470 |   333852 |    93778      5 |    14591 |    14761
1760.06/1760.57	c 1759s |      18 |   414809 |   334152 |    93778      5 |    14591 |    14761
1762.87/1763.37	c 1762s |      18 |   415166 |   334452 |    93778      5 |    14591 |    14761
1765.76/1766.26	c 1765s |      18 |   415498 |   334752 |    93778      5 |    14591 |    14761
1768.37/1768.85	c 1767s |      18 |   415829 |   335052 |    93778      5 |    14591 |    14761
1770.96/1771.43	c 1770s |      18 |   416181 |   335352 |    93778      5 |    14591 |    14761
1773.46/1773.99	c 1773s |      18 |   416552 |   335652 |    93778      5 |    14591 |    14761
1775.86/1776.34	c 1775s |      18 |   416903 |   335952 |    93778      5 |    14591 |    14761
1778.16/1778.67	c 1777s |      18 |   417265 |   336252 |    93778      5 |    14591 |    14761
1780.66/1781.12	c 1780s |      18 |   417627 |   336552 |    93778      5 |    14591 |    14761
1783.06/1783.50	c 1782s |      18 |   417990 |   336852 |    93778      5 |    14591 |    14761
1785.06/1785.58	c 1784s |      18 |   418205 |   337052 |    93778      5 |    14591 |    14761
1787.66/1788.18	c 1787s |      18 |   418588 |   337352 |    93778      5 |    14591 |    14761
1790.06/1790.51	c 1789s |      18 |   418962 |   337652 |    93778      5 |    14591 |    14761
1792.86/1793.30	c 1792s |      18 |   419305 |   337952 |    93778      5 |    14591 |    14761
1795.26/1795.71	c 1794s |      18 |   419510 |   338152 |    93778      5 |    14591 |    14761
1798.26/1798.72	c 1797s |      18 |   419884 |   338452 |    93778      5 |    14591 |    14761

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

pid=9193
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.28 2.23 2.19 3/180 9196
/proc/meminfo: memFree=28833712/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 2798 0 0 0 0 0 0 0 20 0 4 0 109258532 768012288 3669 33554432000 4194304 16246674 140733417984352 140733417983776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 188015 3679 441 2943 0 184909 0
[pid=9196/tid=9197] ppid=9193 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 785838080 3737 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 790032384 3756 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109258533 794226688 3772 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.28 2.23 2.19 3/180 9196
/proc/meminfo: memFree=28833712/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 26915 0 0 0 6 3 0 0 20 0 4 0 109258532 1333334016 27725 33554432000 4194304 16246674 140733417984352 140733417983664 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 325521 27740 800 2943 0 322415 0
[pid=9196/tid=9197] ppid=9193 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1333334016 27750 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1333334016 27762 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1333334016 27772 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200537 s]
/proc/loadavg: 2.28 2.23 2.19 3/180 9196
/proc/meminfo: memFree=28833712/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 47614 0 0 0 13 6 0 0 20 0 4 0 109258532 1344868352 48934 33554432000 4194304 16246674 140733417984352 140733417983664 8058916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 328337 48934 800 2943 0 325231 0
[pid=9196/tid=9197] ppid=9193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1344868352 48934 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1344868352 48934 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1344868352 48934 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30051 s]
/proc/loadavg: 2.28 2.23 2.19 3/180 9196
/proc/meminfo: memFree=28833712/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 55006 0 0 0 22 7 0 0 20 0 4 0 109258532 1344868352 56326 33554432000 4194304 16246674 140733417984352 140733417983664 13927398 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 328337 56326 800 2943 0 325231 0
[pid=9196/tid=9197] ppid=9193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1344868352 56326 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1344868352 56326 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1344868352 56326 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700412 s]
/proc/loadavg: 2.28 2.23 2.19 3/180 9196
/proc/meminfo: memFree=28833712/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1324612 CPUtime=0.69 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 76377 0 0 0 58 11 0 0 20 0 4 0 109258532 1356402688 77697 33554432000 4194304 16246674 140733417984352 140733417967344 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 331153 77706 836 2943 0 328047 0
[pid=9196/tid=9197] ppid=9193 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1356402688 77712 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1356402688 77717 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1356402688 77722 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1324612

[startup+1.5004 s]
/proc/loadavg: 2.28 2.23 2.19 3/184 9200
/proc/meminfo: memFree=28406796/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 153877 0 0 0 128 21 0 0 20 0 4 0 109258532 1357451264 155197 33554432000 4194304 16246674 140733417984352 140733417966272 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 331409 155203 881 2943 0 328303 0
[pid=9196/tid=9197] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 155207 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 155209 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 155213 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10042 s]
/proc/loadavg: 2.28 2.23 2.19 3/184 9200
/proc/meminfo: memFree=27878180/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 272073 0 0 0 272 37 0 0 20 0 4 0 109258532 1357451264 273393 33554432000 4194304 16246674 140733417984352 140733417966272 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 331409 273393 884 2943 0 328303 0
[pid=9196/tid=9197] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273393 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273393 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273393 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30038 s]
/proc/loadavg: 2.25 2.23 2.19 3/184 9200
/proc/meminfo: memFree=27741344/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 272081 0 0 0 592 37 0 0 20 0 4 0 109258532 1357451264 273401 33554432000 4194304 16246674 140733417984352 140733417967352 5545724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 331409 273401 889 2943 0 328303 0
[pid=9196/tid=9197] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273401 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273401 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273401 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.23 2.23 2.18 4/183 9200
/proc/meminfo: memFree=27741656/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1325636 CPUtime=12.69 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 272083 0 0 0 1232 37 0 0 20 0 4 0 109258532 1357451264 273403 33554432000 4194304 16246674 140733417984352 140733417966272 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 331409 273403 891 2943 0 328303 0
[pid=9196/tid=9197] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 9200
/proc/meminfo: memFree=27743896/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1325636 CPUtime=25.48 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 272083 0 0 0 2511 37 0 0 20 0 4 0 109258532 1357451264 273403 33554432000 4194304 16246674 140733417984352 140733417966272 5523404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 331409 273403 891 2943 0 328303 0
[pid=9196/tid=9197] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 9200
/proc/meminfo: memFree=27743868/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 272083 0 0 0 5071 37 0 0 20 0 4 0 109258532 1357451264 273403 33554432000 4194304 16246674 140733417984352 140733417966272 5824003 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 331409 273403 891 2943 0 328303 0
[pid=9196/tid=9197] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273403 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.301 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 9201
/proc/meminfo: memFree=27743552/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 272085 0 0 0 10191 37 0 0 20 0 4 0 109258532 1357451264 273405 33554432000 4194304 16246674 140733417984352 140733417966272 5677712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 331409 273405 891 2943 0 328303 0
[pid=9196/tid=9197] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273405 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273405 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1357451264 273405 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1370692

[startup+1362.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 9331
/proc/meminfo: memFree=27767136/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1361.94 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283576 0 0 0 136151 43 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 5673980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1370692

[startup+1422.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 9332
/proc/meminfo: memFree=27767092/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1421.93 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283604 0 0 0 142149 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1370692

[startup+1482.3 s]
/proc/loadavg: 2.42 2.29 2.21 3/183 9333
/proc/meminfo: memFree=27767392/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1481.91 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283612 0 0 0 148147 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1370692

[startup+1542.31 s]
/proc/loadavg: 2.25 2.27 2.20 3/183 9334
/proc/meminfo: memFree=27767536/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1541.9 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283612 0 0 0 154146 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1370692

[startup+1602.3 s]
/proc/loadavg: 2.39 2.31 2.22 3/183 9335
/proc/meminfo: memFree=27767448/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1601.89 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283612 0 0 0 160145 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1370692

[startup+1662.3 s]
/proc/loadavg: 2.29 2.29 2.22 3/183 9337
/proc/meminfo: memFree=27767784/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1661.88 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283612 0 0 0 166144 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1370692

[startup+1722.3 s]
/proc/loadavg: 2.26 2.28 2.21 4/183 9338
/proc/meminfo: memFree=27767272/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1721.87 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283612 0 0 0 172143 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966208 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1370692

[startup+1782.3 s]
/proc/loadavg: 2.25 2.27 2.21 3/184 9342
/proc/meminfo: memFree=27766744/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1781.86 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283612 0 0 0 178142 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1370692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.25 2.21 3/184 9342
/proc/meminfo: memFree=27767008/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1800.06 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283612 0 0 0 179962 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 5823340 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1370692

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

[startup+1800.5 s]
/proc/loadavg: 2.17 2.25 2.21 3/184 9342
/proc/meminfo: memFree=27767008/32872528 swapFree=16384/1696552
[pid=9196] ppid=9193 vsize=1370692 CPUtime=1800.06 cores=1,3,5,7
/proc/9196/stat : 9196 (toysat) R 9193 9196 5723 0 -1 4202496 283612 0 0 0 179962 44 0 0 20 0 4 0 109258532 1403588608 284673 33554432000 4194304 16246674 140733417984352 140733417966272 5823340 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9196/statm: 342673 284673 891 2943 0 339567 0
[pid=9196/tid=9197] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9197/stat : 9197 (toysat) S 9193 9196 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144795430128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9196/tid=9198] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9198/stat : 9198 (toysat) S 9193 9196 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144715738352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9196/tid=9199] ppid=9193 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/9196/task/9199/stat : 9199 (toysat) S 9193 9196 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258533 1403588608 284673 33554432000 4194304 16246674 140733417984352 140144705264816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1370692

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.63
CPU system time (s): 0.447931
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1370692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.447931
maximum resident set size= 1138692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283612
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= 277
involuntary context switches= 1954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85926 second user time and 6.64999 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 06:20:55
IDJOB=4078840
IDBENCH=74115
IDSOLVER=2542
FILE ID=node125/4078840-1465273255
RUNJOBID= node125-1465259688-5740
PBS_JOBID= 19843289
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_6-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078840-1465273255/watcher-4078840-1465273255 -o /tmp/evaluation-result-4078840-1465273255/solver-4078840-1465273255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078840-1465273255.opb

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

MD5SUM BENCH= 767f3c2306b702c64990fc49595a468e
RANDOM SEED=243563235

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28833720 kB
Buffers:          131528 kB
Cached:           268236 kB
SwapCached:         1984 kB
Active:          1321852 kB
Inactive:         266436 kB
Active(anon):    1189708 kB
Inactive(anon):     1436 kB
Active(file):     132144 kB
Inactive(file):   265000 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             18344 kB
Writeback:             0 kB
AnonPages:       2890680 kB
Mapped:            10884 kB
Shmem:                 0 kB
Slab:             613544 kB
SReclaimable:      57200 kB
SUnreclaim:       556344 kB
KernelStack:        1520 kB
PageTables:         9808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3028636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1691648 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 node125 at 2016-06-07 06:50:55