Trace number 4117157

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-6.opb
MD5SUM21cae5cde6335bb17512bd9f47fe296c
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 constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
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-27T01:06:44+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-4117157-1466982404.opb"]
0.00/0.01	c use --random-gen="1090011241 2917465049 1437008216 559822510 3713827869 4078401054 2354033680 963627624 4259736727 3442943472 3844724728 911115733 1287338325 133737050 1672592910 724828685 1248558209 2988102801 2601170562 3221850628 1392567441 4051063530 28753577 40464431 2209873941 2317975668 3294322676 3663529889 1437695577 2878718951 2979723094 88973430 1141322321 1230556045 1098485016 1321541599 3808537209 2796995783 2828489638 4127767362 2981169520 2071813541 2757792790 3417894135 2843202273 1689449996 105892520 3529196281 1755223740 721012302 3903486700 1659974932 1002525042 2849987492 1975401852 2803483092 3119782343 1344472988 1883937643 1305205162 936443095 3248255231 592828591 3984714104 1538354137 361125079 754000779 326080156 2716768335 2204373544 3404345045 4084416943 2780471931 2210400559 3722162775 3706049199 323611418 962194627 4055570659 4116646049 2268949022 1396002129 2721539975 3125983358 5601223 832772171 1741224250 2397147104 862556692 2298848192 2840023474 3212276031 1680285670 2150646308 3200233063 3695732583 1964850154 621740180 2847249510 526543941 1592945380 3472647735 2111545973 4132306933 442519611 3959424840 4218989192 784727877 299009392 63521887 3965711843 2250114068 3777609816 3649255401 852474469 1706883834 1536098128 504450453 1816964369 3479439620 2751350388 3496698015 4083075390 2993628835 491141202 3671189287 2620402865 3595694360 1253419952 1654474499 1658336175 2493946917 1030823597 2387608116 740135099 869633591 3537520428 2728597813 571067000 1357275670 2814822398 4262647749 707168779 890402456 1133252526 3946770341 3510154662 2681754741 2639818873 1060851440 3170952669 173836653 234034762 1115771794 2372079369 915142198 522715796 2642776923 343796889 3730685771 3438352326 2542762452 3013717917 3222629540 754766412 3861710004 1505501111 3283285047 3625266985 3108255152 818443400 2800966174 61132245 3540439322 3483673167 1746625538 2112285678 1441746472 1444238985 3260063120 2514844717 616999191 3092921672 1618342054 2581831007 3413181834 1731881527 1440761451 888424979 769596993 2805846848 2745112012 175259084 1311263074 956405338 2134447905 133722693 1650206154 1383560501 2635367107 190185601 354066019 2296723509 2766838439 2481813088 3013245777 3242266814 1463069605 2475976467 3107251930 672043097 4269241138 890601744 1205909604 3486287774 3688300531 1983876348 2691329522 1663596517 787468279 2390083720 2021531526 2118554247 53065073 185768974 2771862877 2016852636 2320751924 149214660 2308710976 522439435 72626601 3809674333 2008727724 3015385401 3322254190 3335466123 554004343 488687519 2801870564 3996165523 457939999 3870232106 2866280923 2905690485 3393277115 1404917926 3586850371 243060039 3283198996 3773318623 1888590987 1075327911 3491743294 1372274297 2470663314 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9536
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 |      916 |        0
0.28/0.36	c  0.1s |       1 |      591 |      100 |     4565      0 |      917 |      944
0.38/0.44	c  0.2s |       2 |     1567 |      250 |     5022      0 |      917 |      944
0.59/0.63	c  0.3s |       3 |     3182 |      475 |     5525      0 |      917 |      944
0.78/0.88	c  0.6s |       4 |     5821 |      813 |     6078      0 |      918 |      944
1.38/1.43	c  1.2s |       5 |     8733 |     1320 |     6686      0 |      918 |      944
1.98/2.01	c  1.7s |       6 |    14292 |     2081 |     8091      0 |      919 |      944
2.88/2.94	c  2.7s |       7 |    17210 |     3223 |     8901      0 |      919 |      944
4.08/4.16	c  3.9s |       8 |    24462 |     4936 |     9792      0 |      919 |      944
6.08/6.18	c  5.9s |       9 |    33406 |     7506 |    10772      0 |      919 |      944
8.18/8.25	c  8.0s |       9 |    41454 |     9906 |    10772      0 |      919 |      944
10.18/10.26	c 10.0s |       9 |    43112 |    11206 |    10772      0 |      919 |      944
10.48/10.57	c 10.3s |      10 |    43307 |    11361 |    11850      0 |      919 |      944
12.58/12.65	c 12.4s |      10 |    52434 |    13861 |    11850      1 |      921 |      944
14.58/14.69	c 14.4s |      10 |    55808 |    15661 |    11850      1 |      921 |      944
16.68/16.77	c 16.5s |      11 |    57999 |    17144 |    13036      1 |      921 |      944
18.79/18.85	c 18.6s |      11 |    65724 |    19744 |    13036      1 |      921 |      944
20.89/20.96	c 20.7s |      11 |    67710 |    21244 |    13036      1 |      921 |      944
22.98/23.04	c 22.8s |      11 |    68977 |    22244 |    13036      1 |      921 |      944
25.08/25.18	c 24.9s |      11 |    70037 |    23044 |    13036      2 |      921 |      944
27.28/27.35	c 27.1s |      11 |    70822 |    23744 |    13036      2 |      921 |      944
29.48/29.53	c 29.3s |      11 |    71753 |    24544 |    13036      2 |      921 |      944
31.68/31.70	c 31.4s |      11 |    72824 |    25444 |    13036      2 |      921 |      944
32.58/32.68	c 32.4s |      12 |    73250 |    25819 |    14340      2 |      921 |      944
34.68/34.72	c 34.4s |      12 |    79135 |    28019 |    14340      2 |      921 |      944
36.68/36.76	c 36.5s |      12 |    81802 |    29719 |    14340      2 |      921 |      944
38.68/38.79	c 38.5s |      12 |    83443 |    31019 |    14340      2 |      921 |      944
40.78/40.89	c 40.6s |      12 |    85862 |    32419 |    14340      2 |      921 |      944
42.88/42.94	c 42.7s |      12 |    86937 |    33319 |    14340      3 |      921 |      944
44.88/44.98	c 44.7s |      12 |    88630 |    34519 |    14340      3 |      921 |      944
46.98/47.01	c 46.7s |      12 |    89696 |    35419 |    14340      3 |      921 |      944
48.98/49.03	c 48.8s |      12 |    90616 |    36219 |    14340      3 |      921 |      944
51.28/51.30	c 51.0s |      12 |    91398 |    36919 |    14340      3 |      921 |      944
53.38/53.45	c 53.2s |      12 |    91967 |    37419 |    14340      3 |      921 |      944
55.77/55.84	c 55.6s |      12 |    92345 |    37719 |    14340      3 |      921 |      944
57.98/58.03	c 57.8s |      12 |    93345 |    38519 |    14340      3 |      921 |      944
58.88/58.92	c 58.6s |      13 |    93710 |    38832 |    15775      3 |      921 |      944
60.97/61.01	c 60.7s |      13 |    99031 |    40832 |    15775      3 |      921 |      944
63.07/63.13	c 62.8s |      13 |   101304 |    42332 |    15775      3 |      921 |      944
65.27/65.33	c 65.1s |      13 |   102380 |    43232 |    15775      4 |      921 |      944
67.47/67.51	c 67.2s |      13 |   104018 |    44432 |    15775      4 |      921 |      944
69.47/69.59	c 69.3s |      13 |   105337 |    45532 |    15775      4 |      921 |      944
71.48/71.60	c 71.3s |      13 |   106430 |    46432 |    15775      4 |      921 |      944
73.68/73.73	c 73.5s |      13 |   107690 |    47432 |    15775      4 |      921 |      944
75.77/75.80	c 75.5s |      13 |   108968 |    48432 |    15775      4 |      921 |      944
77.87/77.94	c 77.7s |      13 |   110162 |    49432 |    15775      4 |      921 |      944
80.07/80.12	c 79.8s |      13 |   111200 |    50332 |    15775      4 |      921 |      944
82.07/82.14	c 81.9s |      13 |   112151 |    51132 |    15775      4 |      921 |      944
84.17/84.30	c 84.0s |      13 |   113232 |    52032 |    15775      4 |      921 |      944
86.27/86.34	c 86.1s |      13 |   114048 |    52732 |    15775      5 |      921 |      944
88.57/88.64	c 88.4s |      13 |   115073 |    53632 |    15775      5 |      921 |      944
90.77/90.80	c 90.5s |      13 |   116007 |    54432 |    15775      5 |      921 |      944
92.77/92.88	c 92.6s |      13 |   117070 |    55232 |    15775      5 |      921 |      944
95.07/95.12	c 94.8s |      13 |   117994 |    56032 |    15775      5 |      921 |      944
97.07/97.16	c 96.9s |      13 |   118794 |    56732 |    15775      5 |      921 |      944
99.27/99.34	c 99.1s |      13 |   119599 |    57432 |    15775      5 |      921 |      944
101.37/101.49	c  101s |      13 |   120610 |    58232 |    17353      5 |      921 |      944
101.77/101.84	c  101s |      14 |   120755 |    58352 |    17353      5 |      921 |      944
103.87/103.97	c  103s |      14 |   126399 |    60252 |    17353      5 |      921 |      944
105.97/106.06	c  105s |      14 |   127894 |    61552 |    17353      5 |      921 |      944
108.07/108.10	c  107s |      14 |   129225 |    62652 |    17353      5 |      921 |      944
110.27/110.31	c  110s |      14 |   130232 |    63552 |    17353      6 |      921 |      944
112.28/112.37	c  112s |      14 |   131438 |    64652 |    17353      6 |      921 |      944
114.38/114.49	c  114s |      14 |   132295 |    65452 |    17353      6 |      921 |      944
116.47/116.58	c  116s |      14 |   135701 |    66752 |    17353      6 |      921 |      944
118.57/118.62	c  118s |      14 |   141197 |    68752 |    17353      6 |      921 |      944
120.57/120.68	c  120s |      14 |   147783 |    70952 |    17353      6 |      921 |      944
122.67/122.76	c  122s |      14 |   150031 |    72452 |    17353      6 |      921 |      944
124.87/124.93	c  124s |      14 |   151675 |    73652 |    17353      6 |      921 |      944
126.87/126.98	c  126s |      14 |   154913 |    74952 |    17353      7 |      921 |      944
128.97/129.06	c  128s |      14 |   157091 |    76352 |    17353      7 |      921 |      944
130.98/131.09	c  130s |      14 |   158423 |    77352 |    17353      7 |      921 |      944
133.07/133.20	c  132s |      14 |   159797 |    78352 |    17353      7 |      921 |      944
135.27/135.39	c  135s |      14 |   160939 |    79252 |    17353      7 |      921 |      944
137.67/137.72	c  137s |      14 |   161860 |    80052 |    17353      7 |      921 |      944
139.77/139.84	c  139s |      14 |   163038 |    80952 |    17353      7 |      921 |      944
141.77/141.86	c  141s |      14 |   164125 |    81852 |    17353      7 |      921 |      944
143.97/144.08	c  143s |      14 |   165040 |    82652 |    17353      7 |      921 |      944
145.97/146.10	c  145s |      14 |   165834 |    83352 |    17353      7 |      921 |      944
148.17/148.29	c  148s |      14 |   166624 |    84052 |    17353      7 |      921 |      944
150.47/150.57	c  150s |      14 |   167422 |    84752 |    17353      8 |      921 |      944
152.57/152.61	c  152s |      14 |   169021 |    85652 |    17353      8 |      921 |      944
154.77/154.80	c  154s |      14 |   170676 |    86852 |    17353      8 |      921 |      944
156.47/156.57	c  156s |      15 |   171623 |    87632 |    19089      8 |      921 |      944
158.47/158.58	c  158s |      15 |   175303 |    89232 |    19089      8 |      921 |      944
160.57/160.66	c  160s |      15 |   180050 |    91332 |    19089      8 |      921 |      944
162.56/162.68	c  162s |      15 |   181500 |    92532 |    19089      8 |      921 |      944
164.66/164.73	c  164s |      15 |   182658 |    93532 |    19089      8 |      921 |      944
166.76/166.82	c  166s |      15 |   185069 |    95032 |    19089      8 |      921 |      944
168.76/168.82	c  168s |      15 |   186679 |    96232 |    19089      8 |      921 |      944
170.76/170.83	c  170s |      15 |   187702 |    97032 |    19089      9 |      921 |      944
172.86/172.92	c  172s |      15 |   188802 |    97932 |    19089      9 |      921 |      944
174.97/175.06	c  174s |      15 |   189977 |    98832 |    19089      9 |      921 |      944
177.07/177.20	c  176s |      15 |   191152 |    99732 |    19089      9 |      921 |      944
179.16/179.21	c  178s |      15 |   192192 |   100632 |    19089      9 |      921 |      944
181.36/181.44	c  181s |      15 |   193805 |   101732 |    19089      9 |      921 |      944
183.46/183.59	c  183s |      15 |   194848 |   102532 |    19089      9 |      921 |      944
185.66/185.71	c  185s |      15 |   195868 |   103332 |    19089      9 |      921 |      944
187.76/187.85	c  187s |      15 |   196813 |   104132 |    19089      9 |      921 |      944
190.05/190.15	c  189s |      15 |   198021 |   105032 |    19089      9 |      921 |      944
192.05/192.16	c  191s |      15 |   199015 |   105832 |    19089      9 |      921 |      944
194.15/194.27	c  193s |      15 |   199848 |   106532 |    19089      9 |      921 |      944
196.25/196.38	c  196s |      15 |   200657 |   107232 |    19089      9 |      921 |      944
198.75/198.89	c  198s |      15 |   201449 |   107932 |    19089     10 |      921 |      944
200.95/201.08	c  200s |      15 |   202343 |   108732 |    19089     10 |      921 |      944
203.05/203.15	c  202s |      15 |   203175 |   109432 |    19089     10 |      921 |      944
205.05/205.18	c  204s |      15 |   204010 |   110132 |    19089     10 |      921 |      944
207.35/207.48	c  207s |      15 |   204794 |   110832 |    19089     10 |      921 |      944
209.65/209.80	c  209s |      15 |   205621 |   111532 |    19089     10 |      921 |      944
211.75/211.84	c  211s |      15 |   206480 |   112232 |    19089     10 |      921 |      944
213.85/213.98	c  213s |      15 |   207422 |   113032 |    19089     10 |      921 |      944
216.15/216.20	c  215s |      15 |   208378 |   113832 |    19089     10 |      921 |      944
218.25/218.32	c  218s |      15 |   209400 |   114632 |    19089     10 |      921 |      944
220.25/220.35	c  220s |      15 |   210254 |   115332 |    19089     10 |      921 |      944
222.55/222.61	c  222s |      15 |   211072 |   116032 |    19089     10 |      921 |      944
224.85/224.95	c  224s |      15 |   211913 |   116732 |    19089     10 |      921 |      944
227.05/227.12	c  226s |      15 |   212610 |   117332 |    19089     10 |      921 |      944
229.25/229.33	c  229s |      15 |   213325 |   117932 |    19089     10 |      921 |      944
231.45/231.59	c  231s |      15 |   214035 |   118532 |    19089     10 |      921 |      944
233.55/233.69	c  233s |      15 |   214696 |   119132 |    19089     10 |      921 |      944
235.65/235.78	c  235s |      15 |   215395 |   119732 |    19089     11 |      921 |      944
237.95/238.04	c  237s |      15 |   216559 |   120632 |    19089     11 |      921 |      944
240.05/240.11	c  239s |      15 |   217365 |   121332 |    19089     11 |      921 |      944
242.35/242.43	c  242s |      15 |   218171 |   122032 |    19089     11 |      921 |      944
244.45/244.55	c  244s |      15 |   218955 |   122732 |    19089     11 |      921 |      944
246.74/246.81	c  246s |      15 |   219764 |   123432 |    19089     11 |      921 |      944
248.94/249.01	c  248s |      15 |   220539 |   124132 |    19089     11 |      921 |      944
250.94/251.07	c  250s |      15 |   221235 |   124732 |    19089     11 |      921 |      944
253.14/253.24	c  252s |      15 |   222074 |   125432 |    19089     11 |      921 |      944
255.15/255.25	c  254s |      15 |   222736 |   126032 |    19089     11 |      921 |      944
257.24/257.31	c  257s |      15 |   223428 |   126632 |    19089     11 |      921 |      944
259.34/259.47	c  259s |      15 |   224527 |   127432 |    19089     11 |      921 |      944
261.54/261.62	c  261s |      15 |   225675 |   128332 |    19089     11 |      921 |      944
263.65/263.78	c  263s |      15 |   226706 |   129132 |    19089     11 |      921 |      944
265.95/266.04	c  265s |      15 |   227623 |   129932 |    19089     11 |      921 |      944
268.15/268.21	c  267s |      15 |   228478 |   130632 |    19089     12 |      921 |      944
270.25/270.35	c  270s |      15 |   229552 |   131532 |    20998     12 |      921 |      944
270.25/270.39	c  270s |      16 |   229578 |   131552 |    20998     12 |      921 |      944
272.35/272.45	c  272s |      16 |   233785 |   133452 |    20998     12 |      921 |      944
274.45/274.59	c  274s |      16 |   235593 |   135052 |    20998     12 |      921 |      944
276.55/276.61	c  276s |      16 |   237039 |   136352 |    20998     12 |      921 |      944
278.65/278.70	c  278s |      16 |   239985 |   137752 |    20998     12 |      921 |      944
280.75/280.86	c  280s |      16 |   244583 |   139552 |    20998     12 |      921 |      944
282.95/283.01	c  282s |      16 |   245993 |   140752 |    20998     12 |      921 |      944
284.95/285.06	c  284s |      16 |   247336 |   141852 |    20998     12 |      921 |      944
287.05/287.20	c  286s |      16 |   248482 |   142852 |    20998     12 |      921 |      944
289.15/289.23	c  288s |      16 |   249269 |   143552 |    20998     13 |      921 |      944
291.45/291.53	c  291s |      16 |   250283 |   144452 |    20998     13 |      921 |      944
293.65/293.72	c  293s |      16 |   251459 |   145452 |    20998     13 |      921 |      944
295.85/295.95	c  295s |      16 |   252386 |   146252 |    20998     13 |      921 |      944
297.84/297.98	c  297s |      16 |   253176 |   146952 |    20998     13 |      921 |      944
299.84/299.98	c  299s |      16 |   253849 |   147552 |    20998     13 |      921 |      944
301.94/302.01	c  301s |      16 |   254683 |   148252 |    20998     13 |      921 |      944
304.04/304.14	c  303s |      16 |   255653 |   149052 |    20998     13 |      921 |      944
306.24/306.32	c  306s |      16 |   256969 |   150052 |    20998     13 |      921 |      944
308.34/308.43	c  308s |      16 |   257910 |   150852 |    20998     13 |      921 |      944
310.44/310.53	c  310s |      16 |   258865 |   151652 |    20998     13 |      921 |      944
312.64/312.74	c  312s |      16 |   259771 |   152452 |    20998     13 |      921 |      944
314.84/314.96	c  314s |      16 |   260570 |   153152 |    20998     13 |      921 |      944
317.24/317.31	c  317s |      16 |   261387 |   153852 |    20998     13 |      921 |      944
319.44/319.59	c  319s |      16 |   262038 |   154452 |    20998     13 |      921 |      944
321.64/321.75	c  321s |      16 |   262674 |   155052 |    20998     13 |      921 |      944
324.14/324.28	c  323s |      16 |   263344 |   155652 |    20998     14 |      921 |      944
326.34/326.44	c  326s |      16 |   264129 |   156352 |    20998     14 |      921 |      944
328.44/328.51	c  328s |      16 |   264928 |   157052 |    20998     14 |      921 |      944
330.54/330.69	c  330s |      16 |   265721 |   157752 |    20998     14 |      921 |      944
332.74/332.85	c  332s |      16 |   266374 |   158352 |    20998     14 |      921 |      944
334.93/335.05	c  334s |      16 |   267036 |   158952 |    20998     14 |      921 |      944
337.03/337.12	c  336s |      16 |   267701 |   159552 |    20998     14 |      921 |      944
339.23/339.32	c  339s |      16 |   268351 |   160152 |    20998     14 |      921 |      944
341.23/341.35	c  341s |      16 |   269341 |   160952 |    20998     14 |      921 |      944
343.33/343.43	c  343s |      16 |   270193 |   161652 |    20998     14 |      921 |      944
345.44/345.51	c  345s |      16 |   271024 |   162352 |    20998     14 |      921 |      944
347.43/347.58	c  347s |      16 |   271741 |   162952 |    20998     14 |      921 |      944
349.63/349.76	c  349s |      16 |   272408 |   163552 |    20998     14 |      921 |      944
351.63/351.79	c  351s |      16 |   273070 |   164152 |    20998     14 |      921 |      944
353.93/354.07	c  353s |      16 |   273729 |   164752 |    20998     14 |      921 |      944
356.13/356.29	c  356s |      16 |   274405 |   165352 |    20998     14 |      921 |      944
358.43/358.53	c  358s |      16 |   275060 |   165952 |    20998     14 |      921 |      944
360.44/360.58	c  360s |      16 |   275614 |   166452 |    20998     14 |      921 |      944
362.84/362.94	c  362s |      16 |   276249 |   167052 |    20998     14 |      921 |      944
364.93/365.05	c  364s |      16 |   276800 |   167552 |    20998     14 |      921 |      944
366.93/367.09	c  366s |      16 |   277241 |   167952 |    20998     15 |      921 |      944
369.03/369.12	c  368s |      16 |   280644 |   169152 |    20998     15 |      921 |      944
371.03/371.14	c  370s |      16 |   283911 |   170452 |    20998     15 |      921 |      944
373.13/373.22	c  372s |      16 |   285113 |   171352 |    20998     15 |      921 |      944
375.23/375.39	c  375s |      16 |   286036 |   172152 |    20998     15 |      921 |      944
377.34/377.41	c  377s |      16 |   286844 |   172852 |    20998     15 |      921 |      944
379.44/379.55	c  379s |      16 |   287605 |   173552 |    20998     15 |      921 |      944
381.64/381.71	c  381s |      16 |   288238 |   174152 |    20998     15 |      921 |      944
383.83/383.91	c  383s |      16 |   289035 |   174852 |    20998     15 |      921 |      944
385.93/386.06	c  385s |      16 |   289702 |   175452 |    20998     15 |      921 |      944
388.13/388.27	c  387s |      16 |   290380 |   176052 |    20998     15 |      921 |      944
390.53/390.60	c  390s |      16 |   291179 |   176752 |    20998     15 |      921 |      944
392.63/392.79	c  392s |      16 |   291817 |   177352 |    20998     15 |      921 |      944
395.03/395.11	c  394s |      16 |   292444 |   177952 |    20998     15 |      921 |      944
397.33/397.40	c  397s |      16 |   293095 |   178552 |    20998     15 |      921 |      944
399.53/399.68	c  399s |      16 |   293728 |   179152 |    20998     15 |      921 |      944
402.02/402.17	c  401s |      16 |   294252 |   179652 |    20998     15 |      921 |      944
404.42/404.51	c  404s |      16 |   294785 |   180152 |    20998     16 |      921 |      944
406.62/406.77	c  406s |      16 |   295454 |   180752 |    20998     16 |      921 |      944
408.72/408.84	c  408s |      16 |   296107 |   181352 |    20998     16 |      921 |      944
410.72/410.88	c  410s |      16 |   296769 |   181952 |    20998     16 |      921 |      944
412.92/413.09	c  412s |      16 |   297427 |   182552 |    20998     16 |      921 |      944
415.12/415.26	c  414s |      16 |   298066 |   183152 |    20998     16 |      921 |      944
417.22/417.36	c  417s |      16 |   298696 |   183752 |    20998     16 |      921 |      944
419.42/419.56	c  419s |      16 |   299358 |   184352 |    20998     16 |      921 |      944
421.72/421.80	c  421s |      16 |   299990 |   184952 |    20998     16 |      921 |      944
423.72/423.83	c  423s |      16 |   300515 |   185452 |    20998     16 |      921 |      944
425.92/426.06	c  425s |      16 |   301244 |   186052 |    20998     16 |      921 |      944
428.02/428.12	c  427s |      16 |   303164 |   187052 |    20998     16 |      921 |      944
430.03/430.19	c  429s |      16 |   304294 |   187952 |    20998     16 |      921 |      944
432.12/432.30	c  432s |      16 |   305180 |   188752 |    20998     16 |      921 |      944
434.22/434.33	c  434s |      16 |   305941 |   189452 |    20998     16 |      921 |      944
436.32/436.46	c  436s |      16 |   307032 |   190352 |    20998     16 |      921 |      944
438.42/438.54	c  438s |      16 |   307947 |   191152 |    20998     16 |      921 |      944
440.52/440.64	c  440s |      16 |   308611 |   191752 |    20998     16 |      921 |      944
442.71/442.90	c  442s |      16 |   309273 |   192352 |    20998     17 |      921 |      944
445.01/445.18	c  444s |      16 |   310151 |   193152 |    20998     17 |      921 |      944
447.11/447.21	c  446s |      16 |   310926 |   193852 |    20998     17 |      921 |      944
449.32/449.40	c  449s |      16 |   311840 |   194652 |    20998     17 |      921 |      944
451.32/451.45	c  451s |      16 |   312767 |   195452 |    20998     17 |      921 |      944
453.32/453.46	c  453s |      16 |   313600 |   196152 |    23098     17 |      921 |      944
455.62/455.71	c  455s |      16 |   314369 |   196852 |    23098     17 |      921 |      944
457.32/457.46	c  457s |      17 |   315022 |   197432 |    23098     17 |      921 |      944
459.42/459.59	c  459s |      17 |   317209 |   198732 |    23098     17 |      921 |      944
461.52/461.65	c  461s |      17 |   322293 |   200632 |    23098     17 |      921 |      944
463.52/463.67	c  463s |      17 |   325319 |   202432 |    23098     17 |      921 |      944
465.52/465.68	c  465s |      17 |   328230 |   204132 |    23098     17 |      921 |      944
467.62/467.77	c  467s |      17 |   330385 |   205532 |    23098     17 |      921 |      944
469.62/469.79	c  469s |      17 |   331581 |   206432 |    23098     18 |      921 |      944
471.72/471.81	c  471s |      17 |   332918 |   207432 |    23098     18 |      921 |      944
473.82/473.97	c  473s |      17 |   336724 |   209032 |    23098     18 |      921 |      944
476.11/476.20	c  475s |      17 |   338301 |   210132 |    23098     18 |      921 |      944
478.21/478.32	c  478s |      17 |   339630 |   210932 |    23098     18 |      921 |      944
480.21/480.34	c  480s |      17 |   340658 |   211732 |    23098     18 |      921 |      944
482.31/482.44	c  482s |      17 |   341694 |   212532 |    23098     18 |      921 |      944
484.51/484.63	c  484s |      17 |   342551 |   213232 |    23098     18 |      921 |      944
486.61/486.77	c  486s |      17 |   343965 |   214232 |    23098     18 |      921 |      944
488.71/488.83	c  488s |      17 |   344838 |   214932 |    23098     18 |      921 |      944
491.01/491.15	c  490s |      17 |   345810 |   215732 |    23098     18 |      921 |      944
493.21/493.32	c  493s |      17 |   346824 |   216532 |    23098     18 |      921 |      944
495.31/495.49	c  495s |      17 |   347617 |   217132 |    23098     18 |      921 |      944
497.61/497.78	c  497s |      17 |   348337 |   217732 |    23098     18 |      921 |      944
499.81/499.97	c  499s |      17 |   348959 |   218232 |    23098     18 |      921 |      944
502.11/502.26	c  501s |      17 |   349671 |   218832 |    23098     18 |      921 |      944
504.21/504.30	c  504s |      17 |   350239 |   219332 |    23098     18 |      921 |      944
506.21/506.35	c  506s |      17 |   350807 |   219832 |    23098     19 |      921 |      944
508.31/508.41	c  508s |      17 |   351700 |   220432 |    23098     19 |      921 |      944
510.42/510.54	c  510s |      17 |   352433 |   221032 |    23098     19 |      921 |      944
512.62/512.74	c  512s |      17 |   353188 |   221632 |    23098     19 |      921 |      944
514.81/514.91	c  514s |      17 |   353890 |   222232 |    23098     19 |      921 |      944
516.81/516.97	c  516s |      17 |   354637 |   222832 |    23098     19 |      921 |      944
519.01/519.13	c  518s |      17 |   355125 |   223232 |    23098     19 |      921 |      944
521.01/521.19	c  520s |      17 |   355592 |   223632 |    23098     19 |      921 |      944
523.51/523.65	c  523s |      17 |   356213 |   224132 |    23098     19 |      921 |      944
525.60/525.75	c  525s |      17 |   356606 |   224432 |    23098     19 |      921 |      944
528.10/528.27	c  527s |      17 |   356950 |   224732 |    23098     19 |      921 |      944
530.30/530.45	c  530s |      17 |   357286 |   225032 |    23098     19 |      921 |      944
532.90/533.06	c  532s |      17 |   357748 |   225432 |    23098     19 |      921 |      944
535.00/535.14	c  534s |      17 |   358103 |   225732 |    23098     19 |      921 |      944
537.50/537.68	c  537s |      17 |   358446 |   226032 |    23098     19 |      921 |      944
540.01/540.14	c  539s |      17 |   358894 |   226432 |    23098     19 |      921 |      944
542.10/542.24	c  541s |      17 |   359357 |   226832 |    23098     19 |      921 |      944
544.10/544.26	c  543s |      17 |   363138 |   227832 |    23098     19 |      921 |      944
546.30/546.43	c  546s |      17 |   365080 |   229132 |    23098     19 |      921 |      944
548.40/548.52	c  548s |      17 |   366623 |   230232 |    23098     19 |      921 |      944
550.40/550.53	c  550s |      17 |   367759 |   231132 |    23098     19 |      921 |      944
552.60/552.74	c  552s |      17 |   368906 |   232032 |    23098     19 |      921 |      944
554.80/554.91	c  554s |      17 |   369704 |   232632 |    23098     20 |      921 |      944
556.80/556.98	c  556s |      17 |   370829 |   233532 |    23098     20 |      921 |      944
559.10/559.21	c  558s |      17 |   371959 |   234432 |    23098     20 |      921 |      944
561.30/561.48	c  561s |      17 |   373026 |   235332 |    23098     20 |      921 |      944
563.60/563.70	c  563s |      17 |   374151 |   236232 |    23098     20 |      921 |      944
565.60/565.76	c  565s |      17 |   375162 |   237032 |    23098     20 |      921 |      944
567.60/567.78	c  567s |      17 |   376119 |   237832 |    23098     20 |      921 |      944
569.80/569.92	c  569s |      17 |   376933 |   238532 |    23098     20 |      921 |      944
572.00/572.12	c  571s |      17 |   377732 |   239232 |    23098     20 |      921 |      944
574.20/574.32	c  574s |      17 |   378553 |   239932 |    23098     20 |      921 |      944
576.30/576.46	c  576s |      17 |   379271 |   240532 |    23098     20 |      921 |      944
578.40/578.54	c  578s |      17 |   380072 |   241232 |    23098     20 |      921 |      944
580.49/580.68	c  580s |      17 |   380868 |   241932 |    23098     20 |      921 |      944
582.70/582.84	c  582s |      17 |   381539 |   242532 |    23098     20 |      921 |      944
584.90/585.06	c  584s |      17 |   382235 |   243132 |    23098     20 |      921 |      944
587.20/587.30	c  587s |      17 |   382920 |   243732 |    23098     20 |      921 |      944
589.40/589.51	c  589s |      17 |   383616 |   244332 |    23098     20 |      921 |      944
591.71/591.81	c  591s |      17 |   384281 |   244932 |    23098     20 |      921 |      944
594.00/594.13	c  593s |      17 |   384959 |   245532 |    23098     20 |      921 |      944
596.30/596.40	c  596s |      17 |   385516 |   246032 |    23098     21 |      921 |      944
598.30/598.44	c  598s |      17 |   386163 |   246632 |    23098     21 |      921 |      944
600.50/600.70	c  600s |      17 |   386949 |   247332 |    23098     21 |      921 |      944
603.00/603.14	c  602s |      17 |   387599 |   247932 |    23098     21 |      921 |      944
605.19/605.38	c  605s |      17 |   388283 |   248532 |    23098     21 |      921 |      944
607.49/607.62	c  607s |      17 |   388943 |   249132 |    23098     21 |      921 |      944
609.79/609.91	c  609s |      17 |   389617 |   249732 |    23098     21 |      921 |      944
611.89/612.09	c  611s |      17 |   390314 |   250332 |    23098     21 |      921 |      944
614.09/614.24	c  613s |      17 |   390980 |   250932 |    23098     21 |      921 |      944
616.39/616.50	c  616s |      17 |   391655 |   251532 |    23098     21 |      921 |      944
618.59/618.74	c  618s |      17 |   392334 |   252132 |    23098     21 |      921 |      944
620.69/620.87	c  620s |      17 |   393051 |   252732 |    23098     21 |      921 |      944
622.99/623.18	c  622s |      17 |   393732 |   253332 |    23098     21 |      921 |      944
625.09/625.26	c  624s |      17 |   394294 |   253832 |    23098     21 |      921 |      944
627.29/627.44	c  627s |      17 |   394823 |   254332 |    23098     21 |      921 |      944
629.59/629.77	c  629s |      17 |   395495 |   254932 |    23098     21 |      921 |      944
631.89/632.04	c  631s |      17 |   396038 |   255432 |    23098     21 |      921 |      944
633.89/634.09	c  633s |      17 |   396661 |   255932 |    23098     21 |      921 |      944
636.09/636.28	c  636s |      17 |   397257 |   256432 |    23098     21 |      921 |      944
638.19/638.36	c  638s |      17 |   397859 |   256932 |    23098     21 |      921 |      944
640.29/640.42	c  640s |      17 |   398434 |   257432 |    23098     21 |      921 |      944
642.49/642.66	c  642s |      17 |   399002 |   257932 |    23098     21 |      921 |      944
644.79/644.92	c  644s |      17 |   399550 |   258432 |    23098     21 |      921 |      944
647.09/647.21	c  646s |      17 |   400018 |   258832 |    23098     22 |      921 |      944
649.29/649.40	c  649s |      17 |   400683 |   259432 |    23098     22 |      921 |      944
651.29/651.44	c  651s |      17 |   401375 |   260032 |    23098     22 |      921 |      944
653.49/653.63	c  653s |      17 |   402060 |   260632 |    23098     22 |      921 |      944
655.69/655.83	c  655s |      17 |   402728 |   261232 |    23098     22 |      921 |      944
657.89/658.05	c  657s |      17 |   403426 |   261832 |    23098     22 |      921 |      944
660.08/660.20	c  659s |      17 |   404135 |   262432 |    23098     22 |      921 |      944
662.19/662.31	c  662s |      17 |   404787 |   263032 |    23098     22 |      921 |      944
664.29/664.40	c  664s |      17 |   405469 |   263632 |    23098     22 |      921 |      944
666.38/666.55	c  666s |      17 |   406095 |   264232 |    23098     22 |      921 |      944
668.79/668.92	c  668s |      17 |   406712 |   264832 |    23098     22 |      921 |      944
670.89/671.05	c  670s |      17 |   407225 |   265332 |    23098     22 |      921 |      944
672.88/673.08	c  672s |      17 |   407765 |   265832 |    23098     22 |      921 |      944
674.88/675.08	c  674s |      17 |   408279 |   266332 |    23098     22 |      921 |      944
676.98/677.15	c  676s |      17 |   408828 |   266832 |    23098     22 |      921 |      944
679.18/679.31	c  679s |      17 |   409354 |   267332 |    23098     22 |      921 |      944
681.38/681.52	c  681s |      17 |   409908 |   267832 |    23098     22 |      921 |      944
683.48/683.64	c  683s |      17 |   410437 |   268332 |    23098     22 |      921 |      944
685.68/685.88	c  685s |      17 |   410975 |   268832 |    23098     22 |      921 |      944
687.78/687.93	c  687s |      17 |   411522 |   269332 |    23098     22 |      921 |      944
689.98/690.10	c  689s |      17 |   412102 |   269832 |    23098     22 |      921 |      944
692.38/692.57	c  692s |      17 |   412625 |   270332 |    23098     22 |      921 |      944
694.78/694.99	c  694s |      17 |   413169 |   270832 |    23098     22 |      921 |      944
697.08/697.21	c  696s |      17 |   413720 |   271332 |    23098     22 |      921 |      944
699.38/699.56	c  699s |      17 |   414276 |   271832 |    23098     22 |      921 |      944
701.58/701.77	c  701s |      17 |   414700 |   272232 |    23098     23 |      921 |      944
703.78/703.97	c  703s |      17 |   415348 |   272832 |    23098     23 |      921 |      944
705.88/706.03	c  705s |      17 |   416009 |   273432 |    23098     23 |      921 |      944
708.08/708.24	c  707s |      17 |   416674 |   274032 |    23098     23 |      921 |      944
710.28/710.49	c  710s |      17 |   417368 |   274632 |    23098     23 |      921 |      944
712.38/712.50	c  712s |      17 |   417925 |   275132 |    23098     23 |      921 |      944
714.68/714.85	c  714s |      17 |   418596 |   275732 |    23098     23 |      921 |      944
716.78/716.90	c  716s |      17 |   419144 |   276232 |    23098     23 |      921 |      944
718.78/718.95	c  718s |      17 |   419696 |   276732 |    23098     23 |      921 |      944
721.18/721.32	c  721s |      17 |   420368 |   277332 |    23098     23 |      921 |      944
723.18/723.38	c  723s |      17 |   420942 |   277832 |    23098     23 |      921 |      944
725.38/725.53	c  725s |      17 |   421492 |   278332 |    23098     23 |      921 |      944
727.38/727.59	c  727s |      17 |   422052 |   278832 |    23098     23 |      921 |      944
729.68/729.82	c  729s |      17 |   422590 |   279332 |    23098     23 |      921 |      944
731.98/732.11	c  731s |      17 |   423137 |   279832 |    23098     23 |      921 |      944
733.98/734.18	c  733s |      17 |   423695 |   280332 |    23098     23 |      921 |      944
736.28/736.46	c  736s |      17 |   424250 |   280832 |    23098     23 |      921 |      944
738.48/738.63	c  738s |      17 |   424799 |   281332 |    23098     23 |      921 |      944
740.68/740.89	c  740s |      17 |   425336 |   281832 |    23098     23 |      921 |      944
742.78/742.93	c  742s |      17 |   425786 |   282232 |    23098     23 |      921 |      944
745.17/745.30	c  745s |      17 |   426322 |   282732 |    23098     23 |      921 |      944
747.47/747.63	c  747s |      17 |   426871 |   283232 |    23098     23 |      921 |      944
749.87/750.09	c  749s |      17 |   427416 |   283732 |    23098     23 |      921 |      944
752.47/752.64	c  752s |      17 |   427942 |   284232 |    23098     23 |      921 |      944
754.67/754.87	c  754s |      17 |   428379 |   284632 |    23098     23 |      921 |      944
756.97/757.16	c  756s |      17 |   428836 |   285032 |    23098     24 |      921 |      944
759.27/759.47	c  759s |      17 |   429484 |   285632 |    23098     24 |      921 |      944
761.57/761.70	c  761s |      17 |   430126 |   286232 |    23098     24 |      921 |      944
763.77/763.92	c  763s |      17 |   430766 |   286832 |    23098     24 |      921 |      944
765.77/765.95	c  765s |      17 |   431435 |   287432 |    23098     24 |      921 |      944
767.97/768.12	c  767s |      17 |   432075 |   288032 |    23098     24 |      921 |      944
770.17/770.39	c  770s |      17 |   432786 |   288632 |    23098     24 |      921 |      944
772.37/772.53	c  772s |      17 |   433343 |   289132 |    23098     24 |      921 |      944
774.67/774.89	c  774s |      17 |   434015 |   289732 |    23098     24 |      921 |      944
776.77/776.90	c  776s |      17 |   435680 |   290632 |    23098     24 |      921 |      944
778.77/778.96	c  778s |      17 |   437096 |   291732 |    23098     24 |      921 |      944
780.77/780.99	c  780s |      17 |   438357 |   292632 |    23098     24 |      921 |      944
782.97/783.14	c  782s |      17 |   439547 |   293532 |    23098     24 |      921 |      944
785.07/785.24	c  784s |      17 |   440921 |   294532 |    25408     24 |      921 |      944
787.17/787.31	c  787s |      17 |   441979 |   295332 |    25408     24 |      921 |      944
789.37/789.53	c  789s |      17 |   443160 |   296232 |    25408     24 |      921 |      944
789.46/789.60	c  789s |      18 |   443208 |   296252 |    25408     24 |      921 |      944
791.46/791.61	c  791s |      18 |   448784 |   297752 |    25408     24 |      921 |      944
793.66/793.83	c  793s |      18 |   453141 |   299252 |    25408     25 |      921 |      944
795.66/795.84	c  795s |      18 |   458794 |   301552 |    25408     25 |      921 |      944
797.76/797.97	c  797s |      18 |   463270 |   303552 |    25408     25 |      921 |      944
799.86/800.09	c  799s |      18 |   464703 |   304852 |    25408     25 |      921 |      944
802.06/802.26	c  801s |      18 |   465936 |   305952 |    25408     25 |      921 |      944
804.25/804.44	c  804s |      18 |   467224 |   307052 |    25408     25 |      921 |      944
806.46/806.61	c  806s |      18 |   468336 |   308052 |    25408     25 |      921 |      944
808.56/808.74	c  808s |      18 |   469393 |   308952 |    25408     25 |      921 |      944
810.75/810.94	c  810s |      18 |   470382 |   309852 |    25408     25 |      921 |      944
812.95/813.18	c  812s |      18 |   471393 |   310752 |    25408     25 |      921 |      944
815.25/815.44	c  815s |      18 |   472368 |   311652 |    25408     25 |      921 |      944
817.35/817.55	c  817s |      18 |   473241 |   312452 |    25408     25 |      921 |      944
819.55/819.79	c  819s |      18 |   474222 |   313352 |    25408     25 |      921 |      944
821.85/822.03	c  821s |      18 |   475079 |   314152 |    25408     25 |      921 |      944
823.95/824.10	c  823s |      18 |   475713 |   314752 |    25408     26 |      921 |      944
826.06/826.29	c  826s |      18 |   476440 |   315452 |    25408     26 |      921 |      944
828.35/828.54	c  828s |      18 |   477180 |   316152 |    25408     26 |      921 |      944
830.55/830.74	c  830s |      18 |   477938 |   316852 |    25408     26 |      921 |      944
832.75/832.96	c  832s |      18 |   478705 |   317552 |    25408     26 |      921 |      944
834.85/835.09	c  834s |      18 |   479338 |   318152 |    25408     26 |      921 |      944
837.05/837.29	c  837s |      18 |   479976 |   318752 |    25408     26 |      921 |      944
839.35/839.56	c  839s |      18 |   480620 |   319352 |    25408     26 |      921 |      944
841.54/841.77	c  841s |      18 |   481263 |   319952 |    25408     26 |      921 |      944
843.55/843.79	c  843s |      18 |   481908 |   320552 |    25408     26 |      921 |      944
845.94/846.10	c  845s |      18 |   482543 |   321152 |    25408     26 |      921 |      944
848.14/848.31	c  848s |      18 |   483165 |   321752 |    25408     26 |      921 |      944
850.44/850.60	c  850s |      18 |   483803 |   322352 |    25408     26 |      921 |      944
852.45/852.60	c  852s |      18 |   484318 |   322852 |    25408     26 |      921 |      944
854.55/854.73	c  854s |      18 |   484850 |   323352 |    25408     26 |      921 |      944
856.75/856.95	c  856s |      18 |   485384 |   323852 |    25408     26 |      921 |      944
859.14/859.31	c  859s |      18 |   486031 |   324452 |    25408     26 |      921 |      944
861.15/861.35	c  861s |      18 |   486560 |   324952 |    25408     26 |      921 |      944
863.24/863.48	c  863s |      18 |   487094 |   325452 |    25408     26 |      921 |      944
865.34/865.51	c  865s |      18 |   487619 |   325952 |    25408     26 |      921 |      944
867.44/867.67	c  867s |      18 |   488143 |   326452 |    25408     26 |      921 |      944
869.84/870.01	c  869s |      18 |   488670 |   326952 |    25408     26 |      921 |      944
872.25/872.43	c  872s |      18 |   489183 |   327452 |    25408     26 |      921 |      944
874.24/874.45	c  874s |      18 |   491077 |   328052 |    25408     27 |      921 |      944
876.24/876.48	c  876s |      18 |   496018 |   329852 |    25408     27 |      921 |      944
878.34/878.50	c  878s |      18 |   498534 |   331252 |    25408     27 |      921 |      944
880.34/880.51	c  880s |      18 |   499903 |   332352 |    25408     27 |      921 |      944
882.44/882.62	c  882s |      18 |   502087 |   333652 |    25408     27 |      921 |      944
884.43/884.63	c  884s |      18 |   503937 |   334852 |    25408     27 |      921 |      944
886.54/886.75	c  886s |      18 |   505645 |   335952 |    25408     27 |      921 |      944
888.74/888.98	c  888s |      18 |   507109 |   337052 |    25408     27 |      921 |      944
890.94/891.11	c  890s |      18 |   508297 |   337952 |    25408     27 |      921 |      944
892.93/893.12	c  892s |      18 |   509579 |   338952 |    25408     27 |      921 |      944
895.13/895.34	c  895s |      18 |   510735 |   339852 |    25408     27 |      921 |      944
897.23/897.42	c  897s |      18 |   511784 |   340652 |    25408     27 |      921 |      944
899.33/899.58	c  899s |      18 |   512740 |   341452 |    25408     27 |      921 |      944
901.43/901.64	c  901s |      18 |   513774 |   342252 |    25408     27 |      921 |      944
903.43/903.67	c  903s |      18 |   514604 |   342952 |    25408     28 |      921 |      944
905.52/905.73	c  905s |      18 |   515603 |   343852 |    25408     28 |      921 |      944
907.73/907.97	c  907s |      18 |   516535 |   344652 |    25408     28 |      921 |      944
909.92/910.17	c  909s |      18 |   517364 |   345352 |    25408     28 |      921 |      944
912.03/912.28	c  912s |      18 |   518151 |   346052 |    25408     28 |      921 |      944
914.33/914.52	c  914s |      18 |   519113 |   346852 |    25408     28 |      921 |      944
916.63/916.80	c  916s |      18 |   519997 |   347652 |    25408     28 |      921 |      944
918.63/918.81	c  918s |      18 |   520663 |   348252 |    25408     28 |      921 |      944
920.93/921.11	c  920s |      18 |   521458 |   348952 |    25408     28 |      921 |      944
922.93/923.12	c  922s |      18 |   522203 |   349552 |    25408     28 |      921 |      944
925.04/925.29	c  925s |      18 |   523046 |   350252 |    25408     28 |      921 |      944
927.14/927.40	c  927s |      18 |   523796 |   350852 |    25408     28 |      921 |      944
929.33/929.52	c  929s |      18 |   524568 |   351552 |    25408     28 |      921 |      944
931.33/931.53	c  931s |      18 |   525280 |   352152 |    25408     28 |      921 |      944
933.53/933.79	c  933s |      18 |   525985 |   352752 |    25408     28 |      921 |      944
935.93/936.12	c  935s |      18 |   526660 |   353352 |    25408     28 |      921 |      944
938.13/938.37	c  938s |      18 |   527186 |   353852 |    25408     28 |      921 |      944
940.43/940.64	c  940s |      18 |   527897 |   354452 |    25408     28 |      921 |      944
942.72/942.92	c  942s |      18 |   528590 |   355052 |    25408     28 |      921 |      944
945.02/945.28	c  945s |      18 |   529262 |   355652 |    25408     28 |      921 |      944
947.12/947.39	c  947s |      18 |   529824 |   356152 |    25408     28 |      921 |      944
949.32/949.50	c  949s |      18 |   530426 |   356652 |    25408     28 |      921 |      944
951.52/951.74	c  951s |      18 |   530893 |   357052 |    25408     29 |      921 |      944
953.72/953.92	c  953s |      18 |   531612 |   357652 |    25408     29 |      921 |      944
955.73/955.95	c  955s |      18 |   532338 |   358252 |    25408     29 |      921 |      944
957.72/958.00	c  957s |      18 |   533191 |   358952 |    25408     29 |      921 |      944
959.82/960.02	c  959s |      18 |   534056 |   359652 |    25408     29 |      921 |      944
961.92/962.16	c  961s |      18 |   534912 |   360352 |    25408     29 |      921 |      944
964.12/964.34	c  964s |      18 |   535641 |   360952 |    25408     29 |      921 |      944
966.32/966.51	c  966s |      18 |   536358 |   361552 |    25408     29 |      921 |      944
968.42/968.64	c  968s |      18 |   537033 |   362152 |    25408     29 |      921 |      944
970.62/970.81	c  970s |      18 |   537739 |   362752 |    25408     29 |      921 |      944
972.72/972.92	c  972s |      18 |   538306 |   363252 |    25408     29 |      921 |      944
975.11/975.39	c  975s |      18 |   539012 |   363852 |    25408     29 |      921 |      944
977.51/977.77	c  977s |      18 |   539600 |   364352 |    25408     29 |      921 |      944
979.51/979.79	c  979s |      18 |   540146 |   364852 |    25408     29 |      921 |      944
981.81/982.07	c  981s |      18 |   540851 |   365452 |    25408     29 |      921 |      944
984.21/984.49	c  984s |      18 |   541538 |   366052 |    25408     29 |      921 |      944
986.51/986.71	c  986s |      18 |   542113 |   366552 |    25408     29 |      921 |      944
988.71/988.96	c  988s |      18 |   542812 |   367152 |    25408     29 |      921 |      944
990.70/990.97	c  990s |      18 |   543394 |   367652 |    25408     29 |      921 |      944
992.90/993.14	c  992s |      18 |   544099 |   368252 |    25408     29 |      921 |      944
995.10/995.37	c  995s |      18 |   544810 |   368852 |    25408     29 |      921 |      944
997.51/997.71	c  997s |      18 |   545410 |   369352 |    25408     29 |      921 |      944
999.61/999.87	c  999s |      18 |   546049 |   369852 |    25408     29 |      921 |      944
1002.01/1002.24	c 1001s |      18 |   546617 |   370352 |    25408     29 |      921 |      944
1004.40/1004.65	c 1004s |      18 |   547208 |   370852 |    25408     29 |      921 |      944
1006.70/1006.99	c 1006s |      18 |   547656 |   371252 |    25408     30 |      921 |      944
1008.90/1009.17	c 1008s |      18 |   548371 |   371852 |    25408     30 |      921 |      944
1011.10/1011.31	c 1011s |      18 |   549075 |   372452 |    25408     30 |      921 |      944
1013.10/1013.33	c 1013s |      18 |   549785 |   373052 |    25408     30 |      921 |      944
1015.40/1015.64	c 1015s |      18 |   550481 |   373652 |    25408     30 |      921 |      944
1017.80/1018.04	c 1017s |      18 |   551139 |   374252 |    25408     30 |      921 |      944
1019.89/1020.10	c 1019s |      18 |   551687 |   374752 |    25408     30 |      921 |      944
1022.19/1022.46	c 1022s |      18 |   552223 |   375252 |    25408     30 |      921 |      944
1024.19/1024.47	c 1024s |      18 |   552788 |   375752 |    25408     30 |      921 |      944
1026.39/1026.61	c 1026s |      18 |   553360 |   376252 |    25408     30 |      921 |      944
1028.40/1028.65	c 1028s |      18 |   554022 |   376852 |    25408     30 |      921 |      944
1030.60/1030.84	c 1030s |      18 |   554710 |   377452 |    25408     30 |      921 |      944
1032.70/1033.00	c 1032s |      18 |   555263 |   377952 |    25408     30 |      921 |      944
1035.09/1035.33	c 1035s |      18 |   555923 |   378552 |    25408     30 |      921 |      944
1037.39/1037.61	c 1037s |      18 |   556598 |   379152 |    25408     30 |      921 |      944
1039.59/1039.82	c 1039s |      18 |   557169 |   379652 |    25408     30 |      921 |      944
1041.89/1042.10	c 1041s |      18 |   557747 |   380152 |    25408     30 |      921 |      944
1043.89/1044.14	c 1043s |      18 |   558359 |   380652 |    25408     30 |      921 |      944
1045.89/1046.15	c 1045s |      18 |   559088 |   381252 |    25408     30 |      921 |      944
1048.19/1048.43	c 1048s |      18 |   559965 |   381952 |    25408     30 |      921 |      944
1050.48/1050.75	c 1050s |      18 |   560652 |   382552 |    25408     30 |      921 |      944
1052.88/1053.10	c 1052s |      18 |   561352 |   383152 |    25408     30 |      921 |      944
1054.98/1055.27	c 1054s |      18 |   561917 |   383652 |    25408     30 |      921 |      944
1057.28/1057.50	c 1057s |      18 |   562497 |   384152 |    25408     30 |      921 |      944
1059.38/1059.60	c 1059s |      18 |   563046 |   384652 |    25408     30 |      921 |      944
1061.68/1061.99	c 1061s |      18 |   563582 |   385152 |    25408     30 |      921 |      944
1064.08/1064.38	c 1064s |      18 |   564012 |   385552 |    25408     31 |      921 |      944
1066.38/1066.62	c 1066s |      18 |   564658 |   386152 |    25408     31 |      921 |      944
1068.57/1068.80	c 1068s |      18 |   565297 |   386752 |    25408     31 |      921 |      944
1070.57/1070.88	c 1070s |      18 |   566008 |   387352 |    25408     31 |      921 |      944
1072.77/1073.00	c 1072s |      18 |   566682 |   387952 |    25408     31 |      921 |      944
1074.87/1075.11	c 1074s |      18 |   567498 |   388652 |    25408     31 |      921 |      944
1076.87/1077.17	c 1076s |      18 |   568190 |   389252 |    25408     31 |      921 |      944
1079.17/1079.43	c 1079s |      18 |   569006 |   389952 |    25408     31 |      921 |      944
1081.27/1081.56	c 1081s |      18 |   569707 |   390552 |    25408     31 |      921 |      944
1083.37/1083.63	c 1083s |      18 |   570388 |   391152 |    25408     31 |      921 |      944
1085.47/1085.72	c 1085s |      18 |   571056 |   391752 |    25408     31 |      921 |      944
1087.77/1088.03	c 1087s |      18 |   571769 |   392352 |    25408     31 |      921 |      944
1090.06/1090.32	c 1090s |      18 |   572489 |   392952 |    25408     31 |      921 |      944
1092.07/1092.36	c 1092s |      18 |   573053 |   393452 |    25408     31 |      921 |      944
1094.27/1094.52	c 1094s |      18 |   573618 |   393952 |    25408     31 |      921 |      944
1096.36/1096.61	c 1096s |      18 |   574180 |   394452 |    25408     31 |      921 |      944
1098.77/1099.10	c 1098s |      18 |   574861 |   395052 |    25408     31 |      921 |      944
1101.16/1101.47	c 1101s |      18 |   575406 |   395552 |    25408     31 |      921 |      944
1103.36/1103.67	c 1103s |      18 |   575948 |   396052 |    25408     31 |      921 |      944
1105.77/1106.08	c 1105s |      18 |   576497 |   396552 |    25408     31 |      921 |      944
1107.97/1108.21	c 1107s |      18 |   577104 |   397052 |    25408     31 |      921 |      944
1110.27/1110.54	c 1110s |      18 |   577676 |   397552 |    25408     31 |      921 |      944
1112.67/1112.90	c 1112s |      18 |   578264 |   398052 |    25408     31 |      921 |      944
1114.67/1114.91	c 1114s |      18 |   578722 |   398452 |    25408     31 |      921 |      944
1116.97/1117.29	c 1117s |      18 |   579281 |   398952 |    25408     31 |      921 |      944
1119.17/1119.47	c 1119s |      18 |   579698 |   399352 |    25408     31 |      921 |      944
1121.66/1121.91	c 1121s |      18 |   580130 |   399752 |    25408     32 |      921 |      944
1123.86/1124.13	c 1123s |      18 |   580831 |   400352 |    25408     32 |      921 |      944
1126.06/1126.35	c 1126s |      18 |   581675 |   401052 |    25408     32 |      921 |      944
1128.26/1128.55	c 1128s |      18 |   582358 |   401652 |    25408     32 |      921 |      944
1130.36/1130.62	c 1130s |      18 |   583054 |   402252 |    25408     32 |      921 |      944
1132.56/1132.84	c 1132s |      18 |   583768 |   402852 |    25408     32 |      921 |      944
1134.86/1135.12	c 1134s |      18 |   584598 |   403552 |    25408     32 |      921 |      944
1136.96/1137.27	c 1136s |      18 |   585279 |   404152 |    25408     32 |      921 |      944
1139.05/1139.34	c 1139s |      18 |   586019 |   404752 |    25408     32 |      921 |      944
1141.35/1141.66	c 1141s |      18 |   586699 |   405352 |    25408     32 |      921 |      944
1143.55/1143.87	c 1143s |      18 |   587366 |   405952 |    25408     32 |      921 |      944
1145.85/1146.14	c 1145s |      18 |   588059 |   406552 |    25408     32 |      921 |      944
1147.95/1148.22	c 1147s |      18 |   588743 |   407152 |    25408     32 |      921 |      944
1150.24/1150.59	c 1150s |      18 |   589433 |   407752 |    25408     32 |      921 |      944
1152.65/1152.92	c 1152s |      18 |   590123 |   408352 |    25408     32 |      921 |      944
1155.04/1155.32	c 1155s |      18 |   590802 |   408952 |    25408     32 |      921 |      944
1157.34/1157.66	c 1157s |      18 |   591476 |   409552 |    25408     32 |      921 |      944
1159.73/1160.08	c 1159s |      18 |   592164 |   410152 |    25408     32 |      921 |      944
1161.84/1162.18	c 1161s |      18 |   592748 |   410652 |    25408     32 |      921 |      944
1163.94/1164.21	c 1163s |      18 |   593331 |   411152 |    25408     32 |      921 |      944
1166.13/1166.49	c 1166s |      18 |   593882 |   411652 |    25408     32 |      921 |      944
1168.53/1168.83	c 1168s |      18 |   594428 |   412152 |    25408     32 |      921 |      944
1170.63/1170.98	c 1170s |      18 |   594850 |   412552 |    25408     32 |      921 |      944
1172.73/1173.09	c 1172s |      18 |   595401 |   413052 |    25408     32 |      921 |      944
1175.13/1175.46	c 1175s |      18 |   595950 |   413552 |    25408     32 |      921 |      944
1177.33/1177.64	c 1177s |      18 |   596420 |   413952 |    25408     33 |      921 |      944
1179.62/1179.91	c 1179s |      18 |   597091 |   414552 |    25408     33 |      921 |      944
1181.82/1182.19	c 1181s |      18 |   597744 |   415152 |    25408     33 |      921 |      944
1184.22/1184.52	c 1184s |      18 |   598516 |   415852 |    25408     33 |      921 |      944
1186.32/1186.62	c 1186s |      18 |   599174 |   416452 |    25408     33 |      921 |      944
1188.52/1188.85	c 1188s |      18 |   599809 |   417052 |    25408     33 |      921 |      944
1190.72/1191.00	c 1190s |      18 |   600458 |   417652 |    25408     33 |      921 |      944
1192.91/1193.23	c 1192s |      18 |   601110 |   418252 |    25408     33 |      921 |      944
1195.02/1195.39	c 1195s |      18 |   601780 |   418852 |    25408     33 |      921 |      944
1197.42/1197.78	c 1197s |      18 |   602440 |   419452 |    25408     33 |      921 |      944
1199.71/1200.05	c 1199s |      18 |   602994 |   419952 |    25408     33 |      921 |      944
1201.91/1202.26	c 1201s |      18 |   603675 |   420552 |    25408     33 |      921 |      944
1204.12/1204.48	c 1204s |      18 |   604403 |   421152 |    25408     33 |      921 |      944
1206.32/1206.62	c 1206s |      18 |   605103 |   421752 |    25408     33 |      921 |      944
1208.52/1208.82	c 1208s |      18 |   605679 |   422252 |    25408     33 |      921 |      944
1210.61/1210.94	c 1210s |      18 |   606228 |   422752 |    25408     33 |      921 |      944
1212.71/1213.04	c 1212s |      18 |   606818 |   423252 |    25408     33 |      921 |      944
1214.81/1215.12	c 1214s |      18 |   607388 |   423752 |    25408     33 |      921 |      944
1217.01/1217.35	c 1217s |      18 |   608084 |   424352 |    25408     33 |      921 |      944
1219.21/1219.52	c 1219s |      18 |   608637 |   424852 |    25408     33 |      921 |      944
1221.50/1221.88	c 1221s |      18 |   609324 |   425452 |    25408     33 |      921 |      944
1223.60/1223.95	c 1223s |      18 |   609889 |   425952 |    25408     33 |      921 |      944
1225.70/1226.03	c 1225s |      18 |   610449 |   426452 |    25408     33 |      921 |      944
1227.80/1228.12	c 1227s |      18 |   610999 |   426952 |    25408     33 |      921 |      944
1229.90/1230.29	c 1230s |      18 |   611543 |   427452 |    25408     33 |      921 |      944
1232.69/1233.01	c 1232s |      18 |   612113 |   427952 |    25408     34 |      921 |      944
1234.89/1235.22	c 1234s |      18 |   612908 |   428652 |    25408     34 |      921 |      944
1237.20/1237.53	c 1237s |      18 |   613714 |   429352 |    25408     34 |      921 |      944
1239.29/1239.62	c 1239s |      18 |   614400 |   429952 |    25408     34 |      921 |      944
1241.39/1241.75	c 1241s |      18 |   615072 |   430552 |    25408     34 |      921 |      944
1243.48/1243.81	c 1243s |      18 |   615768 |   431152 |    25408     34 |      921 |      944
1245.68/1246.09	c 1245s |      18 |   616440 |   431752 |    25408     34 |      921 |      944
1247.98/1248.39	c 1248s |      18 |   617122 |   432352 |    25408     34 |      921 |      944
1250.08/1250.41	c 1250s |      18 |   617657 |   432852 |    25408     34 |      921 |      944
1252.18/1252.59	c 1252s |      18 |   618326 |   433452 |    25408     34 |      921 |      944
1254.38/1254.70	c 1254s |      18 |   618881 |   433952 |    25408     34 |      921 |      944
1256.38/1256.77	c 1256s |      18 |   619582 |   434552 |    25408     34 |      921 |      944
1258.68/1259.08	c 1258s |      18 |   620243 |   435152 |    25408     34 |      921 |      944
1260.77/1261.19	c 1260s |      18 |   620784 |   435652 |    25408     34 |      921 |      944
1262.97/1263.32	c 1263s |      18 |   621351 |   436152 |    25408     34 |      921 |      944
1265.27/1265.60	c 1265s |      18 |   622045 |   436752 |    25408     34 |      921 |      944
1267.67/1268.02	c 1267s |      18 |   622722 |   437352 |    25408     34 |      921 |      944
1269.96/1270.39	c 1270s |      18 |   623408 |   437952 |    25408     34 |      921 |      944
1272.06/1272.46	c 1272s |      18 |   623969 |   438452 |    25408     34 |      921 |      944
1274.16/1274.59	c 1274s |      18 |   624529 |   438952 |    25408     34 |      921 |      944
1276.26/1276.68	c 1276s |      18 |   625087 |   439452 |    25408     34 |      921 |      944
1278.36/1278.76	c 1278s |      18 |   625652 |   439952 |    25408     34 |      921 |      944
1280.45/1280.80	c 1280s |      18 |   626203 |   440452 |    25408     34 |      921 |      944
1282.65/1283.00	c 1282s |      18 |   626735 |   440952 |    25408     34 |      921 |      944
1285.05/1285.43	c 1285s |      18 |   627278 |   441452 |    27949     34 |      921 |      944
1287.55/1287.98	c 1287s |      18 |   627836 |   441952 |    27949     34 |      921 |      944
1289.86/1290.24	c 1289s |      18 |   628404 |   442452 |    27949     34 |      921 |      944
1291.86/1292.25	c 1291s |      18 |   628836 |   442852 |    27949     34 |      921 |      944
1294.26/1294.68	c 1294s |      18 |   629395 |   443352 |    27949     34 |      921 |      944
1296.66/1297.07	c 1296s |      18 |   629954 |   443852 |    27949     34 |      921 |      944
1299.05/1299.49	c 1299s |      18 |   630502 |   444352 |    27949     34 |      921 |      944
1299.75/1300.16	c 1299s |      19 |   630643 |   444482 |    27949     34 |      921 |      944
1301.75/1302.19	c 1301s |      19 |   637222 |   446182 |    27949     35 |      921 |      944
1303.85/1304.23	c 1303s |      19 |   641874 |   448382 |    27949     35 |      921 |      944
1305.94/1306.36	c 1306s |      19 |   643819 |   450182 |    27949     35 |      921 |      944
1307.94/1308.37	c 1308s |      19 |   645215 |   451482 |    27949     35 |      921 |      944
1310.04/1310.46	c 1310s |      19 |   646929 |   453082 |    27949     35 |      921 |      944
1312.14/1312.59	c 1312s |      19 |   648305 |   454382 |    27949     35 |      921 |      944
1314.24/1314.62	c 1314s |      19 |   649470 |   455482 |    27949     35 |      921 |      944
1316.24/1316.70	c 1316s |      19 |   650616 |   456582 |    27949     35 |      921 |      944
1318.34/1318.75	c 1318s |      19 |   651680 |   457582 |    27949     35 |      921 |      944
1320.43/1320.85	c 1320s |      19 |   652724 |   458582 |    27949     35 |      921 |      944
1322.53/1322.97	c 1322s |      19 |   653769 |   459582 |    27949     35 |      921 |      944
1324.63/1325.02	c 1324s |      19 |   654495 |   460282 |    27949     36 |      921 |      944
1326.83/1327.20	c 1326s |      19 |   655429 |   461182 |    27949     36 |      921 |      944
1328.83/1329.28	c 1329s |      19 |   656246 |   461982 |    27949     36 |      921 |      944
1330.93/1331.37	c 1331s |      19 |   657059 |   462782 |    27949     36 |      921 |      944
1333.13/1333.51	c 1333s |      19 |   658018 |   463682 |    27949     36 |      921 |      944
1335.23/1335.69	c 1335s |      19 |   658851 |   464482 |    27949     36 |      921 |      944
1337.33/1337.73	c 1337s |      19 |   659573 |   465182 |    27949     36 |      921 |      944
1339.43/1339.81	c 1339s |      19 |   660581 |   466082 |    27949     36 |      921 |      944
1341.42/1341.87	c 1341s |      19 |   661448 |   466882 |    27949     36 |      921 |      944
1343.72/1344.11	c 1343s |      19 |   662319 |   467682 |    27949     36 |      921 |      944
1345.92/1346.34	c 1346s |      19 |   663182 |   468482 |    27949     36 |      921 |      944
1348.23/1348.64	c 1348s |      19 |   664051 |   469282 |    27949     36 |      921 |      944
1350.42/1350.88	c 1350s |      19 |   664795 |   469982 |    27949     36 |      921 |      944
1352.72/1353.13	c 1352s |      19 |   665530 |   470682 |    27949     36 |      921 |      944
1354.82/1355.26	c 1354s |      19 |   666153 |   471282 |    27949     36 |      921 |      944
1357.12/1357.57	c 1357s |      19 |   666900 |   471982 |    27949     36 |      921 |      944
1359.32/1359.78	c 1359s |      19 |   667517 |   472582 |    27949     36 |      921 |      944
1361.52/1361.92	c 1361s |      19 |   668149 |   473182 |    27949     36 |      921 |      944
1363.51/1363.98	c 1363s |      19 |   668772 |   473782 |    27949     36 |      921 |      944
1365.71/1366.12	c 1365s |      19 |   669425 |   474382 |    27949     36 |      921 |      944
1367.91/1368.30	c 1368s |      19 |   670055 |   474982 |    27949     36 |      921 |      944
1369.90/1370.39	c 1370s |      19 |   670580 |   475482 |    27949     36 |      921 |      944
1372.20/1372.63	c 1372s |      19 |   671113 |   475982 |    27949     37 |      921 |      944
1374.20/1374.68	c 1374s |      19 |   671979 |   476782 |    27949     37 |      921 |      944
1376.30/1376.77	c 1376s |      19 |   672837 |   477582 |    27949     37 |      921 |      944
1378.40/1378.89	c 1378s |      19 |   673703 |   478382 |    27949     37 |      921 |      944
1380.49/1380.95	c 1380s |      19 |   674458 |   479082 |    27949     37 |      921 |      944
1382.69/1383.15	c 1382s |      19 |   675187 |   479782 |    27949     37 |      921 |      944
1384.89/1385.35	c 1385s |      19 |   675928 |   480482 |    27949     37 |      921 |      944
1387.19/1387.67	c 1387s |      19 |   676650 |   481182 |    27949     37 |      921 |      944
1389.29/1389.72	c 1389s |      19 |   677273 |   481782 |    27949     37 |      921 |      944
1391.29/1391.74	c 1391s |      19 |   677903 |   482382 |    27949     37 |      921 |      944
1393.39/1393.80	c 1393s |      19 |   678529 |   482982 |    27949     37 |      921 |      944
1395.39/1395.83	c 1395s |      19 |   679158 |   483582 |    27949     37 |      921 |      944
1397.69/1398.12	c 1397s |      19 |   679779 |   484182 |    27949     37 |      921 |      944
1399.78/1400.30	c 1400s |      19 |   680410 |   484782 |    27949     37 |      921 |      944
1401.98/1402.47	c 1402s |      19 |   681039 |   485382 |    27949     37 |      921 |      944
1404.29/1404.75	c 1404s |      19 |   681678 |   485982 |    27949     37 |      921 |      944
1406.49/1406.99	c 1406s |      19 |   682311 |   486582 |    27949     37 |      921 |      944
1408.79/1409.21	c 1408s |      19 |   682949 |   487182 |    27949     37 |      921 |      944
1410.77/1411.22	c 1410s |      19 |   683476 |   487682 |    27949     37 |      921 |      944
1412.87/1413.31	c 1413s |      19 |   683994 |   488182 |    27949     37 |      921 |      944
1415.07/1415.59	c 1415s |      19 |   684637 |   488782 |    27949     37 |      921 |      944
1417.37/1417.84	c 1417s |      19 |   685265 |   489382 |    27949     37 |      921 |      944
1419.47/1419.93	c 1419s |      19 |   685780 |   489882 |    27949     37 |      921 |      944
1421.56/1422.05	c 1421s |      19 |   686311 |   490382 |    27949     37 |      921 |      944
1423.56/1424.07	c 1423s |      19 |   686844 |   490882 |    27949     37 |      921 |      944
1426.06/1426.56	c 1426s |      19 |   687371 |   491382 |    27949     38 |      921 |      944
1428.36/1428.85	c 1428s |      19 |   688205 |   492182 |    27949     38 |      921 |      944
1430.57/1431.01	c 1430s |      19 |   688851 |   492782 |    27949     38 |      921 |      944
1432.98/1433.44	c 1433s |      19 |   689711 |   493582 |    27949     38 |      921 |      944
1435.18/1435.69	c 1435s |      19 |   690682 |   494482 |    27949     38 |      921 |      944
1437.47/1437.97	c 1437s |      19 |   691537 |   495282 |    27949     38 |      921 |      944
1439.67/1440.18	c 1439s |      19 |   692400 |   496082 |    27949     38 |      921 |      944
1441.87/1442.37	c 1442s |      19 |   693146 |   496782 |    27949     38 |      921 |      944
1443.87/1444.37	c 1444s |      19 |   693774 |   497382 |    27949     38 |      921 |      944
1445.87/1446.38	c 1446s |      19 |   694407 |   497982 |    27949     38 |      921 |      944
1447.96/1448.48	c 1448s |      19 |   695027 |   498582 |    27949     38 |      921 |      944
1450.16/1450.62	c 1450s |      19 |   695664 |   499182 |    27949     38 |      921 |      944
1452.36/1452.84	c 1452s |      19 |   696286 |   499782 |    27949     38 |      921 |      944
1454.76/1455.28	c 1454s |      19 |   696917 |   500382 |    27949     38 |      921 |      944
1456.86/1457.37	c 1457s |      19 |   697539 |   500982 |    27949     38 |      921 |      944
1459.16/1459.60	c 1459s |      19 |   698168 |   501582 |    27949     38 |      921 |      944
1461.26/1461.74	c 1461s |      19 |   698682 |   502082 |    27949     38 |      921 |      944
1463.26/1463.74	c 1463s |      19 |   699212 |   502582 |    27949     38 |      921 |      944
1465.56/1466.06	c 1465s |      19 |   699847 |   503182 |    27949     38 |      921 |      944
1467.96/1468.46	c 1468s |      19 |   700481 |   503782 |    27949     38 |      921 |      944
1470.36/1470.81	c 1470s |      19 |   701107 |   504382 |    27949     38 |      921 |      944
1472.76/1473.20	c 1472s |      19 |   701726 |   504982 |    27949     38 |      921 |      944
1474.96/1475.42	c 1475s |      19 |   702241 |   505482 |    27949     38 |      921 |      944
1477.16/1477.66	c 1477s |      19 |   702769 |   505982 |    27949     38 |      921 |      944
1479.46/1479.98	c 1479s |      19 |   703285 |   506482 |    27949     38 |      921 |      944
1482.06/1482.53	c 1482s |      19 |   703811 |   506982 |    27949     39 |      921 |      944
1484.15/1484.67	c 1484s |      19 |   704546 |   507682 |    27949     39 |      921 |      944
1486.45/1486.91	c 1486s |      19 |   705270 |   508382 |    27949     39 |      921 |      944
1488.65/1489.14	c 1488s |      19 |   706005 |   509082 |    27949     39 |      921 |      944
1490.85/1491.32	c 1491s |      19 |   706733 |   509782 |    27949     39 |      921 |      944
1493.05/1493.53	c 1493s |      19 |   707453 |   510482 |    27949     39 |      921 |      944
1495.25/1495.77	c 1495s |      19 |   708173 |   511182 |    27949     39 |      921 |      944
1497.35/1497.82	c 1497s |      19 |   708786 |   511782 |    27949     39 |      921 |      944
1499.55/1500.01	c 1499s |      19 |   709538 |   512482 |    27949     39 |      921 |      944
1501.75/1502.29	c 1502s |      19 |   710170 |   513082 |    27949     39 |      921 |      944
1503.85/1504.32	c 1504s |      19 |   710783 |   513682 |    27949     39 |      921 |      944
1505.95/1506.45	c 1506s |      19 |   711414 |   514282 |    27949     39 |      921 |      944
1508.05/1508.59	c 1508s |      19 |   712034 |   514882 |    27949     39 |      921 |      944
1510.35/1510.88	c 1510s |      19 |   712641 |   515482 |    27949     39 |      921 |      944
1512.65/1513.15	c 1512s |      19 |   713373 |   516182 |    27949     39 |      921 |      944
1514.95/1515.42	c 1515s |      19 |   714106 |   516882 |    27949     39 |      921 |      944
1517.15/1517.69	c 1517s |      19 |   714829 |   517582 |    27949     39 |      921 |      944
1519.45/1519.98	c 1519s |      19 |   715577 |   518282 |    27949     39 |      921 |      944
1521.65/1522.18	c 1521s |      19 |   716314 |   518982 |    27949     39 |      921 |      944
1524.05/1524.53	c 1524s |      19 |   716936 |   519582 |    27949     39 |      921 |      944
1526.15/1526.68	c 1526s |      19 |   717577 |   520182 |    27949     39 |      921 |      944
1528.45/1528.93	c 1528s |      19 |   718200 |   520782 |    27949     39 |      921 |      944
1530.85/1531.31	c 1531s |      19 |   718821 |   521382 |    27949     39 |      921 |      944
1533.15/1533.67	c 1533s |      19 |   719438 |   521982 |    27949     39 |      921 |      944
1535.85/1536.38	c 1536s |      19 |   720060 |   522582 |    27949     40 |      921 |      944
1538.05/1538.56	c 1538s |      19 |   720790 |   523282 |    27949     40 |      921 |      944
1540.34/1540.81	c 1540s |      19 |   721502 |   523982 |    27949     40 |      921 |      944
1542.45/1542.94	c 1542s |      19 |   722225 |   524682 |    27949     40 |      921 |      944
1544.55/1545.03	c 1544s |      19 |   722946 |   525382 |    27949     40 |      921 |      944
1546.64/1547.11	c 1546s |      19 |   723569 |   525982 |    27949     40 |      921 |      944
1548.64/1549.14	c 1548s |      19 |   724198 |   526582 |    27949     40 |      921 |      944
1550.94/1551.41	c 1551s |      19 |   724929 |   527282 |    27949     40 |      921 |      944
1553.04/1553.51	c 1553s |      19 |   725650 |   527982 |    27949     40 |      921 |      944
1555.05/1555.57	c 1555s |      19 |   726275 |   528582 |    27949     40 |      921 |      944
1557.44/1557.94	c 1557s |      19 |   727009 |   529282 |    27949     40 |      921 |      944
1559.74/1560.22	c 1559s |      19 |   727638 |   529882 |    27949     40 |      921 |      944
1561.84/1562.33	c 1562s |      19 |   728264 |   530482 |    27949     40 |      921 |      944
1564.14/1564.69	c 1564s |      19 |   728888 |   531082 |    27949     40 |      921 |      944
1566.34/1566.83	c 1566s |      19 |   729501 |   531682 |    27949     40 |      921 |      944
1568.54/1569.01	c 1568s |      19 |   730138 |   532282 |    27949     40 |      921 |      944
1570.54/1571.06	c 1570s |      19 |   730770 |   532882 |    27949     40 |      921 |      944
1572.74/1573.20	c 1572s |      19 |   731398 |   533482 |    27949     40 |      921 |      944
1574.94/1575.42	c 1575s |      19 |   732026 |   534082 |    27949     40 |      921 |      944
1576.95/1577.44	c 1577s |      19 |   732535 |   534582 |    27949     40 |      921 |      944
1579.04/1579.57	c 1579s |      19 |   733176 |   535182 |    27949     40 |      921 |      944
1581.14/1581.68	c 1581s |      19 |   733685 |   535682 |    27949     40 |      921 |      944
1583.54/1584.02	c 1583s |      19 |   734201 |   536182 |    27949     40 |      921 |      944
1585.84/1586.35	c 1586s |      19 |   734725 |   536682 |    27949     40 |      921 |      944
1588.14/1588.69	c 1588s |      19 |   735350 |   537282 |    27949     40 |      921 |      944
1590.24/1590.77	c 1590s |      19 |   735888 |   537782 |    27949     40 |      921 |      944
1592.44/1592.99	c 1592s |      19 |   736413 |   538282 |    27949     41 |      921 |      944
1594.83/1595.32	c 1595s |      19 |   737042 |   538882 |    27949     41 |      921 |      944
1596.84/1597.37	c 1597s |      19 |   737783 |   539582 |    27949     41 |      921 |      944
1599.04/1599.52	c 1599s |      19 |   738529 |   540282 |    27949     41 |      921 |      944
1601.14/1601.61	c 1601s |      19 |   739247 |   540982 |    27949     41 |      921 |      944
1603.34/1603.87	c 1603s |      19 |   739977 |   541682 |    27949     41 |      921 |      944
1605.43/1605.93	c 1605s |      19 |   740606 |   542282 |    27949     41 |      921 |      944
1607.53/1608.06	c 1607s |      19 |   741227 |   542882 |    27949     41 |      921 |      944
1609.83/1610.39	c 1610s |      19 |   741957 |   543582 |    27949     41 |      921 |      944
1611.93/1612.42	c 1612s |      19 |   742586 |   544182 |    27949     41 |      921 |      944
1614.13/1614.69	c 1614s |      19 |   743211 |   544782 |    27949     41 |      921 |      944
1616.54/1617.02	c 1616s |      19 |   743823 |   545382 |    27949     41 |      921 |      944
1618.73/1619.24	c 1618s |      19 |   744574 |   546082 |    27949     41 |      921 |      944
1620.74/1621.27	c 1620s |      19 |   745210 |   546682 |    27949     41 |      921 |      944
1622.94/1623.42	c 1623s |      19 |   745836 |   547282 |    27949     41 |      921 |      944
1625.24/1625.76	c 1625s |      19 |   746463 |   547882 |    27949     41 |      921 |      944
1627.24/1627.78	c 1627s |      19 |   747151 |   548482 |    27949     41 |      921 |      944
1629.44/1629.91	c 1629s |      19 |   748066 |   549282 |    27949     41 |      921 |      944
1631.44/1631.96	c 1631s |      19 |   748986 |   550082 |    27949     41 |      921 |      944
1633.53/1634.03	c 1633s |      19 |   749804 |   550782 |    27949     41 |      921 |      944
1635.63/1636.18	c 1635s |      19 |   750599 |   551482 |    27949     41 |      921 |      944
1637.93/1638.49	c 1638s |      19 |   751504 |   552282 |    27949     41 |      921 |      944
1640.23/1640.72	c 1640s |      19 |   752288 |   552982 |    27949     41 |      921 |      944
1642.23/1642.73	c 1642s |      19 |   753022 |   553582 |    27949     42 |      921 |      944
1644.23/1644.76	c 1644s |      19 |   754025 |   554482 |    27949     42 |      921 |      944
1646.34/1646.81	c 1646s |      19 |   755035 |   555382 |    27949     42 |      921 |      944
1648.44/1648.98	c 1648s |      19 |   756056 |   556282 |    27949     42 |      921 |      944
1650.64/1651.10	c 1650s |      19 |   756915 |   557082 |    27949     42 |      921 |      944
1652.63/1653.17	c 1652s |      19 |   757784 |   557882 |    27949     42 |      921 |      944
1654.83/1655.32	c 1655s |      19 |   758549 |   558582 |    27949     42 |      921 |      944
1656.83/1657.35	c 1657s |      19 |   759319 |   559282 |    27949     42 |      921 |      944
1659.03/1659.50	c 1659s |      19 |   760103 |   559982 |    27949     42 |      921 |      944
1661.23/1661.74	c 1661s |      19 |   760862 |   560682 |    27949     42 |      921 |      944
1663.43/1663.98	c 1663s |      19 |   761607 |   561382 |    27949     42 |      921 |      944
1665.53/1666.05	c 1665s |      19 |   762243 |   561982 |    27949     42 |      921 |      944
1667.63/1668.19	c 1667s |      19 |   762991 |   562682 |    27949     42 |      921 |      944
1669.83/1670.38	c 1670s |      19 |   763630 |   563282 |    27949     42 |      921 |      944
1672.13/1672.69	c 1672s |      19 |   764251 |   563882 |    27949     42 |      921 |      944
1674.23/1674.77	c 1674s |      19 |   764769 |   564382 |    27949     42 |      921 |      944
1676.63/1677.10	c 1676s |      19 |   765405 |   564982 |    27949     42 |      921 |      944
1678.93/1679.45	c 1679s |      19 |   766030 |   565582 |    27949     42 |      921 |      944
1681.03/1681.56	c 1681s |      19 |   766687 |   566182 |    27949     42 |      921 |      944
1683.23/1683.77	c 1683s |      19 |   767425 |   566882 |    27949     42 |      921 |      944
1685.43/1685.90	c 1685s |      19 |   768076 |   567482 |    27949     42 |      921 |      944
1687.63/1688.16	c 1687s |      19 |   768706 |   568082 |    27949     42 |      921 |      944
1689.93/1690.43	c 1690s |      19 |   769447 |   568782 |    27949     42 |      921 |      944
1692.13/1692.63	c 1692s |      19 |   770233 |   569482 |    27949     43 |      921 |      944
1694.12/1694.65	c 1694s |      19 |   771072 |   570282 |    27949     43 |      921 |      944
1696.23/1696.80	c 1696s |      19 |   772986 |   571282 |    27949     43 |      921 |      944
1698.32/1698.86	c 1698s |      19 |   773973 |   572182 |    27949     43 |      921 |      944
1700.42/1700.98	c 1700s |      19 |   775101 |   573182 |    27949     43 |      921 |      944
1702.43/1702.99	c 1702s |      19 |   776087 |   574082 |    27949     43 |      921 |      944
1704.42/1705.00	c 1704s |      19 |   776945 |   574882 |    27949     43 |      921 |      944
1706.52/1707.05	c 1706s |      19 |   777804 |   575682 |    27949     43 |      921 |      944
1708.72/1709.29	c 1709s |      19 |   778668 |   576482 |    27949     43 |      921 |      944
1711.02/1711.50	c 1711s |      19 |   779412 |   577182 |    27949     43 |      921 |      944
1713.22/1713.73	c 1713s |      19 |   780134 |   577882 |    27949     43 |      921 |      944
1715.42/1715.97	c 1715s |      19 |   780879 |   578582 |    27949     43 |      921 |      944
1717.62/1718.17	c 1717s |      19 |   781930 |   579382 |    27949     43 |      921 |      944
1719.93/1720.49	c 1720s |      19 |   783036 |   580282 |    27949     43 |      921 |      944
1722.32/1722.88	c 1722s |      19 |   783793 |   580982 |    27949     43 |      921 |      944
1724.62/1725.19	c 1724s |      19 |   784532 |   581682 |    27949     43 |      921 |      944
1726.72/1727.24	c 1726s |      19 |   785061 |   582182 |    27949     43 |      921 |      944
1729.02/1729.51	c 1729s |      19 |   785807 |   582882 |    27949     43 |      921 |      944
1731.12/1731.67	c 1731s |      19 |   786422 |   583482 |    27949     43 |      921 |      944
1733.23/1733.73	c 1733s |      19 |   787170 |   584082 |    27949     43 |      921 |      944
1735.62/1736.17	c 1735s |      19 |   787700 |   584582 |    27949     44 |      921 |      944
1737.82/1738.34	c 1738s |      19 |   788446 |   585282 |    27949     44 |      921 |      944
1739.92/1740.46	c 1740s |      19 |   789190 |   585982 |    27949     44 |      921 |      944
1742.02/1742.59	c 1742s |      19 |   789925 |   586682 |    27949     44 |      921 |      944
1744.12/1744.67	c 1744s |      19 |   790677 |   587382 |    27949     44 |      921 |      944
1746.42/1746.98	c 1746s |      19 |   791542 |   588182 |    27949     44 |      921 |      944
1748.92/1749.44	c 1749s |      19 |   792176 |   588782 |    27949     44 |      921 |      944
1751.01/1751.58	c 1751s |      19 |   792793 |   589382 |    27949     44 |      921 |      944
1753.11/1753.61	c 1753s |      19 |   793322 |   589882 |    27949     44 |      921 |      944
1755.12/1755.66	c 1755s |      19 |   793967 |   590482 |    27949     44 |      921 |      944
1757.32/1757.82	c 1757s |      19 |   794700 |   591182 |    27949     44 |      921 |      944
1759.41/1759.93	c 1759s |      19 |   795334 |   591782 |    27949     44 |      921 |      944
1761.61/1762.16	c 1761s |      19 |   796309 |   592682 |    27949     44 |      921 |      944
1763.61/1764.17	c 1763s |      19 |   797087 |   593382 |    27949     44 |      921 |      944
1765.91/1766.40	c 1766s |      19 |   797840 |   594082 |    27949     44 |      921 |      944
1767.91/1768.45	c 1768s |      19 |   798598 |   594782 |    27949     44 |      921 |      944
1770.01/1770.53	c 1770s |      19 |   799248 |   595382 |    27949     44 |      921 |      944
1772.11/1772.66	c 1772s |      19 |   799868 |   595982 |    27949     44 |      921 |      944
1774.21/1774.78	c 1774s |      19 |   800516 |   596582 |    27949     44 |      921 |      944
1776.31/1776.82	c 1776s |      19 |   801516 |   597282 |    27949     44 |      921 |      944
1778.32/1778.87	c 1778s |      19 |   802201 |   597882 |    27949     44 |      921 |      944
1780.71/1781.20	c 1780s |      19 |   802978 |   598582 |    27949     44 |      921 |      944
1782.81/1783.36	c 1783s |      19 |   803635 |   599182 |    27949     44 |      921 |      944
1785.01/1785.52	c 1785s |      19 |   804342 |   599782 |    27949     44 |      921 |      944
1787.11/1787.63	c 1787s |      19 |   804857 |   600282 |    27949     45 |      921 |      944
1789.21/1789.75	c 1789s |      19 |   805704 |   601082 |    27949     45 |      921 |      944
1791.21/1791.76	c 1791s |      19 |   806441 |   601782 |    27949     45 |      921 |      944
1793.51/1794.09	c 1793s |      19 |   807407 |   602682 |    27949     45 |      921 |      944
1795.61/1796.17	c 1795s |      19 |   808239 |   603482 |    27949     45 |      921 |      944
1797.81/1798.35	c 1798s |      19 |   809008 |   604182 |    27949     45 |      921 |      944
1799.81/1800.38	c 1800s |      19 |   809731 |   604882 |    27949     45 |      921 |      944

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

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.22 2.18 2/169 24166
/proc/meminfo: memFree=29792296/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 4 0 31278202 246870016 1687 33554432000 4194304 16246674 140733536090160 140733536089584 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 61039 1699 441 2943 0 57933 0
[pid=24166/tid=24167] ppid=24163 vsize=258492 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 264695808 1755 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=262588 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 268890112 1771 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=266684 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 273084416 1787 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.30 2.22 2.18 2/169 24166
/proc/meminfo: memFree=29792296/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 28466 0 0 0 6 3 0 0 20 0 4 0 31278202 1249447936 29276 33554432000 4194304 16246674 140733536090160 140733536089472 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 305041 29276 801 2943 0 301935 0
[pid=24166/tid=24167] ppid=24163 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1249447936 29276 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1249447936 29276 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1249447936 29276 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200582 s]
/proc/loadavg: 2.30 2.22 2.18 2/169 24166
/proc/meminfo: memFree=29792296/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 48673 0 0 0 12 7 0 0 20 0 4 0 31278202 1332285440 49483 33554432000 4194304 16246674 140733536090160 140733536089472 13008217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 325265 49483 842 2943 0 322159 0
[pid=24166/tid=24167] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 49483 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 49483 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 49483 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300527 s]
/proc/loadavg: 2.30 2.22 2.18 2/169 24166
/proc/meminfo: memFree=29792296/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1301060 CPUtime=0.28 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 54699 0 0 0 21 7 0 0 20 0 4 0 31278202 1332285440 55509 33554432000 4194304 16246674 140733536090160 140733536089472 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 325265 55518 882 2943 0 322159 0
[pid=24166/tid=24167] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 55521 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 55522 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 55523 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700421 s]
/proc/loadavg: 2.30 2.22 2.18 2/169 24166
/proc/meminfo: memFree=29792296/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 105357 0 0 0 54 15 0 0 20 0 4 0 31278202 1332285440 106167 33554432000 4194304 16246674 140733536090160 140733536072064 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 325265 106177 882 2943 0 322159 0
[pid=24166/tid=24167] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 106190 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 106198 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 106205 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.20 2.20 2.17 2/173 24170
/proc/meminfo: memFree=29171756/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 212699 0 0 0 120 28 0 0 20 0 4 0 31278202 1332285440 213509 33554432000 4194304 16246674 140733536090160 140733536072064 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 325265 213514 882 2943 0 322159 0
[pid=24166/tid=24167] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 213517 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 213519 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1332285440 213522 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.20 2.20 2.17 2/173 24170
/proc/meminfo: memFree=28712592/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1313348 CPUtime=3.08 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 269301 0 0 0 272 36 0 0 20 0 4 0 31278202 1344868352 270111 33554432000 4194304 16246674 140733536090160 140733536072064 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 328337 270111 889 2943 0 325231 0
[pid=24166/tid=24167] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270111 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270111 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270111 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.20 2.20 2.17 2/173 24170
/proc/meminfo: memFree=28711116/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1313348 CPUtime=6.28 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 269523 0 0 0 592 36 0 0 20 0 4 0 31278202 1344868352 270333 33554432000 4194304 16246674 140733536090160 140733536072064 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 328337 270333 889 2943 0 325231 0
[pid=24166/tid=24167] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270333 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270333 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270333 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.02 2.16 2.16 2/173 24170
/proc/meminfo: memFree=28711720/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 269525 0 0 0 1232 36 0 0 20 0 4 0 31278202 1344868352 270335 33554432000 4194304 16246674 140733536090160 140733536072064 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 328337 270335 891 2943 0 325231 0
[pid=24166/tid=24167] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270335 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270335 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270335 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.86 2.12 2.15 3/173 24170
/proc/meminfo: memFree=28712844/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 269526 0 0 0 2512 36 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 140733536072064 5675101 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 328337 270336 892 2943 0 325231 0
[pid=24166/tid=24167] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1006 s]
/proc/loadavg: 1.63 2.04 2.12 2/173 24170
/proc/meminfo: memFree=28713084/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 269526 0 0 0 5072 36 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 140733536089336 12483416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 328337 270336 892 2943 0 325231 0
[pid=24166/tid=24167] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 1.37 1.91 2.07 2/173 24171
/proc/meminfo: memFree=28713472/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1313348 CPUtime=102.27 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 269526 0 0 0 10191 36 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 140733536072064 6842913 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 328337 270336 892 2943 0 325231 0
[pid=24166/tid=24167] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1344868352 270336 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1313348


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

/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1359548416 273923 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 1.29 1.28 1.45 2/173 24202
/proc/meminfo: memFree=28683200/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1342020 CPUtime=1361.91 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 276786 0 0 0 136144 47 0 0 20 0 4 0 31278202 1374228480 277313 33554432000 4194304 16246674 140733536090160 140733536072064 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 335505 277313 892 2943 0 332399 0
[pid=24166/tid=24167] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277313 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277313 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277313 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 1.20 1.25 1.43 2/174 24207
/proc/meminfo: memFree=28681704/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1342020 CPUtime=1421.87 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277026 0 0 0 142140 47 0 0 20 0 4 0 31278202 1374228480 277507 33554432000 4194304 16246674 140733536090160 140733536072064 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 335505 277507 892 2943 0 332399 0
[pid=24166/tid=24167] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277507 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277507 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277507 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 1.26 1.26 1.42 2/173 24208
/proc/meminfo: memFree=28682052/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1342020 CPUtime=1481.86 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277039 0 0 0 148138 48 0 0 20 0 4 0 31278202 1374228480 277507 33554432000 4194304 16246674 140733536090160 140733536072064 13198640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 335505 277507 892 2943 0 332399 0
[pid=24166/tid=24167] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277507 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277507 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1374228480 277507 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1342020

[startup+1542.31 s]
/proc/loadavg: 1.23 1.25 1.40 2/173 24209
/proc/meminfo: memFree=28679668/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1345092 CPUtime=1541.85 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277601 0 0 0 154137 48 0 0 20 0 4 0 31278202 1377374208 278069 33554432000 4194304 16246674 140733536090160 140733536072064 5523315 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 336273 278069 892 2943 0 333167 0
[pid=24166/tid=24167] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278069 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278069 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278069 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1345092

[startup+1602.3 s]
/proc/loadavg: 1.22 1.24 1.39 2/173 24210
/proc/meminfo: memFree=28678896/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1345092 CPUtime=1601.83 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277807 0 0 0 160135 48 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 140733536072064 5673523 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 336273 278275 892 2943 0 333167 0
[pid=24166/tid=24167] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1345092

[startup+1662.3 s]
/proc/loadavg: 1.23 1.24 1.38 2/173 24211
/proc/meminfo: memFree=28679108/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1345092 CPUtime=1661.83 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277807 0 0 0 166134 49 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 140733536072064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 336273 278275 892 2943 0 333167 0
[pid=24166/tid=24167] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1345092

[startup+1722.3 s]
/proc/loadavg: 1.17 1.22 1.36 2/173 24213
/proc/meminfo: memFree=28678872/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1345092 CPUtime=1721.82 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277807 0 0 0 172133 49 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 140733536072064 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 336273 278275 892 2943 0 333167 0
[pid=24166/tid=24167] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1345092

[startup+1782.3 s]
/proc/loadavg: 1.24 1.24 1.36 2/173 24214
/proc/meminfo: memFree=28678844/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1345092 CPUtime=1781.81 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277807 0 0 0 178132 49 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 140733536072064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 336273 278275 892 2943 0 333167 0
[pid=24166/tid=24167] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1345092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.25 1.24 1.36 2/173 24214
/proc/meminfo: memFree=28678844/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1345092 CPUtime=1800.01 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277807 0 0 0 179952 49 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 140733536072064 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 336273 278275 892 2943 0 333167 0
[pid=24166/tid=24167] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1345092

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

[startup+1800.5 s]
/proc/loadavg: 1.25 1.24 1.36 2/173 24214
/proc/meminfo: memFree=28678844/32872528 swapFree=1381468/1569516
[pid=24166] ppid=24163 vsize=1345092 CPUtime=1800.01 cores=1,3,5,7
/proc/24166/stat : 24166 (toysat) R 24163 24166 21593 0 -1 4202496 277807 0 0 0 179952 49 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 140733536072064 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24166/statm: 336273 278275 892 2943 0 333167 0
[pid=24166/tid=24167] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (toysat) S 24163 24166 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831306857712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24166/tid=24168] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (toysat) S 24163 24166 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831296367856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24166/tid=24169] ppid=24163 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (toysat) S 24163 24166 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31278202 1377374208 278275 33554432000 4194304 16246674 140733536090160 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1345092

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.52
CPU system time (s): 0.495924
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1345092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.495924
maximum resident set size= 1113100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277807
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= 360
involuntary context switches= 1923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.111 second user time and 13.274 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-27 01:06:44
IDJOB=4117157
IDBENCH=109560
IDSOLVER=2542
FILE ID=node140/4117157-1466982404
RUNJOBID= node140-1466980602-23986
PBS_JOBID= 19976369
Free space on /tmp= 71652 MiB

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

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

MD5SUM BENCH= 21cae5cde6335bb17512bd9f47fe296c
RANDOM SEED=1445201354

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
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:        29792188 kB
Buffers:          181308 kB
Cached:           590072 kB
SwapCached:         1824 kB
Active:           142464 kB
Inactive:         633436 kB
Active(anon):       3948 kB
Inactive(anon):     2380 kB
Active(file):     138516 kB
Inactive(file):   631056 kB
Unevictable:     1569516 kB
Mlocked:         1381468 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             16800 kB
Writeback:            40 kB
AnonPages:       1571788 kB
Mapped:             7236 kB
Shmem:                 0 kB
Slab:             601188 kB
SReclaimable:      44880 kB
SUnreclaim:       556308 kB
KernelStack:        1432 kB
PageTables:         6532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1665136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71636 MiB
End job on node140 at 2016-06-27 01:36:45