Trace number 4116797

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-1.opb
MD5SUM0d9d4801edbabf445359520c12961408
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T23:17:51+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-4116797-1466975871.opb"]
0.00/0.01	c use --random-gen="4147295503 2296812871 763520446 2114245687 2299499080 928759263 894542125 232992116 2824513682 1641095753 3271050053 762013200 365796967 252261996 3371655708 3540266573 3707782888 177324229 1798110645 206943021 2241654855 2269406311 3463380579 3809806373 4259250507 2967355317 4118702272 2194237660 3560127975 3586017772 3028278454 1323579809 2675714132 3396017193 3485976897 1898046983 970700142 1141712665 1112028410 2885096246 4197471764 4178422227 925010618 560785711 1567642661 4052253264 168790871 3934733655 3534912121 2674548775 2374656823 2278461246 2795600082 3381665893 2715990323 2068656245 1511887547 190544031 1120732828 395959119 3428367895 548551793 772843081 2426303294 1638749119 3212458469 1740043344 2961033180 2157884145 1719083539 1980202241 3989307785 2895136218 40986768 3283900378 2118517509 2609280688 1344770646 3394064637 2378434386 1841993687 2030863460 678903461 2020606514 2073740737 3479788639 3983454282 3392812411 1809293724 3740223095 891898254 2431699116 609633800 676477627 4147169657 3137589168 2642929258 1651387323 611813578 2457628897 679897256 2845897868 2855201979 2172944291 203615442 2277196481 2809776676 3977947737 573567791 2419202350 1013309580 3848669352 946660004 2274525967 787589161 3027129508 2804716222 1527238180 1230287121 2207840429 1387466678 2399480007 1207550209 3762891531 2478697922 1561258743 3729168003 3156397205 3602364872 1789960332 3883843784 4056627209 3294736866 2572879176 1920504701 974503562 852310172 2064583452 1164598720 1674461976 1988741547 2726016436 2135416961 93560947 3188980870 4241721469 1978942175 3893455041 564552326 2546539328 3557291212 2495608457 17550095 3741638402 4033595992 3507438805 1732410980 3962878403 1726449501 2105354321 48050401 2942874898 862783308 158274032 1051133743 2451849057 1598625257 2810759657 4188056268 3896306543 454772241 2276712352 271200852 558862017 1601663009 3426609507 2978896020 3146550678 3884464616 1940668064 3552072313 1036092754 3323044955 2359448843 3497071276 386757720 4075463708 2034929505 3585786765 3916488050 3770414040 1344559328 1145052135 1584752427 21728833 2977102303 1533095447 2580216384 2871763807 2884774323 2121116784 52818272 3200772576 2331774274 2772119211 1132694725 920033639 2540227392 2869953353 1306918796 1677933848 1159019802 3545009614 2940359641 175636399 3617672544 1213862266 2115997706 2644614467 3223150285 1264079705 2509764872 2994786932 4107947807 2138699530 2891247544 100880161 238227661 696735393 4188531164 2327963835 1129805692 1514948280 710941717 126338975 1867757939 260614764 2458519095 3480136666 3507107878 1438239442 4156029000 2938223955 2115305726 1622682797 1623379845 625341922 3102392196 1390305013 1852300768 2088404356 3772623514 1846399014 2917330029 3865898370 3928051594 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      624 |        0
0.29/0.35	c  0.1s |       1 |     1139 |      100 |     4565      0 |      624 |      372
0.49/0.50	c  0.2s |       2 |     2141 |      250 |     5022      0 |      624 |      372
0.58/0.66	c  0.4s |       3 |     3329 |      475 |     5525      0 |      624 |      372
0.79/0.83	c  0.6s |       4 |     4554 |      813 |     6078      0 |      624 |      372
1.29/1.30	c  1.0s |       5 |     7288 |     1320 |     6686      0 |      624 |      372
1.89/1.98	c  1.7s |       6 |    10722 |     2081 |     8091      0 |      624 |      372
2.98/3.00	c  2.7s |       7 |    13572 |     3223 |     8901      0 |      624 |      372
4.88/4.92	c  4.6s |       8 |    19310 |     4936 |     9792      0 |      626 |      372
6.88/6.99	c  6.7s |       8 |    27972 |     7336 |     9792      0 |      626 |      372
7.08/7.17	c  6.9s |       9 |    28174 |     7506 |    10772      0 |      626 |      372
9.08/9.19	c  8.9s |       9 |    37754 |     9906 |    10772      0 |      626 |      372
10.08/10.15	c  9.9s |      10 |    42996 |    11361 |    11850      0 |      626 |      372
12.09/12.18	c 11.9s |      10 |    49732 |    13361 |    11850      0 |      626 |      372
14.29/14.31	c 14.0s |      10 |    51496 |    14761 |    11850      0 |      626 |      372
16.28/16.38	c 16.1s |      10 |    53489 |    16161 |    11850      1 |      626 |      372
17.78/17.81	c 17.5s |      11 |    54921 |    17144 |    13036      1 |      626 |      372
19.79/19.83	c 19.6s |      11 |    64303 |    19644 |    13036      1 |      626 |      372
21.78/21.86	c 21.6s |      11 |    67211 |    21444 |    13036      1 |      626 |      372
23.88/23.92	c 23.6s |      11 |    70238 |    22844 |    13036      1 |      626 |      372
25.88/25.92	c 25.6s |      11 |    73872 |    24544 |    13036      2 |      626 |      372
27.88/27.97	c 27.7s |      11 |    75167 |    25744 |    14340      2 |      626 |      372
27.98/28.08	c 27.8s |      12 |    75252 |    25819 |    14340      2 |      626 |      372
30.08/30.13	c 29.9s |      12 |    83315 |    28419 |    14340      2 |      626 |      372
32.18/32.21	c 31.9s |      12 |    89256 |    30819 |    14340      2 |      626 |      372
34.28/34.31	c 34.0s |      12 |    90569 |    32019 |    14340      2 |      626 |      372
36.39/36.41	c 36.1s |      12 |    91586 |    32919 |    14340      2 |      626 |      372
38.39/38.50	c 38.2s |      12 |    93007 |    34019 |    14340      3 |      626 |      372
40.59/40.62	c 40.3s |      12 |    94454 |    35119 |    14340      3 |      626 |      372
42.69/42.73	c 42.5s |      12 |    95800 |    36219 |    14340      3 |      626 |      372
44.79/44.83	c 44.6s |      12 |   101581 |    38119 |    14340      3 |      626 |      372
45.59/45.63	c 45.4s |      13 |   102640 |    38832 |    15775      3 |      626 |      372
47.68/47.71	c 47.4s |      13 |   107421 |    40532 |    15775      3 |      626 |      372
49.68/49.78	c 49.5s |      13 |   109001 |    41732 |    15775      3 |      626 |      372
51.79/51.84	c 51.6s |      13 |   110455 |    42932 |    15775      3 |      626 |      372
53.89/54.00	c 53.7s |      13 |   112060 |    44032 |    15775      4 |      626 |      372
55.98/56.05	c 55.8s |      13 |   113566 |    45232 |    15775      4 |      626 |      372
58.08/58.15	c 57.9s |      13 |   114770 |    46232 |    15775      4 |      626 |      372
60.08/60.17	c 59.9s |      13 |   115697 |    47032 |    15775      4 |      626 |      372
62.18/62.26	c 62.0s |      13 |   116622 |    47832 |    15775      4 |      626 |      372
64.38/64.45	c 64.2s |      13 |   117729 |    48732 |    15775      4 |      626 |      372
66.38/66.49	c 66.2s |      13 |   118752 |    49532 |    15775      4 |      626 |      372
68.48/68.56	c 68.3s |      13 |   119754 |    50332 |    15775      4 |      626 |      372
70.78/70.82	c 70.5s |      13 |   120847 |    51232 |    15775      4 |      626 |      372
72.78/72.82	c 72.5s |      13 |   121890 |    52132 |    15775      4 |      626 |      372
74.98/75.02	c 74.7s |      13 |   122834 |    52932 |    15775      4 |      626 |      372
77.18/77.21	c 76.9s |      13 |   123647 |    53632 |    15775      5 |      626 |      372
79.19/79.30	c 79.0s |      13 |   124593 |    54432 |    15775      5 |      626 |      372
81.28/81.39	c 81.1s |      13 |   125544 |    55232 |    15775      5 |      626 |      372
83.48/83.52	c 83.2s |      13 |   126469 |    56032 |    15775      5 |      626 |      372
85.58/85.61	c 85.3s |      13 |   127400 |    56832 |    15775      5 |      626 |      372
87.68/87.71	c 87.4s |      13 |   128187 |    57532 |    15775      5 |      626 |      372
89.88/89.98	c 89.7s |      13 |   129022 |    58232 |    17353      5 |      626 |      372
90.28/90.37	c 90.1s |      14 |   129144 |    58352 |    17353      5 |      626 |      372
92.28/92.40	c 92.1s |      14 |   141882 |    60852 |    17353      5 |      626 |      372
94.38/94.41	c 94.1s |      14 |   144332 |    62252 |    17353      5 |      626 |      372
96.38/96.43	c 96.2s |      14 |   146751 |    63652 |    17353      5 |      626 |      372
98.37/98.44	c 98.2s |      14 |   149918 |    65452 |    17353      6 |      626 |      372
100.47/100.50	c  100s |      14 |   157099 |    67952 |    17353      6 |      626 |      372
102.47/102.52	c  102s |      14 |   161827 |    69752 |    17353      6 |      626 |      372
104.48/104.58	c  104s |      14 |   163192 |    70752 |    17353      6 |      626 |      372
106.47/106.59	c  106s |      14 |   164298 |    71652 |    17353      6 |      626 |      372
108.57/108.66	c  108s |      14 |   165320 |    72452 |    17353      6 |      626 |      372
110.67/110.77	c  110s |      14 |   166336 |    73252 |    17353      6 |      626 |      372
112.87/112.96	c  112s |      14 |   167322 |    74052 |    17353      6 |      626 |      372
115.07/115.14	c  114s |      14 |   168305 |    74852 |    17353      7 |      626 |      372
117.27/117.35	c  117s |      14 |   169347 |    75752 |    17353      7 |      626 |      372
119.47/119.56	c  119s |      14 |   170195 |    76452 |    17353      7 |      626 |      372
121.77/121.82	c  121s |      14 |   171024 |    77152 |    17353      7 |      626 |      372
123.87/123.95	c  123s |      14 |   172166 |    78052 |    17353      7 |      626 |      372
125.97/126.01	c  125s |      14 |   173139 |    78852 |    17353      7 |      626 |      372
128.27/128.33	c  128s |      14 |   174207 |    79752 |    17353      7 |      626 |      372
130.27/130.34	c  130s |      14 |   175102 |    80452 |    17353      7 |      626 |      372
132.27/132.36	c  132s |      14 |   175915 |    81152 |    17353      7 |      626 |      372
134.27/134.37	c  134s |      14 |   176751 |    81852 |    17353      7 |      626 |      372
136.37/136.40	c  136s |      14 |   177425 |    82452 |    17353      7 |      626 |      372
138.37/138.43	c  138s |      14 |   178122 |    83052 |    17353      7 |      626 |      372
140.37/140.46	c  140s |      14 |   178805 |    83652 |    17353      7 |      626 |      372
142.57/142.66	c  142s |      14 |   179762 |    84352 |    17353      7 |      626 |      372
144.77/144.81	c  144s |      14 |   180437 |    84952 |    17353      8 |      626 |      372
146.87/146.91	c  146s |      14 |   181482 |    85752 |    17353      8 |      626 |      372
148.87/148.97	c  148s |      14 |   182770 |    86752 |    17353      8 |      626 |      372
151.07/151.15	c  150s |      15 |   183837 |    87632 |    19089      8 |      626 |      372
153.16/153.28	c  153s |      15 |   191441 |    89532 |    19089      8 |      626 |      372
155.26/155.32	c  155s |      15 |   193164 |    90932 |    19089      8 |      626 |      372
157.27/157.34	c  157s |      15 |   194454 |    92132 |    19089      8 |      626 |      372
159.26/159.38	c  159s |      15 |   197967 |    93632 |    19089      8 |      626 |      372
161.26/161.39	c  161s |      15 |   199024 |    94632 |    19089      8 |      626 |      372
163.46/163.53	c  163s |      15 |   200547 |    95832 |    19089      8 |      626 |      372
165.76/165.84	c  165s |      15 |   201775 |    96932 |    19089      9 |      626 |      372
167.86/167.96	c  167s |      15 |   202838 |    97832 |    19089      9 |      626 |      372
169.96/170.03	c  169s |      15 |   205099 |    98932 |    19089      9 |      626 |      372
172.06/172.10	c  171s |      15 |   206756 |   100032 |    19089      9 |      626 |      372
174.16/174.28	c  174s |      15 |   207882 |   100932 |    19089      9 |      626 |      372
176.36/176.42	c  176s |      15 |   208795 |   101732 |    19089      9 |      626 |      372
178.46/178.57	c  178s |      15 |   209729 |   102532 |    19089      9 |      626 |      372
180.66/180.75	c  180s |      15 |   210688 |   103332 |    19089      9 |      626 |      372
182.76/182.83	c  182s |      15 |   211528 |   104032 |    19089      9 |      626 |      372
184.96/185.09	c  184s |      15 |   212481 |   104832 |    19089      9 |      626 |      372
187.26/187.32	c  187s |      15 |   213402 |   105632 |    19089      9 |      626 |      372
189.26/189.33	c  189s |      15 |   214056 |   106232 |    19089      9 |      626 |      372
191.36/191.50	c  191s |      15 |   214854 |   106932 |    19089      9 |      626 |      372
193.76/193.89	c  193s |      15 |   215528 |   107532 |    19089      9 |      626 |      372
195.86/195.95	c  195s |      15 |   216461 |   108132 |    19089     10 |      626 |      372
197.96/198.02	c  197s |      15 |   218014 |   109132 |    19089     10 |      626 |      372
200.05/200.13	c  199s |      15 |   219417 |   110132 |    19089     10 |      626 |      372
202.05/202.18	c  201s |      15 |   220402 |   110932 |    19089     10 |      626 |      372
204.35/204.40	c  204s |      15 |   221358 |   111732 |    19089     10 |      626 |      372
206.45/206.56	c  206s |      15 |   222380 |   112532 |    19089     10 |      626 |      372
208.45/208.59	c  208s |      15 |   223181 |   113232 |    19089     10 |      626 |      372
210.65/210.75	c  210s |      15 |   223831 |   113832 |    19089     10 |      626 |      372
212.65/212.76	c  212s |      15 |   224731 |   114532 |    19089     10 |      626 |      372
214.75/214.83	c  214s |      15 |   225792 |   115332 |    19089     10 |      626 |      372
216.76/216.85	c  216s |      15 |   226598 |   116032 |    19089     10 |      626 |      372
219.05/219.12	c  218s |      15 |   227595 |   116832 |    19089     10 |      626 |      372
221.06/221.18	c  220s |      15 |   228849 |   117632 |    19089     10 |      626 |      372
223.15/223.20	c  222s |      15 |   229640 |   118332 |    19089     10 |      626 |      372
225.35/225.45	c  225s |      15 |   230443 |   119032 |    19089     10 |      626 |      372
227.55/227.68	c  227s |      15 |   231160 |   119632 |    19089     11 |      626 |      372
229.87/229.93	c  229s |      15 |   232186 |   120532 |    19089     11 |      626 |      372
231.86/231.95	c  231s |      15 |   233077 |   121332 |    19089     11 |      626 |      372
233.86/233.98	c  233s |      15 |   233947 |   122132 |    19089     11 |      626 |      372
236.16/236.29	c  236s |      15 |   234716 |   122832 |    19089     11 |      626 |      372
238.26/238.30	c  238s |      15 |   235372 |   123432 |    19089     11 |      626 |      372
240.26/240.35	c  240s |      15 |   236053 |   124032 |    19089     11 |      626 |      372
242.25/242.39	c  242s |      15 |   236690 |   124632 |    19089     11 |      626 |      372
244.45/244.58	c  244s |      15 |   237680 |   125432 |    19089     11 |      626 |      372
246.75/246.89	c  246s |      15 |   238543 |   126132 |    19089     11 |      626 |      372
249.05/249.13	c  248s |      15 |   239385 |   126832 |    19089     11 |      626 |      372
251.15/251.26	c  250s |      15 |   240033 |   127432 |    19089     11 |      626 |      372
253.25/253.33	c  253s |      15 |   240744 |   128032 |    19089     11 |      626 |      372
255.55/255.69	c  255s |      15 |   241298 |   128532 |    19089     11 |      626 |      372
257.85/257.91	c  257s |      15 |   241866 |   129032 |    19089     11 |      626 |      372
260.15/260.25	c  259s |      15 |   242554 |   129632 |    19089     11 |      626 |      372
262.25/262.30	c  262s |      15 |   243100 |   130132 |    19089     11 |      626 |      372
264.45/264.58	c  264s |      15 |   243656 |   130632 |    19089     12 |      626 |      372
266.75/266.87	c  266s |      15 |   244332 |   131232 |    20998     12 |      626 |      372
267.85/267.99	c  267s |      16 |   244685 |   131552 |    20998     12 |      626 |      372
269.95/270.06	c  269s |      16 |   249209 |   132952 |    20998     12 |      626 |      372
272.05/272.14	c  271s |      16 |   253102 |   134652 |    20998     12 |      626 |      372
274.15/274.26	c  273s |      16 |   255127 |   136152 |    20998     12 |      626 |      372
276.15/276.27	c  275s |      16 |   256578 |   137352 |    20998     12 |      626 |      372
278.15/278.28	c  278s |      16 |   258001 |   138452 |    20998     12 |      626 |      372
280.35/280.42	c  280s |      16 |   259389 |   139552 |    20998     12 |      626 |      372
282.35/282.45	c  282s |      16 |   261480 |   140752 |    20998     12 |      626 |      372
284.45/284.56	c  284s |      16 |   263010 |   141852 |    20998     12 |      626 |      372
286.75/286.80	c  286s |      16 |   264243 |   142852 |    20998     12 |      626 |      372
288.95/289.03	c  288s |      16 |   265259 |   143652 |    20998     13 |      626 |      372
291.04/291.12	c  290s |      16 |   266286 |   144552 |    20998     13 |      626 |      372
293.24/293.30	c  293s |      16 |   267210 |   145352 |    20998     13 |      626 |      372
295.34/295.44	c  295s |      16 |   268032 |   146052 |    20998     13 |      626 |      372
297.44/297.51	c  297s |      16 |   268816 |   146752 |    20998     13 |      626 |      372
299.54/299.60	c  299s |      16 |   269488 |   147352 |    20998     13 |      626 |      372
301.64/301.70	c  301s |      16 |   270313 |   148052 |    20998     13 |      626 |      372
303.74/303.88	c  303s |      16 |   271122 |   148752 |    20998     13 |      626 |      372
305.85/305.96	c  305s |      16 |   271790 |   149352 |    20998     13 |      626 |      372
308.14/308.21	c  307s |      16 |   272630 |   150052 |    20998     13 |      626 |      372
310.15/310.29	c  310s |      16 |   273342 |   150652 |    20998     13 |      626 |      372
312.24/312.33	c  312s |      16 |   274022 |   151252 |    20998     13 |      626 |      372
314.34/314.49	c  314s |      16 |   274679 |   151852 |    20998     13 |      626 |      372
316.64/316.75	c  316s |      16 |   275453 |   152452 |    20998     13 |      626 |      372
318.94/319.04	c  318s |      16 |   276288 |   153152 |    20998     13 |      626 |      372
320.94/321.05	c  320s |      16 |   276991 |   153752 |    20998     13 |      626 |      372
323.04/323.19	c  322s |      16 |   277786 |   154452 |    20998     13 |      626 |      372
325.14/325.26	c  324s |      16 |   278590 |   155152 |    20998     13 |      626 |      372
327.24/327.30	c  327s |      16 |   279181 |   155652 |    20998     14 |      626 |      372
329.33/329.43	c  329s |      16 |   280143 |   156452 |    20998     14 |      626 |      372
331.43/331.55	c  331s |      16 |   280935 |   157152 |    20998     14 |      626 |      372
333.63/333.74	c  333s |      16 |   281726 |   157852 |    20998     14 |      626 |      372
335.73/335.80	c  335s |      16 |   282557 |   158552 |    20998     14 |      626 |      372
337.83/337.99	c  337s |      16 |   283404 |   159252 |    20998     14 |      626 |      372
340.13/340.25	c  339s |      16 |   284235 |   159952 |    20998     14 |      626 |      372
342.23/342.35	c  342s |      16 |   284911 |   160552 |    20998     14 |      626 |      372
344.24/344.38	c  344s |      16 |   285461 |   161052 |    20998     14 |      626 |      372
346.64/346.71	c  346s |      16 |   286117 |   161652 |    20998     14 |      626 |      372
348.75/348.84	c  348s |      16 |   286670 |   162152 |    20998     14 |      626 |      372
351.14/351.27	c  350s |      16 |   287313 |   162752 |    20998     14 |      626 |      372
353.15/353.29	c  353s |      16 |   288069 |   163352 |    20998     14 |      626 |      372
355.25/355.31	c  355s |      16 |   288847 |   163952 |    20998     14 |      626 |      372
357.45/357.60	c  357s |      16 |   289542 |   164552 |    20998     14 |      626 |      372
359.84/359.90	c  359s |      16 |   290223 |   165152 |    20998     14 |      626 |      372
362.14/362.20	c  361s |      16 |   290931 |   165752 |    20998     14 |      626 |      372
364.44/364.54	c  364s |      16 |   291633 |   166352 |    20998     14 |      626 |      372
366.54/366.69	c  366s |      16 |   292283 |   166952 |    20998     14 |      626 |      372
369.54/369.65	c  369s |      16 |   292986 |   167552 |    20998     15 |      626 |      372
371.64/371.77	c  371s |      16 |   293805 |   168252 |    20998     15 |      626 |      372
373.64/373.79	c  373s |      16 |   294471 |   168852 |    20998     15 |      626 |      372
375.84/375.93	c  375s |      16 |   295138 |   169452 |    20998     15 |      626 |      372
378.04/378.12	c  377s |      16 |   295840 |   170052 |    20998     15 |      626 |      372
380.33/380.43	c  380s |      16 |   296638 |   170752 |    20998     15 |      626 |      372
382.53/382.62	c  382s |      16 |   297458 |   171452 |    20998     15 |      626 |      372
384.53/384.64	c  384s |      16 |   298016 |   171952 |    20998     15 |      626 |      372
386.53/386.67	c  386s |      16 |   298591 |   172452 |    20998     15 |      626 |      372
388.73/388.80	c  388s |      16 |   299167 |   172952 |    20998     15 |      626 |      372
390.73/390.82	c  390s |      16 |   299723 |   173452 |    20998     15 |      626 |      372
393.03/393.17	c  392s |      16 |   300430 |   174052 |    20998     15 |      626 |      372
395.33/395.48	c  395s |      16 |   301110 |   174652 |    20998     15 |      626 |      372
397.52/397.68	c  397s |      16 |   301823 |   175252 |    20998     15 |      626 |      372
399.92/400.03	c  399s |      16 |   302644 |   175952 |    20998     15 |      626 |      372
402.12/402.26	c  401s |      16 |   303205 |   176452 |    20998     15 |      626 |      372
404.42/404.58	c  404s |      16 |   303759 |   176952 |    20998     15 |      626 |      372
406.72/406.80	c  406s |      16 |   304314 |   177452 |    20998     15 |      626 |      372
409.12/409.22	c  408s |      16 |   304900 |   177952 |    20998     15 |      626 |      372
411.32/411.42	c  411s |      16 |   305477 |   178452 |    20998     15 |      626 |      372
413.72/413.82	c  413s |      16 |   306155 |   179052 |    20998     15 |      626 |      372
416.11/416.24	c  415s |      16 |   306899 |   179652 |    20998     15 |      626 |      372
418.21/418.32	c  418s |      16 |   307483 |   180152 |    20998     16 |      626 |      372
420.31/420.41	c  420s |      16 |   308208 |   180752 |    20998     16 |      626 |      372
422.32/422.45	c  422s |      16 |   308879 |   181352 |    20998     16 |      626 |      372
424.52/424.70	c  424s |      16 |   309549 |   181952 |    20998     16 |      626 |      372
426.72/426.87	c  426s |      16 |   310213 |   182552 |    20998     16 |      626 |      372
428.81/428.92	c  428s |      16 |   310763 |   183052 |    20998     16 |      626 |      372
431.12/431.30	c  431s |      16 |   311445 |   183652 |    20998     16 |      626 |      372
433.42/433.57	c  433s |      16 |   312082 |   184252 |    20998     16 |      626 |      372
435.71/435.85	c  435s |      16 |   312749 |   184852 |    20998     16 |      626 |      372
438.01/438.11	c  437s |      16 |   313430 |   185452 |    20998     16 |      626 |      372
440.20/440.35	c  440s |      16 |   313972 |   185952 |    20998     16 |      626 |      372
442.50/442.69	c  442s |      16 |   314537 |   186452 |    20998     16 |      626 |      372
445.00/445.16	c  444s |      16 |   315068 |   186952 |    20998     16 |      626 |      372
447.50/447.61	c  447s |      16 |   315620 |   187452 |    20998     16 |      626 |      372
449.91/450.06	c  449s |      16 |   316174 |   187952 |    20998     16 |      626 |      372
452.20/452.37	c  452s |      16 |   316730 |   188452 |    20998     16 |      626 |      372
454.31/454.47	c  454s |      16 |   317277 |   188952 |    20998     16 |      626 |      372
456.60/456.77	c  456s |      16 |   317968 |   189552 |    20998     16 |      626 |      372
459.00/459.10	c  458s |      16 |   318502 |   190052 |    20998     16 |      626 |      372
461.00/461.17	c  460s |      16 |   318915 |   190452 |    20998     16 |      626 |      372
463.30/463.46	c  463s |      16 |   319493 |   190952 |    20998     16 |      626 |      372
465.50/465.64	c  465s |      16 |   319920 |   191352 |    20998     16 |      626 |      372
468.00/468.19	c  467s |      16 |   320359 |   191752 |    20998     17 |      626 |      372
470.19/470.38	c  470s |      16 |   321041 |   192352 |    20998     17 |      626 |      372
472.59/472.73	c  472s |      16 |   321700 |   192952 |    20998     17 |      626 |      372
474.79/474.96	c  474s |      16 |   322367 |   193552 |    20998     17 |      626 |      372
476.99/477.18	c  476s |      16 |   323027 |   194152 |    20998     17 |      626 |      372
479.19/479.33	c  479s |      16 |   323712 |   194752 |    20998     17 |      626 |      372
481.39/481.55	c  481s |      16 |   324532 |   195452 |    20998     17 |      626 |      372
483.69/483.88	c  483s |      16 |   325225 |   196052 |    20998     17 |      626 |      372
485.79/485.97	c  485s |      16 |   325783 |   196552 |    23098     17 |      626 |      372
488.09/488.21	c  487s |      16 |   326325 |   197052 |    23098     17 |      626 |      372
489.89/490.08	c  489s |      17 |   326731 |   197432 |    23098     17 |      626 |      372
492.00/492.11	c  491s |      17 |   331958 |   199032 |    23098     17 |      626 |      372
493.99/494.19	c  493s |      17 |   334875 |   200432 |    23098     17 |      626 |      372
496.10/496.28	c  496s |      17 |   336890 |   201732 |    23098     17 |      626 |      372
498.30/498.49	c  498s |      17 |   338243 |   202832 |    23098     17 |      626 |      372
500.40/500.52	c  500s |      17 |   339401 |   203732 |    23098     17 |      626 |      372
502.60/502.73	c  502s |      17 |   340469 |   204632 |    23098     17 |      626 |      372
504.69/504.88	c  504s |      17 |   341951 |   205632 |    23098     17 |      626 |      372
506.89/507.10	c  506s |      17 |   342590 |   206232 |    23098     18 |      626 |      372
509.09/509.21	c  508s |      17 |   343342 |   206932 |    23098     18 |      626 |      372
511.29/511.44	c  511s |      17 |   344324 |   207832 |    23098     18 |      626 |      372
513.39/513.59	c  513s |      17 |   345181 |   208632 |    23098     18 |      626 |      372
515.49/515.60	c  515s |      17 |   346419 |   209532 |    23098     18 |      626 |      372
517.49/517.61	c  517s |      17 |   347597 |   210532 |    23098     18 |      626 |      372
519.48/519.65	c  519s |      17 |   348726 |   211432 |    23098     18 |      626 |      372
521.68/521.83	c  521s |      17 |   349921 |   212332 |    23098     18 |      626 |      372
523.88/524.04	c  523s |      17 |   350903 |   213132 |    23098     18 |      626 |      372
526.08/526.22	c  525s |      17 |   351913 |   213932 |    23098     18 |      626 |      372
528.08/528.24	c  527s |      17 |   352457 |   214432 |    23098     18 |      626 |      372
530.18/530.34	c  530s |      17 |   353269 |   215132 |    23098     18 |      626 |      372
532.38/532.52	c  532s |      17 |   354077 |   215832 |    23098     18 |      626 |      372
534.38/534.55	c  534s |      17 |   354918 |   216532 |    23098     18 |      626 |      372
536.58/536.71	c  536s |      17 |   355785 |   217232 |    23098     18 |      626 |      372
538.67/538.87	c  538s |      17 |   356644 |   217932 |    23098     18 |      626 |      372
540.87/541.09	c  540s |      17 |   357365 |   218532 |    23098     18 |      626 |      372
542.97/543.11	c  542s |      17 |   357936 |   219032 |    23098     18 |      626 |      372
545.07/545.20	c  544s |      17 |   358491 |   219532 |    23098     19 |      626 |      372
547.37/547.58	c  547s |      17 |   359180 |   220132 |    23098     19 |      626 |      372
549.47/549.64	c  549s |      17 |   359713 |   220632 |    23098     19 |      626 |      372
551.77/551.93	c  551s |      17 |   360254 |   221132 |    23098     19 |      626 |      372
554.17/554.35	c  554s |      17 |   360910 |   221732 |    23098     19 |      626 |      372
556.27/556.48	c  556s |      17 |   361554 |   222332 |    23098     19 |      626 |      372
558.57/558.74	c  558s |      17 |   362219 |   222932 |    23098     19 |      626 |      372
560.97/561.10	c  560s |      17 |   362881 |   223532 |    23098     19 |      626 |      372
562.97/563.14	c  562s |      17 |   363424 |   224032 |    23098     19 |      626 |      372
565.07/565.26	c  564s |      17 |   363975 |   224532 |    23098     19 |      626 |      372
567.26/567.42	c  567s |      17 |   364530 |   225032 |    23098     19 |      626 |      372
569.46/569.69	c  569s |      17 |   365073 |   225532 |    23098     19 |      626 |      372
571.76/571.99	c  571s |      17 |   365654 |   226032 |    23098     19 |      626 |      372
574.07/574.22	c  573s |      17 |   366203 |   226532 |    23098     19 |      626 |      372
576.56/576.72	c  576s |      17 |   366739 |   227032 |    23098     19 |      626 |      372
578.96/579.15	c  578s |      17 |   367278 |   227532 |    23098     19 |      626 |      372
580.96/581.19	c  580s |      17 |   367705 |   227932 |    23098     19 |      626 |      372
583.16/583.37	c  583s |      17 |   368260 |   228432 |    23098     19 |      626 |      372
585.46/585.64	c  585s |      17 |   368700 |   228832 |    23098     19 |      626 |      372
588.06/588.22	c  587s |      17 |   369222 |   229332 |    23098     19 |      626 |      372
590.26/590.48	c  590s |      17 |   369631 |   229732 |    23098     19 |      626 |      372
592.66/592.82	c  592s |      17 |   370056 |   230132 |    23098     19 |      626 |      372
595.07/595.21	c  594s |      17 |   370483 |   230532 |    23098     19 |      626 |      372
597.27/597.49	c  597s |      17 |   370920 |   230932 |    23098     19 |      626 |      372
599.86/600.01	c  599s |      17 |   371359 |   231332 |    23098     19 |      626 |      372
602.26/602.48	c  602s |      17 |   371785 |   231732 |    23098     19 |      626 |      372
605.16/605.30	c  605s |      17 |   372229 |   232132 |    23098     20 |      626 |      372
607.26/607.45	c  607s |      17 |   372764 |   232632 |    23098     20 |      626 |      372
609.66/609.85	c  609s |      17 |   373427 |   233232 |    23098     20 |      626 |      372
611.86/612.05	c  611s |      17 |   373958 |   233732 |    23098     20 |      626 |      372
614.36/614.54	c  614s |      17 |   374486 |   234232 |    23098     20 |      626 |      372
616.66/616.88	c  616s |      17 |   375032 |   234732 |    23098     20 |      626 |      372
619.17/619.31	c  619s |      17 |   375552 |   235232 |    23098     20 |      626 |      372
621.66/621.82	c  621s |      17 |   376085 |   235732 |    23098     20 |      626 |      372
623.67/623.87	c  623s |      17 |   376510 |   236132 |    23098     20 |      626 |      372
625.96/626.19	c  625s |      17 |   377101 |   236632 |    23098     20 |      626 |      372
628.35/628.55	c  628s |      17 |   377650 |   237132 |    23098     20 |      626 |      372
630.75/630.96	c  630s |      17 |   378187 |   237632 |    23098     20 |      626 |      372
633.05/633.23	c  632s |      17 |   378601 |   238032 |    23098     20 |      626 |      372
635.15/635.36	c  635s |      17 |   379025 |   238432 |    23098     20 |      626 |      372
637.25/637.40	c  637s |      17 |   379463 |   238832 |    23098     20 |      626 |      372
639.64/639.89	c  639s |      17 |   380022 |   239332 |    23098     20 |      626 |      372
641.94/642.11	c  641s |      17 |   380476 |   239732 |    23098     20 |      626 |      372
644.04/644.29	c  644s |      17 |   380892 |   240132 |    23098     20 |      626 |      372
646.54/646.75	c  646s |      17 |   381440 |   240632 |    23098     20 |      626 |      372
648.95/649.14	c  648s |      17 |   381992 |   241132 |    23098     20 |      626 |      372
651.34/651.54	c  651s |      17 |   382550 |   241632 |    23098     20 |      626 |      372
653.54/653.70	c  653s |      17 |   382992 |   242032 |    23098     20 |      626 |      372
655.74/655.97	c  655s |      17 |   383415 |   242432 |    23098     20 |      626 |      372
657.84/658.05	c  657s |      17 |   383857 |   242832 |    23098     20 |      626 |      372
660.14/660.33	c  660s |      17 |   384275 |   243232 |    23098     20 |      626 |      372
662.24/662.44	c  662s |      17 |   384702 |   243632 |    23098     20 |      626 |      372
664.34/664.59	c  664s |      17 |   385134 |   244032 |    23098     20 |      626 |      372
666.44/666.68	c  666s |      17 |   385560 |   244432 |    23098     20 |      626 |      372
668.74/668.93	c  668s |      17 |   385999 |   244832 |    23098     20 |      626 |      372
671.03/671.27	c  670s |      17 |   386316 |   245132 |    23098     21 |      626 |      372
673.14/673.38	c  673s |      17 |   386868 |   245632 |    23098     21 |      626 |      372
675.24/675.45	c  675s |      17 |   387449 |   246132 |    23098     21 |      626 |      372
677.63/677.83	c  677s |      17 |   387984 |   246632 |    23098     21 |      626 |      372
680.12/680.30	c  680s |      17 |   388518 |   247132 |    23098     21 |      626 |      372
682.33/682.59	c  682s |      17 |   389054 |   247632 |    23098     21 |      626 |      372
684.53/684.74	c  684s |      17 |   389638 |   248132 |    23098     21 |      626 |      372
686.53/686.78	c  686s |      17 |   390231 |   248632 |    23098     21 |      626 |      372
688.63/688.88	c  688s |      17 |   390787 |   249132 |    23098     21 |      626 |      372
690.74/690.96	c  690s |      17 |   391480 |   249732 |    23098     21 |      626 |      372
692.93/693.17	c  692s |      17 |   392215 |   250332 |    23098     21 |      626 |      372
695.23/695.42	c  695s |      17 |   392754 |   250832 |    23098     21 |      626 |      372
697.33/697.59	c  697s |      17 |   393345 |   251332 |    23098     21 |      626 |      372
699.72/699.95	c  699s |      17 |   393909 |   251832 |    23098     21 |      626 |      372
702.02/702.24	c  701s |      17 |   394558 |   252432 |    23098     21 |      626 |      372
704.32/704.54	c  704s |      17 |   395103 |   252932 |    23098     21 |      626 |      372
706.82/707.01	c  706s |      17 |   395659 |   253432 |    23098     21 |      626 |      372
708.91/709.15	c  708s |      17 |   396267 |   253932 |    23098     21 |      626 |      372
710.91/711.18	c  710s |      17 |   396865 |   254432 |    23098     21 |      626 |      372
713.31/713.51	c  713s |      17 |   397609 |   255032 |    23098     21 |      626 |      372
715.41/715.61	c  715s |      17 |   398164 |   255532 |    23098     21 |      626 |      372
717.71/717.98	c  717s |      17 |   398873 |   256132 |    23098     21 |      626 |      372
719.81/720.03	c  719s |      17 |   399472 |   256632 |    23098     21 |      626 |      372
722.21/722.43	c  722s |      17 |   400039 |   257132 |    23098     21 |      626 |      372
724.61/724.85	c  724s |      17 |   400624 |   257632 |    23098     21 |      626 |      372
726.71/726.96	c  726s |      17 |   401072 |   258032 |    23098     21 |      626 |      372
728.70/729.00	c  728s |      17 |   401406 |   258332 |    23098     22 |      626 |      372
731.00/731.28	c  731s |      17 |   402183 |   259032 |    23098     22 |      626 |      372
733.10/733.31	c  733s |      17 |   402890 |   259632 |    23098     22 |      626 |      372
735.10/735.39	c  735s |      17 |   403719 |   260332 |    23098     22 |      626 |      372
737.20/737.47	c  737s |      17 |   404437 |   260932 |    23098     22 |      626 |      372
739.59/739.88	c  739s |      17 |   405131 |   261532 |    23098     22 |      626 |      372
742.09/742.37	c  742s |      17 |   405823 |   262132 |    23098     22 |      626 |      372
744.29/744.55	c  744s |      17 |   406707 |   262832 |    23098     22 |      626 |      372
746.49/746.77	c  746s |      17 |   407452 |   263432 |    23098     22 |      626 |      372
748.79/749.01	c  748s |      17 |   408137 |   264032 |    23098     22 |      626 |      372
750.89/751.11	c  750s |      17 |   408700 |   264532 |    23098     22 |      626 |      372
752.89/753.16	c  752s |      17 |   409300 |   265032 |    23098     22 |      626 |      372
755.09/755.37	c  755s |      17 |   409854 |   265532 |    23098     22 |      626 |      372
757.49/757.78	c  757s |      17 |   410415 |   266032 |    23098     22 |      626 |      372
759.89/760.11	c  759s |      17 |   410992 |   266532 |    23098     22 |      626 |      372
762.19/762.44	c  762s |      17 |   411542 |   267032 |    23098     22 |      626 |      372
764.39/764.67	c  764s |      17 |   412087 |   267532 |    23098     22 |      626 |      372
766.78/767.06	c  766s |      17 |   412648 |   268032 |    23098     22 |      626 |      372
768.88/769.11	c  768s |      17 |   413242 |   268532 |    23098     22 |      626 |      372
771.07/771.37	c  771s |      17 |   413800 |   269032 |    23098     22 |      626 |      372
773.18/773.44	c  773s |      17 |   414253 |   269432 |    23098     22 |      626 |      372
775.57/775.86	c  775s |      17 |   414818 |   269932 |    23098     22 |      626 |      372
777.77/778.05	c  777s |      17 |   415416 |   270432 |    23098     22 |      626 |      372
779.87/780.13	c  779s |      17 |   416033 |   270932 |    23098     22 |      626 |      372
782.07/782.36	c  782s |      17 |   416474 |   271332 |    23098     23 |      626 |      372
784.36/784.67	c  784s |      17 |   417111 |   271932 |    23098     23 |      626 |      372
786.66/786.98	c  786s |      17 |   417808 |   272532 |    23098     23 |      626 |      372
788.76/789.05	c  788s |      17 |   418499 |   273132 |    23098     23 |      626 |      372
790.96/791.28	c  791s |      17 |   419166 |   273732 |    23098     23 |      626 |      372
793.36/793.60	c  793s |      17 |   419992 |   274432 |    23098     23 |      626 |      372
795.66/795.91	c  795s |      17 |   420655 |   275032 |    23098     23 |      626 |      372
797.96/798.20	c  797s |      17 |   421355 |   275632 |    23098     23 |      626 |      372
800.15/800.46	c  800s |      17 |   422021 |   276232 |    23098     23 |      626 |      372
802.25/802.54	c  802s |      17 |   422572 |   276732 |    23098     23 |      626 |      372
804.65/804.90	c  804s |      17 |   423233 |   277332 |    23098     23 |      626 |      372
806.85/807.14	c  806s |      17 |   423773 |   277832 |    23098     23 |      626 |      372
809.05/809.35	c  809s |      17 |   424337 |   278332 |    23098     23 |      626 |      372
811.45/811.72	c  811s |      17 |   424896 |   278832 |    23098     23 |      626 |      372
813.65/813.90	c  813s |      17 |   425467 |   279332 |    23098     23 |      626 |      372
815.75/816.07	c  815s |      17 |   426241 |   279932 |    23098     23 |      626 |      372
818.05/818.32	c  818s |      17 |   426807 |   280432 |    23098     23 |      626 |      372
820.15/820.46	c  820s |      17 |   427397 |   280932 |    23098     23 |      626 |      372
822.25/822.56	c  822s |      17 |   427827 |   281332 |    23098     23 |      626 |      372
824.54/824.86	c  824s |      17 |   428573 |   281932 |    23098     23 |      626 |      372
826.95/827.23	c  826s |      17 |   429139 |   282432 |    23098     23 |      626 |      372
829.04/829.32	c  829s |      17 |   429586 |   282832 |    23098     23 |      626 |      372
831.03/831.34	c  831s |      17 |   430054 |   283232 |    23098     23 |      626 |      372
833.54/833.83	c  833s |      17 |   430601 |   283732 |    23098     23 |      626 |      372
835.63/835.90	c  835s |      17 |   431059 |   284132 |    23098     23 |      626 |      372
837.83/838.19	c  837s |      17 |   431510 |   284532 |    23098     24 |      626 |      372
840.03/840.31	c  840s |      17 |   432064 |   285032 |    23098     24 |      626 |      372
842.23/842.60	c  842s |      17 |   432616 |   285532 |    23098     24 |      626 |      372
844.73/845.04	c  844s |      17 |   433163 |   286032 |    23098     24 |      626 |      372
847.13/847.47	c  847s |      17 |   433692 |   286532 |    23098     24 |      626 |      372
849.22/849.59	c  849s |      17 |   434237 |   287032 |    23098     24 |      626 |      372
851.32/851.62	c  851s |      17 |   434965 |   287632 |    23098     24 |      626 |      372
853.33/853.65	c  853s |      17 |   435742 |   288232 |    23098     24 |      626 |      372
855.42/855.73	c  855s |      17 |   436451 |   288832 |    23098     24 |      626 |      372
857.52/857.86	c  857s |      17 |   437193 |   289432 |    23098     24 |      626 |      372
859.71/860.09	c  859s |      17 |   437939 |   290032 |    23098     24 |      626 |      372
862.01/862.40	c  862s |      17 |   438634 |   290632 |    23098     24 |      626 |      372
864.11/864.42	c  864s |      17 |   439189 |   291132 |    23098     24 |      626 |      372
866.41/866.80	c  866s |      17 |   439913 |   291732 |    23098     24 |      626 |      372
868.61/868.94	c  868s |      17 |   440511 |   292232 |    23098     24 |      626 |      372
870.61/870.95	c  870s |      17 |   441079 |   292732 |    23098     24 |      626 |      372
872.81/873.16	c  872s |      17 |   441647 |   293232 |    23098     24 |      626 |      372
874.90/875.29	c  875s |      17 |   442232 |   293732 |    23098     24 |      626 |      372
877.40/877.78	c  877s |      17 |   442926 |   294332 |    25408     24 |      626 |      372
879.51/879.89	c  879s |      17 |   443505 |   294832 |    25408     24 |      626 |      372
882.01/882.35	c  882s |      17 |   444031 |   295332 |    25408     24 |      626 |      372
884.01/884.40	c  884s |      17 |   444467 |   295732 |    25408     24 |      626 |      372
886.11/886.47	c  886s |      17 |   444917 |   296132 |    25408     24 |      626 |      372
886.71/887.01	c  886s |      18 |   445043 |   296252 |    25408     24 |      626 |      372
888.80/889.15	c  888s |      18 |   453650 |   297652 |    25408     25 |      626 |      372
890.81/891.18	c  890s |      18 |   456419 |   299352 |    25408     25 |      626 |      372
892.80/893.18	c  892s |      18 |   460940 |   301152 |    25408     25 |      626 |      372
894.90/895.29	c  895s |      18 |   465019 |   303152 |    25408     25 |      626 |      372
896.90/897.30	c  897s |      18 |   466605 |   304452 |    25408     25 |      626 |      372
899.20/899.52	c  899s |      18 |   468114 |   305652 |    25408     25 |      626 |      372
901.30/901.68	c  901s |      18 |   469303 |   306652 |    25408     25 |      626 |      372
903.39/903.75	c  903s |      18 |   471014 |   307952 |    25408     25 |      626 |      372
905.49/905.81	c  905s |      18 |   472271 |   308952 |    25408     25 |      626 |      372
907.59/907.94	c  907s |      18 |   473431 |   309852 |    25408     25 |      626 |      372
909.69/910.01	c  909s |      18 |   474488 |   310652 |    25408     25 |      626 |      372
911.69/912.06	c  911s |      18 |   475624 |   311552 |    25408     25 |      626 |      372
913.89/914.27	c  913s |      18 |   476684 |   312452 |    25408     25 |      626 |      372
916.09/916.48	c  916s |      18 |   477511 |   313152 |    25408     26 |      626 |      372
918.19/918.53	c  918s |      18 |   478417 |   313952 |    25408     26 |      626 |      372
920.49/920.81	c  920s |      18 |   479353 |   314752 |    25408     26 |      626 |      372
922.48/922.81	c  922s |      18 |   480053 |   315352 |    25408     26 |      626 |      372
924.58/924.93	c  924s |      18 |   480856 |   316052 |    25408     26 |      626 |      372
926.58/926.94	c  926s |      18 |   481804 |   316852 |    25408     26 |      626 |      372
928.58/928.98	c  928s |      18 |   482616 |   317552 |    25408     26 |      626 |      372
930.68/931.05	c  930s |      18 |   483378 |   318252 |    25408     26 |      626 |      372
932.88/933.24	c  932s |      18 |   484330 |   319052 |    25408     26 |      626 |      372
935.07/935.40	c  935s |      18 |   485271 |   319852 |    25408     26 |      626 |      372
937.07/937.41	c  937s |      18 |   487160 |   321052 |    25408     26 |      626 |      372
939.18/939.55	c  939s |      18 |   488647 |   322052 |    25408     26 |      626 |      372
941.17/941.56	c  941s |      18 |   489779 |   322852 |    25408     26 |      626 |      372
943.37/943.80	c  943s |      18 |   491019 |   323752 |    25408     26 |      626 |      372
945.77/946.14	c  945s |      18 |   492056 |   324552 |    25408     26 |      626 |      372
947.87/948.23	c  947s |      18 |   493173 |   325352 |    25408     26 |      626 |      372
950.17/950.56	c  950s |      18 |   494073 |   326052 |    25408     26 |      626 |      372
952.56/952.90	c  952s |      18 |   494927 |   326752 |    25408     26 |      626 |      372
954.76/955.10	c  954s |      18 |   495638 |   327352 |    25408     26 |      626 |      372
956.96/957.36	c  957s |      18 |   496226 |   327852 |    25408     27 |      626 |      372
959.15/959.56	c  959s |      18 |   497045 |   328552 |    25408     27 |      626 |      372
961.25/961.62	c  961s |      18 |   497932 |   329252 |    25408     27 |      626 |      372
963.26/963.69	c  963s |      18 |   498953 |   329952 |    25408     27 |      626 |      372
965.35/965.78	c  965s |      18 |   500029 |   330752 |    25408     27 |      626 |      372
967.55/967.96	c  967s |      18 |   500892 |   331452 |    25408     27 |      626 |      372
969.65/970.02	c  969s |      18 |   503509 |   332752 |    25408     27 |      626 |      372
971.75/972.14	c  971s |      18 |   505212 |   333952 |    25408     27 |      626 |      372
973.85/974.24	c  973s |      18 |   506702 |   334952 |    25408     27 |      626 |      372
975.85/976.27	c  975s |      18 |   508313 |   336052 |    25408     27 |      626 |      372
977.95/978.36	c  978s |      18 |   509342 |   336852 |    25408     27 |      626 |      372
980.04/980.40	c  980s |      18 |   511302 |   337952 |    25408     27 |      626 |      372
982.05/982.49	c  982s |      18 |   516530 |   339452 |    25408     27 |      626 |      372
984.25/984.65	c  984s |      18 |   520373 |   340952 |    25408     27 |      626 |      372
986.54/986.99	c  986s |      18 |   521731 |   341952 |    25408     28 |      626 |      372
988.64/989.01	c  988s |      18 |   524094 |   343252 |    25408     28 |      626 |      372
990.63/991.08	c  990s |      18 |   527104 |   344552 |    25408     28 |      626 |      372
992.73/993.16	c  992s |      18 |   535544 |   346452 |    25408     28 |      626 |      372
994.83/995.29	c  995s |      18 |   542904 |   348452 |    25408     28 |      626 |      372
996.93/997.30	c  997s |      18 |   545088 |   349652 |    25408     28 |      626 |      372
999.03/999.45	c  999s |      18 |   546611 |   350752 |    25408     28 |      626 |      372
1001.13/1001.54	c 1001s |      18 |   548073 |   351752 |    25408     28 |      626 |      372
1003.23/1003.68	c 1003s |      18 |   549061 |   352552 |    25408     28 |      626 |      372
1005.43/1005.84	c 1005s |      18 |   551825 |   353852 |    25408     28 |      626 |      372
1007.63/1008.07	c 1007s |      18 |   553079 |   354852 |    25408     28 |      626 |      372
1009.82/1010.25	c 1009s |      18 |   554519 |   355852 |    25408     28 |      626 |      372
1011.92/1012.37	c 1012s |      18 |   556589 |   356852 |    25408     29 |      626 |      372
1014.12/1014.55	c 1014s |      18 |   557850 |   357752 |    25408     29 |      626 |      372
1016.32/1016.72	c 1016s |      18 |   559305 |   358752 |    25408     29 |      626 |      372
1018.42/1018.81	c 1018s |      18 |   561286 |   359852 |    25408     29 |      626 |      372
1020.53/1020.94	c 1020s |      18 |   562663 |   360852 |    25408     29 |      626 |      372
1022.52/1022.98	c 1022s |      18 |   563694 |   361652 |    25408     29 |      626 |      372
1024.52/1024.99	c 1024s |      18 |   565206 |   362652 |    25408     29 |      626 |      372
1026.72/1027.19	c 1026s |      18 |   566738 |   363752 |    25408     29 |      626 |      372
1028.92/1029.38	c 1029s |      18 |   567856 |   364652 |    25408     29 |      626 |      372
1031.02/1031.45	c 1031s |      18 |   568851 |   365452 |    25408     29 |      626 |      372
1033.02/1033.46	c 1033s |      18 |   569867 |   366252 |    25408     29 |      626 |      372
1035.12/1035.53	c 1035s |      18 |   570725 |   366952 |    25408     29 |      626 |      372
1037.42/1037.82	c 1037s |      18 |   571519 |   367652 |    25408     29 |      626 |      372
1039.62/1040.01	c 1039s |      18 |   572356 |   368352 |    25408     29 |      626 |      372
1041.92/1042.37	c 1042s |      18 |   573159 |   369052 |    25408     29 |      626 |      372
1044.02/1044.43	c 1044s |      18 |   573752 |   369552 |    25408     29 |      626 |      372
1046.22/1046.62	c 1046s |      18 |   574413 |   370152 |    25408     29 |      626 |      372
1048.31/1048.71	c 1048s |      18 |   575124 |   370752 |    25408     30 |      626 |      372
1050.31/1050.76	c 1050s |      18 |   575937 |   371452 |    25408     30 |      626 |      372
1052.42/1052.81	c 1052s |      18 |   576576 |   372052 |    25408     30 |      626 |      372
1054.41/1054.86	c 1054s |      18 |   577562 |   372852 |    25408     30 |      626 |      372
1056.51/1056.95	c 1056s |      18 |   578717 |   373752 |    25408     30 |      626 |      372
1058.61/1059.04	c 1058s |      18 |   579815 |   374652 |    25408     30 |      626 |      372
1060.72/1061.19	c 1060s |      18 |   580780 |   375452 |    25408     30 |      626 |      372
1062.92/1063.39	c 1063s |      18 |   581646 |   376152 |    25408     30 |      626 |      372
1065.22/1065.66	c 1065s |      18 |   582648 |   376952 |    25408     30 |      626 |      372
1067.32/1067.70	c 1067s |      18 |   583514 |   377652 |    25408     30 |      626 |      372
1069.32/1069.79	c 1069s |      18 |   585249 |   378652 |    25408     30 |      626 |      372
1071.42/1071.80	c 1071s |      18 |   586538 |   379552 |    25408     30 |      626 |      372
1073.61/1074.03	c 1073s |      18 |   587976 |   380552 |    25408     30 |      626 |      372
1075.91/1076.35	c 1076s |      18 |   588951 |   381352 |    25408     30 |      626 |      372
1078.11/1078.58	c 1078s |      18 |   589985 |   382152 |    25408     30 |      626 |      372
1080.31/1080.71	c 1080s |      18 |   591031 |   382952 |    25408     30 |      626 |      372
1082.41/1082.84	c 1082s |      18 |   591874 |   383652 |    25408     30 |      626 |      372
1084.51/1084.92	c 1084s |      18 |   592759 |   384352 |    25408     30 |      626 |      372
1086.61/1087.02	c 1086s |      18 |   593531 |   384952 |    25408     31 |      626 |      372
1088.81/1089.20	c 1088s |      18 |   594645 |   385852 |    25408     31 |      626 |      372
1091.01/1091.42	c 1091s |      18 |   595664 |   386652 |    25408     31 |      626 |      372
1093.12/1093.53	c 1093s |      18 |   596508 |   387352 |    25408     31 |      626 |      372
1095.32/1095.74	c 1095s |      18 |   597531 |   388152 |    25408     31 |      626 |      372
1097.42/1097.90	c 1097s |      18 |   598378 |   388852 |    25408     31 |      626 |      372
1099.81/1100.20	c 1099s |      18 |   599223 |   389552 |    25408     31 |      626 |      372
1101.92/1102.35	c 1102s |      18 |   599933 |   390152 |    25408     31 |      626 |      372
1104.12/1104.53	c 1104s |      18 |   600790 |   390852 |    25408     31 |      626 |      372
1106.21/1106.66	c 1106s |      18 |   601679 |   391552 |    25408     31 |      626 |      372
1108.31/1108.76	c 1108s |      18 |   602557 |   392252 |    25408     31 |      626 |      372
1110.41/1110.80	c 1110s |      18 |   603307 |   392852 |    25408     31 |      626 |      372
1112.41/1112.86	c 1112s |      18 |   604023 |   393452 |    25408     31 |      626 |      372
1114.51/1114.98	c 1114s |      18 |   604748 |   394052 |    25408     31 |      626 |      372
1116.71/1117.11	c 1116s |      18 |   605477 |   394652 |    25408     31 |      626 |      372
1119.00/1119.40	c 1119s |      18 |   606202 |   395252 |    25408     31 |      626 |      372
1121.40/1121.81	c 1121s |      18 |   606900 |   395852 |    25408     31 |      626 |      372
1123.70/1124.20	c 1123s |      18 |   607568 |   396452 |    25408     31 |      626 |      372
1125.90/1126.31	c 1126s |      18 |   608136 |   396952 |    25408     31 |      626 |      372
1128.21/1128.63	c 1128s |      18 |   608685 |   397452 |    25408     31 |      626 |      372
1130.30/1130.72	c 1130s |      18 |   609738 |   398152 |    25408     31 |      626 |      372
1132.30/1132.77	c 1132s |      18 |   610726 |   398852 |    25408     31 |      626 |      372
1134.40/1134.80	c 1134s |      18 |   611845 |   399652 |    25408     32 |      626 |      372
1136.40/1136.86	c 1136s |      18 |   613437 |   400652 |    25408     32 |      626 |      372
1138.60/1139.06	c 1138s |      18 |   614579 |   401552 |    25408     32 |      626 |      372
1140.71/1141.13	c 1140s |      18 |   615796 |   402452 |    25408     32 |      626 |      372
1142.81/1143.22	c 1142s |      18 |   616900 |   403252 |    25408     32 |      626 |      372
1145.01/1145.43	c 1145s |      18 |   618953 |   404252 |    25408     32 |      626 |      372
1147.11/1147.56	c 1147s |      18 |   621871 |   405452 |    25408     32 |      626 |      372
1149.21/1149.61	c 1149s |      18 |   623609 |   406552 |    25408     32 |      626 |      372
1151.41/1151.82	c 1151s |      18 |   624934 |   407552 |    25408     32 |      626 |      372
1153.40/1153.87	c 1153s |      18 |   625968 |   408352 |    25408     32 |      626 |      372
1155.40/1155.89	c 1155s |      18 |   626987 |   409152 |    25408     32 |      626 |      372
1157.50/1157.94	c 1157s |      18 |   627916 |   409852 |    25408     32 |      626 |      372
1159.70/1160.15	c 1159s |      18 |   630171 |   411052 |    25408     32 |      626 |      372
1161.90/1162.36	c 1162s |      18 |   631723 |   411952 |    25408     32 |      626 |      372
1164.10/1164.51	c 1164s |      18 |   633557 |   413152 |    25408     32 |      626 |      372
1166.10/1166.51	c 1166s |      18 |   634462 |   413852 |    25408     33 |      626 |      372
1168.20/1168.60	c 1168s |      18 |   635981 |   415052 |    25408     33 |      626 |      372
1170.20/1170.67	c 1170s |      18 |   637441 |   416052 |    25408     33 |      626 |      372
1172.31/1172.79	c 1172s |      18 |   638368 |   416852 |    25408     33 |      626 |      372
1174.51/1174.96	c 1174s |      18 |   639597 |   417752 |    25408     33 |      626 |      372
1176.50/1177.00	c 1176s |      18 |   641031 |   418752 |    25408     33 |      626 |      372
1178.70/1179.12	c 1178s |      18 |   642091 |   419652 |    25408     33 |      626 |      372
1180.70/1181.16	c 1180s |      18 |   643078 |   420452 |    25408     33 |      626 |      372
1182.90/1183.36	c 1183s |      18 |   644072 |   421252 |    25408     33 |      626 |      372
1185.00/1185.46	c 1185s |      18 |   645780 |   422252 |    25408     33 |      626 |      372
1187.20/1187.67	c 1187s |      18 |   646800 |   423052 |    25408     33 |      626 |      372
1189.30/1189.76	c 1189s |      18 |   647520 |   423652 |    25408     33 |      626 |      372
1191.30/1191.78	c 1191s |      18 |   648343 |   424352 |    25408     33 |      626 |      372
1193.40/1193.82	c 1193s |      18 |   649040 |   424952 |    25408     33 |      626 |      372
1195.40/1195.87	c 1195s |      18 |   649721 |   425552 |    25408     33 |      626 |      372
1197.60/1198.10	c 1197s |      18 |   650523 |   426252 |    25408     33 |      626 |      372
1199.89/1200.37	c 1200s |      18 |   651200 |   426852 |    25408     33 |      626 |      372
1202.29/1202.73	c 1202s |      18 |   651994 |   427552 |    25408     33 |      626 |      372
1204.39/1204.88	c 1204s |      18 |   652550 |   428052 |    25408     34 |      626 |      372
1206.69/1207.18	c 1206s |      18 |   653336 |   428752 |    25408     34 |      626 |      372
1208.79/1209.20	c 1208s |      18 |   654005 |   429352 |    25408     34 |      626 |      372
1210.89/1211.38	c 1211s |      18 |   654771 |   430052 |    25408     34 |      626 |      372
1213.19/1213.65	c 1213s |      18 |   655628 |   430752 |    25408     34 |      626 |      372
1215.29/1215.74	c 1215s |      18 |   656419 |   431452 |    25408     34 |      626 |      372
1217.49/1217.94	c 1217s |      18 |   657219 |   432152 |    25408     34 |      626 |      372
1219.69/1220.20	c 1219s |      18 |   658010 |   432852 |    25408     34 |      626 |      372
1221.80/1222.21	c 1221s |      18 |   658681 |   433452 |    25408     34 |      626 |      372
1223.90/1224.38	c 1224s |      18 |   659352 |   434052 |    25408     34 |      626 |      372
1225.99/1226.47	c 1226s |      18 |   660010 |   434652 |    25408     34 |      626 |      372
1228.30/1228.74	c 1228s |      18 |   660690 |   435252 |    25408     34 |      626 |      372
1230.39/1230.88	c 1230s |      18 |   661211 |   435752 |    25408     34 |      626 |      372
1232.79/1233.20	c 1232s |      18 |   661758 |   436252 |    25408     34 |      626 |      372
1235.09/1235.54	c 1235s |      18 |   662297 |   436752 |    25408     34 |      626 |      372
1237.49/1237.90	c 1237s |      18 |   662826 |   437252 |    25408     34 |      626 |      372
1239.49/1239.96	c 1239s |      18 |   663393 |   437752 |    25408     34 |      626 |      372
1241.79/1242.25	c 1241s |      18 |   664084 |   438352 |    25408     34 |      626 |      372
1243.99/1244.41	c 1244s |      18 |   664628 |   438852 |    25408     34 |      626 |      372
1246.29/1246.72	c 1246s |      18 |   665298 |   439452 |    25408     34 |      626 |      372
1248.29/1248.77	c 1248s |      18 |   665866 |   439952 |    25408     34 |      626 |      372
1250.69/1251.11	c 1250s |      18 |   666424 |   440452 |    25408     34 |      626 |      372
1252.69/1253.19	c 1252s |      18 |   666988 |   440952 |    25408     34 |      626 |      372
1254.89/1255.36	c 1255s |      18 |   667544 |   441452 |    27949     34 |      626 |      372
1257.09/1257.50	c 1257s |      18 |   668101 |   441952 |    27949     34 |      626 |      372
1259.29/1259.79	c 1259s |      18 |   668681 |   442452 |    27949     34 |      626 |      372
1261.59/1262.03	c 1261s |      18 |   669385 |   443052 |    27949     34 |      626 |      372
1263.69/1264.13	c 1263s |      18 |   669920 |   443552 |    27949     34 |      626 |      372
1265.79/1266.26	c 1265s |      18 |   670997 |   444252 |    27949     34 |      626 |      372
1266.39/1266.81	c 1266s |      19 |   671328 |   444482 |    27949     34 |      626 |      372
1268.39/1268.88	c 1268s |      19 |   674319 |   445682 |    27949     35 |      626 |      372
1270.48/1270.98	c 1270s |      19 |   677615 |   447782 |    27949     35 |      626 |      372
1272.58/1273.06	c 1272s |      19 |   679776 |   449482 |    27949     35 |      626 |      372
1274.59/1275.08	c 1274s |      19 |   681479 |   450882 |    27949     35 |      626 |      372
1276.69/1277.15	c 1276s |      19 |   684165 |   452682 |    27949     35 |      626 |      372
1278.68/1279.17	c 1278s |      19 |   685965 |   454182 |    27949     35 |      626 |      372
1280.78/1281.26	c 1280s |      19 |   687769 |   455582 |    27949     35 |      626 |      372
1282.98/1283.40	c 1283s |      19 |   689041 |   456682 |    27949     35 |      626 |      372
1284.98/1285.47	c 1285s |      19 |   690420 |   457782 |    27949     35 |      626 |      372
1287.08/1287.58	c 1287s |      19 |   692134 |   459182 |    27949     35 |      626 |      372
1289.48/1289.95	c 1289s |      19 |   693328 |   460282 |    27949     36 |      626 |      372
1291.58/1292.08	c 1291s |      19 |   695026 |   461582 |    27949     36 |      626 |      372
1293.68/1294.16	c 1293s |      19 |   696701 |   462882 |    27949     36 |      626 |      372
1295.68/1296.18	c 1295s |      19 |   697873 |   463882 |    27949     36 |      626 |      372
1297.78/1298.23	c 1297s |      19 |   698903 |   464782 |    27949     36 |      626 |      372
1299.98/1300.44	c 1300s |      19 |   700006 |   465782 |    27949     36 |      626 |      372
1301.99/1302.49	c 1302s |      19 |   701072 |   466682 |    27949     36 |      626 |      372
1304.08/1304.53	c 1304s |      19 |   701989 |   467482 |    27949     36 |      626 |      372
1306.08/1306.55	c 1306s |      19 |   702800 |   468182 |    27949     36 |      626 |      372
1308.08/1308.58	c 1308s |      19 |   703590 |   468882 |    27949     36 |      626 |      372
1310.38/1310.84	c 1310s |      19 |   704655 |   469782 |    27949     36 |      626 |      372
1312.58/1313.08	c 1312s |      19 |   705690 |   470682 |    27949     36 |      626 |      372
1314.78/1315.29	c 1315s |      19 |   706600 |   471482 |    27949     36 |      626 |      372
1317.08/1317.51	c 1317s |      19 |   707517 |   472282 |    27949     36 |      626 |      372
1319.18/1319.66	c 1319s |      19 |   708293 |   472982 |    27949     36 |      626 |      372
1321.38/1321.86	c 1321s |      19 |   709264 |   473782 |    27949     36 |      626 |      372
1323.47/1323.99	c 1323s |      19 |   710061 |   474482 |    27949     36 |      626 |      372
1325.87/1326.31	c 1326s |      19 |   710897 |   475182 |    27949     36 |      626 |      372
1328.07/1328.50	c 1328s |      19 |   711709 |   475882 |    27949     36 |      626 |      372
1330.07/1330.52	c 1330s |      19 |   712259 |   476382 |    27949     37 |      626 |      372
1332.07/1332.58	c 1332s |      19 |   713385 |   477282 |    27949     37 |      626 |      372
1334.07/1334.59	c 1334s |      19 |   714487 |   478182 |    27949     37 |      626 |      372
1336.27/1336.74	c 1336s |      19 |   715575 |   479082 |    27949     37 |      626 |      372
1338.38/1338.89	c 1338s |      19 |   716650 |   479982 |    27949     37 |      626 |      372
1340.37/1340.89	c 1340s |      19 |   717485 |   480682 |    27949     37 |      626 |      372
1342.57/1343.06	c 1342s |      19 |   718467 |   481482 |    27949     37 |      626 |      372
1344.77/1345.24	c 1344s |      19 |   719278 |   482182 |    27949     37 |      626 |      372
1346.77/1347.25	c 1346s |      19 |   720112 |   482882 |    27949     37 |      626 |      372
1349.07/1349.56	c 1349s |      19 |   720936 |   483582 |    27949     37 |      626 |      372
1351.27/1351.77	c 1351s |      19 |   721731 |   484282 |    27949     37 |      626 |      372
1353.27/1353.78	c 1353s |      19 |   722435 |   484882 |    27949     37 |      626 |      372
1355.57/1356.05	c 1355s |      19 |   723222 |   485582 |    27949     37 |      626 |      372
1357.77/1358.20	c 1357s |      19 |   723873 |   486182 |    27949     37 |      626 |      372
1359.87/1360.38	c 1360s |      19 |   724537 |   486782 |    27949     37 |      626 |      372
1362.07/1362.51	c 1362s |      19 |   725259 |   487382 |    27949     37 |      626 |      372
1364.07/1364.52	c 1364s |      19 |   725972 |   487982 |    27949     37 |      626 |      372
1366.17/1366.64	c 1366s |      19 |   726678 |   488582 |    27949     37 |      626 |      372
1368.37/1368.85	c 1368s |      19 |   727795 |   489282 |    27949     37 |      626 |      372
1370.47/1370.97	c 1370s |      19 |   728664 |   489982 |    27949     37 |      626 |      372
1372.57/1373.09	c 1372s |      19 |   729587 |   490682 |    27949     37 |      626 |      372
1374.87/1375.31	c 1375s |      19 |   730545 |   491382 |    27949     38 |      626 |      372
1376.97/1377.42	c 1377s |      19 |   731842 |   492382 |    27949     38 |      626 |      372
1379.07/1379.51	c 1379s |      19 |   733167 |   493382 |    27949     38 |      626 |      372
1381.17/1381.64	c 1381s |      19 |   734563 |   494382 |    27949     38 |      626 |      372
1383.27/1383.77	c 1383s |      19 |   736012 |   495382 |    27949     38 |      626 |      372
1385.47/1385.97	c 1385s |      19 |   737449 |   496482 |    27949     38 |      626 |      372
1387.57/1388.01	c 1387s |      19 |   739140 |   497682 |    27949     38 |      626 |      372
1389.56/1390.09	c 1389s |      19 |   740643 |   498882 |    27949     38 |      626 |      372
1391.66/1392.10	c 1391s |      19 |   742060 |   499982 |    27949     38 |      626 |      372
1393.66/1394.15	c 1393s |      19 |   743071 |   500882 |    27949     38 |      626 |      372
1395.86/1396.35	c 1396s |      19 |   744400 |   501982 |    27949     38 |      626 |      372
1397.86/1398.36	c 1398s |      19 |   745408 |   502882 |    27949     38 |      626 |      372
1399.97/1400.42	c 1400s |      19 |   746753 |   503882 |    27949     38 |      626 |      372
1402.07/1402.53	c 1402s |      19 |   747901 |   504782 |    27949     38 |      626 |      372
1404.16/1404.60	c 1404s |      19 |   749308 |   505882 |    27949     38 |      626 |      372
1406.16/1406.63	c 1406s |      19 |   750253 |   506682 |    27949     38 |      626 |      372
1408.56/1409.09	c 1408s |      19 |   751037 |   507382 |    27949     39 |      626 |      372
1410.76/1411.24	c 1410s |      19 |   752204 |   508382 |    27949     39 |      626 |      372
1412.96/1413.45	c 1413s |      19 |   753178 |   509282 |    27949     39 |      626 |      372
1414.96/1415.46	c 1415s |      19 |   754198 |   510182 |    27949     39 |      626 |      372
1417.06/1417.57	c 1417s |      19 |   755227 |   511082 |    27949     39 |      626 |      372
1419.36/1419.82	c 1419s |      19 |   756229 |   511982 |    27949     39 |      626 |      372
1421.36/1421.84	c 1421s |      19 |   757189 |   512782 |    27949     39 |      626 |      372
1423.46/1423.96	c 1423s |      19 |   758942 |   514182 |    27949     39 |      626 |      372
1425.66/1426.10	c 1425s |      19 |   760828 |   515382 |    27949     39 |      626 |      372
1427.86/1428.30	c 1428s |      19 |   761854 |   516282 |    27949     39 |      626 |      372
1429.86/1430.34	c 1430s |      19 |   762827 |   517082 |    27949     39 |      626 |      372
1432.06/1432.57	c 1432s |      19 |   763763 |   517882 |    27949     39 |      626 |      372
1434.36/1434.83	c 1434s |      19 |   764704 |   518682 |    27949     39 |      626 |      372
1436.46/1436.94	c 1436s |      19 |   765628 |   519482 |    27949     39 |      626 |      372
1438.56/1439.00	c 1438s |      19 |   766607 |   520282 |    27949     39 |      626 |      372
1440.66/1441.16	c 1440s |      19 |   767442 |   520982 |    27949     39 |      626 |      372
1442.96/1443.43	c 1443s |      19 |   768256 |   521682 |    27949     39 |      626 |      372
1445.06/1445.54	c 1445s |      19 |   769109 |   522382 |    27949     39 |      626 |      372
1447.36/1447.86	c 1447s |      19 |   769913 |   523082 |    27949     40 |      626 |      372
1449.46/1449.91	c 1449s |      19 |   770964 |   523982 |    27949     40 |      626 |      372
1451.56/1452.05	c 1451s |      19 |   772158 |   524982 |    27949     40 |      626 |      372
1453.66/1454.10	c 1453s |      19 |   773065 |   525782 |    27949     40 |      626 |      372
1455.65/1456.13	c 1455s |      19 |   774768 |   526682 |    27949     40 |      626 |      372
1457.85/1458.33	c 1458s |      19 |   776124 |   527782 |    27949     40 |      626 |      372
1459.95/1460.49	c 1460s |      19 |   777368 |   528782 |    27949     40 |      626 |      372
1462.25/1462.73	c 1462s |      19 |   778477 |   529682 |    27949     40 |      626 |      372
1464.45/1464.96	c 1464s |      19 |   779751 |   530582 |    27949     40 |      626 |      372
1466.55/1467.06	c 1466s |      19 |   780875 |   531482 |    27949     40 |      626 |      372
1468.85/1469.33	c 1469s |      19 |   781822 |   532282 |    27949     40 |      626 |      372
1470.85/1471.36	c 1471s |      19 |   782684 |   532982 |    27949     40 |      626 |      372
1472.95/1473.48	c 1473s |      19 |   783529 |   533682 |    27949     40 |      626 |      372
1475.05/1475.55	c 1475s |      19 |   784296 |   534382 |    27949     40 |      626 |      372
1477.35/1477.81	c 1477s |      19 |   785130 |   535082 |    27949     40 |      626 |      372
1479.35/1479.87	c 1479s |      19 |   785979 |   535782 |    27949     40 |      626 |      372
1481.45/1481.95	c 1481s |      19 |   786674 |   536382 |    27949     40 |      626 |      372
1483.46/1483.96	c 1483s |      19 |   787361 |   536982 |    27949     40 |      626 |      372
1485.85/1486.33	c 1486s |      19 |   788200 |   537682 |    27949     40 |      626 |      372
1488.05/1488.56	c 1488s |      19 |   788870 |   538282 |    27949     40 |      626 |      372
1490.16/1490.64	c 1490s |      19 |   789467 |   538782 |    27949     41 |      626 |      372
1492.36/1492.87	c 1492s |      19 |   790490 |   539682 |    27949     41 |      626 |      372
1494.55/1495.09	c 1494s |      19 |   791390 |   540482 |    27949     41 |      626 |      372
1496.85/1497.39	c 1497s |      19 |   792267 |   541282 |    27949     41 |      626 |      372
1498.95/1499.42	c 1499s |      19 |   793042 |   541982 |    27949     41 |      626 |      372
1500.95/1501.46	c 1501s |      19 |   793809 |   542682 |    27949     41 |      626 |      372
1503.05/1503.52	c 1503s |      19 |   794601 |   543382 |    27949     41 |      626 |      372
1505.34/1505.80	c 1505s |      19 |   795384 |   544082 |    27949     41 |      626 |      372
1507.44/1507.92	c 1507s |      19 |   796030 |   544682 |    27949     41 |      626 |      372
1509.64/1510.17	c 1509s |      19 |   796809 |   545382 |    27949     41 |      626 |      372
1511.84/1512.32	c 1512s |      19 |   797463 |   545982 |    27949     41 |      626 |      372
1513.94/1514.48	c 1514s |      19 |   798111 |   546582 |    27949     41 |      626 |      372
1516.24/1516.76	c 1516s |      19 |   798769 |   547182 |    27949     41 |      626 |      372
1518.44/1518.95	c 1518s |      19 |   799453 |   547782 |    27949     41 |      626 |      372
1520.54/1521.09	c 1520s |      19 |   800145 |   548382 |    27949     41 |      626 |      372
1522.94/1523.40	c 1523s |      19 |   800916 |   549082 |    27949     41 |      626 |      372
1525.04/1525.50	c 1525s |      19 |   801593 |   549682 |    27949     41 |      626 |      372
1527.24/1527.77	c 1527s |      19 |   802286 |   550282 |    27949     41 |      626 |      372
1529.44/1529.90	c 1529s |      19 |   802963 |   550882 |    27949     41 |      626 |      372
1531.85/1532.37	c 1532s |      19 |   803668 |   551482 |    27949     41 |      626 |      372
1533.94/1534.41	c 1534s |      19 |   804238 |   551982 |    27949     41 |      626 |      372
1536.04/1536.57	c 1536s |      19 |   804924 |   552582 |    27949     41 |      626 |      372
1538.14/1538.66	c 1538s |      19 |   805716 |   553182 |    27949     41 |      626 |      372
1540.14/1540.68	c 1540s |      19 |   806561 |   553882 |    27949     41 |      626 |      372
1542.34/1542.81	c 1542s |      19 |   807134 |   554382 |    27949     42 |      626 |      372
1544.44/1544.90	c 1544s |      19 |   808072 |   555182 |    27949     42 |      626 |      372
1546.44/1546.99	c 1546s |      19 |   808885 |   555882 |    27949     42 |      626 |      372
1548.84/1549.33	c 1549s |      19 |   809711 |   556582 |    27949     42 |      626 |      372
1551.04/1551.54	c 1551s |      19 |   810492 |   557282 |    27949     42 |      626 |      372
1553.34/1553.88	c 1553s |      19 |   811272 |   557982 |    27949     42 |      626 |      372
1555.44/1555.97	c 1555s |      19 |   812082 |   558682 |    27949     42 |      626 |      372
1557.54/1558.07	c 1557s |      19 |   812739 |   559282 |    27949     42 |      626 |      372
1559.64/1560.11	c 1559s |      19 |   813441 |   559882 |    27949     42 |      626 |      372
1561.64/1562.19	c 1561s |      19 |   814115 |   560482 |    27949     42 |      626 |      372
1564.04/1564.52	c 1564s |      19 |   814930 |   561182 |    27949     42 |      626 |      372
1566.24/1566.76	c 1566s |      19 |   815717 |   561882 |    27949     42 |      626 |      372
1568.54/1569.01	c 1568s |      19 |   816384 |   562482 |    27949     42 |      626 |      372
1570.84/1571.31	c 1571s |      19 |   817049 |   563082 |    27949     42 |      626 |      372
1572.94/1573.44	c 1573s |      19 |   817744 |   563682 |    27949     42 |      626 |      372
1575.14/1575.64	c 1575s |      19 |   818394 |   564282 |    27949     42 |      626 |      372
1577.54/1578.04	c 1577s |      19 |   819045 |   564882 |    27949     42 |      626 |      372
1579.64/1580.16	c 1579s |      19 |   819589 |   565382 |    27949     42 |      626 |      372
1582.04/1582.50	c 1582s |      19 |   820255 |   565982 |    27949     42 |      626 |      372
1584.24/1584.78	c 1584s |      19 |   820919 |   566582 |    27949     42 |      626 |      372
1586.74/1587.25	c 1586s |      19 |   821453 |   567082 |    27949     42 |      626 |      372
1588.84/1589.32	c 1589s |      19 |   821997 |   567582 |    27949     42 |      626 |      372
1591.14/1591.70	c 1591s |      19 |   822677 |   568182 |    27949     42 |      626 |      372
1593.64/1594.12	c 1593s |      19 |   823374 |   568782 |    27949     42 |      626 |      372
1595.65/1596.15	c 1595s |      19 |   823939 |   569282 |    27949     42 |      626 |      372
1597.74/1598.24	c 1597s |      19 |   824493 |   569782 |    27949     42 |      626 |      372
1599.74/1600.25	c 1599s |      19 |   824930 |   570182 |    27949     43 |      626 |      372
1601.84/1602.39	c 1602s |      19 |   825702 |   570882 |    27949     43 |      626 |      372
1603.94/1604.44	c 1604s |      19 |   826628 |   571682 |    27949     43 |      626 |      372
1606.04/1606.58	c 1606s |      19 |   827405 |   572382 |    27949     43 |      626 |      372
1608.34/1608.83	c 1608s |      19 |   828191 |   573082 |    27949     43 |      626 |      372
1610.54/1611.03	c 1610s |      19 |   828851 |   573682 |    27949     43 |      626 |      372
1612.64/1613.10	c 1612s |      19 |   829511 |   574282 |    27949     43 |      626 |      372
1614.84/1615.35	c 1615s |      19 |   830268 |   574982 |    27949     43 |      626 |      372
1617.14/1617.61	c 1617s |      19 |   831043 |   575682 |    27949     43 |      626 |      372
1619.13/1619.64	c 1619s |      19 |   831700 |   576282 |    27949     43 |      626 |      372
1621.43/1621.95	c 1621s |      19 |   832503 |   576982 |    27949     43 |      626 |      372
1623.53/1624.00	c 1623s |      19 |   833142 |   577582 |    27949     43 |      626 |      372
1625.73/1626.24	c 1625s |      19 |   833790 |   578182 |    27949     43 |      626 |      372
1628.13/1628.67	c 1628s |      19 |   834422 |   578782 |    27949     43 |      626 |      372
1630.53/1631.06	c 1630s |      19 |   835065 |   579382 |    27949     43 |      626 |      372
1632.63/1633.12	c 1632s |      19 |   835724 |   579982 |    27949     43 |      626 |      372
1634.73/1635.23	c 1634s |      19 |   836343 |   580582 |    27949     43 |      626 |      372
1636.93/1637.40	c 1637s |      19 |   836997 |   581182 |    27949     43 |      626 |      372
1638.93/1639.48	c 1639s |      19 |   837534 |   581682 |    27949     43 |      626 |      372
1641.23/1641.74	c 1641s |      19 |   838180 |   582282 |    27949     43 |      626 |      372
1643.53/1644.06	c 1643s |      19 |   838819 |   582882 |    27949     43 |      626 |      372
1645.83/1646.33	c 1646s |      19 |   839500 |   583482 |    27949     43 |      626 |      372
1648.13/1648.64	c 1648s |      19 |   840167 |   584082 |    27949     43 |      626 |      372
1650.33/1650.89	c 1650s |      19 |   840693 |   584582 |    27949     43 |      626 |      372
1652.43/1652.94	c 1652s |      19 |   841221 |   585082 |    27949     43 |      626 |      372
1654.43/1654.96	c 1654s |      19 |   841766 |   585582 |    27949     43 |      626 |      372
1656.53/1657.03	c 1656s |      19 |   842312 |   586082 |    27949     44 |      626 |      372
1658.63/1659.10	c 1658s |      19 |   842991 |   586682 |    27949     44 |      626 |      372
1660.83/1661.34	c 1661s |      19 |   843753 |   587382 |    27949     44 |      626 |      372
1663.03/1663.57	c 1663s |      19 |   844724 |   588182 |    27949     44 |      626 |      372
1665.13/1665.63	c 1665s |      19 |   845519 |   588882 |    27949     44 |      626 |      372
1667.33/1667.87	c 1667s |      19 |   846514 |   589682 |    27949     44 |      626 |      372
1669.33/1669.88	c 1669s |      19 |   847389 |   590382 |    27949     44 |      626 |      372
1671.63/1672.15	c 1671s |      19 |   848333 |   591182 |    27949     44 |      626 |      372
1673.83/1674.32	c 1674s |      19 |   849155 |   591882 |    27949     44 |      626 |      372
1675.93/1676.41	c 1676s |      19 |   849948 |   592582 |    27949     44 |      626 |      372
1678.02/1678.52	c 1678s |      19 |   850731 |   593282 |    27949     44 |      626 |      372
1680.02/1680.58	c 1680s |      19 |   851441 |   593882 |    27949     44 |      626 |      372
1682.22/1682.76	c 1682s |      19 |   852109 |   594482 |    27949     44 |      626 |      372
1684.42/1684.99	c 1684s |      19 |   852910 |   595182 |    27949     44 |      626 |      372
1686.72/1687.22	c 1686s |      19 |   853569 |   595782 |    27949     44 |      626 |      372
1688.92/1689.43	c 1689s |      19 |   854268 |   596382 |    27949     44 |      626 |      372
1691.12/1691.64	c 1691s |      19 |   854906 |   596982 |    27949     44 |      626 |      372
1693.32/1693.89	c 1693s |      19 |   855564 |   597582 |    27949     44 |      626 |      372
1695.73/1696.27	c 1695s |      19 |   856211 |   598182 |    27949     44 |      626 |      372
1697.72/1698.28	c 1698s |      19 |   856771 |   598682 |    27949     44 |      626 |      372
1700.02/1700.52	c 1700s |      19 |   857479 |   599282 |    27949     44 |      626 |      372
1702.33/1702.86	c 1702s |      19 |   858146 |   599882 |    27949     44 |      626 |      372
1704.53/1705.10	c 1704s |      19 |   858903 |   600482 |    27949     44 |      626 |      372
1706.62/1707.17	c 1706s |      19 |   859477 |   600982 |    27949     44 |      626 |      372
1708.72/1709.23	c 1708s |      19 |   859957 |   601382 |    27949     45 |      626 |      372
1710.72/1711.25	c 1710s |      19 |   860779 |   602082 |    27949     45 |      626 |      372
1713.12/1713.61	c 1713s |      19 |   861587 |   602782 |    27949     45 |      626 |      372
1715.22/1715.73	c 1715s |      19 |   862394 |   603482 |    27949     45 |      626 |      372
1717.22/1717.74	c 1717s |      19 |   863245 |   604182 |    27949     45 |      626 |      372
1719.62/1720.12	c 1719s |      19 |   864235 |   604982 |    27949     45 |      626 |      372
1721.82/1722.33	c 1722s |      19 |   865100 |   605682 |    27949     45 |      626 |      372
1724.32/1724.89	c 1724s |      19 |   865894 |   606382 |    27949     45 |      626 |      372
1726.42/1726.95	c 1726s |      19 |   866457 |   606882 |    27949     45 |      626 |      372
1728.52/1729.05	c 1728s |      19 |   867181 |   607482 |    27949     45 |      626 |      372
1730.61/1731.14	c 1730s |      19 |   867885 |   608082 |    27949     45 |      626 |      372
1732.71/1733.26	c 1732s |      19 |   868689 |   608782 |    27949     45 |      626 |      372
1735.11/1735.66	c 1735s |      19 |   869483 |   609482 |    27949     45 |      626 |      372
1737.21/1737.76	c 1737s |      19 |   870149 |   610082 |    27949     45 |      626 |      372
1739.41/1739.96	c 1739s |      19 |   870824 |   610682 |    27949     45 |      626 |      372
1741.61/1742.11	c 1741s |      19 |   871542 |   611282 |    27949     45 |      626 |      372
1743.81/1744.39	c 1744s |      19 |   872336 |   611982 |    27949     45 |      626 |      372
1746.11/1746.64	c 1746s |      19 |   873038 |   612582 |    27949     45 |      626 |      372
1748.31/1748.84	c 1748s |      19 |   873722 |   613182 |    27949     45 |      626 |      372
1750.61/1751.10	c 1750s |      19 |   874382 |   613782 |    27949     45 |      626 |      372
1752.61/1753.15	c 1752s |      19 |   875095 |   614382 |    27949     45 |      626 |      372
1754.61/1755.19	c 1754s |      19 |   875644 |   614882 |    27949     45 |      626 |      372
1756.91/1757.42	c 1757s |      19 |   876167 |   615382 |    27949     45 |      626 |      372
1759.01/1759.59	c 1759s |      19 |   876699 |   615882 |    27949     45 |      626 |      372
1761.21/1761.70	c 1761s |      19 |   877433 |   616482 |    27949     45 |      626 |      372
1763.41/1763.99	c 1763s |      19 |   878009 |   616982 |    27949     46 |      626 |      372
1765.71/1766.23	c 1765s |      19 |   878778 |   617682 |    27949     46 |      626 |      372
1768.01/1768.50	c 1768s |      19 |   879527 |   618382 |    27949     46 |      626 |      372
1770.31/1770.84	c 1770s |      19 |   880345 |   619082 |    27949     46 |      626 |      372
1772.61/1773.11	c 1772s |      19 |   881162 |   619782 |    27949     46 |      626 |      372
1774.81/1775.39	c 1775s |      19 |   881937 |   620482 |    27949     46 |      626 |      372
1776.91/1777.49	c 1777s |      19 |   882609 |   621082 |    27949     46 |      626 |      372
1779.21/1779.78	c 1779s |      19 |   883316 |   621682 |    27949     46 |      626 |      372
1781.41/1781.95	c 1781s |      19 |   884106 |   622382 |    27949     46 |      626 |      372
1783.71/1784.23	c 1783s |      19 |   884801 |   622982 |    27949     46 |      626 |      372
1786.01/1786.55	c 1786s |      19 |   885619 |   623682 |    27949     46 |      626 |      372
1788.11/1788.65	c 1788s |      19 |   886258 |   624282 |    27949     46 |      626 |      372
1790.20/1790.76	c 1790s |      19 |   886957 |   624882 |    27949     46 |      626 |      372
1792.20/1792.77	c 1792s |      19 |   887621 |   625482 |    27949     46 |      626 |      372
1794.20/1794.78	c 1794s |      19 |   888210 |   625982 |    27949     46 |      626 |      372
1796.40/1796.90	c 1796s |      19 |   888760 |   626482 |    27949     46 |      626 |      372
1798.60/1799.17	c 1798s |      19 |   889318 |   626982 |    27949     46 |      626 |      372

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

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.16 2.15 4/179 24862
/proc/meminfo: memFree=29595624/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 2776 0 0 0 0 0 0 0 20 0 4 0 30626690 760672256 2625 33554432000 4194304 16246674 140734866136688 140734866136112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 186223 2633 441 2943 0 183117 0
[pid=24862/tid=24863] ppid=24859 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 778498048 2694 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 783740928 2714 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30626690 787935232 2730 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.10007 s]
/proc/loadavg: 2.21 2.16 2.15 4/179 24862
/proc/meminfo: memFree=29595624/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 28472 0 0 0 5 4 0 0 20 0 4 0 30626690 1249447936 28259 33554432000 4194304 16246674 140734866136688 140734866136000 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 305041 28259 801 2943 0 301935 0
[pid=24862/tid=24863] ppid=24859 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1249447936 28259 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1249447936 28259 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1249447936 28259 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200466 s]
/proc/loadavg: 2.21 2.16 2.15 4/179 24862
/proc/meminfo: memFree=29595624/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 48677 0 0 0 12 7 0 0 20 0 4 0 30626690 1332285440 48464 33554432000 4194304 16246674 140734866136688 140734866136000 13770083 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 325265 48464 842 2943 0 322159 0
[pid=24862/tid=24863] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 48464 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 48464 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 48464 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300427 s]
/proc/loadavg: 2.21 2.16 2.15 4/179 24862
/proc/meminfo: memFree=29595624/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 54544 0 0 0 21 8 0 0 20 0 4 0 30626690 1332285440 54331 33554432000 4194304 16246674 140734866136688 140734866136000 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 325265 54336 882 2943 0 322159 0
[pid=24862/tid=24863] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 54339 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 54343 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 54346 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700346 s]
/proc/loadavg: 2.21 2.16 2.15 4/179 24862
/proc/meminfo: memFree=29595624/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 105857 0 0 0 56 13 0 0 20 0 4 0 30626690 1332285440 105645 33554432000 4194304 16246674 140734866136688 140734866136000 13191638 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 325265 105655 882 2943 0 322159 0
[pid=24862/tid=24863] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 105657 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 105664 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 105666 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50038 s]
/proc/loadavg: 2.21 2.16 2.15 4/183 24866
/proc/meminfo: memFree=28966300/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 207226 0 0 0 122 27 0 0 20 0 4 0 30626690 1332285440 207013 33554432000 4194304 16246674 140734866136688 140734866118592 5830026 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 325265 207017 882 2943 0 322159 0
[pid=24862/tid=24863] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 207020 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 207022 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1332285440 207026 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.21 2.16 2.15 3/183 24866
/proc/meminfo: memFree=28519672/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1313348 CPUtime=3.08 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 269505 0 0 0 273 35 0 0 20 0 4 0 30626690 1344868352 269292 33554432000 4194304 16246674 140734866136688 140734866134528 6842672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 328337 269292 889 2943 0 325231 0
[pid=24862/tid=24863] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269292 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269292 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269292 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.20 2.15 2.15 3/183 24866
/proc/meminfo: memFree=28518912/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1313348 CPUtime=6.28 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 269527 0 0 0 593 35 0 0 20 0 4 0 30626690 1344868352 269314 33554432000 4194304 16246674 140734866136688 140734866118592 5722912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 328337 269314 889 2943 0 325231 0
[pid=24862/tid=24863] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269314 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269314 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269314 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.18 2.15 2.15 3/183 24866
/proc/meminfo: memFree=28518944/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1313348 CPUtime=12.68 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 269527 0 0 0 1233 35 0 0 20 0 4 0 30626690 1344868352 269314 33554432000 4194304 16246674 140734866136688 140734866118592 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 328337 269314 889 2943 0 325231 0
[pid=24862/tid=24863] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269314 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269314 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269314 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.14 2.14 2.14 4/183 24866
/proc/meminfo: memFree=28519856/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 269529 0 0 0 2513 35 0 0 20 0 4 0 30626690 1344868352 269316 33554432000 4194304 16246674 140734866136688 140734866118592 5711496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 328337 269316 891 2943 0 325231 0
[pid=24862/tid=24863] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269316 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269316 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269316 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.23 2.16 2.15 3/183 24915
/proc/meminfo: memFree=28538620/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 269530 0 0 0 5072 36 0 0 20 0 4 0 30626690 1344868352 269317 33554432000 4194304 16246674 140734866136688 140734866118592 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 328337 269317 892 2943 0 325231 0
[pid=24862/tid=24863] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269317 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269317 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1344868352 269317 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.16 2.15 2.15 3/183 24916
/proc/meminfo: memFree=28537236/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 269991 0 0 0 10192 36 0 0 20 0 4 0 30626690 1346965504 269778 33554432000 4194304 16246674 140734866136688 140734866118592 5600136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 328849 269778 892 2943 0 325743 0
[pid=24862/tid=24863] ppid=24859 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1346965504 269778 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1346965504 269778 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1346965504 269778 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/184 24950
/proc/meminfo: memFree=28484792/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1361.87 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 136140 47 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 5712204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.12 2.19 2.17 3/183 24951
/proc/meminfo: memFree=28484940/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1421.87 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 142140 47 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 12477776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.08 2.16 2.17 3/183 24952
/proc/meminfo: memFree=28484624/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1481.85 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 148138 47 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.18 2.18 2.17 3/183 24954
/proc/meminfo: memFree=28484888/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1541.85 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 154138 47 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 5813840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/183 24955
/proc/meminfo: memFree=28484936/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1601.84 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 160136 48 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.11 2.16 2.17 4/182 24956
/proc/meminfo: memFree=28485672/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1661.83 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 166135 48 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.22 2.17 2.17 3/183 24958
/proc/meminfo: memFree=28485424/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1721.82 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 172134 48 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 24959
/proc/meminfo: memFree=28484432/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1781.81 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 178133 48 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.16 2.17 4/183 24959
/proc/meminfo: memFree=28484568/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1800 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 179952 48 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 5823751 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1338948

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.16 2.17 4/183 24959
/proc/meminfo: memFree=28484568/32872528 swapFree=1085692/1157232
[pid=24862] ppid=24859 vsize=1338948 CPUtime=1800 cores=0,2,4,6
/proc/24862/stat : 24862 (toysat) R 24859 24862 21062 0 -1 4202496 276275 0 0 0 179952 48 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140734866118592 5823751 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24862/statm: 334737 275973 892 2943 0 331631 0
[pid=24862/tid=24863] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (toysat) S 24859 24862 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209992740080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24862/tid=24864] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (toysat) S 24859 24862 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209982250224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24862/tid=24865] ppid=24859 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (toysat) S 24859 24862 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30626690 1371082752 275973 33554432000 4194304 16246674 140734866136688 140209971776688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1338948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.53
CPU system time (s): 0.486925
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.486925
maximum resident set size= 1103892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276275
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= 364
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.05323 second user time and 6.46802 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 23:17:51
IDJOB=4116797
IDBENCH=109515
IDSOLVER=2542
FILE ID=node114/4116797-1466975871
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116797-1466975871/watcher-4116797-1466975871 -o /tmp/evaluation-result-4116797-1466975871/solver-4116797-1466975871 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21078 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116797-1466975871.opb

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

MD5SUM BENCH= 0d9d4801edbabf445359520c12961408
RANDOM SEED=891637124

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29595532 kB
Buffers:           54488 kB
Cached:           226992 kB
SwapCached:        38928 kB
Active:          1163984 kB
Inactive:         252144 kB
Active(anon):    1099780 kB
Inactive(anon):    37760 kB
Active(file):      64204 kB
Inactive(file):   214384 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16724 kB
Writeback:             0 kB
AnonPages:       2254740 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             568264 kB
SReclaimable:      12208 kB
SUnreclaim:       556056 kB
KernelStack:        1464 kB
PageTables:         8560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2398708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1163264 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= 71624 MiB
End job on node114 at 2016-06-26 23:47:51