Trace number 4116613

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.06 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-5.opb
MD5SUMd1fabf35eff0707feff9b8cfd4299550
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 variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
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-26T20:03:45+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-4116613-1466964224.opb"]
0.00/0.01	c use --random-gen="884185716 1228345433 2975105597 2964912207 3611930637 706091961 993459764 929670474 3668230016 2060377375 902981625 3071878521 836221664 2806374092 3121094645 3311732529 1710183967 2407313960 3790538908 3767621699 2378943441 2937532354 3954808180 2898126470 169618958 523444599 2157416329 897700184 2870445740 2532142496 3508475792 1165343875 2449073145 58940640 3367185170 602121161 2251376514 2270336976 1644774562 1800010191 3843130274 2505916671 1889260535 3598608113 780436500 607896869 1682615670 699139806 931275915 1411045940 2343514005 3679816047 3143353290 1970400185 212276466 47940572 3159866059 1466402769 511928090 950648935 4039599405 3008643412 3961486074 2049662699 3476236124 388079425 2836152951 1099790206 2194243567 1463242441 3617124385 599712791 54066398 3627980960 2417219923 4195908209 4197062308 876422757 3323049618 527485639 2619798118 2819939704 2626534463 2833672320 1245354418 2594825944 3167370140 3728106392 3600375768 4394288 2048374902 3885075062 860984788 2475224192 3140427553 3152185613 3532083649 11983069 477966311 126242937 435143921 4091889913 4271210713 2684111924 47999303 35255666 3634553326 1814963380 1823976969 2796510585 1057465516 3560489511 2049475465 4256924765 4062496929 477079587 3009687328 624871375 470992912 3458008274 1767069992 2758432685 40866621 2553987052 3979481156 2966279709 657166033 3706325246 3801265134 3617051842 1114279433 1639296654 1613563013 3954633110 1298593564 790712458 277539974 2457938623 1212296651 264937298 212021419 3850577841 3143172186 691128166 2777624300 301728228 564058628 2418875690 1622419959 1930319078 1241783630 2595382832 1530857155 2105786678 3331648238 880794862 4076002490 2795202660 39466677 1524788029 1246567075 787701852 3736908035 1857909673 281998854 3854177660 2519000123 1739977536 2784573441 154793464 1412135937 164455203 2677641254 2783285889 2134072720 3286156664 1700062932 332276917 1252757001 1823427112 1745685714 336670409 2483487816 3818584203 3178008708 2489488800 2134827723 1720103115 2241425215 3014209926 1397819718 3916034941 3219548326 3352343911 3817659982 1738293551 1513657754 4092004172 758584995 415405313 110371191 1169994893 4608326 538968151 318155214 2294824427 3887642549 876491410 1920530376 2640906802 116640550 188815193 607047874 149424796 1234494447 2143110289 922048123 2563073021 4197206911 1474860765 792418919 1277521099 3222633730 979685266 2317457362 1118825288 1879297344 2116472103 1064476198 3132572965 3628523372 1672045793 3538667258 3814055716 3889320890 1375641207 4014597200 2437553097 273410274 2768111522 3607866575 3816098905 3673765997 3394659855 379288664 921196372 3046243846 3215243118 616300551 3032491069 2616450814 2472574164 3779071862 76812649 821953155 1950069823 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4128
0.09/0.12	c #constraints 8704
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 |     4234      0 |      761 |        0
0.28/0.37	c  0.1s |       1 |      449 |      100 |     4234      0 |      762 |      608
0.39/0.47	c  0.2s |       2 |     1506 |      250 |     4658      0 |      762 |      608
0.59/0.62	c  0.3s |       3 |     2530 |      475 |     5124      0 |      762 |      608
0.79/0.87	c  0.6s |       4 |     5617 |      813 |     5637      0 |      763 |      608
1.20/1.27	c  1.0s |       5 |     7839 |     1320 |     6201      0 |      763 |      608
1.88/1.96	c  1.7s |       6 |    12069 |     2081 |     7505      0 |      763 |      608
2.88/2.90	c  2.6s |       7 |    16859 |     3223 |     8256      0 |      763 |      608
4.49/4.58	c  4.3s |       8 |    23567 |     4936 |     9082      0 |      763 |      608
6.59/6.64	c  6.4s |       8 |    27300 |     7036 |     9082      0 |      763 |      608
7.08/7.19	c  6.9s |       9 |    27894 |     7506 |     9991      0 |      763 |      608
9.18/9.23	c  9.0s |       9 |    37279 |     9806 |     9991      0 |      763 |      608
11.28/11.31	c 11.0s |       9 |    38590 |    10906 |     9991      0 |      763 |      608
12.28/12.39	c 12.1s |      10 |    39127 |    11361 |    10991      0 |      763 |      608
14.49/14.53	c 14.3s |      10 |    42347 |    12861 |    10991      0 |      763 |      608
16.50/16.58	c 16.3s |      10 |    44090 |    14261 |    10991      0 |      763 |      608
18.59/18.69	c 18.4s |      10 |    46014 |    15761 |    10991      1 |      763 |      608
20.69/20.71	c 20.4s |      11 |    47834 |    17144 |    12091      1 |      763 |      608
22.79/22.83	c 22.6s |      11 |    58783 |    19644 |    12091      1 |      763 |      608
24.79/24.85	c 24.6s |      11 |    62943 |    21344 |    12091      2 |      763 |      608
26.79/26.86	c 26.6s |      11 |    68107 |    23444 |    12091      2 |      763 |      608
28.89/28.90	c 28.6s |      11 |    71468 |    25244 |    12091      2 |      763 |      608
29.79/29.82	c 29.6s |      12 |    72335 |    25819 |    13301      2 |      763 |      608
31.89/31.99	c 31.7s |      12 |    77265 |    27719 |    13301      2 |      763 |      608
33.99/34.05	c 33.8s |      12 |    78594 |    28919 |    13301      2 |      763 |      608
35.98/36.07	c 35.8s |      12 |    80007 |    30119 |    13301      2 |      763 |      608
37.98/38.09	c 37.8s |      12 |    81007 |    31019 |    13301      3 |      763 |      608
40.08/40.10	c 39.8s |      12 |    82264 |    32119 |    13301      3 |      763 |      608
42.18/42.24	c 42.0s |      12 |    83503 |    33219 |    13301      3 |      763 |      608
44.28/44.32	c 44.0s |      12 |    84589 |    34219 |    13301      3 |      763 |      608
46.29/46.32	c 46.0s |      12 |    85555 |    35119 |    13301      3 |      763 |      608
48.39/48.45	c 48.2s |      12 |    86523 |    36019 |    13301      3 |      763 |      608
50.48/50.58	c 50.3s |      12 |    87413 |    36819 |    13301      3 |      763 |      608
52.68/52.76	c 52.5s |      12 |    88412 |    37719 |    13301      3 |      763 |      608
54.88/54.91	c 54.6s |      12 |    89432 |    38619 |    14632      3 |      763 |      608
55.48/55.51	c 55.2s |      13 |    89691 |    38832 |    14632      3 |      763 |      608
57.48/57.55	c 57.3s |      13 |    99221 |    40632 |    14632      4 |      763 |      608
59.68/59.73	c 59.5s |      13 |   100703 |    41932 |    14632      4 |      763 |      608
61.78/61.84	c 61.6s |      13 |   102008 |    43032 |    14632      4 |      763 |      608
63.79/63.86	c 63.6s |      13 |   104247 |    44332 |    14632      4 |      763 |      608
65.88/65.97	c 65.7s |      13 |   105895 |    45632 |    14632      4 |      763 |      608
68.08/68.15	c 67.9s |      13 |   108788 |    47132 |    14632      4 |      763 |      608
70.08/70.16	c 69.9s |      13 |   110101 |    48232 |    14632      4 |      763 |      608
72.28/72.34	c 72.1s |      13 |   113243 |    49532 |    14632      5 |      763 |      608
74.38/74.45	c 74.2s |      13 |   114814 |    50832 |    14632      5 |      763 |      608
76.48/76.55	c 76.3s |      13 |   116065 |    51932 |    14632      5 |      763 |      608
78.58/78.60	c 78.3s |      13 |   117261 |    52932 |    14632      5 |      763 |      608
80.57/80.64	c 80.4s |      13 |   118179 |    53732 |    14632      5 |      763 |      608
82.67/82.72	c 82.4s |      13 |   119099 |    54532 |    14632      5 |      763 |      608
84.87/84.94	c 84.7s |      13 |   119990 |    55332 |    14632      5 |      763 |      608
86.98/87.06	c 86.8s |      13 |   120893 |    56132 |    14632      5 |      763 |      608
89.18/89.28	c 89.0s |      13 |   121781 |    56932 |    14632      5 |      763 |      608
91.47/91.51	c 91.2s |      13 |   122551 |    57632 |    14632      6 |      763 |      608
93.37/93.44	c 93.2s |      14 |   123342 |    58352 |    16096      6 |      763 |      608
95.47/95.56	c 95.3s |      14 |   131629 |    60352 |    16096      6 |      763 |      608
97.57/97.65	c 97.4s |      14 |   133324 |    61652 |    16096      6 |      763 |      608
99.67/99.75	c 99.5s |      14 |   134930 |    62852 |    16096      6 |      763 |      608
101.77/101.85	c  101s |      14 |   136118 |    63852 |    16096      6 |      763 |      608
103.87/103.99	c  103s |      14 |   137360 |    64852 |    16096      6 |      763 |      608
105.98/106.05	c  105s |      14 |   138588 |    65852 |    16096      6 |      763 |      608
108.08/108.17	c  107s |      14 |   139798 |    66852 |    16096      6 |      763 |      608
110.28/110.32	c  110s |      14 |   140695 |    67652 |    16096      6 |      763 |      608
112.48/112.51	c  112s |      14 |   141589 |    68352 |    16096      7 |      763 |      608
114.58/114.61	c  114s |      14 |   142574 |    69152 |    16096      7 |      763 |      608
116.68/116.75	c  116s |      14 |   143397 |    69852 |    16096      7 |      763 |      608
118.68/118.78	c  118s |      14 |   144178 |    70552 |    16096      7 |      763 |      608
120.77/120.83	c  120s |      14 |   144984 |    71252 |    16096      7 |      763 |      608
122.87/122.99	c  122s |      14 |   145775 |    71952 |    16096      7 |      763 |      608
125.27/125.33	c  125s |      14 |   146610 |    72652 |    16096      7 |      763 |      608
127.58/127.64	c  127s |      14 |   147479 |    73352 |    16096      7 |      763 |      608
129.88/129.92	c  129s |      14 |   148270 |    74052 |    16096      7 |      763 |      608
132.08/132.14	c  131s |      14 |   148950 |    74652 |    16096      7 |      763 |      608
134.28/134.37	c  134s |      14 |   149760 |    75352 |    16096      7 |      763 |      608
136.37/136.42	c  136s |      14 |   150428 |    75952 |    16096      7 |      763 |      608
138.47/138.59	c  138s |      14 |   151104 |    76552 |    16096      7 |      763 |      608
140.77/140.82	c  140s |      14 |   151783 |    77152 |    16096      7 |      763 |      608
142.87/142.97	c  142s |      14 |   152348 |    77652 |    16096      8 |      763 |      608
144.97/145.00	c  144s |      14 |   153047 |    78252 |    16096      8 |      763 |      608
147.17/147.21	c  146s |      14 |   153709 |    78852 |    16096      8 |      763 |      608
149.17/149.21	c  148s |      14 |   154387 |    79452 |    16096      8 |      763 |      608
151.47/151.59	c  151s |      14 |   155189 |    80152 |    16096      8 |      763 |      608
153.56/153.64	c  153s |      14 |   155838 |    80752 |    16096      8 |      763 |      608
155.86/155.91	c  155s |      14 |   156604 |    81452 |    16096      8 |      763 |      608
157.96/158.00	c  157s |      14 |   157265 |    82052 |    16096      8 |      763 |      608
160.26/160.31	c  160s |      14 |   157920 |    82652 |    16096      8 |      763 |      608
162.46/162.58	c  162s |      14 |   158567 |    83252 |    16096      8 |      763 |      608
164.76/164.85	c  164s |      14 |   159248 |    83852 |    16096      8 |      763 |      608
166.86/166.93	c  166s |      14 |   159791 |    84352 |    16096      8 |      763 |      608
168.86/168.98	c  168s |      14 |   160486 |    84952 |    16096      8 |      763 |      608
171.16/171.22	c  170s |      14 |   161046 |    85452 |    16096      8 |      763 |      608
173.56/173.60	c  173s |      14 |   161575 |    85952 |    16096      8 |      763 |      608
175.76/175.87	c  175s |      14 |   162133 |    86452 |    16096      8 |      763 |      608
177.96/178.08	c  177s |      14 |   162671 |    86952 |    16096      8 |      763 |      608
180.06/180.10	c  179s |      14 |   163202 |    87352 |    17706      9 |      763 |      608
180.66/180.78	c  180s |      15 |   163540 |    87632 |    17706      9 |      763 |      608
182.86/182.92	c  182s |      15 |   167315 |    89432 |    17706      9 |      763 |      608
184.96/185.04	c  184s |      15 |   169105 |    91032 |    17706      9 |      763 |      608
187.07/187.13	c  186s |      15 |   171163 |    92632 |    17706      9 |      763 |      608
189.17/189.22	c  188s |      15 |   173019 |    94132 |    17706      9 |      763 |      608
191.26/191.30	c  191s |      15 |   175327 |    95632 |    17706      9 |      763 |      608
193.26/193.34	c  193s |      15 |   177681 |    97332 |    17706      9 |      763 |      608
195.36/195.47	c  195s |      15 |   180149 |    98732 |    17706     10 |      763 |      608
197.46/197.52	c  197s |      15 |   181315 |    99832 |    17706     10 |      763 |      608
199.56/199.64	c  199s |      15 |   182380 |   100832 |    17706     10 |      763 |      608
201.56/201.67	c  201s |      15 |   183554 |   101832 |    17706     10 |      763 |      608
203.66/203.76	c  203s |      15 |   184437 |   102632 |    17706     10 |      763 |      608
205.96/206.01	c  205s |      15 |   185687 |   103632 |    17706     10 |      763 |      608
207.97/208.09	c  207s |      15 |   186617 |   104432 |    17706     10 |      763 |      608
210.07/210.13	c  209s |      15 |   187518 |   105232 |    17706     10 |      763 |      608
212.37/212.43	c  212s |      15 |   188447 |   106032 |    17706     10 |      763 |      608
214.36/214.48	c  214s |      15 |   189358 |   106832 |    17706     10 |      763 |      608
216.67/216.72	c  216s |      15 |   190117 |   107532 |    17706     10 |      763 |      608
218.86/218.93	c  218s |      15 |   190870 |   108232 |    17706     10 |      763 |      608
221.06/221.17	c  220s |      15 |   191664 |   108932 |    17706     11 |      763 |      608
223.36/223.40	c  223s |      15 |   192552 |   109732 |    17706     11 |      763 |      608
225.66/225.70	c  225s |      15 |   193450 |   110532 |    17706     11 |      763 |      608
227.66/227.72	c  227s |      15 |   194213 |   111232 |    17706     11 |      763 |      608
229.66/229.74	c  229s |      15 |   195010 |   111932 |    17706     11 |      763 |      608
231.86/231.94	c  231s |      15 |   195781 |   112632 |    17706     11 |      763 |      608
234.06/234.10	c  233s |      15 |   196551 |   113332 |    17706     11 |      763 |      608
236.26/236.35	c  236s |      15 |   197325 |   114032 |    17706     11 |      763 |      608
238.45/238.56	c  238s |      15 |   198093 |   114732 |    17706     11 |      763 |      608
240.55/240.62	c  240s |      15 |   198816 |   115332 |    17706     11 |      763 |      608
242.75/242.86	c  242s |      15 |   199494 |   115932 |    17706     11 |      763 |      608
245.05/245.15	c  244s |      15 |   200138 |   116532 |    17706     11 |      763 |      608
247.46/247.54	c  247s |      15 |   200798 |   117132 |    17706     11 |      763 |      608
249.55/249.61	c  249s |      15 |   201443 |   117732 |    17706     11 |      763 |      608
251.65/251.77	c  251s |      15 |   202661 |   118532 |    17706     11 |      763 |      608
253.85/253.91	c  253s |      15 |   203661 |   119432 |    17706     12 |      763 |      608
255.85/255.98	c  255s |      15 |   205151 |   120532 |    17706     12 |      763 |      608
257.95/258.08	c  257s |      15 |   207031 |   121832 |    17706     12 |      763 |      608
260.05/260.19	c  259s |      15 |   210920 |   123532 |    17706     12 |      763 |      608
262.05/262.19	c  261s |      15 |   212764 |   124732 |    17706     12 |      763 |      608
264.25/264.32	c  264s |      15 |   213955 |   125732 |    17706     12 |      763 |      608
266.35/266.47	c  266s |      15 |   215045 |   126632 |    17706     12 |      763 |      608
268.65/268.70	c  268s |      15 |   216268 |   127632 |    17706     12 |      763 |      608
270.65/270.73	c  270s |      15 |   217396 |   128532 |    17706     12 |      763 |      608
272.95/273.04	c  272s |      15 |   218370 |   129332 |    17706     13 |      763 |      608
275.05/275.17	c  274s |      15 |   219786 |   130432 |    17706     13 |      763 |      608
277.25/277.32	c  277s |      15 |   221209 |   131532 |    19477     13 |      763 |      608
277.25/277.36	c  277s |      16 |   221246 |   131552 |    19477     13 |      763 |      608
279.24/279.38	c  279s |      16 |   226974 |   133552 |    19477     13 |      763 |      608
281.44/281.52	c  281s |      16 |   229683 |   135352 |    19477     13 |      763 |      608
283.54/283.69	c  283s |      16 |   231566 |   136752 |    19477     13 |      763 |      608
285.64/285.78	c  285s |      16 |   234234 |   138352 |    19477     13 |      763 |      608
287.84/287.95	c  287s |      16 |   236262 |   139852 |    19477     13 |      763 |      608
289.94/290.05	c  289s |      16 |   237991 |   141052 |    19477     13 |      763 |      608
292.14/292.20	c  291s |      16 |   239767 |   142352 |    19477     14 |      763 |      608
294.14/294.27	c  293s |      16 |   241749 |   143752 |    19477     14 |      763 |      608
296.14/296.28	c  296s |      16 |   243129 |   144852 |    19477     14 |      763 |      608
298.24/298.32	c  298s |      16 |   244318 |   145852 |    19477     14 |      763 |      608
300.25/300.37	c  300s |      16 |   245392 |   146752 |    19477     14 |      763 |      608
302.34/302.46	c  302s |      16 |   246456 |   147652 |    19477     14 |      763 |      608
304.54/304.61	c  304s |      16 |   247550 |   148552 |    19477     14 |      763 |      608
306.54/306.65	c  306s |      16 |   248448 |   149352 |    19477     14 |      763 |      608
308.64/308.75	c  308s |      16 |   249484 |   150152 |    19477     14 |      763 |      608
310.84/310.96	c  310s |      16 |   251008 |   151152 |    19477     14 |      763 |      608
312.94/313.04	c  312s |      16 |   251978 |   151952 |    19477     14 |      763 |      608
315.04/315.11	c  314s |      16 |   253278 |   152852 |    19477     14 |      763 |      608
317.04/317.19	c  316s |      16 |   254466 |   153752 |    19477     15 |      763 |      608
319.24/319.34	c  319s |      16 |   255679 |   154652 |    19477     15 |      763 |      608
321.44/321.54	c  321s |      16 |   257010 |   155652 |    19477     15 |      763 |      608
323.54/323.62	c  323s |      16 |   258187 |   156552 |    19477     15 |      763 |      608
325.64/325.76	c  325s |      16 |   259025 |   157252 |    19477     15 |      763 |      608
327.84/327.94	c  327s |      16 |   260171 |   158152 |    19477     15 |      763 |      608
329.94/330.08	c  329s |      16 |   261821 |   159252 |    19477     15 |      763 |      608
332.14/332.29	c  332s |      16 |   262909 |   160152 |    19477     15 |      763 |      608
334.34/334.41	c  334s |      16 |   263834 |   160952 |    19477     15 |      763 |      608
336.54/336.69	c  336s |      16 |   265190 |   161852 |    19477     15 |      763 |      608
338.74/338.90	c  338s |      16 |   266389 |   162752 |    19477     15 |      763 |      608
341.04/341.11	c  340s |      16 |   267408 |   163552 |    19477     15 |      763 |      608
343.14/343.27	c  342s |      16 |   268316 |   164252 |    19477     15 |      763 |      608
345.13/345.28	c  345s |      16 |   269032 |   164852 |    19477     16 |      763 |      608
347.33/347.45	c  347s |      16 |   270017 |   165652 |    19477     16 |      763 |      608
349.33/349.46	c  349s |      16 |   270868 |   166352 |    19477     16 |      763 |      608
351.43/351.55	c  351s |      16 |   271704 |   167052 |    19477     16 |      763 |      608
353.73/353.88	c  353s |      16 |   272569 |   167752 |    19477     16 |      763 |      608
356.03/356.16	c  355s |      16 |   273421 |   168452 |    19477     16 |      763 |      608
358.13/358.27	c  357s |      16 |   274273 |   169152 |    19477     16 |      763 |      608
360.23/360.30	c  360s |      16 |   274968 |   169752 |    19477     16 |      763 |      608
362.43/362.54	c  362s |      16 |   275818 |   170452 |    19477     16 |      763 |      608
364.43/364.57	c  364s |      16 |   276549 |   171052 |    19477     16 |      763 |      608
366.63/366.73	c  366s |      16 |   277720 |   171852 |    19477     16 |      763 |      608
368.83/368.93	c  368s |      16 |   279236 |   172852 |    19477     16 |      763 |      608
371.03/371.14	c  370s |      16 |   280379 |   173752 |    19477     16 |      763 |      608
373.33/373.42	c  373s |      16 |   281358 |   174552 |    19477     16 |      763 |      608
375.33/375.47	c  375s |      16 |   282247 |   175252 |    19477     16 |      763 |      608
377.43/377.53	c  377s |      16 |   283019 |   175852 |    19477     17 |      763 |      608
379.53/379.63	c  379s |      16 |   284107 |   176752 |    19477     17 |      763 |      608
381.63/381.77	c  381s |      16 |   285030 |   177552 |    19477     17 |      763 |      608
383.93/384.03	c  383s |      16 |   286128 |   178452 |    19477     17 |      763 |      608
386.13/386.21	c  385s |      16 |   287202 |   179252 |    19477     17 |      763 |      608
388.23/388.30	c  388s |      16 |   288621 |   180252 |    19477     17 |      763 |      608
390.33/390.47	c  390s |      16 |   289947 |   181252 |    19477     17 |      763 |      608
392.43/392.59	c  392s |      16 |   290935 |   182052 |    19477     17 |      763 |      608
394.72/394.84	c  394s |      16 |   291723 |   182752 |    19477     17 |      763 |      608
396.82/396.97	c  396s |      16 |   292438 |   183352 |    19477     17 |      763 |      608
399.12/399.29	c  399s |      16 |   293139 |   183952 |    19477     17 |      763 |      608
401.43/401.57	c  401s |      16 |   294202 |   184752 |    19477     17 |      763 |      608
403.63/403.80	c  403s |      16 |   295222 |   185552 |    19477     17 |      763 |      608
405.93/406.05	c  405s |      16 |   296088 |   186252 |    19477     17 |      763 |      608
408.14/408.25	c  407s |      16 |   296844 |   186852 |    19477     17 |      763 |      608
410.24/410.38	c  410s |      16 |   297426 |   187352 |    19477     18 |      763 |      608
412.54/412.66	c  412s |      16 |   298281 |   188052 |    19477     18 |      763 |      608
414.74/414.82	c  414s |      16 |   299112 |   188752 |    19477     18 |      763 |      608
416.93/417.02	c  416s |      16 |   300097 |   189552 |    19477     18 |      763 |      608
418.93/419.09	c  418s |      16 |   300915 |   190252 |    19477     18 |      763 |      608
421.03/421.11	c  420s |      16 |   301747 |   190952 |    19477     18 |      763 |      608
423.23/423.35	c  423s |      16 |   302685 |   191752 |    19477     18 |      763 |      608
425.33/425.40	c  425s |      16 |   303349 |   192352 |    19477     18 |      763 |      608
427.63/427.76	c  427s |      16 |   304049 |   192952 |    19477     18 |      763 |      608
429.63/429.77	c  429s |      16 |   304611 |   193452 |    19477     18 |      763 |      608
432.13/432.28	c  432s |      16 |   305295 |   194052 |    19477     18 |      763 |      608
434.22/434.30	c  434s |      16 |   305885 |   194552 |    19477     18 |      763 |      608
436.32/436.43	c  436s |      16 |   306569 |   195152 |    19477     18 |      763 |      608
438.52/438.60	c  438s |      16 |   307266 |   195752 |    19477     18 |      763 |      608
440.92/441.10	c  440s |      16 |   307973 |   196352 |    21425     18 |      763 |      608
443.02/443.18	c  442s |      16 |   308538 |   196852 |    21425     18 |      763 |      608
445.22/445.31	c  445s |      16 |   309087 |   197352 |    21425     18 |      763 |      608
445.43/445.56	c  445s |      17 |   309170 |   197432 |    21425     18 |      763 |      608
447.52/447.61	c  447s |      17 |   312509 |   198932 |    21425     18 |      763 |      608
449.52/449.68	c  449s |      17 |   319349 |   200932 |    21425     19 |      763 |      608
451.62/451.72	c  451s |      17 |   326011 |   203032 |    21425     19 |      763 |      608
453.82/453.91	c  453s |      17 |   327816 |   204232 |    21425     19 |      763 |      608
455.82/455.96	c  455s |      17 |   328865 |   205132 |    21425     19 |      763 |      608
458.02/458.16	c  457s |      17 |   329899 |   206032 |    21425     19 |      763 |      608
460.02/460.19	c  459s |      17 |   330806 |   206832 |    21425     19 |      763 |      608
462.12/462.27	c  462s |      17 |   331908 |   207732 |    21425     19 |      763 |      608
464.12/464.29	c  464s |      17 |   332960 |   208632 |    21425     19 |      763 |      608
466.32/466.44	c  466s |      17 |   333971 |   209532 |    21425     19 |      763 |      608
468.32/468.46	c  468s |      17 |   335180 |   210332 |    21425     19 |      763 |      608
470.72/470.81	c  470s |      17 |   335899 |   210932 |    21425     19 |      763 |      608
472.92/473.10	c  472s |      17 |   336715 |   211632 |    21425     19 |      763 |      608
475.62/475.75	c  475s |      17 |   337586 |   212332 |    21425     20 |      763 |      608
477.72/477.82	c  477s |      17 |   338417 |   213032 |    21425     20 |      763 |      608
479.82/479.99	c  479s |      17 |   339254 |   213732 |    21425     20 |      763 |      608
482.02/482.18	c  481s |      17 |   340017 |   214332 |    21425     20 |      763 |      608
484.12/484.29	c  484s |      17 |   340580 |   214832 |    21425     20 |      763 |      608
486.52/486.62	c  486s |      17 |   341183 |   215332 |    21425     20 |      763 |      608
488.71/488.86	c  488s |      17 |   342151 |   215932 |    21425     20 |      763 |      608
491.11/491.23	c  490s |      17 |   342732 |   216432 |    21425     20 |      763 |      608
493.51/493.65	c  493s |      17 |   343203 |   216832 |    21425     20 |      763 |      608
495.81/495.94	c  495s |      17 |   343762 |   217332 |    21425     20 |      763 |      608
497.91/498.09	c  497s |      17 |   344199 |   217732 |    21425     20 |      763 |      608
500.01/500.15	c  499s |      17 |   344680 |   218132 |    21425     20 |      763 |      608
502.31/502.42	c  502s |      17 |   345241 |   218632 |    21425     20 |      763 |      608
504.71/504.89	c  504s |      17 |   345800 |   219132 |    21425     20 |      763 |      608
506.81/506.92	c  506s |      17 |   346234 |   219532 |    21425     20 |      763 |      608
508.81/508.98	c  508s |      17 |   346687 |   219932 |    21425     20 |      763 |      608
511.31/511.40	c  511s |      17 |   347130 |   220332 |    21425     20 |      763 |      608
513.41/513.59	c  513s |      17 |   347569 |   220732 |    21425     20 |      763 |      608
515.71/515.88	c  515s |      17 |   348446 |   221432 |    21425     20 |      763 |      608
518.12/518.26	c  517s |      17 |   349271 |   222132 |    21425     20 |      763 |      608
520.21/520.33	c  520s |      17 |   350024 |   222732 |    21425     20 |      763 |      608
522.41/522.55	c  522s |      17 |   350838 |   223432 |    21425     20 |      763 |      608
524.51/524.65	c  524s |      17 |   351644 |   224032 |    21425     20 |      763 |      608
526.61/526.79	c  526s |      17 |   352335 |   224632 |    21425     20 |      763 |      608
528.71/528.87	c  528s |      17 |   352927 |   225132 |    21425     21 |      763 |      608
530.71/530.88	c  530s |      17 |   353744 |   225832 |    21425     21 |      763 |      608
533.01/533.11	c  532s |      17 |   354587 |   226532 |    21425     21 |      763 |      608
535.01/535.13	c  534s |      17 |   355264 |   227132 |    21425     21 |      763 |      608
537.11/537.23	c  536s |      17 |   355935 |   227732 |    21425     21 |      763 |      608
539.11/539.26	c  538s |      17 |   356485 |   228232 |    21425     21 |      763 |      608
541.40/541.52	c  541s |      17 |   357168 |   228832 |    21425     21 |      763 |      608
543.90/544.00	c  543s |      17 |   357824 |   229432 |    21425     21 |      763 |      608
545.90/546.07	c  545s |      17 |   358384 |   229932 |    21425     21 |      763 |      608
548.00/548.14	c  547s |      17 |   362729 |   231632 |    21425     21 |      763 |      608
550.10/550.27	c  550s |      17 |   364255 |   232832 |    21425     21 |      763 |      608
552.30/552.41	c  552s |      17 |   365350 |   233732 |    21425     21 |      763 |      608
554.31/554.42	c  554s |      17 |   366313 |   234532 |    21425     21 |      763 |      608
556.40/556.54	c  556s |      17 |   367603 |   235532 |    21425     21 |      763 |      608
558.50/558.61	c  558s |      17 |   368551 |   236332 |    21425     21 |      763 |      608
560.60/560.73	c  560s |      17 |   369350 |   237032 |    21425     21 |      763 |      608
562.70/562.89	c  562s |      17 |   370025 |   237632 |    21425     22 |      763 |      608
564.80/564.95	c  564s |      17 |   371307 |   238632 |    21425     22 |      763 |      608
567.00/567.13	c  566s |      17 |   372344 |   239532 |    21425     22 |      763 |      608
569.10/569.25	c  568s |      17 |   373751 |   240532 |    21425     22 |      763 |      608
571.20/571.39	c  571s |      17 |   374966 |   241432 |    21425     22 |      763 |      608
573.30/573.47	c  573s |      17 |   376169 |   242332 |    21425     22 |      763 |      608
575.40/575.55	c  575s |      17 |   377516 |   243232 |    21425     22 |      763 |      608
577.60/577.78	c  577s |      17 |   378301 |   243932 |    21425     22 |      763 |      608
580.00/580.12	c  579s |      17 |   379142 |   244632 |    21425     22 |      763 |      608
582.20/582.37	c  582s |      17 |   379968 |   245332 |    21425     22 |      763 |      608
584.50/584.60	c  584s |      17 |   380806 |   246032 |    21425     22 |      763 |      608
586.70/586.83	c  586s |      17 |   381660 |   246732 |    21425     22 |      763 |      608
589.00/589.14	c  588s |      17 |   382510 |   247432 |    21425     22 |      763 |      608
591.00/591.15	c  590s |      17 |   383094 |   247932 |    21425     22 |      763 |      608
593.29/593.48	c  593s |      17 |   383872 |   248632 |    21425     22 |      763 |      608
595.59/595.70	c  595s |      17 |   384562 |   249232 |    21425     22 |      763 |      608
597.89/598.03	c  597s |      17 |   385116 |   249732 |    21425     23 |      763 |      608
600.09/600.26	c  599s |      17 |   385924 |   250432 |    21425     23 |      763 |      608
602.19/602.38	c  602s |      17 |   386627 |   251032 |    21425     23 |      763 |      608
604.29/604.46	c  604s |      17 |   387584 |   251832 |    21425     23 |      763 |      608
606.49/606.68	c  606s |      17 |   388588 |   252632 |    21425     23 |      763 |      608
608.59/608.77	c  608s |      17 |   389622 |   253432 |    21425     23 |      763 |      608
610.69/610.87	c  610s |      17 |   390833 |   254332 |    21425     23 |      763 |      608
612.79/612.92	c  612s |      17 |   392087 |   255332 |    21425     23 |      763 |      608
614.80/614.96	c  614s |      17 |   393578 |   256332 |    21425     23 |      763 |      608
616.89/617.01	c  616s |      17 |   394998 |   257332 |    21425     23 |      763 |      608
618.89/619.02	c  618s |      17 |   395986 |   258132 |    21425     23 |      763 |      608
620.89/621.09	c  620s |      17 |   397085 |   259032 |    21425     23 |      763 |      608
623.09/623.27	c  623s |      17 |   398333 |   259932 |    21425     23 |      763 |      608
625.19/625.37	c  625s |      17 |   399291 |   260732 |    21425     23 |      763 |      608
627.39/627.50	c  627s |      17 |   400138 |   261432 |    21425     23 |      763 |      608
629.59/629.73	c  629s |      17 |   400882 |   262032 |    21425     24 |      763 |      608
631.69/631.84	c  631s |      17 |   401944 |   262932 |    21425     24 |      763 |      608
633.89/634.04	c  633s |      17 |   403031 |   263832 |    21425     24 |      763 |      608
636.09/636.29	c  636s |      17 |   404121 |   264732 |    21425     24 |      763 |      608
638.19/638.33	c  638s |      17 |   405005 |   265532 |    21425     24 |      763 |      608
640.29/640.49	c  640s |      17 |   405950 |   266332 |    21425     24 |      763 |      608
642.79/642.95	c  642s |      17 |   406958 |   267232 |    21425     24 |      763 |      608
644.99/645.20	c  644s |      17 |   408180 |   268132 |    21425     24 |      763 |      608
647.09/647.23	c  646s |      17 |   409166 |   268932 |    21425     24 |      763 |      608
649.09/649.25	c  648s |      17 |   410138 |   269732 |    21425     24 |      763 |      608
651.19/651.37	c  651s |      17 |   411007 |   270432 |    21425     24 |      763 |      608
653.39/653.51	c  653s |      17 |   411948 |   271232 |    21425     24 |      763 |      608
655.49/655.61	c  655s |      17 |   412794 |   271932 |    21425     24 |      763 |      608
657.48/657.68	c  657s |      17 |   413578 |   272532 |    21425     24 |      763 |      608
659.78/659.98	c  659s |      17 |   414419 |   273232 |    21425     24 |      763 |      608
662.09/662.25	c  661s |      17 |   415319 |   273932 |    21425     24 |      763 |      608
664.29/664.44	c  664s |      17 |   416200 |   274632 |    21425     25 |      763 |      608
666.49/666.61	c  666s |      17 |   417314 |   275532 |    21425     25 |      763 |      608
668.70/668.80	c  668s |      17 |   418274 |   276332 |    21425     25 |      763 |      608
670.69/670.88	c  670s |      17 |   419071 |   277032 |    21425     25 |      763 |      608
672.69/672.88	c  672s |      17 |   419757 |   277632 |    21425     25 |      763 |      608
674.99/675.11	c  674s |      17 |   420578 |   278332 |    21425     25 |      763 |      608
677.19/677.39	c  677s |      17 |   421505 |   279132 |    21425     25 |      763 |      608
679.39/679.57	c  679s |      17 |   422171 |   279732 |    21425     25 |      763 |      608
681.59/681.70	c  681s |      17 |   423321 |   280632 |    21425     25 |      763 |      608
683.59/683.72	c  683s |      17 |   424281 |   281432 |    21425     25 |      763 |      608
685.79/685.97	c  685s |      17 |   425220 |   282232 |    21425     25 |      763 |      608
687.89/688.02	c  687s |      17 |   426018 |   282932 |    21425     25 |      763 |      608
689.89/690.08	c  689s |      17 |   426883 |   283632 |    21425     25 |      763 |      608
692.09/692.27	c  691s |      17 |   427654 |   284332 |    21425     25 |      763 |      608
694.39/694.56	c  694s |      17 |   428365 |   284932 |    21425     25 |      763 |      608
696.69/696.84	c  696s |      17 |   429197 |   285632 |    21425     25 |      763 |      608
698.78/698.90	c  698s |      17 |   429893 |   286232 |    21425     25 |      763 |      608
700.78/700.98	c  700s |      17 |   430466 |   286732 |    21425     26 |      763 |      608
702.98/703.14	c  702s |      17 |   431329 |   287432 |    21425     26 |      763 |      608
705.09/705.25	c  704s |      17 |   432197 |   288132 |    21425     26 |      763 |      608
707.38/707.51	c  707s |      17 |   433300 |   289032 |    21425     26 |      763 |      608
709.39/709.57	c  709s |      17 |   434376 |   289932 |    21425     26 |      763 |      608
711.59/711.77	c  711s |      17 |   435229 |   290632 |    21425     26 |      763 |      608
713.68/713.83	c  713s |      17 |   435935 |   291232 |    21425     26 |      763 |      608
715.68/715.86	c  715s |      17 |   436764 |   291932 |    21425     26 |      763 |      608
717.88/718.05	c  717s |      17 |   437666 |   292732 |    21425     26 |      763 |      608
720.08/720.28	c  720s |      17 |   438458 |   293432 |    21425     26 |      763 |      608
722.38/722.50	c  722s |      17 |   439412 |   294232 |    23568     26 |      763 |      608
724.58/724.74	c  724s |      17 |   440208 |   294932 |    23568     26 |      763 |      608
726.78/726.96	c  726s |      17 |   441173 |   295732 |    23568     26 |      763 |      608
728.58/728.73	c  728s |      18 |   441742 |   296252 |    23568     26 |      763 |      608
730.58/730.75	c  730s |      18 |   444650 |   297652 |    23568     26 |      763 |      608
732.78/732.93	c  732s |      18 |   447188 |   299152 |    23568     26 |      763 |      608
734.78/734.99	c  734s |      18 |   448707 |   300352 |    23568     26 |      763 |      608
736.98/737.15	c  736s |      18 |   449725 |   301152 |    23568     27 |      763 |      608
739.08/739.26	c  738s |      18 |   450966 |   302152 |    23568     27 |      763 |      608
741.07/741.29	c  741s |      18 |   452026 |   303052 |    23568     27 |      763 |      608
743.58/743.71	c  743s |      18 |   452929 |   303852 |    23568     27 |      763 |      608
745.68/745.82	c  745s |      18 |   453880 |   304652 |    23568     27 |      763 |      608
747.67/747.84	c  747s |      18 |   455023 |   305552 |    23568     27 |      763 |      608
750.08/750.21	c  749s |      18 |   456246 |   306552 |    23568     27 |      763 |      608
752.07/752.26	c  751s |      18 |   457089 |   307252 |    23568     27 |      763 |      608
754.07/754.29	c  754s |      18 |   457933 |   307952 |    23568     27 |      763 |      608
756.27/756.43	c  756s |      18 |   459396 |   309052 |    23568     27 |      763 |      608
758.27/758.44	c  758s |      18 |   460773 |   310052 |    23568     27 |      763 |      608
760.27/760.46	c  760s |      18 |   462234 |   311052 |    23568     27 |      763 |      608
762.27/762.49	c  762s |      18 |   463341 |   311952 |    23568     27 |      763 |      608
764.37/764.56	c  764s |      18 |   464258 |   312752 |    23568     27 |      763 |      608
766.37/766.56	c  766s |      18 |   465028 |   313452 |    23568     27 |      763 |      608
768.46/768.60	c  768s |      18 |   465825 |   314152 |    23568     27 |      763 |      608
770.56/770.71	c  770s |      18 |   466473 |   314752 |    23568     28 |      763 |      608
772.66/772.82	c  772s |      18 |   467278 |   315452 |    23568     28 |      763 |      608
774.76/774.98	c  774s |      18 |   468190 |   316252 |    23568     28 |      763 |      608
776.96/777.19	c  776s |      18 |   469281 |   317152 |    23568     28 |      763 |      608
779.16/779.31	c  779s |      18 |   470171 |   317952 |    23568     28 |      763 |      608
781.26/781.45	c  781s |      18 |   471079 |   318752 |    23568     28 |      763 |      608
783.46/783.68	c  783s |      18 |   472000 |   319552 |    23568     28 |      763 |      608
785.86/786.00	c  785s |      18 |   472771 |   320252 |    23568     28 |      763 |      608
788.06/788.24	c  787s |      18 |   473434 |   320852 |    23568     28 |      763 |      608
790.36/790.51	c  790s |      18 |   474267 |   321552 |    23568     28 |      763 |      608
792.46/792.68	c  792s |      18 |   474840 |   322052 |    23568     28 |      763 |      608
794.66/794.87	c  794s |      18 |   475369 |   322552 |    23568     28 |      763 |      608
796.76/796.91	c  796s |      18 |   475911 |   323052 |    23568     28 |      763 |      608
799.05/799.25	c  798s |      18 |   476461 |   323552 |    23568     28 |      763 |      608
801.15/801.33	c  801s |      18 |   477129 |   324152 |    23568     28 |      763 |      608
803.25/803.45	c  803s |      18 |   477792 |   324752 |    23568     28 |      763 |      608
805.45/805.64	c  805s |      18 |   478485 |   325352 |    23568     28 |      763 |      608
807.75/807.97	c  807s |      18 |   479138 |   325952 |    23568     28 |      763 |      608
809.85/810.05	c  809s |      18 |   479671 |   326452 |    23568     28 |      763 |      608
812.15/812.30	c  812s |      18 |   480221 |   326952 |    23568     28 |      763 |      608
814.35/814.58	c  814s |      18 |   480767 |   327452 |    23568     28 |      763 |      608
816.74/816.92	c  816s |      18 |   481192 |   327852 |    23568     29 |      763 |      608
818.84/819.03	c  818s |      18 |   481816 |   328452 |    23568     29 |      763 |      608
821.14/821.30	c  821s |      18 |   482465 |   329052 |    23568     29 |      763 |      608
823.44/823.63	c  823s |      18 |   483108 |   329652 |    23568     29 |      763 |      608
825.74/825.99	c  825s |      18 |   483753 |   330252 |    23568     29 |      763 |      608
827.84/828.03	c  827s |      18 |   484293 |   330752 |    23568     29 |      763 |      608
830.04/830.22	c  829s |      18 |   484824 |   331252 |    23568     29 |      763 |      608
832.44/832.62	c  832s |      18 |   485474 |   331852 |    23568     29 |      763 |      608
834.44/834.63	c  834s |      18 |   486028 |   332352 |    23568     29 |      763 |      608
836.74/836.93	c  836s |      18 |   486558 |   332852 |    23568     29 |      763 |      608
839.04/839.23	c  838s |      18 |   487232 |   333452 |    23568     29 |      763 |      608
841.14/841.39	c  841s |      18 |   487900 |   334052 |    23568     29 |      763 |      608
843.44/843.69	c  843s |      18 |   488439 |   334552 |    23568     29 |      763 |      608
845.94/846.14	c  845s |      18 |   489081 |   335152 |    23568     29 |      763 |      608
848.34/848.51	c  848s |      18 |   489614 |   335652 |    23568     29 |      763 |      608
850.54/850.72	c  850s |      18 |   490162 |   336152 |    23568     29 |      763 |      608
852.54/852.77	c  852s |      18 |   490595 |   336552 |    23568     29 |      763 |      608
854.94/855.19	c  854s |      18 |   491154 |   337052 |    23568     29 |      763 |      608
857.24/857.44	c  857s |      18 |   491718 |   337552 |    23568     29 |      763 |      608
859.34/859.53	c  859s |      18 |   492153 |   337952 |    23568     29 |      763 |      608
861.84/862.02	c  861s |      18 |   492714 |   338452 |    23568     29 |      763 |      608
864.23/864.48	c  864s |      18 |   493268 |   338952 |    23568     29 |      763 |      608
866.43/866.70	c  866s |      18 |   493812 |   339452 |    23568     29 |      763 |      608
868.53/868.75	c  868s |      18 |   494236 |   339852 |    23568     29 |      763 |      608
870.93/871.12	c  870s |      18 |   494796 |   340352 |    23568     29 |      763 |      608
872.93/873.17	c  872s |      18 |   495239 |   340752 |    23568     29 |      763 |      608
875.63/875.81	c  875s |      18 |   495682 |   341152 |    23568     30 |      763 |      608
877.83/878.05	c  877s |      18 |   496355 |   341752 |    23568     30 |      763 |      608
879.94/880.18	c  879s |      18 |   497033 |   342352 |    23568     30 |      763 |      608
882.13/882.36	c  882s |      18 |   497681 |   342952 |    23568     30 |      763 |      608
884.43/884.69	c  884s |      18 |   498332 |   343552 |    23568     30 |      763 |      608
886.63/886.86	c  886s |      18 |   499019 |   344152 |    23568     30 |      763 |      608
888.82/889.02	c  888s |      18 |   499713 |   344752 |    23568     30 |      763 |      608
890.93/891.19	c  890s |      18 |   500382 |   345352 |    23568     30 |      763 |      608
893.03/893.24	c  892s |      18 |   501070 |   345952 |    23568     30 |      763 |      608
895.23/895.49	c  895s |      18 |   501729 |   346552 |    23568     30 |      763 |      608
897.62/897.87	c  897s |      18 |   502529 |   347252 |    23568     30 |      763 |      608
899.82/900.02	c  899s |      18 |   503192 |   347852 |    23568     30 |      763 |      608
901.83/902.04	c  901s |      18 |   503736 |   348352 |    23568     30 |      763 |      608
904.03/904.24	c  903s |      18 |   504280 |   348852 |    23568     30 |      763 |      608
906.33/906.57	c  906s |      18 |   504817 |   349352 |    23568     30 |      763 |      608
908.61/908.84	c  908s |      18 |   505335 |   349852 |    23568     30 |      763 |      608
910.91/911.12	c  910s |      18 |   505981 |   350452 |    23568     30 |      763 |      608
913.11/913.33	c  913s |      18 |   506507 |   350952 |    23568     30 |      763 |      608
915.31/915.54	c  915s |      18 |   507034 |   351452 |    23568     30 |      763 |      608
917.41/917.64	c  917s |      18 |   507597 |   351952 |    23568     30 |      763 |      608
919.61/919.81	c  919s |      18 |   508312 |   352552 |    23568     30 |      763 |      608
921.81/922.09	c  921s |      18 |   509024 |   353152 |    23568     30 |      763 |      608
924.11/924.39	c  924s |      18 |   509711 |   353752 |    23568     30 |      763 |      608
926.11/926.39	c  926s |      18 |   510276 |   354252 |    23568     30 |      763 |      608
928.21/928.50	c  928s |      18 |   510720 |   354652 |    23568     31 |      763 |      608
930.51/930.73	c  930s |      18 |   511493 |   355352 |    23568     31 |      763 |      608
932.71/932.98	c  932s |      18 |   512274 |   356052 |    23568     31 |      763 |      608
934.81/935.10	c  934s |      18 |   512942 |   356652 |    23568     31 |      763 |      608
936.90/937.13	c  936s |      18 |   513734 |   357352 |    23568     31 |      763 |      608
939.10/939.32	c  939s |      18 |   514644 |   358152 |    23568     31 |      763 |      608
941.30/941.54	c  941s |      18 |   515413 |   358852 |    23568     31 |      763 |      608
943.40/943.64	c  943s |      18 |   516366 |   359652 |    23568     31 |      763 |      608
945.60/945.81	c  945s |      18 |   517173 |   360352 |    23568     31 |      763 |      608
947.70/947.94	c  947s |      18 |   517951 |   361052 |    23568     31 |      763 |      608
950.00/950.27	c  949s |      18 |   518730 |   361752 |    23568     31 |      763 |      608
952.30/952.58	c  952s |      18 |   519523 |   362452 |    23568     31 |      763 |      608
954.40/954.64	c  954s |      18 |   520215 |   363052 |    23568     31 |      763 |      608
956.70/956.94	c  956s |      18 |   520861 |   363652 |    23568     31 |      763 |      608
958.79/959.00	c  958s |      18 |   521514 |   364252 |    23568     31 |      763 |      608
960.99/961.24	c  960s |      18 |   522170 |   364852 |    23568     31 |      763 |      608
963.40/963.67	c  963s |      18 |   522870 |   365452 |    23568     31 |      763 |      608
965.49/965.77	c  965s |      18 |   523400 |   365952 |    23568     31 |      763 |      608
967.59/967.87	c  967s |      18 |   523961 |   366452 |    23568     31 |      763 |      608
969.69/969.97	c  969s |      18 |   524677 |   367052 |    23568     31 |      763 |      608
972.09/972.30	c  972s |      18 |   525387 |   367652 |    23568     31 |      763 |      608
974.19/974.48	c  974s |      18 |   525847 |   368052 |    23568     32 |      763 |      608
976.29/976.57	c  976s |      18 |   526560 |   368652 |    23568     32 |      763 |      608
978.48/978.75	c  978s |      18 |   527351 |   369352 |    23568     32 |      763 |      608
980.48/980.79	c  980s |      18 |   528003 |   369952 |    23568     32 |      763 |      608
982.68/982.91	c  982s |      18 |   528664 |   370552 |    23568     32 |      763 |      608
984.98/985.20	c  984s |      18 |   529447 |   371252 |    23568     32 |      763 |      608
986.98/987.28	c  987s |      18 |   530107 |   371852 |    23568     32 |      763 |      608
989.37/989.60	c  989s |      18 |   530755 |   372452 |    23568     32 |      763 |      608
991.57/991.80	c  991s |      18 |   531433 |   373052 |    23568     32 |      763 |      608
993.67/993.90	c  993s |      18 |   531978 |   373552 |    23568     32 |      763 |      608
995.67/995.99	c  995s |      18 |   532524 |   374052 |    23568     32 |      763 |      608
998.07/998.32	c  998s |      18 |   533202 |   374652 |    23568     32 |      763 |      608
1000.17/1000.41	c 1000s |      18 |   533920 |   375252 |    23568     32 |      763 |      608
1002.36/1002.64	c 1002s |      18 |   534770 |   375952 |    23568     32 |      763 |      608
1004.46/1004.71	c 1004s |      18 |   535490 |   376552 |    23568     32 |      763 |      608
1006.66/1006.96	c 1006s |      18 |   536174 |   377152 |    23568     32 |      763 |      608
1008.86/1009.18	c 1008s |      18 |   536874 |   377752 |    23568     32 |      763 |      608
1011.26/1011.59	c 1011s |      18 |   537570 |   378352 |    23568     32 |      763 |      608
1013.36/1013.65	c 1013s |      18 |   538168 |   378852 |    23568     32 |      763 |      608
1015.56/1015.82	c 1015s |      18 |   538722 |   379352 |    23568     32 |      763 |      608
1017.75/1018.02	c 1017s |      18 |   539302 |   379852 |    23568     32 |      763 |      608
1020.05/1020.31	c 1020s |      18 |   539868 |   380352 |    23568     32 |      763 |      608
1022.25/1022.59	c 1022s |      18 |   540434 |   380852 |    23568     32 |      763 |      608
1024.45/1024.71	c 1024s |      18 |   540772 |   381152 |    23568     33 |      763 |      608
1026.55/1026.89	c 1026s |      18 |   541582 |   381852 |    23568     33 |      763 |      608
1028.66/1028.95	c 1028s |      18 |   542381 |   382552 |    23568     33 |      763 |      608
1030.76/1031.06	c 1030s |      18 |   543221 |   383252 |    23568     33 |      763 |      608
1032.96/1033.29	c 1033s |      18 |   544041 |   383952 |    23568     33 |      763 |      608
1035.05/1035.32	c 1035s |      18 |   544753 |   384552 |    23568     33 |      763 |      608
1037.25/1037.58	c 1037s |      18 |   545521 |   385252 |    23568     33 |      763 |      608
1039.36/1039.61	c 1039s |      18 |   546205 |   385852 |    23568     33 |      763 |      608
1041.35/1041.69	c 1041s |      18 |   546880 |   386452 |    23568     33 |      763 |      608
1043.45/1043.76	c 1043s |      18 |   547553 |   387052 |    23568     33 |      763 |      608
1045.55/1045.87	c 1045s |      18 |   548092 |   387552 |    23568     33 |      763 |      608
1047.75/1048.03	c 1047s |      18 |   548819 |   388152 |    23568     33 |      763 |      608
1050.05/1050.34	c 1050s |      18 |   549496 |   388752 |    23568     33 |      763 |      608
1052.05/1052.36	c 1052s |      18 |   550065 |   389252 |    23568     33 |      763 |      608
1054.44/1054.76	c 1054s |      18 |   550753 |   389852 |    23568     33 |      763 |      608
1056.54/1056.81	c 1056s |      18 |   551318 |   390352 |    23568     33 |      763 |      608
1058.94/1059.21	c 1058s |      18 |   551985 |   390952 |    23568     33 |      763 |      608
1061.14/1061.48	c 1061s |      18 |   552554 |   391452 |    23568     33 |      763 |      608
1063.64/1063.98	c 1063s |      18 |   553108 |   391952 |    23568     33 |      763 |      608
1066.04/1066.36	c 1066s |      18 |   553677 |   392452 |    23568     33 |      763 |      608
1068.23/1068.55	c 1068s |      18 |   554227 |   392952 |    23568     33 |      763 |      608
1070.63/1070.90	c 1070s |      18 |   554812 |   393452 |    23568     33 |      763 |      608
1073.03/1073.39	c 1073s |      18 |   555375 |   393952 |    23568     33 |      763 |      608
1075.33/1075.63	c 1075s |      18 |   555941 |   394452 |    23568     33 |      763 |      608
1077.43/1077.77	c 1077s |      18 |   556390 |   394852 |    23568     34 |      763 |      608
1079.52/1079.80	c 1079s |      18 |   557060 |   395452 |    23568     34 |      763 |      608
1081.52/1081.82	c 1081s |      18 |   557726 |   396052 |    23568     34 |      763 |      608
1083.72/1084.02	c 1083s |      18 |   558418 |   396652 |    23568     34 |      763 |      608
1086.02/1086.30	c 1086s |      18 |   559091 |   397252 |    23568     34 |      763 |      608
1088.22/1088.53	c 1088s |      18 |   559783 |   397852 |    23568     34 |      763 |      608
1090.42/1090.73	c 1090s |      18 |   560471 |   398452 |    23568     34 |      763 |      608
1092.72/1093.05	c 1092s |      18 |   561167 |   399052 |    23568     34 |      763 |      608
1094.82/1095.17	c 1094s |      18 |   561764 |   399552 |    23568     34 |      763 |      608
1097.12/1097.45	c 1097s |      18 |   562468 |   400152 |    23568     34 |      763 |      608
1099.51/1099.86	c 1099s |      18 |   563151 |   400752 |    23568     34 |      763 |      608
1101.71/1102.00	c 1101s |      18 |   563700 |   401252 |    23568     34 |      763 |      608
1104.01/1104.33	c 1104s |      18 |   564264 |   401752 |    23568     34 |      763 |      608
1106.41/1106.77	c 1106s |      18 |   564837 |   402252 |    23568     34 |      763 |      608
1108.70/1109.04	c 1108s |      18 |   565371 |   402752 |    23568     34 |      763 |      608
1111.00/1111.38	c 1111s |      18 |   565924 |   403252 |    23568     34 |      763 |      608
1113.30/1113.67	c 1113s |      18 |   566481 |   403752 |    23568     34 |      763 |      608
1115.50/1115.80	c 1115s |      18 |   567032 |   404252 |    23568     34 |      763 |      608
1117.69/1118.09	c 1117s |      18 |   567580 |   404752 |    23568     34 |      763 |      608
1120.09/1120.42	c 1120s |      18 |   568118 |   405252 |    23568     34 |      763 |      608
1122.09/1122.48	c 1122s |      18 |   568698 |   405752 |    23568     34 |      763 |      608
1124.09/1124.48	c 1124s |      18 |   569248 |   406252 |    23568     34 |      763 |      608
1126.20/1126.58	c 1126s |      18 |   569798 |   406752 |    23568     34 |      763 |      608
1128.48/1128.89	c 1128s |      18 |   570474 |   407352 |    23568     34 |      763 |      608
1130.98/1131.39	c 1131s |      18 |   571045 |   407852 |    23568     34 |      763 |      608
1133.18/1133.55	c 1133s |      18 |   571502 |   408252 |    23568     35 |      763 |      608
1135.48/1135.82	c 1135s |      18 |   572288 |   408952 |    23568     35 |      763 |      608
1137.68/1138.04	c 1137s |      18 |   572929 |   409552 |    23568     35 |      763 |      608
1139.88/1140.25	c 1139s |      18 |   573605 |   410152 |    23568     35 |      763 |      608
1142.07/1142.42	c 1142s |      18 |   574275 |   410752 |    23568     35 |      763 |      608
1144.27/1144.68	c 1144s |      18 |   574976 |   411352 |    23568     35 |      763 |      608
1146.67/1147.03	c 1146s |      18 |   575644 |   411952 |    23568     35 |      763 |      608
1148.87/1149.28	c 1149s |      18 |   576211 |   412452 |    23568     35 |      763 |      608
1151.17/1151.57	c 1151s |      18 |   576782 |   412952 |    23568     35 |      763 |      608
1153.68/1154.04	c 1153s |      18 |   577496 |   413552 |    23568     35 |      763 |      608
1156.17/1156.56	c 1156s |      18 |   578036 |   414052 |    23568     35 |      763 |      608
1158.36/1158.79	c 1158s |      18 |   578614 |   414552 |    23568     35 |      763 |      608
1160.66/1161.04	c 1160s |      18 |   579179 |   415052 |    23568     35 |      763 |      608
1162.86/1163.26	c 1162s |      18 |   579903 |   415652 |    23568     35 |      763 |      608
1165.06/1165.49	c 1165s |      18 |   580479 |   416152 |    23568     35 |      763 |      608
1167.16/1167.58	c 1167s |      18 |   581055 |   416652 |    23568     35 |      763 |      608
1169.45/1169.84	c 1169s |      18 |   581644 |   417152 |    23568     35 |      763 |      608
1171.95/1172.32	c 1172s |      18 |   582226 |   417652 |    23568     35 |      763 |      608
1173.95/1174.38	c 1174s |      18 |   582664 |   418052 |    23568     35 |      763 |      608
1175.95/1176.40	c 1176s |      18 |   583128 |   418452 |    23568     35 |      763 |      608
1178.34/1178.77	c 1178s |      18 |   583697 |   418952 |    23568     35 |      763 |      608
1180.84/1181.22	c 1180s |      18 |   584273 |   419452 |    23568     35 |      763 |      608
1183.04/1183.46	c 1183s |      18 |   584706 |   419852 |    23568     35 |      763 |      608
1185.24/1185.61	c 1185s |      18 |   585152 |   420252 |    23568     35 |      763 |      608
1187.24/1187.63	c 1187s |      18 |   585591 |   420652 |    23568     35 |      763 |      608
1189.34/1189.75	c 1189s |      18 |   586032 |   421052 |    23568     35 |      763 |      608
1191.64/1192.01	c 1191s |      18 |   586362 |   421352 |    23568     36 |      763 |      608
1193.64/1194.07	c 1193s |      18 |   586922 |   421852 |    23568     36 |      763 |      608
1195.75/1196.14	c 1195s |      18 |   587500 |   422352 |    23568     36 |      763 |      608
1197.84/1198.21	c 1197s |      18 |   588204 |   422952 |    23568     36 |      763 |      608
1200.14/1200.55	c 1200s |      18 |   588884 |   423552 |    23568     36 |      763 |      608
1202.34/1202.72	c 1202s |      18 |   589442 |   424052 |    23568     36 |      763 |      608
1204.64/1205.04	c 1204s |      18 |   590129 |   424652 |    23568     36 |      763 |      608
1206.94/1207.32	c 1207s |      18 |   590686 |   425152 |    23568     36 |      763 |      608
1209.33/1209.79	c 1209s |      18 |   591230 |   425652 |    23568     36 |      763 |      608
1211.43/1211.82	c 1211s |      18 |   591654 |   426052 |    23568     36 |      763 |      608
1213.73/1214.19	c 1213s |      18 |   592211 |   426552 |    23568     36 |      763 |      608
1215.83/1216.26	c 1215s |      18 |   592653 |   426952 |    23568     36 |      763 |      608
1218.13/1218.59	c 1218s |      18 |   593242 |   427452 |    23568     36 |      763 |      608
1220.53/1220.98	c 1220s |      18 |   593804 |   427952 |    23568     36 |      763 |      608
1222.83/1223.30	c 1223s |      18 |   594377 |   428452 |    23568     36 |      763 |      608
1224.93/1225.34	c 1225s |      18 |   594827 |   428852 |    23568     36 |      763 |      608
1227.13/1227.53	c 1227s |      18 |   595265 |   429252 |    23568     36 |      763 |      608
1229.22/1229.62	c 1229s |      18 |   595737 |   429652 |    23568     36 |      763 |      608
1231.42/1231.89	c 1231s |      18 |   596337 |   430152 |    23568     36 |      763 |      608
1233.72/1234.14	c 1233s |      18 |   596925 |   430652 |    23568     36 |      763 |      608
1235.92/1236.39	c 1236s |      18 |   597496 |   431152 |    23568     36 |      763 |      608
1238.01/1238.48	c 1238s |      18 |   597951 |   431552 |    23568     36 |      763 |      608
1240.52/1240.90	c 1240s |      18 |   598546 |   432052 |    23568     36 |      763 |      608
1242.51/1242.94	c 1242s |      18 |   599040 |   432452 |    23568     36 |      763 |      608
1244.61/1245.06	c 1244s |      18 |   599614 |   432952 |    23568     36 |      763 |      608
1247.11/1247.57	c 1247s |      18 |   600165 |   433452 |    23568     36 |      763 |      608
1249.70/1250.14	c 1249s |      18 |   600734 |   433952 |    23568     36 |      763 |      608
1251.80/1252.25	c 1251s |      18 |   601181 |   434352 |    23568     36 |      763 |      608
1254.00/1254.44	c 1254s |      18 |   601507 |   434652 |    23568     37 |      763 |      608
1256.10/1256.50	c 1256s |      18 |   602053 |   435152 |    23568     37 |      763 |      608
1258.40/1258.84	c 1258s |      18 |   602734 |   435752 |    23568     37 |      763 |      608
1260.70/1261.13	c 1260s |      18 |   603408 |   436352 |    23568     37 |      763 |      608
1263.09/1263.54	c 1263s |      18 |   604074 |   436952 |    23568     37 |      763 |      608
1265.49/1265.95	c 1265s |      18 |   604720 |   437552 |    23568     37 |      763 |      608
1267.89/1268.32	c 1268s |      18 |   605264 |   438052 |    23568     37 |      763 |      608
1270.09/1270.54	c 1270s |      18 |   605789 |   438552 |    23568     37 |      763 |      608
1272.39/1272.90	c 1272s |      18 |   606346 |   439052 |    23568     37 |      763 |      608
1274.69/1275.14	c 1274s |      18 |   606910 |   439552 |    23568     37 |      763 |      608
1277.08/1277.57	c 1277s |      18 |   607465 |   440052 |    23568     37 |      763 |      608
1279.08/1279.59	c 1279s |      18 |   608032 |   440552 |    23568     37 |      763 |      608
1281.48/1281.96	c 1281s |      18 |   608578 |   441052 |    23568     37 |      763 |      608
1283.58/1284.07	c 1283s |      18 |   609015 |   441452 |    25925     37 |      763 |      608
1285.78/1286.21	c 1285s |      18 |   609560 |   441952 |    25925     37 |      763 |      608
1287.78/1288.28	c 1288s |      18 |   610143 |   442452 |    25925     37 |      763 |      608
1290.07/1290.50	c 1290s |      18 |   610719 |   442952 |    25925     37 |      763 |      608
1292.47/1292.94	c 1292s |      18 |   611275 |   443452 |    25925     37 |      763 |      608
1294.77/1295.20	c 1294s |      18 |   611710 |   443852 |    25925     37 |      763 |      608
1296.87/1297.38	c 1297s |      18 |   612140 |   444252 |    25925     37 |      763 |      608
1298.06/1298.55	c 1298s |      19 |   612393 |   444482 |    25925     37 |      763 |      608
1300.37/1300.86	c 1300s |      19 |   616829 |   445782 |    25925     37 |      763 |      608
1302.57/1303.01	c 1302s |      19 |   625412 |   448382 |    25925     37 |      763 |      608
1304.66/1305.10	c 1304s |      19 |   626453 |   449182 |    25925     37 |      763 |      608
1307.36/1307.87	c 1307s |      19 |   627433 |   449882 |    25925     38 |      763 |      608
1309.46/1309.97	c 1309s |      19 |   629753 |   451182 |    25925     38 |      763 |      608
1311.56/1312.00	c 1311s |      19 |   631496 |   452282 |    25925     38 |      763 |      608
1313.66/1314.11	c 1313s |      19 |   633594 |   453582 |    25925     38 |      763 |      608
1315.76/1316.23	c 1315s |      19 |   634458 |   454282 |    25925     38 |      763 |      608
1317.95/1318.46	c 1318s |      19 |   635991 |   455282 |    25925     38 |      763 |      608
1319.95/1320.49	c 1320s |      19 |   637732 |   456282 |    25925     38 |      763 |      608
1322.25/1322.74	c 1322s |      19 |   638527 |   456982 |    25925     38 |      763 |      608
1324.35/1324.85	c 1324s |      19 |   639403 |   457682 |    25925     38 |      763 |      608
1326.55/1327.03	c 1326s |      19 |   640398 |   458382 |    25925     38 |      763 |      608
1328.64/1329.16	c 1328s |      19 |   641204 |   458982 |    25925     38 |      763 |      608
1330.84/1331.38	c 1331s |      19 |   641903 |   459582 |    25925     38 |      763 |      608
1332.94/1333.41	c 1333s |      19 |   642476 |   460082 |    25925     38 |      763 |      608
1335.14/1335.68	c 1335s |      19 |   643167 |   460682 |    25925     38 |      763 |      608
1337.34/1337.88	c 1337s |      19 |   643707 |   461182 |    25925     38 |      763 |      608
1339.64/1340.14	c 1339s |      19 |   644313 |   461682 |    25925     38 |      763 |      608
1342.04/1342.55	c 1342s |      19 |   644961 |   462182 |    25925     38 |      763 |      608
1344.24/1344.78	c 1344s |      19 |   645690 |   462782 |    25925     38 |      763 |      608
1346.74/1347.29	c 1347s |      19 |   646452 |   463382 |    25925     38 |      763 |      608
1349.03/1349.54	c 1349s |      19 |   646898 |   463782 |    25925     38 |      763 |      608
1351.23/1351.79	c 1351s |      19 |   647328 |   464182 |    25925     38 |      763 |      608
1353.74/1354.20	c 1353s |      19 |   647775 |   464582 |    25925     39 |      763 |      608
1355.84/1356.33	c 1356s |      19 |   648375 |   465082 |    25925     39 |      763 |      608
1357.93/1358.43	c 1358s |      19 |   648806 |   465482 |    25925     39 |      763 |      608
1360.13/1360.68	c 1360s |      19 |   649230 |   465882 |    25925     39 |      763 |      608
1362.63/1363.17	c 1362s |      19 |   649788 |   466382 |    25925     39 |      763 |      608
1364.83/1365.34	c 1365s |      19 |   650464 |   466882 |    25925     39 |      763 |      608
1367.13/1367.62	c 1367s |      19 |   651037 |   467382 |    25925     39 |      763 |      608
1369.32/1369.86	c 1369s |      19 |   651473 |   467782 |    25925     39 |      763 |      608
1371.42/1371.98	c 1371s |      19 |   652500 |   468482 |    25925     39 |      763 |      608
1373.62/1374.12	c 1373s |      19 |   653738 |   469282 |    25925     39 |      763 |      608
1375.73/1376.27	c 1375s |      19 |   656365 |   470582 |    25925     39 |      763 |      608
1377.82/1378.36	c 1378s |      19 |   657252 |   471282 |    25925     39 |      763 |      608
1380.12/1380.64	c 1380s |      19 |   658207 |   472082 |    25925     39 |      763 |      608
1382.22/1382.79	c 1382s |      19 |   659035 |   472782 |    25925     39 |      763 |      608
1384.31/1384.86	c 1384s |      19 |   659805 |   473382 |    25925     39 |      763 |      608
1386.62/1387.11	c 1386s |      19 |   660533 |   473982 |    25925     39 |      763 |      608
1388.92/1389.41	c 1389s |      19 |   661092 |   474482 |    25925     39 |      763 |      608
1391.02/1391.52	c 1391s |      19 |   661782 |   474982 |    25925     39 |      763 |      608
1393.11/1393.63	c 1393s |      19 |   662316 |   475482 |    25925     39 |      763 |      608
1395.21/1395.77	c 1395s |      19 |   662841 |   475982 |    25925     39 |      763 |      608
1397.51/1398.09	c 1397s |      19 |   663653 |   476582 |    25925     39 |      763 |      608
1399.82/1400.32	c 1400s |      19 |   664219 |   477082 |    25925     39 |      763 |      608
1401.81/1402.32	c 1402s |      19 |   664846 |   477582 |    25925     39 |      763 |      608
1404.41/1404.91	c 1404s |      19 |   665427 |   478082 |    25925     39 |      763 |      608
1406.91/1407.42	c 1407s |      19 |   666061 |   478582 |    25925     39 |      763 |      608
1409.11/1409.66	c 1409s |      19 |   666497 |   478982 |    25925     39 |      763 |      608
1411.21/1411.74	c 1411s |      19 |   666888 |   479282 |    25925     40 |      763 |      608
1413.21/1413.74	c 1413s |      19 |   667756 |   479982 |    25925     40 |      763 |      608
1415.31/1415.82	c 1415s |      19 |   668476 |   480582 |    25925     40 |      763 |      608
1417.41/1417.91	c 1417s |      19 |   669301 |   481182 |    25925     40 |      763 |      608
1419.40/1419.93	c 1419s |      19 |   669999 |   481782 |    25925     40 |      763 |      608
1421.50/1422.06	c 1421s |      19 |   670654 |   482382 |    25925     40 |      763 |      608
1423.60/1424.14	c 1423s |      19 |   671265 |   482882 |    25925     40 |      763 |      608
1426.00/1426.54	c 1426s |      19 |   671695 |   483282 |    25925     40 |      763 |      608
1428.00/1428.58	c 1428s |      19 |   673121 |   483882 |    25925     40 |      763 |      608
1430.10/1430.67	c 1430s |      19 |   674825 |   484882 |    25925     40 |      763 |      608
1432.20/1432.77	c 1432s |      19 |   676079 |   485682 |    25925     40 |      763 |      608
1434.51/1435.00	c 1434s |      19 |   677176 |   486382 |    25925     40 |      763 |      608
1436.91/1437.46	c 1437s |      19 |   678199 |   487082 |    25925     40 |      763 |      608
1439.01/1439.59	c 1439s |      19 |   679440 |   487882 |    25925     40 |      763 |      608
1441.31/1441.84	c 1441s |      19 |   680727 |   488782 |    25925     40 |      763 |      608
1443.61/1444.12	c 1443s |      19 |   681519 |   489382 |    25925     40 |      763 |      608
1445.61/1446.18	c 1445s |      19 |   682381 |   489982 |    25925     40 |      763 |      608
1447.90/1448.42	c 1448s |      19 |   683347 |   490682 |    25925     40 |      763 |      608
1450.20/1450.75	c 1450s |      19 |   684017 |   491182 |    25925     40 |      763 |      608
1452.40/1452.96	c 1452s |      19 |   684759 |   491682 |    25925     40 |      763 |      608
1454.81/1455.34	c 1455s |      19 |   685381 |   492182 |    25925     40 |      763 |      608
1456.90/1457.40	c 1457s |      19 |   685916 |   492582 |    25925     40 |      763 |      608
1459.50/1460.01	c 1459s |      19 |   686875 |   493182 |    25925     41 |      763 |      608
1461.70/1462.22	c 1461s |      19 |   687798 |   493882 |    25925     41 |      763 |      608
1463.80/1464.39	c 1464s |      19 |   688539 |   494382 |    25925     41 |      763 |      608
1466.10/1466.66	c 1466s |      19 |   689351 |   494982 |    25925     41 |      763 |      608
1468.20/1468.77	c 1468s |      19 |   690484 |   495782 |    25925     41 |      763 |      608
1470.40/1470.90	c 1470s |      19 |   691424 |   496482 |    25925     41 |      763 |      608
1472.41/1472.91	c 1472s |      19 |   692299 |   497182 |    25925     41 |      763 |      608
1474.60/1475.18	c 1474s |      19 |   693131 |   497782 |    25925     41 |      763 |      608
1477.00/1477.60	c 1477s |      19 |   693870 |   498382 |    25925     41 |      763 |      608
1479.10/1479.64	c 1479s |      19 |   694816 |   499082 |    25925     41 |      763 |      608
1481.20/1481.74	c 1481s |      19 |   696116 |   499882 |    25925     41 |      763 |      608
1483.20/1483.78	c 1483s |      19 |   696890 |   500482 |    25925     41 |      763 |      608
1485.50/1486.01	c 1485s |      19 |   697754 |   501182 |    25925     41 |      763 |      608
1487.49/1488.09	c 1487s |      19 |   698434 |   501782 |    25925     41 |      763 |      608
1489.59/1490.14	c 1489s |      19 |   699283 |   502482 |    25925     41 |      763 |      608
1491.89/1492.40	c 1492s |      19 |   700187 |   503182 |    25925     41 |      763 |      608
1493.99/1494.54	c 1494s |      19 |   701125 |   503882 |    25925     41 |      763 |      608
1496.39/1496.92	c 1496s |      19 |   701783 |   504482 |    25925     41 |      763 |      608
1498.69/1499.20	c 1498s |      19 |   702307 |   504982 |    25925     41 |      763 |      608
1500.69/1501.22	c 1500s |      19 |   702718 |   505382 |    25925     41 |      763 |      608
1502.89/1503.42	c 1503s |      19 |   703314 |   505882 |    25925     41 |      763 |      608
1505.19/1505.75	c 1505s |      19 |   703895 |   506382 |    25925     41 |      763 |      608
1507.59/1508.11	c 1507s |      19 |   704664 |   506982 |    25925     41 |      763 |      608
1509.99/1510.56	c 1510s |      19 |   705197 |   507482 |    25925     41 |      763 |      608
1512.10/1512.64	c 1512s |      19 |   705621 |   507882 |    25925     41 |      763 |      608
1514.29/1514.81	c 1514s |      19 |   705978 |   508182 |    25925     42 |      763 |      608
1516.39/1516.95	c 1516s |      19 |   706711 |   508782 |    25925     42 |      763 |      608
1518.49/1519.03	c 1518s |      19 |   707696 |   509482 |    25925     42 |      763 |      608
1520.79/1521.32	c 1521s |      19 |   708622 |   510182 |    25925     42 |      763 |      608
1522.89/1523.45	c 1523s |      19 |   709405 |   510782 |    25925     42 |      763 |      608
1525.08/1525.65	c 1525s |      19 |   710155 |   511382 |    25925     42 |      763 |      608
1527.28/1527.82	c 1527s |      19 |   710921 |   511982 |    25925     42 |      763 |      608
1529.49/1530.02	c 1529s |      19 |   711652 |   512582 |    25925     42 |      763 |      608
1531.49/1532.04	c 1531s |      19 |   712276 |   513082 |    25925     42 |      763 |      608
1533.69/1534.24	c 1533s |      19 |   712888 |   513582 |    25925     42 |      763 |      608
1535.99/1536.51	c 1536s |      19 |   713476 |   514082 |    25925     42 |      763 |      608
1538.40/1538.97	c 1538s |      19 |   714046 |   514582 |    25925     42 |      763 |      608
1540.39/1540.99	c 1540s |      19 |   714502 |   514982 |    25925     42 |      763 |      608
1542.59/1543.15	c 1542s |      19 |   714941 |   515382 |    25925     42 |      763 |      608
1545.19/1545.78	c 1545s |      19 |   715370 |   515782 |    25925     42 |      763 |      608
1547.49/1548.00	c 1547s |      19 |   715986 |   516282 |    25925     42 |      763 |      608
1549.68/1550.23	c 1549s |      19 |   716589 |   516782 |    25925     42 |      763 |      608
1551.98/1552.58	c 1552s |      19 |   717147 |   517282 |    25925     42 |      763 |      608
1554.48/1555.01	c 1554s |      19 |   717738 |   517782 |    25925     42 |      763 |      608
1556.78/1557.30	c 1557s |      19 |   718170 |   518182 |    25925     42 |      763 |      608
1559.08/1559.65	c 1559s |      19 |   718626 |   518582 |    25925     42 |      763 |      608
1561.18/1561.79	c 1561s |      19 |   719089 |   518982 |    25925     42 |      763 |      608
1563.58/1564.14	c 1563s |      19 |   719537 |   519382 |    25925     42 |      763 |      608
1566.28/1566.87	c 1566s |      19 |   719965 |   519782 |    25925     42 |      763 |      608
1568.88/1569.40	c 1569s |      19 |   720407 |   520182 |    25925     42 |      763 |      608
1571.28/1571.88	c 1571s |      19 |   721052 |   520682 |    25925     42 |      763 |      608
1573.48/1574.07	c 1573s |      19 |   721650 |   521182 |    25925     42 |      763 |      608
1575.78/1576.36	c 1576s |      19 |   722252 |   521682 |    25925     42 |      763 |      608
1578.48/1579.02	c 1578s |      19 |   722955 |   522182 |    25925     43 |      763 |      608
1580.58/1581.11	c 1580s |      19 |   724028 |   522882 |    25925     43 |      763 |      608
1582.88/1583.43	c 1583s |      19 |   725137 |   523682 |    25925     43 |      763 |      608
1585.38/1585.90	c 1585s |      19 |   725839 |   524282 |    25925     43 |      763 |      608
1587.58/1588.14	c 1587s |      19 |   726558 |   524882 |    25925     43 |      763 |      608
1589.78/1590.38	c 1590s |      19 |   727123 |   525382 |    25925     43 |      763 |      608
1591.88/1592.45	c 1592s |      19 |   727896 |   525982 |    25925     43 |      763 |      608
1594.08/1594.64	c 1594s |      19 |   728940 |   526682 |    25925     43 |      763 |      608
1596.38/1596.98	c 1596s |      19 |   730281 |   527482 |    25925     43 |      763 |      608
1598.68/1599.29	c 1599s |      19 |   731101 |   528082 |    25925     43 |      763 |      608
1600.87/1601.49	c 1601s |      19 |   731874 |   528682 |    25925     43 |      763 |      608
1603.07/1603.61	c 1603s |      19 |   733000 |   529382 |    25925     43 |      763 |      608
1605.27/1605.83	c 1605s |      19 |   733553 |   529882 |    25925     43 |      763 |      608
1607.27/1607.86	c 1607s |      19 |   734315 |   530382 |    25925     43 |      763 |      608
1609.47/1610.08	c 1609s |      19 |   734856 |   530882 |    25925     43 |      763 |      608
1612.08/1612.63	c 1612s |      19 |   735461 |   531382 |    25925     43 |      763 |      608
1614.28/1614.85	c 1614s |      19 |   736149 |   531882 |    25925     43 |      763 |      608
1616.48/1617.04	c 1616s |      19 |   736829 |   532382 |    25925     43 |      763 |      608
1618.57/1619.17	c 1618s |      19 |   737331 |   532782 |    25925     43 |      763 |      608
1620.77/1621.36	c 1621s |      19 |   737835 |   533182 |    25925     43 |      763 |      608
1623.08/1623.63	c 1623s |      19 |   738701 |   533782 |    25925     43 |      763 |      608
1625.17/1625.71	c 1625s |      19 |   739298 |   534282 |    25925     43 |      763 |      608
1627.37/1627.95	c 1627s |      19 |   739889 |   534782 |    25925     43 |      763 |      608
1629.58/1630.10	c 1629s |      19 |   740333 |   535182 |    25925     43 |      763 |      608
1631.88/1632.47	c 1632s |      19 |   740901 |   535682 |    25925     43 |      763 |      608
1633.98/1634.54	c 1634s |      19 |   741330 |   536082 |    25925     43 |      763 |      608
1636.18/1636.74	c 1636s |      19 |   741972 |   536582 |    25925     43 |      763 |      608
1638.67/1639.27	c 1639s |      19 |   742430 |   536982 |    25925     44 |      763 |      608
1640.97/1641.58	c 1641s |      19 |   743354 |   537682 |    25925     44 |      763 |      608
1643.07/1643.69	c 1643s |      19 |   744315 |   538382 |    25925     44 |      763 |      608
1645.27/1645.88	c 1645s |      19 |   745507 |   539182 |    25925     44 |      763 |      608
1647.47/1648.07	c 1647s |      19 |   746671 |   539982 |    25925     44 |      763 |      608
1649.67/1650.29	c 1650s |      19 |   747491 |   540582 |    25925     44 |      763 |      608
1651.78/1652.36	c 1652s |      19 |   748434 |   541282 |    25925     44 |      763 |      608
1653.88/1654.50	c 1654s |      19 |   749522 |   541982 |    25925     44 |      763 |      608
1656.18/1656.77	c 1656s |      19 |   750671 |   542782 |    25925     44 |      763 |      608
1658.28/1658.86	c 1658s |      19 |   751494 |   543382 |    25925     44 |      763 |      608
1660.87/1661.46	c 1661s |      19 |   752051 |   543882 |    25925     44 |      763 |      608
1662.97/1663.52	c 1663s |      19 |   752726 |   544382 |    25925     44 |      763 |      608
1665.17/1665.72	c 1665s |      19 |   753530 |   544982 |    25925     44 |      763 |      608
1667.18/1667.74	c 1667s |      19 |   753962 |   545382 |    25925     44 |      763 |      608
1669.28/1669.85	c 1669s |      19 |   754560 |   545882 |    25925     44 |      763 |      608
1671.57/1672.13	c 1671s |      19 |   755275 |   546482 |    25925     44 |      763 |      608
1673.97/1674.55	c 1674s |      19 |   756074 |   547082 |    25925     44 |      763 |      608
1676.37/1676.96	c 1676s |      19 |   756662 |   547582 |    25925     44 |      763 |      608
1678.47/1679.00	c 1678s |      19 |   757429 |   548082 |    25925     44 |      763 |      608
1680.57/1681.19	c 1680s |      19 |   758045 |   548582 |    25925     44 |      763 |      608
1682.67/1683.29	c 1683s |      19 |   758496 |   548982 |    25925     44 |      763 |      608
1684.77/1685.34	c 1685s |      19 |   758938 |   549382 |    25925     44 |      763 |      608
1687.07/1687.63	c 1687s |      19 |   759505 |   549882 |    25925     44 |      763 |      608
1689.57/1690.16	c 1689s |      19 |   760159 |   550382 |    25925     44 |      763 |      608
1691.86/1692.44	c 1692s |      19 |   760752 |   550882 |    25925     44 |      763 |      608
1693.96/1694.57	c 1694s |      19 |   761212 |   551282 |    25925     44 |      763 |      608
1696.06/1696.63	c 1696s |      19 |   761539 |   551582 |    25925     45 |      763 |      608
1698.16/1698.77	c 1698s |      19 |   762102 |   552082 |    25925     45 |      763 |      608
1700.46/1701.06	c 1700s |      19 |   762654 |   552582 |    25925     45 |      763 |      608
1702.86/1703.49	c 1703s |      19 |   763202 |   553082 |    25925     45 |      763 |      608
1705.06/1705.69	c 1705s |      19 |   763728 |   553582 |    25925     45 |      763 |      608
1707.36/1707.93	c 1707s |      19 |   764158 |   553982 |    25925     45 |      763 |      608
1709.46/1710.02	c 1709s |      19 |   764579 |   554382 |    25925     45 |      763 |      608
1711.76/1712.39	c 1712s |      19 |   765146 |   554882 |    25925     45 |      763 |      608
1714.16/1714.74	c 1714s |      19 |   765699 |   555382 |    25925     45 |      763 |      608
1716.46/1717.06	c 1716s |      19 |   766242 |   555882 |    25925     45 |      763 |      608
1719.05/1719.60	c 1719s |      19 |   766828 |   556382 |    25925     45 |      763 |      608
1721.15/1721.70	c 1721s |      19 |   767260 |   556782 |    25925     45 |      763 |      608
1723.35/1723.94	c 1723s |      19 |   767708 |   557182 |    25925     45 |      763 |      608
1725.85/1726.46	c 1726s |      19 |   768138 |   557582 |    25925     45 |      763 |      608
1728.25/1728.86	c 1728s |      19 |   768565 |   557982 |    25925     45 |      763 |      608
1730.25/1730.87	c 1730s |      19 |   768878 |   558282 |    25925     45 |      763 |      608
1732.56/1733.13	c 1732s |      19 |   769192 |   558582 |    25925     45 |      763 |      608
1734.76/1735.35	c 1735s |      19 |   769506 |   558882 |    25925     45 |      763 |      608
1736.96/1737.52	c 1737s |      19 |   769835 |   559182 |    25925     45 |      763 |      608
1739.36/1739.98	c 1739s |      19 |   770406 |   559682 |    25925     45 |      763 |      608
1741.66/1742.29	c 1742s |      19 |   770839 |   560082 |    25925     45 |      763 |      608
1744.16/1744.71	c 1744s |      19 |   771270 |   560482 |    25925     45 |      763 |      608
1746.26/1746.89	c 1746s |      19 |   771587 |   560782 |    25925     45 |      763 |      608
1748.46/1749.01	c 1748s |      19 |   771934 |   561082 |    25925     45 |      763 |      608
1750.45/1751.03	c 1750s |      19 |   772468 |   561482 |    25925     45 |      763 |      608
1752.75/1753.32	c 1753s |      19 |   772931 |   561882 |    25925     45 |      763 |      608
1754.95/1755.51	c 1755s |      19 |   773418 |   562282 |    25925     45 |      763 |      608
1757.26/1757.90	c 1757s |      19 |   773875 |   562682 |    25925     45 |      763 |      608
1759.85/1760.46	c 1760s |      19 |   774341 |   563082 |    25925     45 |      763 |      608
1761.95/1762.56	c 1762s |      19 |   774675 |   563382 |    25925     45 |      763 |      608
1764.35/1764.98	c 1764s |      19 |   775122 |   563782 |    25925     45 |      763 |      608
1766.75/1767.38	c 1767s |      19 |   775587 |   564182 |    25925     45 |      763 |      608
1769.05/1769.64	c 1769s |      19 |   776225 |   564682 |    25925     45 |      763 |      608
1771.56/1772.20	c 1771s |      19 |   776768 |   565182 |    25925     45 |      763 |      608
1773.76/1774.32	c 1774s |      19 |   777107 |   565482 |    25925     45 |      763 |      608
1776.15/1776.77	c 1776s |      19 |   777552 |   565882 |    25925     45 |      763 |      608
1778.35/1778.93	c 1778s |      19 |   777915 |   566182 |    25925     46 |      763 |      608
1780.55/1781.18	c 1780s |      19 |   778746 |   566882 |    25925     46 |      763 |      608
1782.75/1783.37	c 1783s |      19 |   779546 |   567482 |    25925     46 |      763 |      608
1784.95/1785.53	c 1785s |      19 |   780089 |   567982 |    25925     46 |      763 |      608
1786.95/1787.58	c 1787s |      19 |   780742 |   568482 |    25925     46 |      763 |      608
1789.15/1789.75	c 1789s |      19 |   782008 |   569182 |    25925     46 |      763 |      608
1791.55/1792.12	c 1791s |      19 |   782869 |   569782 |    25925     46 |      763 |      608
1793.55/1794.17	c 1793s |      19 |   783788 |   570382 |    25925     46 |      763 |      608
1795.75/1796.31	c 1796s |      19 |   784578 |   570982 |    25925     46 |      763 |      608
1797.95/1798.59	c 1798s |      19 |   785343 |   571482 |    25925     46 |      763 |      608

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

pid=23261
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.17 2.24 2.32 3/179 23264
/proc/meminfo: memFree=29251720/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=667068 CPUtime=0 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 2481 0 0 0 0 0 0 0 20 0 4 0 29461156 683077632 2841 33554432000 4194304 16246674 140735331009152 140735331008576 15002730 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23264/statm: 167535 2851 441 2943 0 164429 0
[pid=23264/tid=23265] ppid=23261 vsize=685500 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 701952000 2910 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=689596 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 706146304 2926 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29461156 710340608 2944 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.17 2.24 2.32 3/179 23264
/proc/meminfo: memFree=29251720/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 27395 0 0 0 5 4 0 0 20 0 4 0 29461156 1249447936 27694 33554432000 4194304 16246674 140735331009152 140735331008464 8055408 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23264/statm: 305041 27708 801 2943 0 301935 0
[pid=23264/tid=23265] ppid=23261 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1249447936 27718 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1249447936 27725 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1249447936 27725 33554432000 4194304 16246674 140735331009152 140550973934768 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.200483 s]
/proc/loadavg: 2.17 2.24 2.32 3/179 23264
/proc/meminfo: memFree=29251720/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 46863 0 0 0 13 6 0 0 20 0 4 0 29461156 1332285440 47162 33554432000 4194304 16246674 140735331009152 140735330991040 5916309 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23264/statm: 325265 47170 842 2943 0 322159 0
[pid=23264/tid=23265] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 47176 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 47181 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 47186 33554432000 4194304 16246674 140735331009152 140550973934768 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.300434 s]
/proc/loadavg: 2.17 2.24 2.32 3/179 23264
/proc/meminfo: memFree=29251720/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 48536 0 0 0 22 6 0 0 20 0 4 0 29461156 1332285440 48834 33554432000 4194304 16246674 140735331009152 140735330991040 5677888 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23264/statm: 325265 48834 882 2943 0 322159 0
[pid=23264/tid=23265] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 48834 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 48834 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 48834 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700391 s]
/proc/loadavg: 2.17 2.24 2.32 3/179 23264
/proc/meminfo: memFree=29251720/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 100502 0 0 0 57 12 0 0 20 0 4 0 29461156 1332285440 100800 33554432000 4194304 16246674 140735331009152 140735330991040 6836566 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23264/statm: 325265 100807 882 2943 0 322159 0
[pid=23264/tid=23265] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 100811 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 100814 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 100817 33554432000 4194304 16246674 140735331009152 140550973934768 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.5004 s]
/proc/loadavg: 2.17 2.24 2.32 3/183 23268
/proc/meminfo: memFree=28663432/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 200672 0 0 0 122 27 0 0 20 0 4 0 29461156 1332285440 200970 33554432000 4194304 16246674 140735331009152 140735330991040 13193554 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 325265 200985 882 2943 0 322159 0
[pid=23264/tid=23265] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 200993 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 200997 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1332285440 201000 33554432000 4194304 16246674 140735331009152 140550973934768 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.10042 s]
/proc/loadavg: 2.17 2.24 2.32 3/183 23268
/proc/meminfo: memFree=28177476/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1312324 CPUtime=3.08 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 269268 0 0 0 272 36 0 0 20 0 4 0 29461156 1343819776 269566 33554432000 4194304 16246674 140735331009152 140735330991040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 328081 269566 889 2943 0 324975 0
[pid=23264/tid=23265] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269566 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269566 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269566 33554432000 4194304 16246674 140735331009152 140550973934768 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) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.15 2.23 2.32 4/183 23269
/proc/meminfo: memFree=28176608/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1312324 CPUtime=6.28 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 269269 0 0 0 592 36 0 0 20 0 4 0 29461156 1343819776 269567 33554432000 4194304 16246674 140735331009152 140735330991040 5712780 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 328081 269567 889 2943 0 324975 0
[pid=23264/tid=23265] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269567 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269567 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269567 33554432000 4194304 16246674 140735331009152 140550973934768 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) 1312324

[startup+12.7005 s]
/proc/loadavg: 2.14 2.23 2.31 3/183 23269
/proc/meminfo: memFree=28176740/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 269271 0 0 0 1232 36 0 0 20 0 4 0 29461156 1343819776 269569 33554432000 4194304 16246674 140735331009152 140735330991040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 328081 269569 891 2943 0 324975 0
[pid=23264/tid=23265] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269569 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269569 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269569 33554432000 4194304 16246674 140735331009152 140550973934768 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) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.18 2.23 2.31 3/183 23269
/proc/meminfo: memFree=28177248/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 269273 0 0 0 2512 37 0 0 20 0 4 0 29461156 1343819776 269571 33554432000 4194304 16246674 140735331009152 140735330991040 6073061 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 328081 269571 892 2943 0 324975 0
[pid=23264/tid=23265] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269571 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269571 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269571 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.24 2.25 2.31 3/183 23269
/proc/meminfo: memFree=28177092/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 269273 0 0 0 5071 37 0 0 20 0 4 0 29461156 1343819776 269571 33554432000 4194304 16246674 140735331009152 140735330991040 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 328081 269571 892 2943 0 324975 0
[pid=23264/tid=23265] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269571 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269571 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1343819776 269571 33554432000 4194304 16246674 140735331009152 140550973934768 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) 1312324

[startup+102.3 s]
/proc/loadavg: 2.28 2.25 2.31 3/183 23270
/proc/meminfo: memFree=28171064/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1317444 CPUtime=102.27 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 270533 0 0 0 10190 37 0 0 20 0 4 0 29461156 1349062656 270831 33554432000 4194304 16246674 140735331009152 140735330991040 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 329361 270831 892 2943 0 326255 0
[pid=23264/tid=23265] ppid=23261 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1349062656 270831 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1349062656 270831 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1349062656 270831 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1317444


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

/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1358499840 273158 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1326660

[startup+1302.3 s]
/proc/loadavg: 2.25 2.22 2.23 3/183 23350
/proc/meminfo: memFree=28134708/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1301.87 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279358 0 0 0 130142 45 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735330991040 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1351236

[startup+1362.3 s]
/proc/loadavg: 2.20 2.21 2.23 3/183 23351
/proc/meminfo: memFree=28134324/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1361.83 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279404 0 0 0 136137 46 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735330991040 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1351236

[startup+1422.3 s]
/proc/loadavg: 2.20 2.20 2.22 3/183 23352
/proc/meminfo: memFree=28134892/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1421.81 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279420 0 0 0 142135 46 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735330991040 6861672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1351236

[startup+1482.3 s]
/proc/loadavg: 2.24 2.21 2.22 4/183 23353
/proc/meminfo: memFree=28134780/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1481.8 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279420 0 0 0 148133 47 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735330991040 5723776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1351236

[startup+1542.31 s]
/proc/loadavg: 2.22 2.20 2.21 3/183 23355
/proc/meminfo: memFree=28134652/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1541.8 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279420 0 0 0 154132 48 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735331008328 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1351236

[startup+1602.3 s]
/proc/loadavg: 2.31 2.22 2.22 3/184 23359
/proc/meminfo: memFree=28134648/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1601.77 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279420 0 0 0 160129 48 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735330991040 5824835 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1351236

[startup+1662.3 s]
/proc/loadavg: 2.33 2.24 2.22 3/183 23360
/proc/meminfo: memFree=28134328/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1661.77 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279420 0 0 0 166128 49 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735330991040 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1351236

[startup+1722.3 s]
/proc/loadavg: 2.23 2.22 2.21 3/183 23361
/proc/meminfo: memFree=28134404/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1721.75 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279420 0 0 0 172126 49 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735331008328 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1351236

[startup+1782.3 s]
/proc/loadavg: 2.21 2.21 2.21 3/183 23362
/proc/meminfo: memFree=28133592/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1781.75 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279420 0 0 0 178125 50 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735330991040 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1351236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.21 2.20 3/183 23362
/proc/meminfo: memFree=28133880/32872528 swapFree=1541156/1696500
[pid=23264] ppid=23261 vsize=1351236 CPUtime=1800.05 cores=0,2,4,6
/proc/23264/stat : 23264 (toysat) R 23261 23264 19474 0 -1 4202496 279420 0 0 0 179954 51 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140735330991040 5523536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23264/statm: 337809 279302 892 2943 0 334703 0
[pid=23264/tid=23265] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23265/stat : 23265 (toysat) S 23261 23264 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550994898160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23264/tid=23266] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23266/stat : 23266 (toysat) S 23261 23264 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550984408304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23264/tid=23267] ppid=23261 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23264/task/23267/stat : 23267 (toysat) S 23261 23264 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29461156 1383665664 279302 33554432000 4194304 16246674 140735331009152 140550973934768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1351236

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.510922
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1351236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.510922
maximum resident set size= 1117208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279420
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= 433
involuntary context switches= 2021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3294 second user time and 8.76967 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 20:03:45
IDJOB=4116613
IDBENCH=109492
IDSOLVER=2542
FILE ID=node125/4116613-1466964224
RUNJOBID= node125-1466961311-22990
PBS_JOBID= 19976354
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116613-1466964224/watcher-4116613-1466964224 -o /tmp/evaluation-result-4116613-1466964224/solver-4116613-1466964224 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466961311-22990 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116613-1466964224.opb

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

MD5SUM BENCH= d1fabf35eff0707feff9b8cfd4299550
RANDOM SEED=1610390809

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29252100 kB
Buffers:           28300 kB
Cached:            93004 kB
SwapCached:         1736 kB
Active:          1172552 kB
Inactive:          46864 kB
Active(anon):    1099928 kB
Inactive(anon):      448 kB
Active(file):      72624 kB
Inactive(file):    46416 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             16744 kB
Writeback:             0 kB
AnonPages:       2794148 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             567320 kB
SReclaimable:      11168 kB
SUnreclaim:       556152 kB
KernelStack:        1480 kB
PageTables:         9700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2935900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-26 20:33:45