Trace number 4116893

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.08 1800.53

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-0.opb
MD5SUMcb6970291396a46a7f7f877e2dc367cc
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9456
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T22:46:21+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-4116893-1466973981.opb"]
0.00/0.01	c use --random-gen="3077912269 276705427 2385832314 1782497710 2589222804 1806186359 3953658813 4085318483 2573604413 260531333 1438995901 931511004 3421585830 61214331 3788957170 399196607 1209755963 4015621141 1052719675 4274003004 2315723227 366142085 2021790000 491867018 2867020284 3256530028 3253670688 1775402623 403510471 3585392405 2209837080 199791371 3366432690 207327531 3277297926 546693399 887592790 81357267 3010187851 375963922 3598514905 4238410220 3991941943 2334462555 446471068 966963455 2639159930 1910677177 3229005852 1223468604 436970846 3538245168 317627141 2460801658 4288618533 2818003402 726852257 2550381777 2513993874 3079390355 813314261 936716477 220162508 3517698941 3388271257 1203279552 2000387711 2844131857 1223713627 3248128338 3897846252 80982857 2985646603 285985827 1326403097 2336289268 2749627843 3987437754 3521040076 1597077304 1006099034 4161371526 571214216 2478563866 1522811996 2041725370 749645772 4146530348 93378617 374043434 3723129993 2198415729 3146664640 537096046 4095435302 1978050722 2591933201 661503697 1121019474 1427721429 992094137 1339401884 876582709 1175530915 2427251002 2133289887 3514018233 1111674378 4099628032 596105960 2221768049 4031689839 1670723264 2516843973 964180392 1410347605 2588977984 3674268762 1358203386 1338376184 1945643685 3918474117 3021887649 4261945131 661194294 267158213 2576308323 805822907 833244777 3514604330 1327041860 1106447902 2713223320 3471409300 2933875882 1205058817 2993026703 196199958 1360754632 4050364550 1912169209 496901149 2995273704 387985554 1679781169 3752398419 4210835974 309727331 2407046211 258890411 455840890 246722203 1295916346 438020538 866214615 2852496833 3324941532 3339253690 2594412322 1539523486 3762574895 1736492820 388189217 1482246004 4001791436 708468903 3749342746 2859516909 2519682880 2910789425 2053772785 4109491521 3751076118 1543201568 2072050026 1750723995 3068111304 1959719075 3807503665 3635322864 4271087422 1969629175 2626980450 539211534 1837640034 3196818361 1324214823 3937527285 1341816654 3992501423 4062912360 1121586247 3580910691 3329008518 1282389219 429520965 1025469305 818554504 3881743056 2106984089 4190681504 2211175731 1127485797 968390202 1325655207 2418342847 1455989192 1292914512 815212062 250836393 3255784808 1569807167 121488748 4264467953 1335235198 3864394556 3043562565 330431122 1012946704 1418167505 1551320351 1057382906 2111741739 114778226 4067354585 2454006128 2439268734 513994785 3417399127 828233687 3782548135 2666801361 4005427366 138432994 2005789400 3802270126 1697958572 3709681522 1174153120 1275300048 1867455087 835182887 733471367 52135544 1878958492 1709354717 213019242 532792508 1382267612 3570422952 2882760477 3792086923 3134017837 1671446187 2532423774 1692638972 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9456
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      568 |        0
0.29/0.35	c  0.1s |       1 |      711 |      100 |     4565      0 |      568 |      268
0.39/0.46	c  0.2s |       2 |     1727 |      250 |     5022      0 |      568 |      268
0.59/0.68	c  0.4s |       3 |     2976 |      475 |     5525      0 |      568 |      268
0.89/0.93	c  0.7s |       4 |     6428 |      813 |     6078      0 |      568 |      268
1.39/1.45	c  1.2s |       5 |     8511 |     1320 |     6686      0 |      568 |      268
2.09/2.15	c  1.9s |       6 |    12531 |     2081 |     8091      0 |      568 |      268
3.59/3.60	c  3.3s |       7 |    15457 |     3223 |     8901      0 |      568 |      268
4.99/5.01	c  4.7s |       8 |    22408 |     4936 |     9792      0 |      568 |      268
6.99/7.09	c  6.8s |       8 |    27451 |     7136 |     9792      0 |      568 |      268
7.49/7.55	c  7.3s |       9 |    27889 |     7506 |    10772      0 |      568 |      268
9.49/9.57	c  9.3s |       9 |    36331 |     9406 |    10772      0 |      570 |      268
11.59/11.63	c 11.4s |       9 |    37853 |    10606 |    10772      0 |      570 |      268
12.99/13.07	c 12.8s |      10 |    38734 |    11361 |    11850      0 |      570 |      268
15.09/15.11	c 14.8s |      10 |    44038 |    13161 |    11850      0 |      570 |      268
17.09/17.13	c 16.9s |      10 |    48495 |    14661 |    11850      1 |      570 |      268
18.98/19.02	c 18.7s |      11 |    59182 |    17144 |    13036      1 |      570 |      268
20.99/21.02	c 20.7s |      11 |    69171 |    19344 |    13036      1 |      570 |      268
23.10/23.11	c 22.8s |      11 |    70666 |    20744 |    13036      1 |      570 |      268
25.19/25.25	c 25.0s |      11 |    74575 |    22444 |    13036      1 |      570 |      268
27.19/27.26	c 27.0s |      11 |    75995 |    23644 |    13036      2 |      570 |      268
29.29/29.35	c 29.1s |      11 |    77977 |    25144 |    13036      2 |      570 |      268
30.39/30.48	c 30.2s |      12 |    78693 |    25819 |    14340      2 |      570 |      268
32.49/32.55	c 32.3s |      12 |    89186 |    28319 |    14340      2 |      570 |      268
34.49/34.59	c 34.3s |      12 |    91630 |    29819 |    14340      2 |      570 |      268
36.59/36.62	c 36.3s |      12 |    93114 |    31019 |    14340      2 |      570 |      268
38.79/38.80	c 38.5s |      12 |    95144 |    32419 |    14340      2 |      570 |      268
40.80/40.81	c 40.5s |      12 |    96426 |    33419 |    14340      3 |      570 |      268
42.90/42.97	c 42.7s |      12 |    97655 |    34419 |    14340      3 |      570 |      268
44.99/45.02	c 44.7s |      12 |    99719 |    35619 |    14340      3 |      570 |      268
47.09/47.17	c 46.9s |      12 |   103235 |    37319 |    14340      3 |      570 |      268
49.29/49.36	c 49.1s |      12 |   105036 |    38519 |    14340      3 |      570 |      268
49.89/49.97	c 49.7s |      13 |   105468 |    38832 |    15775      3 |      570 |      268
51.99/52.00	c 51.7s |      13 |   109512 |    40532 |    15775      3 |      570 |      268
54.09/54.11	c 53.8s |      13 |   111353 |    42032 |    15775      3 |      570 |      268
56.19/56.24	c 56.0s |      13 |   112825 |    43332 |    15775      3 |      570 |      268
58.29/58.39	c 58.1s |      13 |   113951 |    44332 |    15775      4 |      570 |      268
60.39/60.44	c 60.2s |      13 |   115027 |    45332 |    15775      4 |      570 |      268
62.59/62.64	c 62.4s |      13 |   116113 |    46332 |    15775      4 |      570 |      268
64.79/64.84	c 64.6s |      13 |   117258 |    47332 |    15775      4 |      570 |      268
66.99/67.01	c 66.7s |      13 |   118228 |    48232 |    15775      4 |      570 |      268
69.19/69.22	c 68.9s |      13 |   119347 |    49232 |    15775      4 |      570 |      268
71.29/71.34	c 71.1s |      13 |   120367 |    50132 |    15775      4 |      570 |      268
73.38/73.42	c 73.1s |      13 |   121370 |    51032 |    15775      4 |      570 |      268
75.48/75.57	c 75.3s |      13 |   122380 |    51932 |    15775      4 |      570 |      268
77.68/77.72	c 77.4s |      13 |   123264 |    52732 |    15775      4 |      570 |      268
79.78/79.85	c 79.6s |      13 |   124036 |    53432 |    15775      5 |      570 |      268
81.98/82.00	c 81.7s |      13 |   125032 |    54332 |    15775      5 |      570 |      268
84.08/84.19	c 83.9s |      13 |   126033 |    55232 |    15775      5 |      570 |      268
86.18/86.21	c 85.9s |      13 |   126926 |    56032 |    15775      5 |      570 |      268
88.18/88.26	c 88.0s |      13 |   129878 |    57332 |    15775      5 |      570 |      268
89.78/89.82	c 89.5s |      14 |   131474 |    58352 |    17353      5 |      570 |      268
91.78/91.89	c 91.6s |      14 |   138048 |    60452 |    17353      5 |      570 |      268
93.98/94.04	c 93.8s |      14 |   139948 |    62052 |    17353      5 |      570 |      268
96.08/96.15	c 95.9s |      14 |   141417 |    63352 |    17353      5 |      570 |      268
98.28/98.35	c 98.1s |      14 |   142544 |    64352 |    17353      6 |      570 |      268
100.38/100.46	c  100s |      14 |   145646 |    65752 |    17353      6 |      570 |      268
102.38/102.49	c  102s |      14 |   149501 |    67552 |    17353      6 |      570 |      268
104.48/104.52	c  104s |      14 |   151758 |    69052 |    17353      6 |      570 |      268
106.47/106.53	c  106s |      14 |   153159 |    70152 |    17353      6 |      570 |      268
108.47/108.57	c  108s |      14 |   154396 |    71152 |    17353      6 |      570 |      268
110.57/110.61	c  110s |      14 |   155510 |    72052 |    17353      6 |      570 |      268
112.67/112.71	c  112s |      14 |   156732 |    73052 |    17353      6 |      570 |      268
114.87/114.98	c  114s |      14 |   157941 |    74052 |    17353      6 |      570 |      268
117.07/117.10	c  116s |      14 |   158940 |    74852 |    17353      7 |      570 |      268
119.17/119.30	c  119s |      14 |   160021 |    75752 |    17353      7 |      570 |      268
121.37/121.43	c  121s |      14 |   160956 |    76552 |    17353      7 |      570 |      268
123.47/123.59	c  123s |      14 |   161903 |    77352 |    17353      7 |      570 |      268
125.67/125.72	c  125s |      14 |   162685 |    78052 |    17353      7 |      570 |      268
127.68/127.75	c  127s |      14 |   163504 |    78752 |    17353      7 |      570 |      268
129.78/129.85	c  129s |      14 |   164292 |    79452 |    17353      7 |      570 |      268
131.77/131.87	c  131s |      14 |   164875 |    79952 |    17353      7 |      570 |      268
134.07/134.13	c  133s |      14 |   165683 |    80652 |    17353      7 |      570 |      268
136.27/136.36	c  136s |      14 |   166494 |    81352 |    17353      7 |      570 |      268
138.57/138.65	c  138s |      14 |   167291 |    82052 |    17353      7 |      570 |      268
140.67/140.72	c  140s |      14 |   167972 |    82652 |    17353      7 |      570 |      268
142.77/142.85	c  142s |      14 |   168686 |    83252 |    17353      7 |      570 |      268
144.97/145.09	c  144s |      14 |   169547 |    83952 |    17353      7 |      570 |      268
147.27/147.32	c  147s |      14 |   170373 |    84652 |    17353      7 |      570 |      268
149.57/149.64	c  149s |      14 |   171187 |    85352 |    17353      8 |      570 |      268
151.67/151.70	c  151s |      14 |   172103 |    86152 |    17353      8 |      570 |      268
153.67/153.76	c  153s |      14 |   173063 |    86952 |    17353      8 |      570 |      268
155.87/155.95	c  155s |      15 |   173789 |    87632 |    19089      8 |      570 |      268
157.97/158.02	c  157s |      15 |   178226 |    89432 |    19089      8 |      570 |      268
159.97/160.05	c  159s |      15 |   180047 |    90932 |    19089      8 |      570 |      268
162.07/162.11	c  161s |      15 |   181503 |    92232 |    19089      8 |      570 |      268
164.07/164.13	c  163s |      15 |   182658 |    93332 |    19089      8 |      570 |      268
166.27/166.35	c  166s |      15 |   183691 |    94332 |    19089      8 |      570 |      268
168.38/168.48	c  168s |      15 |   184824 |    95332 |    19089      8 |      570 |      268
170.48/170.51	c  170s |      15 |   185799 |    96232 |    19089      8 |      570 |      268
172.47/172.57	c  172s |      15 |   186774 |    97132 |    19089      8 |      570 |      268
174.67/174.72	c  174s |      15 |   187696 |    97932 |    19089      9 |      570 |      268
176.77/176.85	c  176s |      15 |   188886 |    98932 |    19089      9 |      570 |      268
178.77/178.87	c  178s |      15 |   191720 |   100032 |    19089      9 |      570 |      268
180.77/180.88	c  180s |      15 |   196868 |   101832 |    19089      9 |      570 |      268
182.87/182.94	c  182s |      15 |   204411 |   103732 |    19089      9 |      570 |      268
185.07/185.10	c  184s |      15 |   206394 |   105032 |    19089      9 |      570 |      268
187.17/187.20	c  186s |      15 |   208431 |   106332 |    19089      9 |      570 |      268
189.17/189.21	c  188s |      15 |   209764 |   107332 |    19089      9 |      570 |      268
191.26/191.38	c  191s |      15 |   211026 |   108332 |    19089      9 |      570 |      268
193.46/193.52	c  193s |      15 |   212120 |   109232 |    19089     10 |      570 |      268
195.66/195.71	c  195s |      15 |   213422 |   110332 |    19089     10 |      570 |      268
197.66/197.78	c  197s |      15 |   214490 |   111232 |    19089     10 |      570 |      268
199.86/199.97	c  199s |      15 |   215561 |   112132 |    19089     10 |      570 |      268
202.16/202.27	c  201s |      15 |   216466 |   112932 |    19089     10 |      570 |      268
204.46/204.50	c  204s |      15 |   217353 |   113732 |    19089     10 |      570 |      268
206.56/206.64	c  206s |      15 |   218157 |   114432 |    19089     10 |      570 |      268
208.76/208.82	c  208s |      15 |   218971 |   115132 |    19089     10 |      570 |      268
210.86/210.90	c  210s |      15 |   219788 |   115832 |    19089     10 |      570 |      268
212.96/213.00	c  212s |      15 |   220462 |   116432 |    19089     10 |      570 |      268
215.26/215.39	c  215s |      15 |   221254 |   117132 |    19089     10 |      570 |      268
217.36/217.49	c  217s |      15 |   222080 |   117832 |    19089     10 |      570 |      268
219.46/219.51	c  219s |      15 |   222796 |   118432 |    19089     10 |      570 |      268
221.66/221.72	c  221s |      15 |   223469 |   119032 |    19089     10 |      570 |      268
223.86/223.98	c  223s |      15 |   224268 |   119732 |    19089     11 |      570 |      268
225.96/226.09	c  225s |      15 |   225073 |   120432 |    19089     11 |      570 |      268
228.26/228.38	c  228s |      15 |   225988 |   121232 |    19089     11 |      570 |      268
230.66/230.71	c  230s |      15 |   226789 |   121932 |    19089     11 |      570 |      268
232.86/232.92	c  232s |      15 |   227611 |   122632 |    19089     11 |      570 |      268
234.96/235.03	c  234s |      15 |   228426 |   123332 |    19089     11 |      570 |      268
237.05/237.17	c  236s |      15 |   229096 |   123932 |    19089     11 |      570 |      268
239.25/239.34	c  239s |      15 |   229788 |   124532 |    19089     11 |      570 |      268
241.35/241.41	c  241s |      15 |   230468 |   125132 |    19089     11 |      570 |      268
243.35/243.47	c  243s |      15 |   231208 |   125732 |    19089     11 |      570 |      268
245.45/245.52	c  245s |      15 |   232055 |   126432 |    19089     11 |      570 |      268
247.65/247.75	c  247s |      15 |   232743 |   127032 |    19089     11 |      570 |      268
250.05/250.12	c  249s |      15 |   233405 |   127632 |    19089     11 |      570 |      268
252.15/252.25	c  251s |      15 |   234077 |   128232 |    19089     11 |      570 |      268
254.16/254.29	c  254s |      15 |   234611 |   128732 |    19089     11 |      570 |      268
256.36/256.42	c  256s |      15 |   235467 |   129432 |    19089     11 |      570 |      268
258.65/258.73	c  258s |      15 |   236272 |   130132 |    19089     11 |      570 |      268
261.05/261.12	c  260s |      15 |   237109 |   130832 |    20998     11 |      570 |      268
263.25/263.33	c  263s |      15 |   237786 |   131432 |    20998     11 |      570 |      268
263.65/263.71	c  263s |      16 |   237916 |   131552 |    20998     11 |      570 |      268
265.65/265.74	c  265s |      16 |   245208 |   132752 |    20998     12 |      570 |      268
267.75/267.81	c  267s |      16 |   247189 |   134552 |    20998     12 |      570 |      268
269.75/269.85	c  269s |      16 |   248776 |   136052 |    20998     12 |      570 |      268
271.76/271.88	c  271s |      16 |   250272 |   137452 |    20998     12 |      570 |      268
273.75/273.89	c  273s |      16 |   251519 |   138652 |    20998     12 |      570 |      268
275.95/276.02	c  275s |      16 |   253060 |   139952 |    20998     12 |      570 |      268
278.05/278.15	c  277s |      16 |   254560 |   141252 |    20998     12 |      570 |      268
280.05/280.19	c  279s |      16 |   259064 |   142652 |    20998     12 |      570 |      268
282.55/282.65	c  282s |      16 |   263656 |   144252 |    20998     13 |      570 |      268
284.75/284.83	c  284s |      16 |   267289 |   145752 |    20998     13 |      570 |      268
286.85/287.00	c  286s |      16 |   269012 |   146952 |    20998     13 |      570 |      268
289.05/289.13	c  288s |      16 |   270069 |   147852 |    20998     13 |      570 |      268
291.15/291.29	c  291s |      16 |   271108 |   148752 |    20998     13 |      570 |      268
293.25/293.37	c  293s |      16 |   272140 |   149652 |    20998     13 |      570 |      268
295.45/295.50	c  295s |      16 |   273032 |   150452 |    20998     13 |      570 |      268
297.45/297.57	c  297s |      16 |   273881 |   151252 |    20998     13 |      570 |      268
299.55/299.64	c  299s |      16 |   274963 |   151952 |    20998     13 |      570 |      268
301.65/301.75	c  301s |      16 |   276799 |   153052 |    20998     13 |      570 |      268
303.75/303.82	c  303s |      16 |   277858 |   153952 |    20998     13 |      570 |      268
305.95/306.02	c  305s |      16 |   278897 |   154852 |    20998     13 |      570 |      268
308.05/308.20	c  307s |      16 |   279815 |   155652 |    20998     13 |      570 |      268
310.55/310.65	c  310s |      16 |   280784 |   156452 |    20998     14 |      570 |      268
312.75/312.80	c  312s |      16 |   281972 |   157452 |    20998     14 |      570 |      268
314.85/314.96	c  314s |      16 |   283030 |   158352 |    20998     14 |      570 |      268
316.94/317.00	c  316s |      16 |   283931 |   159152 |    20998     14 |      570 |      268
319.05/319.17	c  318s |      16 |   286476 |   160252 |    20998     14 |      570 |      268
321.15/321.30	c  321s |      16 |   289192 |   161552 |    20998     14 |      570 |      268
323.24/323.33	c  323s |      16 |   291969 |   162852 |    20998     14 |      570 |      268
325.24/325.39	c  325s |      16 |   293793 |   163952 |    20998     14 |      570 |      268
327.54/327.62	c  327s |      16 |   294906 |   164852 |    20998     14 |      570 |      268
329.64/329.74	c  329s |      16 |   296178 |   165652 |    20998     14 |      570 |      268
331.64/331.76	c  331s |      16 |   298105 |   166852 |    20998     14 |      570 |      268
333.84/333.91	c  333s |      16 |   299196 |   167752 |    20998     14 |      570 |      268
336.04/336.14	c  335s |      16 |   300393 |   168552 |    20998     15 |      570 |      268
338.14/338.25	c  337s |      16 |   303023 |   170052 |    20998     15 |      570 |      268
340.14/340.28	c  340s |      16 |   304260 |   171052 |    20998     15 |      570 |      268
342.24/342.35	c  342s |      16 |   305914 |   172152 |    20998     15 |      570 |      268
344.35/344.41	c  344s |      16 |   307289 |   173152 |    20998     15 |      570 |      268
346.34/346.42	c  346s |      16 |   308420 |   174052 |    20998     15 |      570 |      268
348.44/348.52	c  348s |      16 |   310968 |   175252 |    20998     15 |      570 |      268
350.44/350.57	c  350s |      16 |   311934 |   176052 |    20998     15 |      570 |      268
352.54/352.67	c  352s |      16 |   312827 |   176852 |    20998     15 |      570 |      268
354.74/354.85	c  354s |      16 |   313720 |   177652 |    20998     15 |      570 |      268
356.94/357.01	c  356s |      16 |   314477 |   178352 |    20998     15 |      570 |      268
359.04/359.11	c  358s |      16 |   315234 |   179052 |    20998     15 |      570 |      268
361.24/361.31	c  361s |      16 |   316020 |   179752 |    20998     15 |      570 |      268
363.24/363.38	c  363s |      16 |   316666 |   180352 |    20998     15 |      570 |      268
365.44/365.55	c  365s |      16 |   317337 |   180952 |    20998     16 |      570 |      268
367.54/367.66	c  367s |      16 |   318417 |   181752 |    20998     16 |      570 |      268
369.54/369.68	c  369s |      16 |   319561 |   182652 |    20998     16 |      570 |      268
371.64/371.79	c  371s |      16 |   320506 |   183452 |    20998     16 |      570 |      268
373.74/373.85	c  373s |      16 |   321308 |   184152 |    20998     16 |      570 |      268
376.03/376.11	c  375s |      16 |   322273 |   184952 |    20998     16 |      570 |      268
378.03/378.18	c  377s |      16 |   322957 |   185552 |    20998     16 |      570 |      268
380.33/380.44	c  380s |      16 |   323755 |   186252 |    20998     16 |      570 |      268
382.43/382.55	c  382s |      16 |   324427 |   186852 |    20998     16 |      570 |      268
384.83/384.95	c  384s |      16 |   325082 |   187452 |    20998     16 |      570 |      268
387.03/387.18	c  386s |      16 |   325766 |   188052 |    20998     16 |      570 |      268
389.34/389.44	c  389s |      16 |   326455 |   188652 |    20998     16 |      570 |      268
391.64/391.78	c  391s |      16 |   327149 |   189252 |    20998     16 |      570 |      268
393.84/393.95	c  393s |      16 |   327685 |   189752 |    20998     16 |      570 |      268
395.93/396.03	c  395s |      16 |   328256 |   190252 |    20998     16 |      570 |      268
398.03/398.18	c  397s |      16 |   328836 |   190752 |    20998     16 |      570 |      268
400.23/400.38	c  400s |      16 |   329565 |   191352 |    20998     16 |      570 |      268
402.33/402.47	c  402s |      16 |   330141 |   191852 |    20998     16 |      570 |      268
404.53/404.64	c  404s |      16 |   330697 |   192352 |    20998     16 |      570 |      268
406.83/406.93	c  406s |      16 |   331274 |   192852 |    20998     17 |      570 |      268
408.93/409.00	c  408s |      16 |   331967 |   193452 |    20998     17 |      570 |      268
411.13/411.26	c  410s |      16 |   332632 |   194052 |    20998     17 |      570 |      268
413.23/413.39	c  413s |      16 |   333308 |   194652 |    20998     17 |      570 |      268
415.43/415.57	c  415s |      16 |   333980 |   195252 |    20998     17 |      570 |      268
417.43/417.57	c  417s |      16 |   334515 |   195752 |    20998     17 |      570 |      268
419.43/419.59	c  419s |      16 |   335078 |   196252 |    23098     17 |      570 |      268
421.53/421.66	c  421s |      16 |   335632 |   196752 |    23098     17 |      570 |      268
423.53/423.68	c  423s |      16 |   336165 |   197252 |    23098     17 |      570 |      268
424.33/424.41	c  424s |      17 |   336354 |   197432 |    23098     17 |      570 |      268
426.33/426.41	c  426s |      17 |   345688 |   199432 |    23098     17 |      570 |      268
428.43/428.52	c  428s |      17 |   349595 |   201232 |    23098     17 |      570 |      268
430.43/430.54	c  430s |      17 |   354476 |   202732 |    23098     17 |      570 |      268
432.53/432.63	c  432s |      17 |   358072 |   204332 |    23098     17 |      570 |      268
434.53/434.64	c  434s |      17 |   359369 |   205432 |    23098     17 |      570 |      268
437.03/437.12	c  436s |      17 |   360571 |   206432 |    23098     18 |      570 |      268
439.13/439.20	c  438s |      17 |   366179 |   208432 |    23098     18 |      570 |      268
441.23/441.31	c  441s |      17 |   367913 |   209732 |    23098     18 |      570 |      268
443.33/443.45	c  443s |      17 |   369608 |   211032 |    23098     18 |      570 |      268
445.33/445.46	c  445s |      17 |   370816 |   212032 |    23098     18 |      570 |      268
447.33/447.48	c  447s |      17 |   371751 |   212832 |    23098     18 |      570 |      268
449.52/449.64	c  449s |      17 |   373227 |   213932 |    23098     18 |      570 |      268
451.62/451.77	c  451s |      17 |   374320 |   214832 |    23098     18 |      570 |      268
453.82/453.97	c  453s |      17 |   375481 |   215732 |    23098     18 |      570 |      268
455.92/456.04	c  455s |      17 |   376587 |   216632 |    23098     18 |      570 |      268
458.02/458.11	c  457s |      17 |   377428 |   217332 |    23098     18 |      570 |      268
460.22/460.31	c  460s |      17 |   378245 |   218032 |    23098     18 |      570 |      268
462.32/462.42	c  462s |      17 |   379045 |   218732 |    23098     18 |      570 |      268
464.62/464.72	c  464s |      17 |   379885 |   219432 |    23098     18 |      570 |      268
466.92/467.00	c  466s |      17 |   380714 |   220132 |    23098     19 |      570 |      268
469.12/469.23	c  468s |      17 |   381493 |   220832 |    23098     19 |      570 |      268
471.12/471.27	c  470s |      17 |   382283 |   221532 |    23098     19 |      570 |      268
473.32/473.49	c  473s |      17 |   382974 |   222132 |    23098     19 |      570 |      268
475.42/475.51	c  475s |      17 |   383686 |   222732 |    23098     19 |      570 |      268
477.72/477.83	c  477s |      17 |   384621 |   223532 |    23098     19 |      570 |      268
479.92/480.04	c  479s |      17 |   385338 |   224132 |    23098     19 |      570 |      268
482.02/482.16	c  481s |      17 |   386190 |   224832 |    23098     19 |      570 |      268
484.32/484.40	c  484s |      17 |   386868 |   225432 |    23098     19 |      570 |      268
486.42/486.59	c  486s |      17 |   387573 |   226032 |    23098     19 |      570 |      268
488.72/488.86	c  488s |      17 |   388272 |   226632 |    23098     19 |      570 |      268
490.72/490.87	c  490s |      17 |   388849 |   227132 |    23098     19 |      570 |      268
493.02/493.13	c  492s |      17 |   389530 |   227732 |    23098     19 |      570 |      268
495.32/495.46	c  495s |      17 |   390205 |   228332 |    23098     19 |      570 |      268
497.42/497.57	c  497s |      17 |   390902 |   228932 |    23098     19 |      570 |      268
499.52/499.63	c  499s |      17 |   391466 |   229432 |    23098     19 |      570 |      268
501.62/501.71	c  501s |      17 |   392097 |   229932 |    23098     19 |      570 |      268
503.82/503.99	c  503s |      17 |   393107 |   230732 |    23098     19 |      570 |      268
506.12/506.25	c  505s |      17 |   393976 |   231432 |    23098     19 |      570 |      268
508.31/508.43	c  508s |      17 |   394823 |   232132 |    23098     19 |      570 |      268
510.61/510.74	c  510s |      17 |   395656 |   232832 |    23098     19 |      570 |      268
512.81/512.97	c  512s |      17 |   396383 |   233432 |    23098     20 |      570 |      268
515.01/515.14	c  514s |      17 |   397345 |   234232 |    23098     20 |      570 |      268
517.21/517.33	c  517s |      17 |   398240 |   235032 |    23098     20 |      570 |      268
519.41/519.57	c  519s |      17 |   399147 |   235832 |    23098     20 |      570 |      268
521.61/521.79	c  521s |      17 |   400099 |   236632 |    23098     20 |      570 |      268
523.81/523.91	c  523s |      17 |   401093 |   237332 |    23098     20 |      570 |      268
525.91/526.04	c  525s |      17 |   401949 |   238032 |    23098     20 |      570 |      268
528.41/528.50	c  528s |      17 |   402648 |   238632 |    23098     20 |      570 |      268
530.51/530.60	c  530s |      17 |   403342 |   239232 |    23098     20 |      570 |      268
532.61/532.77	c  532s |      17 |   404064 |   239832 |    23098     20 |      570 |      268
534.81/534.91	c  534s |      17 |   404784 |   240432 |    23098     20 |      570 |      268
537.01/537.18	c  536s |      17 |   405583 |   241132 |    23098     20 |      570 |      268
539.21/539.39	c  539s |      17 |   406430 |   241832 |    23098     20 |      570 |      268
541.31/541.47	c  541s |      17 |   407109 |   242432 |    23098     20 |      570 |      268
543.32/543.49	c  543s |      17 |   407668 |   242932 |    23098     20 |      570 |      268
545.41/545.55	c  545s |      17 |   410808 |   243632 |    23098     20 |      570 |      268
547.61/547.71	c  547s |      17 |   416788 |   245232 |    23098     20 |      570 |      268
549.71/549.80	c  549s |      17 |   419065 |   246232 |    23098     21 |      570 |      268
551.91/552.09	c  551s |      17 |   420933 |   247432 |    23098     21 |      570 |      268
554.11/554.24	c  553s |      17 |   424857 |   249032 |    23098     21 |      570 |      268
556.21/556.30	c  556s |      17 |   427025 |   250332 |    23098     21 |      570 |      268
558.21/558.39	c  558s |      17 |   428504 |   251432 |    23098     21 |      570 |      268
560.31/560.44	c  560s |      17 |   429600 |   252332 |    23098     21 |      570 |      268
562.31/562.44	c  562s |      17 |   430672 |   253232 |    23098     21 |      570 |      268
564.41/564.53	c  564s |      17 |   431817 |   254132 |    23098     21 |      570 |      268
566.51/566.68	c  566s |      17 |   432787 |   254932 |    23098     21 |      570 |      268
568.61/568.75	c  568s |      17 |   433738 |   255732 |    23098     21 |      570 |      268
570.91/571.01	c  570s |      17 |   434662 |   256532 |    23098     21 |      570 |      268
573.01/573.15	c  572s |      17 |   435669 |   257332 |    23098     21 |      570 |      268
575.31/575.42	c  575s |      17 |   436676 |   258132 |    23098     21 |      570 |      268
577.41/577.52	c  577s |      17 |   437548 |   258832 |    23098     21 |      570 |      268
579.50/579.61	c  579s |      17 |   438563 |   259632 |    23098     21 |      570 |      268
581.50/581.63	c  581s |      17 |   439365 |   260332 |    23098     22 |      570 |      268
583.80/583.93	c  583s |      17 |   440321 |   261132 |    23098     22 |      570 |      268
586.00/586.15	c  585s |      17 |   441138 |   261832 |    23098     22 |      570 |      268
588.10/588.26	c  587s |      17 |   441993 |   262532 |    23098     22 |      570 |      268
590.30/590.44	c  590s |      17 |   442711 |   263132 |    23098     22 |      570 |      268
592.60/592.71	c  592s |      17 |   443429 |   263732 |    23098     22 |      570 |      268
594.60/594.78	c  594s |      17 |   444122 |   264332 |    23098     22 |      570 |      268
596.80/596.98	c  596s |      17 |   444833 |   264932 |    23098     22 |      570 |      268
599.00/599.15	c  598s |      17 |   445541 |   265532 |    23098     22 |      570 |      268
601.40/601.54	c  601s |      17 |   446240 |   266132 |    23098     22 |      570 |      268
603.40/603.56	c  603s |      17 |   446810 |   266632 |    23098     22 |      570 |      268
605.70/605.88	c  605s |      17 |   447353 |   267132 |    23098     22 |      570 |      268
607.90/608.09	c  607s |      17 |   448127 |   267732 |    23098     22 |      570 |      268
610.20/610.40	c  610s |      17 |   449136 |   268532 |    23098     22 |      570 |      268
612.61/612.78	c  612s |      17 |   450069 |   269332 |    23098     22 |      570 |      268
614.81/614.96	c  614s |      17 |   450658 |   269832 |    23098     22 |      570 |      268
616.90/617.09	c  616s |      17 |   451389 |   270432 |    23098     22 |      570 |      268
619.10/619.23	c  618s |      17 |   452105 |   271032 |    23098     22 |      570 |      268
621.41/621.52	c  621s |      17 |   452769 |   271632 |    23098     22 |      570 |      268
623.80/623.95	c  623s |      17 |   453465 |   272232 |    23098     22 |      570 |      268
626.00/626.15	c  625s |      17 |   453904 |   272632 |    23098     22 |      570 |      268
628.20/628.33	c  628s |      17 |   454359 |   273032 |    23098     23 |      570 |      268
630.21/630.34	c  630s |      17 |   454938 |   273532 |    23098     23 |      570 |      268
632.30/632.41	c  632s |      17 |   455528 |   274032 |    23098     23 |      570 |      268
634.61/634.71	c  634s |      17 |   456090 |   274532 |    23098     23 |      570 |      268
636.91/637.05	c  636s |      17 |   456924 |   275232 |    23098     23 |      570 |      268
639.10/639.28	c  639s |      17 |   457762 |   275932 |    23098     23 |      570 |      268
641.50/641.64	c  641s |      17 |   458554 |   276632 |    23098     23 |      570 |      268
643.60/643.76	c  643s |      17 |   459278 |   277232 |    23098     23 |      570 |      268
645.80/645.99	c  645s |      17 |   460077 |   277932 |    23098     23 |      570 |      268
647.90/648.08	c  647s |      17 |   460758 |   278532 |    23098     23 |      570 |      268
650.20/650.30	c  650s |      17 |   461427 |   279132 |    23098     23 |      570 |      268
652.20/652.34	c  652s |      17 |   462037 |   279632 |    23098     23 |      570 |      268
654.29/654.46	c  654s |      17 |   462634 |   280132 |    23098     23 |      570 |      268
656.49/656.64	c  656s |      17 |   463244 |   280632 |    23098     23 |      570 |      268
658.59/658.70	c  658s |      17 |   463808 |   281132 |    23098     23 |      570 |      268
660.79/660.90	c  660s |      17 |   464382 |   281632 |    23098     23 |      570 |      268
662.99/663.14	c  662s |      17 |   464987 |   282132 |    23098     23 |      570 |      268
665.09/665.24	c  664s |      17 |   465546 |   282632 |    23098     23 |      570 |      268
667.29/667.42	c  667s |      17 |   466113 |   283132 |    23098     23 |      570 |      268
669.49/669.69	c  669s |      17 |   466786 |   283732 |    23098     23 |      570 |      268
671.79/671.94	c  671s |      17 |   467504 |   284332 |    23098     23 |      570 |      268
674.09/674.29	c  674s |      17 |   468194 |   284932 |    23098     23 |      570 |      268
676.29/676.40	c  676s |      17 |   468773 |   285432 |    23098     23 |      570 |      268
678.99/679.18	c  678s |      17 |   469446 |   286032 |    23098     24 |      570 |      268
681.09/681.25	c  680s |      17 |   470271 |   286732 |    23098     24 |      570 |      268
683.09/683.25	c  682s |      17 |   471085 |   287432 |    23098     24 |      570 |      268
685.19/685.33	c  685s |      17 |   471864 |   288132 |    23098     24 |      570 |      268
687.39/687.60	c  687s |      17 |   472637 |   288832 |    23098     24 |      570 |      268
689.69/689.81	c  689s |      17 |   473396 |   289532 |    23098     24 |      570 |      268
691.89/692.03	c  691s |      17 |   474086 |   290132 |    23098     24 |      570 |      268
694.09/694.22	c  693s |      17 |   474781 |   290732 |    23098     24 |      570 |      268
696.09/696.25	c  695s |      17 |   475458 |   291332 |    23098     24 |      570 |      268
698.08/698.29	c  698s |      17 |   476387 |   292032 |    23098     24 |      570 |      268
700.28/700.44	c  700s |      17 |   477238 |   292732 |    23098     24 |      570 |      268
702.48/702.60	c  702s |      17 |   478187 |   293432 |    23098     24 |      570 |      268
704.48/704.67	c  704s |      17 |   478949 |   294032 |    23098     24 |      570 |      268
706.78/706.93	c  706s |      17 |   480199 |   294932 |    25408     24 |      570 |      268
708.88/709.05	c  708s |      17 |   481053 |   295632 |    25408     24 |      570 |      268
710.98/711.11	c  710s |      17 |   481763 |   296232 |    25408     24 |      570 |      268
710.98/711.17	c  710s |      18 |   481786 |   296252 |    25408     24 |      570 |      268
713.08/713.21	c  712s |      18 |   486442 |   297752 |    25408     24 |      570 |      268
715.18/715.31	c  715s |      18 |   488417 |   299352 |    25408     24 |      570 |      268
717.19/717.37	c  717s |      18 |   489917 |   300652 |    25408     24 |      570 |      268
719.48/719.66	c  719s |      18 |   491012 |   301552 |    25408     25 |      570 |      268
721.68/721.88	c  721s |      18 |   492587 |   302852 |    25408     25 |      570 |      268
723.88/724.01	c  723s |      18 |   493762 |   303852 |    25408     25 |      570 |      268
726.08/726.27	c  725s |      18 |   494741 |   304752 |    25408     25 |      570 |      268
728.19/728.35	c  728s |      18 |   495790 |   305652 |    25408     25 |      570 |      268
730.28/730.43	c  730s |      18 |   496681 |   306452 |    25408     25 |      570 |      268
732.38/732.57	c  732s |      18 |   497623 |   307252 |    25408     25 |      570 |      268
734.48/734.65	c  734s |      18 |   498734 |   308152 |    25408     25 |      570 |      268
736.68/736.87	c  736s |      18 |   499766 |   309052 |    25408     25 |      570 |      268
738.68/738.87	c  738s |      18 |   500573 |   309752 |    25408     25 |      570 |      268
740.88/741.04	c  740s |      18 |   501540 |   310552 |    25408     25 |      570 |      268
742.98/743.12	c  742s |      18 |   502488 |   311352 |    25408     25 |      570 |      268
745.08/745.20	c  744s |      18 |   509052 |   312652 |    25408     25 |      570 |      268
747.18/747.31	c  747s |      18 |   511366 |   314252 |    25408     25 |      570 |      268
749.28/749.43	c  749s |      18 |   514023 |   315952 |    25408     25 |      570 |      268
751.37/751.55	c  751s |      18 |   515634 |   317152 |    25408     26 |      570 |      268
753.48/753.61	c  753s |      18 |   517513 |   318552 |    25408     26 |      570 |      268
755.58/755.72	c  755s |      18 |   519211 |   319852 |    25408     26 |      570 |      268
757.67/757.84	c  757s |      18 |   521377 |   321352 |    25408     26 |      570 |      268
759.87/760.06	c  759s |      18 |   522735 |   322452 |    25408     26 |      570 |      268
761.97/762.12	c  761s |      18 |   523776 |   323352 |    25408     26 |      570 |      268
764.17/764.36	c  764s |      18 |   524830 |   324252 |    25408     26 |      570 |      268
766.27/766.46	c  766s |      18 |   525969 |   325152 |    25408     26 |      570 |      268
768.47/768.63	c  768s |      18 |   527227 |   326152 |    25408     26 |      570 |      268
770.57/770.73	c  770s |      18 |   528416 |   327052 |    25408     26 |      570 |      268
772.57/772.74	c  772s |      18 |   529404 |   327852 |    25408     26 |      570 |      268
774.77/774.90	c  774s |      18 |   530843 |   328852 |    25408     26 |      570 |      268
776.87/777.00	c  776s |      18 |   532207 |   329852 |    25408     26 |      570 |      268
778.87/779.05	c  778s |      18 |   532935 |   330452 |    25408     27 |      570 |      268
781.07/781.25	c  780s |      18 |   534030 |   331352 |    25408     27 |      570 |      268
783.27/783.45	c  783s |      18 |   535108 |   332252 |    25408     27 |      570 |      268
785.47/785.66	c  785s |      18 |   536083 |   333052 |    25408     27 |      570 |      268
787.77/787.92	c  787s |      18 |   536854 |   333752 |    25408     27 |      570 |      268
789.87/790.05	c  789s |      18 |   537660 |   334452 |    25408     27 |      570 |      268
791.87/792.06	c  791s |      18 |   538920 |   335352 |    25408     27 |      570 |      268
794.18/794.32	c  794s |      18 |   539931 |   336152 |    25408     27 |      570 |      268
796.27/796.47	c  796s |      18 |   540606 |   336752 |    25408     27 |      570 |      268
798.37/798.56	c  798s |      18 |   541470 |   337452 |    25408     27 |      570 |      268
800.37/800.57	c  800s |      18 |   542448 |   338152 |    25408     27 |      570 |      268
802.47/802.62	c  802s |      18 |   543476 |   338952 |    25408     27 |      570 |      268
804.57/804.74	c  804s |      18 |   544765 |   339952 |    25408     27 |      570 |      268
806.67/806.80	c  806s |      18 |   545662 |   340652 |    25408     27 |      570 |      268
808.77/808.95	c  808s |      18 |   546696 |   341452 |    25408     27 |      570 |      268
810.86/811.02	c  810s |      18 |   547468 |   342052 |    25408     27 |      570 |      268
813.06/813.23	c  812s |      18 |   548241 |   342652 |    25408     27 |      570 |      268
815.16/815.38	c  815s |      18 |   549131 |   343352 |    25408     27 |      570 |      268
817.36/817.56	c  817s |      18 |   549831 |   343952 |    25408     27 |      570 |      268
819.66/819.85	c  819s |      18 |   550495 |   344552 |    25408     27 |      570 |      268
821.96/822.11	c  821s |      18 |   551050 |   345052 |    25408     28 |      570 |      268
823.96/824.11	c  823s |      18 |   551864 |   345752 |    25408     28 |      570 |      268
826.07/826.26	c  825s |      18 |   552889 |   346552 |    25408     28 |      570 |      268
828.27/828.47	c  828s |      18 |   553671 |   347252 |    25408     28 |      570 |      268
830.56/830.77	c  830s |      18 |   554462 |   347952 |    25408     28 |      570 |      268
832.76/832.90	c  832s |      18 |   555461 |   348752 |    25408     28 |      570 |      268
834.87/835.08	c  834s |      18 |   556569 |   349652 |    25408     28 |      570 |      268
837.07/837.25	c  836s |      18 |   557224 |   350252 |    25408     28 |      570 |      268
839.36/839.52	c  839s |      18 |   558199 |   351052 |    25408     28 |      570 |      268
841.47/841.64	c  841s |      18 |   559019 |   351752 |    25408     28 |      570 |      268
843.46/843.69	c  843s |      18 |   559857 |   352452 |    25408     28 |      570 |      268
845.56/845.73	c  845s |      18 |   560565 |   353052 |    25408     28 |      570 |      268
847.56/847.77	c  847s |      18 |   561291 |   353652 |    25408     28 |      570 |      268
849.66/849.88	c  849s |      18 |   562075 |   354252 |    25408     28 |      570 |      268
851.86/852.07	c  851s |      18 |   562790 |   354852 |    25408     28 |      570 |      268
854.17/854.34	c  854s |      18 |   563496 |   355452 |    25408     28 |      570 |      268
856.27/856.42	c  856s |      18 |   564197 |   356052 |    25408     28 |      570 |      268
858.47/858.67	c  858s |      18 |   565035 |   356752 |    25408     28 |      570 |      268
860.57/860.76	c  860s |      18 |   565771 |   357352 |    25408     28 |      570 |      268
862.76/862.97	c  862s |      18 |   566493 |   357952 |    25408     28 |      570 |      268
864.86/865.07	c  864s |      18 |   567061 |   358452 |    25408     28 |      570 |      268
867.16/867.30	c  867s |      18 |   567792 |   359052 |    25408     28 |      570 |      268
869.16/869.30	c  869s |      18 |   568363 |   359552 |    25408     29 |      570 |      268
871.17/871.32	c  871s |      18 |   569031 |   360152 |    25408     29 |      570 |      268
873.37/873.52	c  873s |      18 |   569830 |   360852 |    25408     29 |      570 |      268
875.66/875.88	c  875s |      18 |   570603 |   361552 |    25408     29 |      570 |      268
877.86/878.05	c  877s |      18 |   571438 |   362252 |    25408     29 |      570 |      268
880.16/880.33	c  880s |      18 |   572218 |   362952 |    25408     29 |      570 |      268
882.36/882.55	c  882s |      18 |   573027 |   363652 |    25408     29 |      570 |      268
884.66/884.85	c  884s |      18 |   573813 |   364352 |    25408     29 |      570 |      268
886.86/887.03	c  886s |      18 |   574462 |   364952 |    25408     29 |      570 |      268
889.06/889.26	c  888s |      18 |   575115 |   365552 |    25408     29 |      570 |      268
891.26/891.43	c  891s |      18 |   575809 |   366152 |    25408     29 |      570 |      268
893.46/893.68	c  893s |      18 |   576619 |   366852 |    25408     29 |      570 |      268
895.66/895.89	c  895s |      18 |   577306 |   367452 |    25408     29 |      570 |      268
897.76/897.96	c  897s |      18 |   578046 |   368052 |    25408     29 |      570 |      268
899.96/900.15	c  899s |      18 |   578802 |   368652 |    25408     29 |      570 |      268
902.06/902.28	c  902s |      18 |   579530 |   369252 |    25408     29 |      570 |      268
904.36/904.55	c  904s |      18 |   580263 |   369852 |    25408     29 |      570 |      268
906.86/907.02	c  906s |      18 |   580986 |   370452 |    25408     29 |      570 |      268
909.16/909.36	c  909s |      18 |   581419 |   370852 |    25408     29 |      570 |      268
911.45/911.69	c  911s |      18 |   582188 |   371452 |    25408     29 |      570 |      268
913.55/913.75	c  913s |      18 |   582917 |   372052 |    25408     29 |      570 |      268
915.85/916.01	c  915s |      18 |   583864 |   372852 |    25408     29 |      570 |      268
918.05/918.27	c  917s |      18 |   584678 |   373552 |    25408     29 |      570 |      268
920.15/920.37	c  920s |      18 |   585285 |   374052 |    25408     30 |      570 |      268
922.35/922.52	c  922s |      18 |   586249 |   374852 |    25408     30 |      570 |      268
924.45/924.69	c  924s |      18 |   587211 |   375652 |    25408     30 |      570 |      268
926.75/926.97	c  926s |      18 |   587978 |   376352 |    25408     30 |      570 |      268
928.95/929.16	c  928s |      18 |   588898 |   377152 |    25408     30 |      570 |      268
930.95/931.19	c  930s |      18 |   589744 |   377852 |    25408     30 |      570 |      268
933.05/933.21	c  932s |      18 |   590650 |   378552 |    25408     30 |      570 |      268
935.05/935.23	c  934s |      18 |   591499 |   379252 |    25408     30 |      570 |      268
937.06/937.29	c  937s |      18 |   592182 |   379852 |    25408     30 |      570 |      268
939.26/939.50	c  939s |      18 |   593192 |   380652 |    25408     30 |      570 |      268
941.56/941.78	c  941s |      18 |   594157 |   381452 |    25408     30 |      570 |      268
943.76/943.94	c  943s |      18 |   594975 |   382152 |    25408     30 |      570 |      268
945.75/945.94	c  945s |      18 |   595832 |   382852 |    25408     30 |      570 |      268
947.75/947.99	c  947s |      18 |   596868 |   383652 |    25408     30 |      570 |      268
949.85/950.01	c  949s |      18 |   597859 |   384452 |    25408     30 |      570 |      268
951.95/952.14	c  951s |      18 |   598688 |   385152 |    25408     30 |      570 |      268
954.05/954.29	c  954s |      18 |   599544 |   385852 |    25408     30 |      570 |      268
956.15/956.35	c  956s |      18 |   600264 |   386452 |    25408     30 |      570 |      268
958.35/958.56	c  958s |      18 |   601003 |   387052 |    25408     30 |      570 |      268
960.35/960.57	c  960s |      18 |   601729 |   387652 |    25408     30 |      570 |      268
962.45/962.68	c  962s |      18 |   602351 |   388152 |    25408     31 |      570 |      268
964.65/964.86	c  964s |      18 |   603263 |   388952 |    25408     31 |      570 |      268
966.85/967.03	c  966s |      18 |   604180 |   389752 |    25408     31 |      570 |      268
969.05/969.26	c  968s |      18 |   604977 |   390452 |    25408     31 |      570 |      268
971.15/971.33	c  971s |      18 |   605802 |   391152 |    25408     31 |      570 |      268
973.25/973.50	c  973s |      18 |   606647 |   391852 |    25408     31 |      570 |      268
975.34/975.51	c  975s |      18 |   607691 |   392652 |    25408     31 |      570 |      268
977.34/977.54	c  977s |      18 |   608529 |   393352 |    25408     31 |      570 |      268
979.44/979.63	c  979s |      18 |   609205 |   393952 |    25408     31 |      570 |      268
981.54/981.77	c  981s |      18 |   609852 |   394552 |    25408     31 |      570 |      268
983.64/983.85	c  983s |      18 |   610582 |   395152 |    25408     31 |      570 |      268
985.84/986.03	c  985s |      18 |   611277 |   395752 |    25408     31 |      570 |      268
988.04/988.21	c  987s |      18 |   611937 |   396352 |    25408     31 |      570 |      268
990.34/990.51	c  990s |      18 |   612641 |   396952 |    25408     31 |      570 |      268
992.54/992.77	c  992s |      18 |   613364 |   397552 |    25408     31 |      570 |      268
994.64/994.80	c  994s |      18 |   614092 |   398152 |    25408     31 |      570 |      268
996.84/997.01	c  996s |      18 |   614934 |   398852 |    25408     31 |      570 |      268
998.94/999.14	c  998s |      18 |   615629 |   399452 |    25408     31 |      570 |      268
1001.44/1001.61	c 1001s |      18 |   616484 |   400152 |    25408     31 |      570 |      268
1003.44/1003.63	c 1003s |      18 |   617220 |   400752 |    25408     31 |      570 |      268
1005.64/1005.83	c 1005s |      18 |   618067 |   401452 |    25408     31 |      570 |      268
1007.73/1007.97	c 1007s |      18 |   618785 |   402052 |    25408     31 |      570 |      268
1010.03/1010.20	c 1009s |      18 |   619379 |   402552 |    25408     32 |      570 |      268
1012.03/1012.28	c 1012s |      18 |   620347 |   403352 |    25408     32 |      570 |      268
1014.23/1014.41	c 1014s |      18 |   621222 |   404052 |    25408     32 |      570 |      268
1016.24/1016.42	c 1016s |      18 |   621894 |   404652 |    25408     32 |      570 |      268
1018.23/1018.48	c 1018s |      18 |   622564 |   405252 |    25408     32 |      570 |      268
1020.33/1020.52	c 1020s |      18 |   623239 |   405852 |    25408     32 |      570 |      268
1022.33/1022.57	c 1022s |      18 |   623916 |   406452 |    25408     32 |      570 |      268
1024.53/1024.76	c 1024s |      18 |   624583 |   407052 |    25408     32 |      570 |      268
1026.63/1026.80	c 1026s |      18 |   625142 |   407552 |    25408     32 |      570 |      268
1028.93/1029.16	c 1028s |      18 |   625821 |   408152 |    25408     32 |      570 |      268
1031.03/1031.21	c 1030s |      18 |   626566 |   408752 |    25408     32 |      570 |      268
1033.23/1033.49	c 1033s |      18 |   627394 |   409452 |    25408     32 |      570 |      268
1035.53/1035.73	c 1035s |      18 |   628100 |   410052 |    25408     32 |      570 |      268
1037.63/1037.84	c 1037s |      18 |   628998 |   410752 |    25408     32 |      570 |      268
1039.63/1039.87	c 1039s |      18 |   629684 |   411352 |    25408     32 |      570 |      268
1041.73/1041.93	c 1041s |      18 |   630275 |   411852 |    25408     32 |      570 |      268
1043.74/1043.99	c 1043s |      18 |   630998 |   412452 |    25408     32 |      570 |      268
1045.84/1046.06	c 1045s |      18 |   631734 |   413052 |    25408     32 |      570 |      268
1048.03/1048.27	c 1047s |      18 |   632441 |   413652 |    25408     32 |      570 |      268
1050.13/1050.33	c 1050s |      18 |   633026 |   414152 |    25408     32 |      570 |      268
1052.23/1052.49	c 1052s |      18 |   633871 |   414752 |    25408     32 |      570 |      268
1054.53/1054.78	c 1054s |      18 |   634603 |   415352 |    25408     32 |      570 |      268
1056.83/1057.01	c 1056s |      18 |   635200 |   415852 |    25408     32 |      570 |      268
1058.83/1059.08	c 1058s |      18 |   635804 |   416352 |    25408     32 |      570 |      268
1061.34/1061.56	c 1061s |      18 |   636293 |   416752 |    25408     33 |      570 |      268
1063.43/1063.62	c 1063s |      18 |   637203 |   417452 |    25408     33 |      570 |      268
1065.53/1065.73	c 1065s |      18 |   638036 |   418152 |    25408     33 |      570 |      268
1067.73/1067.94	c 1067s |      18 |   639040 |   418952 |    25408     33 |      570 |      268
1069.83/1070.03	c 1069s |      18 |   639840 |   419652 |    25408     33 |      570 |      268
1072.03/1072.25	c 1071s |      18 |   640655 |   420352 |    25408     33 |      570 |      268
1074.33/1074.50	c 1074s |      18 |   641484 |   421052 |    25408     33 |      570 |      268
1076.63/1076.89	c 1076s |      18 |   642332 |   421752 |    25408     33 |      570 |      268
1078.73/1078.90	c 1078s |      18 |   643075 |   422352 |    25408     33 |      570 |      268
1080.83/1081.02	c 1080s |      18 |   643757 |   422952 |    25408     33 |      570 |      268
1083.03/1083.27	c 1082s |      18 |   644676 |   423652 |    25408     33 |      570 |      268
1085.33/1085.58	c 1085s |      18 |   645514 |   424352 |    25408     33 |      570 |      268
1087.43/1087.60	c 1087s |      18 |   646225 |   424952 |    25408     33 |      570 |      268
1089.42/1089.63	c 1089s |      18 |   646805 |   425452 |    25408     33 |      570 |      268
1091.62/1091.81	c 1091s |      18 |   647498 |   426052 |    25408     33 |      570 |      268
1093.62/1093.88	c 1093s |      18 |   648068 |   426552 |    25408     33 |      570 |      268
1095.92/1096.19	c 1095s |      18 |   648749 |   427152 |    25408     33 |      570 |      268
1098.12/1098.32	c 1098s |      18 |   649315 |   427652 |    25408     33 |      570 |      268
1100.52/1100.77	c 1100s |      18 |   649895 |   428152 |    25408     33 |      570 |      268
1103.03/1103.29	c 1103s |      18 |   650431 |   428652 |    25408     33 |      570 |      268
1105.33/1105.56	c 1105s |      18 |   651007 |   429152 |    25408     33 |      570 |      268
1107.63/1107.88	c 1107s |      18 |   651714 |   429752 |    25408     33 |      570 |      268
1109.93/1110.12	c 1109s |      18 |   652474 |   430352 |    25408     33 |      570 |      268
1111.93/1112.17	c 1111s |      18 |   653059 |   430852 |    25408     33 |      570 |      268
1114.23/1114.46	c 1114s |      18 |   653525 |   431252 |    25408     34 |      570 |      268
1116.33/1116.52	c 1116s |      18 |   654222 |   431852 |    25408     34 |      570 |      268
1118.42/1118.67	c 1118s |      18 |   655020 |   432552 |    25408     34 |      570 |      268
1120.73/1120.93	c 1120s |      18 |   655885 |   433252 |    25408     34 |      570 |      268
1122.93/1123.15	c 1122s |      18 |   656717 |   433952 |    25408     34 |      570 |      268
1125.13/1125.35	c 1125s |      18 |   657381 |   434552 |    25408     34 |      570 |      268
1127.12/1127.37	c 1127s |      18 |   658110 |   435152 |    25408     34 |      570 |      268
1129.12/1129.37	c 1129s |      18 |   658803 |   435752 |    25408     34 |      570 |      268
1131.22/1131.46	c 1131s |      18 |   659525 |   436352 |    25408     34 |      570 |      268
1133.42/1133.68	c 1133s |      18 |   660231 |   436952 |    25408     34 |      570 |      268
1135.62/1135.83	c 1135s |      18 |   660924 |   437552 |    25408     34 |      570 |      268
1138.02/1138.24	c 1137s |      18 |   661603 |   438152 |    25408     34 |      570 |      268
1140.02/1140.24	c 1139s |      18 |   662178 |   438652 |    25408     34 |      570 |      268
1142.22/1142.42	c 1142s |      18 |   662741 |   439152 |    25408     34 |      570 |      268
1144.22/1144.42	c 1144s |      18 |   663200 |   439552 |    25408     34 |      570 |      268
1146.22/1146.47	c 1146s |      18 |   663937 |   440152 |    25408     34 |      570 |      268
1148.42/1148.63	c 1148s |      18 |   664662 |   440752 |    25408     34 |      570 |      268
1150.52/1150.75	c 1150s |      18 |   665404 |   441352 |    27949     34 |      570 |      268
1152.92/1153.16	c 1152s |      18 |   666110 |   441952 |    27949     34 |      570 |      268
1155.02/1155.28	c 1155s |      18 |   666690 |   442452 |    27949     34 |      570 |      268
1157.12/1157.35	c 1157s |      18 |   667239 |   442952 |    27949     34 |      570 |      268
1159.32/1159.57	c 1159s |      18 |   667975 |   443552 |    27949     34 |      570 |      268
1161.42/1161.66	c 1161s |      18 |   668580 |   444052 |    27949     34 |      570 |      268
1162.91/1163.14	c 1162s |      19 |   669081 |   444482 |    27949     34 |      570 |      268
1164.91/1165.17	c 1164s |      19 |   676463 |   446282 |    27949     34 |      570 |      268
1167.02/1167.23	c 1166s |      19 |   680608 |   447982 |    27949     35 |      570 |      268
1169.12/1169.33	c 1169s |      19 |   682875 |   449482 |    27949     35 |      570 |      268
1171.11/1171.35	c 1171s |      19 |   687030 |   451282 |    27949     35 |      570 |      268
1173.31/1173.51	c 1173s |      19 |   688547 |   452482 |    27949     35 |      570 |      268
1175.41/1175.64	c 1175s |      19 |   689980 |   453582 |    27949     35 |      570 |      268
1177.51/1177.73	c 1177s |      19 |   691422 |   454682 |    27949     35 |      570 |      268
1179.61/1179.87	c 1179s |      19 |   692517 |   455582 |    27949     35 |      570 |      268
1181.81/1182.09	c 1181s |      19 |   693558 |   456482 |    27949     35 |      570 |      268
1184.01/1184.20	c 1183s |      19 |   694481 |   457282 |    27949     35 |      570 |      268
1186.11/1186.30	c 1186s |      19 |   695415 |   458082 |    27949     35 |      570 |      268
1188.31/1188.58	c 1188s |      19 |   696305 |   458882 |    27949     35 |      570 |      268
1190.51/1190.72	c 1190s |      19 |   697126 |   459582 |    27949     35 |      570 |      268
1192.61/1192.81	c 1192s |      19 |   697896 |   460282 |    27949     35 |      570 |      268
1194.71/1194.92	c 1194s |      19 |   699520 |   461282 |    27949     35 |      570 |      268
1196.81/1197.00	c 1196s |      19 |   700579 |   462082 |    27949     35 |      570 |      268
1198.81/1199.03	c 1198s |      19 |   702681 |   463082 |    27949     35 |      570 |      268
1201.01/1201.24	c 1200s |      19 |   703554 |   463782 |    27949     36 |      570 |      268
1203.11/1203.33	c 1203s |      19 |   704479 |   464582 |    27949     36 |      570 |      268
1205.20/1205.45	c 1205s |      19 |   705257 |   465282 |    27949     36 |      570 |      268
1207.61/1207.84	c 1207s |      19 |   706040 |   465982 |    27949     36 |      570 |      268
1209.91/1210.12	c 1209s |      19 |   706696 |   466582 |    27949     36 |      570 |      268
1212.20/1212.41	c 1212s |      19 |   707515 |   467182 |    27949     36 |      570 |      268
1214.21/1214.41	c 1214s |      19 |   709269 |   468082 |    27949     36 |      570 |      268
1216.20/1216.41	c 1216s |      19 |   712732 |   469482 |    27949     36 |      570 |      268
1218.20/1218.43	c 1218s |      19 |   720822 |   471282 |    27949     36 |      570 |      268
1220.20/1220.47	c 1220s |      19 |   723571 |   472282 |    27949     36 |      570 |      268
1222.30/1222.50	c 1222s |      19 |   728949 |   473682 |    27949     36 |      570 |      268
1224.30/1224.53	c 1224s |      19 |   732828 |   474982 |    27949     36 |      570 |      268
1226.31/1226.55	c 1226s |      19 |   733929 |   475882 |    27949     36 |      570 |      268
1228.51/1228.72	c 1228s |      19 |   736424 |   476982 |    27949     36 |      570 |      268
1230.60/1230.87	c 1230s |      19 |   738163 |   478082 |    27949     36 |      570 |      268
1232.70/1232.90	c 1232s |      19 |   739104 |   478882 |    27949     36 |      570 |      268
1234.80/1235.03	c 1234s |      19 |   739820 |   479482 |    27949     37 |      570 |      268
1237.01/1237.22	c 1236s |      19 |   740835 |   480382 |    27949     37 |      570 |      268
1239.01/1239.27	c 1238s |      19 |   741634 |   481082 |    27949     37 |      570 |      268
1241.11/1241.31	c 1241s |      19 |   742574 |   481882 |    27949     37 |      570 |      268
1243.21/1243.42	c 1243s |      19 |   743340 |   482582 |    27949     37 |      570 |      268
1245.51/1245.73	c 1245s |      19 |   744232 |   483382 |    27949     37 |      570 |      268
1247.51/1247.74	c 1247s |      19 |   745168 |   484182 |    27949     37 |      570 |      268
1249.71/1249.93	c 1249s |      19 |   746083 |   484982 |    27949     37 |      570 |      268
1252.00/1252.22	c 1251s |      19 |   746984 |   485782 |    27949     37 |      570 |      268
1254.20/1254.44	c 1254s |      19 |   747754 |   486482 |    27949     37 |      570 |      268
1256.40/1256.64	c 1256s |      19 |   748544 |   487182 |    27949     37 |      570 |      268
1258.70/1258.91	c 1258s |      19 |   749560 |   487982 |    27949     37 |      570 |      268
1260.80/1261.08	c 1260s |      19 |   750386 |   488682 |    27949     37 |      570 |      268
1262.80/1263.09	c 1262s |      19 |   751058 |   489282 |    27949     37 |      570 |      268
1264.91/1265.17	c 1264s |      19 |   751953 |   489982 |    27949     37 |      570 |      268
1266.90/1267.19	c 1266s |      19 |   753202 |   490882 |    27949     37 |      570 |      268
1269.21/1269.41	c 1269s |      19 |   754191 |   491682 |    27949     37 |      570 |      268
1271.41/1271.67	c 1271s |      19 |   755305 |   492582 |    27949     37 |      570 |      268
1273.50/1273.70	c 1273s |      19 |   756123 |   493282 |    27949     37 |      570 |      268
1275.50/1275.79	c 1275s |      19 |   757111 |   493982 |    27949     37 |      570 |      268
1277.60/1277.86	c 1277s |      19 |   758035 |   494682 |    27949     37 |      570 |      268
1279.90/1280.10	c 1279s |      19 |   758739 |   495282 |    27949     38 |      570 |      268
1282.00/1282.25	c 1281s |      19 |   759714 |   496082 |    27949     38 |      570 |      268
1284.20/1284.40	c 1284s |      19 |   760636 |   496882 |    27949     38 |      570 |      268
1286.20/1286.45	c 1286s |      19 |   761496 |   497582 |    27949     38 |      570 |      268
1288.30/1288.56	c 1288s |      19 |   762305 |   498282 |    27949     38 |      570 |      268
1290.40/1290.63	c 1290s |      19 |   763117 |   498982 |    27949     38 |      570 |      268
1292.50/1292.78	c 1292s |      19 |   763912 |   499682 |    27949     38 |      570 |      268
1294.80/1295.00	c 1294s |      19 |   764724 |   500382 |    27949     38 |      570 |      268
1296.80/1297.08	c 1296s |      19 |   765393 |   500982 |    27949     38 |      570 |      268
1298.90/1299.11	c 1298s |      19 |   766053 |   501582 |    27949     38 |      570 |      268
1300.90/1301.19	c 1300s |      19 |   766742 |   502182 |    27949     38 |      570 |      268
1303.10/1303.33	c 1303s |      19 |   767471 |   502782 |    27949     38 |      570 |      268
1305.20/1305.46	c 1305s |      19 |   768150 |   503382 |    27949     38 |      570 |      268
1307.30/1307.59	c 1307s |      19 |   768823 |   503982 |    27949     38 |      570 |      268
1309.40/1309.62	c 1309s |      19 |   769371 |   504482 |    27949     38 |      570 |      268
1311.69/1311.93	c 1311s |      19 |   770041 |   505082 |    27949     38 |      570 |      268
1313.69/1313.97	c 1313s |      19 |   770587 |   505582 |    27949     38 |      570 |      268
1315.89/1316.16	c 1315s |      19 |   771134 |   506082 |    27949     38 |      570 |      268
1317.99/1318.21	c 1317s |      19 |   771699 |   506582 |    27949     38 |      570 |      268
1320.19/1320.42	c 1320s |      19 |   772261 |   507082 |    27949     38 |      570 |      268
1322.39/1322.67	c 1322s |      19 |   772806 |   507582 |    27949     38 |      570 |      268
1324.59/1324.82	c 1324s |      19 |   773357 |   508082 |    27949     38 |      570 |      268
1326.89/1327.17	c 1326s |      19 |   773891 |   508582 |    27949     38 |      570 |      268
1329.29/1329.57	c 1329s |      19 |   774426 |   509082 |    27949     38 |      570 |      268
1331.69/1331.92	c 1331s |      19 |   774962 |   509582 |    27949     38 |      570 |      268
1334.20/1334.44	c 1334s |      19 |   775496 |   510082 |    27949     38 |      570 |      268
1336.19/1336.47	c 1336s |      19 |   775842 |   510382 |    27949     39 |      570 |      268
1338.39/1338.68	c 1338s |      19 |   776486 |   510982 |    27949     39 |      570 |      268
1340.70/1340.94	c 1340s |      19 |   777150 |   511582 |    27949     39 |      570 |      268
1343.00/1343.29	c 1343s |      19 |   777787 |   512182 |    27949     39 |      570 |      268
1345.29/1345.58	c 1345s |      19 |   778451 |   512782 |    27949     39 |      570 |      268
1347.59/1347.86	c 1347s |      19 |   779089 |   513382 |    27949     39 |      570 |      268
1349.89/1350.12	c 1349s |      19 |   779789 |   513982 |    27949     39 |      570 |      268
1351.89/1352.19	c 1351s |      19 |   780487 |   514582 |    27949     39 |      570 |      268
1354.09/1354.33	c 1354s |      19 |   781155 |   515182 |    27949     39 |      570 |      268
1356.19/1356.47	c 1356s |      19 |   781820 |   515782 |    27949     39 |      570 |      268
1358.49/1358.71	c 1358s |      19 |   782348 |   516282 |    27949     39 |      570 |      268
1360.59/1360.82	c 1360s |      19 |   782898 |   516782 |    27949     39 |      570 |      268
1362.79/1363.03	c 1362s |      19 |   783443 |   517282 |    27949     39 |      570 |      268
1364.99/1365.23	c 1364s |      19 |   783976 |   517782 |    27949     39 |      570 |      268
1367.29/1367.54	c 1367s |      19 |   784518 |   518282 |    27949     39 |      570 |      268
1369.68/1369.90	c 1369s |      19 |   785069 |   518782 |    27949     39 |      570 |      268
1371.98/1372.29	c 1372s |      19 |   785617 |   519282 |    27949     39 |      570 |      268
1374.08/1374.32	c 1374s |      19 |   786166 |   519782 |    27949     39 |      570 |      268
1376.28/1376.51	c 1376s |      19 |   786692 |   520282 |    27949     39 |      570 |      268
1378.48/1378.71	c 1378s |      19 |   787241 |   520782 |    27949     39 |      570 |      268
1380.68/1380.98	c 1380s |      19 |   787789 |   521282 |    27949     39 |      570 |      268
1382.88/1383.13	c 1382s |      19 |   788333 |   521782 |    27949     39 |      570 |      268
1385.08/1385.36	c 1385s |      19 |   788882 |   522282 |    27949     39 |      570 |      268
1387.18/1387.47	c 1387s |      19 |   789306 |   522682 |    27949     39 |      570 |      268
1389.58/1389.81	c 1389s |      19 |   789847 |   523182 |    27949     39 |      570 |      268
1391.98/1392.24	c 1391s |      19 |   790390 |   523682 |    27949     39 |      570 |      268
1394.18/1394.40	c 1394s |      19 |   790969 |   524182 |    27949     39 |      570 |      268
1396.38/1396.63	c 1396s |      19 |   791503 |   524682 |    27949     39 |      570 |      268
1398.88/1399.11	c 1398s |      19 |   792054 |   525182 |    27949     39 |      570 |      268
1400.88/1401.14	c 1400s |      19 |   792483 |   525582 |    27949     39 |      570 |      268
1402.98/1403.23	c 1402s |      19 |   792808 |   525882 |    27949     40 |      570 |      268
1405.28/1405.53	c 1405s |      19 |   793465 |   526482 |    27949     40 |      570 |      268
1407.48/1407.76	c 1407s |      19 |   794130 |   527082 |    27949     40 |      570 |      268
1409.68/1409.99	c 1409s |      19 |   794791 |   527682 |    27949     40 |      570 |      268
1411.78/1412.07	c 1411s |      19 |   795346 |   528182 |    27949     40 |      570 |      268
1414.08/1414.36	c 1414s |      19 |   795989 |   528782 |    27949     40 |      570 |      268
1416.07/1416.37	c 1416s |      19 |   796532 |   529282 |    27949     40 |      570 |      268
1418.17/1418.42	c 1418s |      19 |   797061 |   529782 |    27949     40 |      570 |      268
1420.17/1420.48	c 1420s |      19 |   797579 |   530282 |    27949     40 |      570 |      268
1422.37/1422.69	c 1422s |      19 |   798123 |   530782 |    27949     40 |      570 |      268
1424.47/1424.70	c 1424s |      19 |   798676 |   531282 |    27949     40 |      570 |      268
1426.47/1426.71	c 1426s |      19 |   799214 |   531782 |    27949     40 |      570 |      268
1428.67/1428.98	c 1428s |      19 |   800266 |   532582 |    27949     40 |      570 |      268
1430.97/1431.25	c 1430s |      19 |   800978 |   533182 |    27949     40 |      570 |      268
1433.26/1433.58	c 1433s |      19 |   801703 |   533782 |    27949     40 |      570 |      268
1435.66/1435.93	c 1435s |      19 |   802231 |   534282 |    27949     40 |      570 |      268
1437.95/1438.27	c 1437s |      19 |   802948 |   534882 |    27949     40 |      570 |      268
1440.35/1440.61	c 1440s |      19 |   803634 |   535482 |    27949     40 |      570 |      268
1442.55/1442.88	c 1442s |      19 |   804352 |   536082 |    27949     40 |      570 |      268
1445.05/1445.36	c 1445s |      19 |   804925 |   536582 |    27949     40 |      570 |      268
1447.25/1447.57	c 1447s |      19 |   805352 |   536982 |    27949     40 |      570 |      268
1449.65/1449.96	c 1449s |      19 |   805903 |   537482 |    27949     40 |      570 |      268
1451.85/1452.12	c 1451s |      19 |   806336 |   537882 |    27949     40 |      570 |      268
1454.05/1454.33	c 1454s |      19 |   806921 |   538382 |    27949     40 |      570 |      268
1456.34/1456.67	c 1456s |      19 |   807486 |   538882 |    27949     40 |      570 |      268
1458.84/1459.12	c 1458s |      19 |   807926 |   539282 |    27949     40 |      570 |      268
1461.24/1461.50	c 1461s |      19 |   808399 |   539682 |    27949     40 |      570 |      268
1463.44/1463.77	c 1463s |      19 |   808847 |   540082 |    27949     40 |      570 |      268
1465.83/1466.12	c 1465s |      19 |   809311 |   540482 |    27949     40 |      570 |      268
1467.83/1468.13	c 1467s |      19 |   809644 |   540782 |    27949     40 |      570 |      268
1469.83/1470.17	c 1469s |      19 |   810107 |   541182 |    27949     40 |      570 |      268
1472.03/1472.33	c 1472s |      19 |   810443 |   541482 |    27949     41 |      570 |      268
1474.23/1474.50	c 1474s |      19 |   811260 |   542182 |    27949     41 |      570 |      268
1476.23/1476.54	c 1476s |      19 |   811824 |   542682 |    27949     41 |      570 |      268
1478.43/1478.76	c 1478s |      19 |   812382 |   543182 |    27949     41 |      570 |      268
1480.93/1481.27	c 1480s |      19 |   812947 |   543682 |    27949     41 |      570 |      268
1483.33/1483.62	c 1483s |      19 |   813505 |   544182 |    27949     41 |      570 |      268
1485.73/1486.09	c 1485s |      19 |   814048 |   544682 |    27949     41 |      570 |      268
1487.82/1488.15	c 1487s |      19 |   814475 |   545082 |    27949     41 |      570 |      268
1490.02/1490.38	c 1490s |      19 |   814919 |   545482 |    27949     41 |      570 |      268
1492.63/1492.96	c 1492s |      19 |   815351 |   545882 |    27949     41 |      570 |      268
1494.83/1495.10	c 1494s |      19 |   815678 |   546182 |    27949     41 |      570 |      268
1497.33/1497.69	c 1497s |      19 |   816121 |   546582 |    27949     41 |      570 |      268
1499.83/1500.10	c 1499s |      19 |   816571 |   546982 |    27949     41 |      570 |      268
1502.13/1502.49	c 1502s |      19 |   817017 |   547382 |    27949     41 |      570 |      268
1504.64/1504.99	c 1504s |      19 |   817577 |   547882 |    27949     41 |      570 |      268
1506.93/1507.24	c 1506s |      19 |   818042 |   548282 |    27949     41 |      570 |      268
1509.23/1509.50	c 1509s |      19 |   818498 |   548682 |    27949     41 |      570 |      268
1511.73/1512.06	c 1511s |      19 |   818924 |   549082 |    27949     41 |      570 |      268
1514.13/1514.46	c 1514s |      19 |   819470 |   549582 |    27949     41 |      570 |      268
1516.43/1516.70	c 1516s |      19 |   820015 |   550082 |    27949     41 |      570 |      268
1518.43/1518.76	c 1518s |      19 |   820337 |   550382 |    27949     41 |      570 |      268
1520.52/1520.88	c 1520s |      19 |   820775 |   550782 |    27949     41 |      570 |      268
1522.72/1523.07	c 1522s |      19 |   821249 |   551182 |    27949     41 |      570 |      268
1525.32/1525.64	c 1525s |      19 |   821701 |   551582 |    27949     41 |      570 |      268
1527.73/1528.09	c 1527s |      19 |   822180 |   551982 |    27949     41 |      570 |      268
1529.93/1530.28	c 1530s |      19 |   822646 |   552382 |    27949     41 |      570 |      268
1532.52/1532.88	c 1532s |      19 |   823095 |   552782 |    27949     41 |      570 |      268
1534.82/1535.13	c 1534s |      19 |   823565 |   553182 |    27949     41 |      570 |      268
1537.12/1537.44	c 1537s |      19 |   824171 |   553682 |    27949     41 |      570 |      268
1539.52/1539.87	c 1539s |      19 |   824621 |   554082 |    27949     41 |      570 |      268
1542.12/1542.42	c 1542s |      19 |   825048 |   554482 |    27949     41 |      570 |      268
1544.72/1545.07	c 1544s |      19 |   825472 |   554882 |    27949     41 |      570 |      268
1547.01/1547.35	c 1547s |      19 |   825796 |   555182 |    27949     41 |      570 |      268
1549.31/1549.60	c 1549s |      19 |   826140 |   555482 |    27949     41 |      570 |      268
1551.61/1551.91	c 1551s |      19 |   826458 |   555782 |    27949     41 |      570 |      268
1553.91/1554.20	c 1553s |      19 |   826778 |   556082 |    27949     41 |      570 |      268
1556.00/1556.35	c 1556s |      19 |   827117 |   556382 |    27949     41 |      570 |      268
1558.10/1558.42	c 1558s |      19 |   827469 |   556682 |    27949     41 |      570 |      268
1560.40/1560.70	c 1560s |      19 |   827828 |   556982 |    27949     42 |      570 |      268
1562.60/1562.94	c 1562s |      19 |   828275 |   557382 |    27949     42 |      570 |      268
1565.01/1565.32	c 1565s |      19 |   828837 |   557882 |    27949     42 |      570 |      268
1567.10/1567.45	c 1567s |      19 |   829278 |   558282 |    27949     42 |      570 |      268
1569.20/1569.58	c 1569s |      19 |   829977 |   558882 |    27949     42 |      570 |      268
1571.30/1571.62	c 1571s |      19 |   830778 |   559582 |    27949     42 |      570 |      268
1573.49/1573.86	c 1573s |      19 |   831567 |   560282 |    27949     42 |      570 |      268
1575.59/1575.99	c 1575s |      19 |   832265 |   560882 |    27949     42 |      570 |      268
1577.79/1578.16	c 1577s |      19 |   833049 |   561582 |    27949     42 |      570 |      268
1579.89/1580.22	c 1579s |      19 |   833748 |   562182 |    27949     42 |      570 |      268
1581.99/1582.36	c 1582s |      19 |   834446 |   562782 |    27949     42 |      570 |      268
1584.09/1584.48	c 1584s |      19 |   835130 |   563382 |    27949     42 |      570 |      268
1586.48/1586.87	c 1586s |      19 |   835951 |   564082 |    27949     42 |      570 |      268
1588.68/1589.03	c 1588s |      19 |   836624 |   564682 |    27949     42 |      570 |      268
1590.78/1591.11	c 1590s |      19 |   837194 |   565182 |    27949     42 |      570 |      268
1593.08/1593.41	c 1593s |      19 |   837877 |   565782 |    27949     42 |      570 |      268
1595.18/1595.53	c 1595s |      19 |   838440 |   566282 |    27949     42 |      570 |      268
1597.48/1597.84	c 1597s |      19 |   839115 |   566882 |    27949     42 |      570 |      268
1599.78/1600.17	c 1599s |      19 |   839791 |   567482 |    27949     42 |      570 |      268
1601.88/1602.27	c 1601s |      19 |   840363 |   567982 |    27949     42 |      570 |      268
1603.98/1604.37	c 1604s |      19 |   840938 |   568482 |    27949     42 |      570 |      268
1606.17/1606.55	c 1606s |      19 |   841516 |   568982 |    27949     42 |      570 |      268
1608.37/1608.77	c 1608s |      19 |   842190 |   569582 |    27949     42 |      570 |      268
1610.57/1610.99	c 1610s |      19 |   842775 |   570082 |    27949     42 |      570 |      268
1613.07/1613.41	c 1613s |      19 |   843334 |   570582 |    27949     42 |      570 |      268
1615.37/1615.79	c 1615s |      19 |   843873 |   571082 |    27949     42 |      570 |      268
1617.46/1617.80	c 1617s |      19 |   844304 |   571482 |    27949     42 |      570 |      268
1619.66/1620.04	c 1619s |      19 |   844868 |   571982 |    27949     42 |      570 |      268
1622.66/1623.05	c 1622s |      19 |   845425 |   572482 |    27949     43 |      570 |      268
1624.87/1625.27	c 1624s |      19 |   846293 |   573182 |    27949     43 |      570 |      268
1626.96/1627.31	c 1627s |      19 |   847110 |   573882 |    27949     43 |      570 |      268
1629.06/1629.49	c 1629s |      19 |   847912 |   574582 |    27949     43 |      570 |      268
1631.46/1631.82	c 1631s |      19 |   848854 |   575382 |    27949     43 |      570 |      268
1633.66/1634.00	c 1633s |      19 |   849664 |   576082 |    27949     43 |      570 |      268
1635.66/1636.05	c 1635s |      19 |   850352 |   576682 |    27949     43 |      570 |      268
1637.86/1638.21	c 1637s |      19 |   851001 |   577282 |    27949     43 |      570 |      268
1639.96/1640.31	c 1640s |      19 |   851696 |   577882 |    27949     43 |      570 |      268
1641.96/1642.35	c 1642s |      19 |   852391 |   578482 |    27949     43 |      570 |      268
1644.06/1644.45	c 1644s |      19 |   853093 |   579082 |    27949     43 |      570 |      268
1646.15/1646.59	c 1646s |      19 |   853804 |   579682 |    27949     43 |      570 |      268
1648.15/1648.59	c 1648s |      19 |   854354 |   580182 |    27949     43 |      570 |      268
1650.25/1650.62	c 1650s |      19 |   854910 |   580682 |    27949     43 |      570 |      268
1652.45/1652.85	c 1652s |      19 |   855461 |   581182 |    27949     43 |      570 |      268
1654.65/1655.08	c 1654s |      19 |   856167 |   581782 |    27949     43 |      570 |      268
1656.64/1657.08	c 1656s |      19 |   856726 |   582282 |    27949     43 |      570 |      268
1658.74/1659.14	c 1658s |      19 |   857281 |   582782 |    27949     43 |      570 |      268
1661.04/1661.45	c 1661s |      19 |   857839 |   583282 |    27949     43 |      570 |      268
1663.24/1663.68	c 1663s |      19 |   858444 |   583782 |    27949     43 |      570 |      268
1665.34/1665.76	c 1665s |      19 |   859012 |   584282 |    27949     43 |      570 |      268
1667.54/1667.99	c 1667s |      19 |   859588 |   584782 |    27949     43 |      570 |      268
1669.84/1670.25	c 1669s |      19 |   860160 |   585282 |    27949     43 |      570 |      268
1671.94/1672.32	c 1672s |      19 |   860738 |   585782 |    27949     43 |      570 |      268
1674.03/1674.46	c 1674s |      19 |   861311 |   586282 |    27949     43 |      570 |      268
1676.23/1676.64	c 1676s |      19 |   861898 |   586782 |    27949     43 |      570 |      268
1678.43/1678.81	c 1678s |      19 |   862482 |   587282 |    27949     43 |      570 |      268
1680.83/1681.24	c 1680s |      19 |   863036 |   587782 |    27949     43 |      570 |      268
1683.23/1683.63	c 1683s |      19 |   863455 |   588182 |    27949     44 |      570 |      268
1685.43/1685.82	c 1685s |      19 |   864120 |   588782 |    27949     44 |      570 |      268
1687.52/1687.99	c 1687s |      19 |   864840 |   589382 |    27949     44 |      570 |      268
1689.92/1690.32	c 1690s |      19 |   865655 |   590082 |    27949     44 |      570 |      268
1691.92/1692.33	c 1692s |      19 |   866346 |   590682 |    27949     44 |      570 |      268
1694.12/1694.51	c 1694s |      19 |   867041 |   591282 |    27949     44 |      570 |      268
1696.31/1696.73	c 1696s |      19 |   867722 |   591882 |    27949     44 |      570 |      268
1698.41/1698.82	c 1698s |      19 |   868292 |   592382 |    27949     44 |      570 |      268
1700.51/1700.90	c 1700s |      19 |   869012 |   592982 |    27949     44 |      570 |      268
1702.61/1703.00	c 1702s |      19 |   869580 |   593482 |    27949     44 |      570 |      268
1704.81/1705.30	c 1705s |      19 |   870263 |   594082 |    27949     44 |      570 |      268
1707.01/1707.44	c 1707s |      19 |   870795 |   594582 |    27949     44 |      570 |      268
1709.21/1709.69	c 1709s |      19 |   871341 |   595082 |    27949     44 |      570 |      268
1711.31/1711.71	c 1711s |      19 |   871898 |   595582 |    27949     44 |      570 |      268
1713.41/1713.89	c 1713s |      19 |   872441 |   596082 |    27949     44 |      570 |      268
1715.90/1716.31	c 1716s |      19 |   873133 |   596682 |    27949     44 |      570 |      268
1717.91/1718.40	c 1718s |      19 |   873712 |   597182 |    27949     44 |      570 |      268
1720.40/1720.81	c 1720s |      19 |   874244 |   597682 |    27949     44 |      570 |      268
1722.70/1723.18	c 1722s |      19 |   874790 |   598182 |    27949     44 |      570 |      268
1724.80/1725.20	c 1724s |      19 |   875223 |   598582 |    27949     44 |      570 |      268
1726.89/1727.37	c 1727s |      19 |   875753 |   599082 |    27949     44 |      570 |      268
1729.39/1729.81	c 1729s |      19 |   876329 |   599582 |    27949     44 |      570 |      268
1731.49/1731.96	c 1731s |      19 |   876762 |   599982 |    27949     44 |      570 |      268
1733.59/1734.07	c 1733s |      19 |   877210 |   600382 |    27949     44 |      570 |      268
1736.19/1736.61	c 1736s |      19 |   877752 |   600882 |    27949     44 |      570 |      268
1738.49/1738.92	c 1738s |      19 |   878313 |   601382 |    27949     44 |      570 |      268
1740.79/1741.25	c 1740s |      19 |   878873 |   601882 |    27949     44 |      570 |      268
1743.19/1743.66	c 1743s |      19 |   879427 |   602382 |    27949     44 |      570 |      268
1745.29/1745.73	c 1745s |      19 |   879868 |   602782 |    27949     44 |      570 |      268
1747.68/1748.16	c 1747s |      19 |   880426 |   603282 |    27949     44 |      570 |      268
1749.88/1750.34	c 1750s |      19 |   880764 |   603582 |    27949     45 |      570 |      268
1751.88/1752.36	c 1752s |      19 |   881323 |   604082 |    27949     45 |      570 |      268
1753.88/1754.37	c 1754s |      19 |   881998 |   604682 |    27949     45 |      570 |      268
1756.17/1756.67	c 1756s |      19 |   882664 |   605282 |    27949     45 |      570 |      268
1758.48/1758.98	c 1758s |      19 |   883337 |   605882 |    27949     45 |      570 |      268
1760.68/1761.15	c 1760s |      19 |   883879 |   606382 |    27949     45 |      570 |      268
1762.88/1763.38	c 1763s |      19 |   884352 |   606782 |    27949     45 |      570 |      268
1764.97/1765.50	c 1765s |      19 |   885028 |   607382 |    27949     45 |      570 |      268
1767.27/1767.78	c 1767s |      19 |   885824 |   608082 |    27949     45 |      570 |      268
1769.57/1770.08	c 1769s |      19 |   886501 |   608682 |    27949     45 |      570 |      268
1772.06/1772.51	c 1772s |      19 |   887176 |   609282 |    27949     45 |      570 |      268
1774.36/1774.84	c 1774s |      19 |   887737 |   609782 |    27949     45 |      570 |      268
1776.36/1776.86	c 1776s |      19 |   888319 |   610282 |    27949     45 |      570 |      268
1778.76/1779.20	c 1778s |      19 |   889011 |   610882 |    27949     45 |      570 |      268
1780.96/1781.43	c 1781s |      19 |   889572 |   611382 |    27949     45 |      570 |      268
1783.06/1783.53	c 1783s |      19 |   890155 |   611882 |    27949     45 |      570 |      268
1785.36/1785.88	c 1785s |      19 |   890806 |   612482 |    27949     45 |      570 |      268
1787.85/1788.31	c 1788s |      19 |   891443 |   613082 |    27949     45 |      570 |      268
1790.25/1790.79	c 1790s |      19 |   892016 |   613582 |    27949     45 |      570 |      268
1792.45/1792.95	c 1792s |      19 |   892574 |   614082 |    27949     45 |      570 |      268
1794.76/1795.21	c 1794s |      19 |   893120 |   614582 |    27949     45 |      570 |      268
1796.85/1797.35	c 1797s |      19 |   893698 |   615082 |    27949     45 |      570 |      268
1799.15/1799.61	c 1799s |      19 |   894272 |   615582 |    27949     45 |      570 |      268

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

pid=24107
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.22 2.25 2.19 3/179 24110
/proc/meminfo: memFree=30288296/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=669116 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 2481 0 0 0 0 0 0 0 20 0 4 0 30436779 685174784 3353 33554432000 4194304 16246674 140737426845968 140737426845392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 167791 3363 441 2943 0 164685 0
[pid=24110/tid=24111] ppid=24107 vsize=685500 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 701952000 3421 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 707194880 3439 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 711389184 3454 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.22 2.25 2.19 3/179 24110
/proc/meminfo: memFree=30288296/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 28466 0 0 0 4 5 0 0 20 0 4 0 30436779 1249447936 29276 33554432000 4194304 16246674 140737426845968 140737426845280 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 305041 29276 801 2943 0 301935 0
[pid=24110/tid=24111] ppid=24107 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1249447936 29276 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1249447936 29276 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1249447936 29276 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200521 s]
/proc/loadavg: 2.22 2.25 2.19 3/179 24110
/proc/meminfo: memFree=30288296/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 48674 0 0 0 12 7 0 0 20 0 4 0 30436779 1332285440 49484 33554432000 4194304 16246674 140737426845968 140737426845280 13950707 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 325265 49484 843 2943 0 322159 0
[pid=24110/tid=24111] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 49484 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 49484 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 49484 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30049 s]
/proc/loadavg: 2.22 2.25 2.19 3/179 24110
/proc/meminfo: memFree=30288296/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 54310 0 0 0 21 8 0 0 20 0 4 0 30436779 1332285440 55120 33554432000 4194304 16246674 140737426845968 140737426845280 5676365 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 325265 55125 883 2943 0 322159 0
[pid=24110/tid=24111] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 55128 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 55131 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 55135 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700411 s]
/proc/loadavg: 2.22 2.25 2.19 3/179 24110
/proc/meminfo: memFree=30288296/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 106921 0 0 0 53 16 0 0 20 0 4 0 30436779 1332285440 107731 33554432000 4194304 16246674 140737426845968 140737426845280 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 325265 107737 883 2943 0 322159 0
[pid=24110/tid=24111] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 107743 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 107748 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1332285440 107753 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 24114
/proc/meminfo: memFree=29060620/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 210584 0 0 0 117 32 0 0 20 0 4 0 30436779 1333334016 211394 33554432000 4194304 16246674 140737426845968 140737426827840 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 325521 211397 883 2943 0 322415 0
[pid=24110/tid=24111] ppid=24107 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1333334016 211401 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1333334016 211404 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1333334016 211406 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10041 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 24114
/proc/meminfo: memFree=28470256/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 267079 0 0 0 268 41 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140737426827840 6845784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 328337 267889 889 2943 0 325231 0
[pid=24110/tid=24111] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.28 2.26 2.20 3/183 24114
/proc/meminfo: memFree=28183336/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 267079 0 0 0 588 41 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140737426827840 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 328337 267889 889 2943 0 325231 0
[pid=24110/tid=24111] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7005 s]
/proc/loadavg: 2.26 2.26 2.20 3/183 24115
/proc/meminfo: memFree=28183424/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 267079 0 0 0 1228 41 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140737426827840 13781188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 328337 267889 889 2943 0 325231 0
[pid=24110/tid=24111] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 267889 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.27 2.26 2.20 3/183 24115
/proc/meminfo: memFree=28174088/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 269525 0 0 0 2507 42 0 0 20 0 4 0 30436779 1344868352 270335 33554432000 4194304 16246674 140737426845968 140737426827840 5721840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 328337 270335 891 2943 0 325231 0
[pid=24110/tid=24111] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 270335 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 270335 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 270335 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.18 2.24 2.19 3/183 24115
/proc/meminfo: memFree=28174092/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1313348 CPUtime=51.09 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 269526 0 0 0 5067 42 0 0 20 0 4 0 30436779 1344868352 270336 33554432000 4194304 16246674 140737426845968 140737426827840 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 328337 270336 892 2943 0 325231 0
[pid=24110/tid=24111] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 270336 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 270336 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1344868352 270336 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 24116
/proc/meminfo: memFree=28161936/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 270686 0 0 0 10186 42 0 0 20 0 4 0 30436779 1350111232 271496 33554432000 4194304 16246674 140737426845968 140737426827840 5600072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 329617 271496 892 2943 0 326511 0
[pid=24110/tid=24111] ppid=24107 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1350111232 271496 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1350111232 271496 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1350111232 271496 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275457 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 24170
/proc/meminfo: memFree=28118588/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1333828 CPUtime=1362.09 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 274648 0 0 0 136159 50 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140737426827840 5673980 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 333457 275460 893 2943 0 330351 0
[pid=24110/tid=24111] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.22 2.25 2.19 4/184 24174
/proc/meminfo: memFree=28117836/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1333828 CPUtime=1422.08 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 274656 0 0 0 142158 50 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140737426827840 5823170 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 333457 275460 893 2943 0 330351 0
[pid=24110/tid=24111] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.42 2.29 2.21 3/183 24175
/proc/meminfo: memFree=28119056/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1333828 CPUtime=1482.03 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 274701 0 0 0 148153 50 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140737426827840 5712672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 333457 275460 893 2943 0 330351 0
[pid=24110/tid=24111] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.25 2.27 2.20 3/183 24177
/proc/meminfo: memFree=28118916/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1333828 CPUtime=1542.02 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 274708 0 0 0 154151 51 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140737426827840 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 333457 275460 893 2943 0 330351 0
[pid=24110/tid=24111] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.20 2.25 2.19 3/183 24178
/proc/meminfo: memFree=28118616/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1333828 CPUtime=1601.98 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 274748 0 0 0 160147 51 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140737426827840 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 333457 275460 893 2943 0 330351 0
[pid=24110/tid=24111] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1365839872 275460 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 24179
/proc/meminfo: memFree=28115840/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1336900 CPUtime=1661.94 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 275528 0 0 0 166142 52 0 0 20 0 4 0 30436779 1368985600 276192 33554432000 4194304 16246674 140737426845968 140737426843776 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 334225 276192 893 2943 0 331119 0
[pid=24110/tid=24111] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276192 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276192 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276192 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.35 2.27 2.20 3/183 24180
/proc/meminfo: memFree=28115424/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1336900 CPUtime=1721.9 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 275608 0 0 0 172138 52 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140737426827840 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 334225 276228 893 2943 0 331119 0
[pid=24110/tid=24111] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.32 2.28 2.20 4/183 24181
/proc/meminfo: memFree=28115420/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1336900 CPUtime=1781.86 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 275656 0 0 0 178134 52 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140737426827840 13191512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 334225 276228 893 2943 0 331119 0
[pid=24110/tid=24111] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 24181
/proc/meminfo: memFree=28115256/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1336900 CPUtime=1800.05 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 275672 0 0 0 179953 52 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140737426827840 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 334225 276228 893 2943 0 331119 0
[pid=24110/tid=24111] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1336900

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 24181
/proc/meminfo: memFree=28115256/32872528 swapFree=1541156/1696500
[pid=24110] ppid=24107 vsize=1336900 CPUtime=1800.05 cores=0,2,4,6
/proc/24110/stat : 24110 (toysat) R 24107 24110 23447 0 -1 4202496 275672 0 0 0 179953 52 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140737426827840 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 334225 276228 893 2943 0 331119 0
[pid=24110/tid=24111] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24111/stat : 24111 (toysat) S 24107 24110 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517396425968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24110/tid=24112] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24112/stat : 24112 (toysat) S 24107 24110 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517385936112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24110/tid=24113] ppid=24107 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24110/task/24113/stat : 24113 (toysat) S 24107 24110 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436779 1368985600 276228 33554432000 4194304 16246674 140737426845968 140517304167600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1336900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.08
CPU user time (s): 1799.54
CPU system time (s): 0.547916
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.547916
maximum resident set size= 1104912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275672
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= 271
involuntary context switches= 2030

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37073 second user time and 8.75967 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 22:46:21
IDJOB=4116893
IDBENCH=109527
IDSOLVER=2542
FILE ID=node125/4116893-1466973981
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= cb6970291396a46a7f7f877e2dc367cc
RANDOM SEED=795465362

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:        30313524 kB
Buffers:           43588 kB
Cached:            96460 kB
SwapCached:         1736 kB
Active:            95396 kB
Inactive:          63448 kB
Active(anon):      20996 kB
Inactive(anon):      448 kB
Active(file):      74400 kB
Inactive(file):    63000 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33564 kB
Writeback:             0 kB
AnonPages:       1715696 kB
Mapped:             9152 kB
Shmem:                 0 kB
Slab:             568696 kB
SReclaimable:      12032 kB
SUnreclaim:       556664 kB
KernelStack:        1384 kB
PageTables:         9356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2791624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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 23:16:21