Trace number 4078769

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.05 1800.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
MD5SUMbfd9076f83014271363fd9848b4f1d95
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.019996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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-06T20:58:10+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-4078769-1465239490.opb"]
0.00/0.01	c use --random-gen="4106559189 3063199132 2939412789 452240504 648498083 3646323408 2857653913 602482761 2854929378 378194530 1947572040 3660426165 2619729069 1346054443 906986287 3361181181 2382689392 3104589548 1573971880 3113993065 641486461 992607618 590831167 2324977980 758422645 2629588586 4219014543 1373215107 4217521801 318096068 3181423674 1867478978 1102778757 1132798557 933078874 601603869 2922443962 1956132130 411597253 3757515219 3626758593 3688411936 3663396184 3939243313 4054836524 284983529 1044936236 514252262 1000220987 4156363721 821207229 3968727158 2670540627 274749375 326230833 297932901 3907958853 2788284453 2185726090 2236996606 2384998555 3637561129 2491650578 2309091878 1905308374 890505659 2809123844 3219452035 4203512568 3494800369 3873368072 3529554632 3709100704 2824618959 3922553025 3063361790 3973994316 294739591 501269447 660529227 1848893998 1473419193 4085908378 841654155 1455889573 3789868224 673613522 1176995183 4292479048 1259215645 1140883647 1483449345 2651795248 3689657118 1625042180 2495433828 50669074 1952248374 2214220184 58919148 3835687452 4252660526 619009718 2396504529 1864868090 1776712457 3974114937 4278683010 2551755775 1657112734 4033714358 852870132 2478887192 2159703939 1483254524 1280545041 1971885568 37008385 2166209461 2171773118 190801110 2259743648 1743057617 3673850593 3269271651 1404797582 3598406014 2004272187 3210753713 628024817 3934247165 3586207697 1215261303 3458792297 3429944395 1975621101 2834573392 678612166 3732227455 2160249001 2182502697 1580961179 3680036895 3136806768 3158140671 2139003008 2252879035 1852846111 1268380931 910440485 2416280790 3104926625 2507542807 1807694585 915758406 4041424062 1220950137 761243088 400433907 3720752557 1393244510 1071240858 1850019975 214810242 790909468 1472511225 327923221 2090274738 3529464697 763184797 2527529152 4017907687 3258006993 3934887898 3520107787 3542058701 1511184217 3900340523 3159118228 3248828209 2785875708 2479014257 1425821792 596921171 4237630503 585456613 460452578 988687546 235429049 2914692355 314526188 2215368828 4259757480 1966023810 3568328762 3173113939 2012255219 2234922580 3022697196 3116238249 752931719 3004913271 3212136840 1190872788 890521491 3569997568 1194087275 4294376928 1245987602 1324381437 2489789173 625941664 3891198864 3835952472 103535116 1507502996 3530106881 1600430210 4232056810 2699090418 2173587555 342656447 1335333982 1841639517 2593115389 271723175 1388907912 154316608 3719767451 621232956 96509085 2992915157 926858292 1561672472 3043468960 3261625216 697909972 2798489469 3061897467 723823327 673608122 76948656 2741270513 3078157402 4164025904 1654931221 1222130089 2028089010 4174222355 2324121701 1449482465 1261704757 3463428784 2425988809 1735746306 3733015422 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1800
0.00/0.02	c #constraints 85
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      628      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      157 |      100 |      628      0 |        0 |        0
0.19/0.20	c  0.2s |       2 |     1085 |      250 |      691      0 |        0 |        0
0.39/0.43	c  0.4s |       3 |     2359 |      475 |      761      0 |        0 |        0
0.69/0.70	c  0.7s |       4 |     3804 |      813 |      838      0 |        0 |        0
0.99/1.10	c  1.1s |       5 |     5732 |     1320 |      922      0 |        0 |        0
1.49/1.54	c  1.5s |       6 |     7801 |     2081 |     1117      1 |        0 |        0
2.59/2.65	c  2.6s |       7 |     9940 |     3223 |     1229      2 |        0 |        0
4.39/4.41	c  4.4s |       8 |    12839 |     4936 |     1352      3 |        0 |        0
6.38/6.43	c  6.4s |       8 |    17056 |     7136 |     1352      5 |        0 |        0
6.79/6.85	c  6.8s |       9 |    17469 |     7506 |     1488      5 |        0 |        0
8.89/8.91	c  8.9s |       9 |    21638 |     9306 |     1488      6 |        0 |        0
10.88/10.98	c 11.0s |       9 |    23264 |    10606 |     1488      7 |        0 |        0
11.98/12.00	c 12.0s |      10 |    24169 |    11361 |     1637      8 |        0 |        0
13.98/14.05	c 14.0s |      10 |    28216 |    13661 |     1637      9 |        0 |        0
15.98/16.08	c 16.1s |      10 |    30677 |    15561 |     1637     11 |        0 |        0
17.70/17.76	c 17.7s |      11 |    32378 |    17144 |     1801     11 |        0 |        0
19.79/19.85	c 19.8s |      11 |    35848 |    19244 |     1801     13 |        0 |        0
21.89/21.95	c 21.9s |      11 |    37570 |    20744 |     1801     13 |        0 |        0
23.89/23.99	c 24.0s |      11 |    39311 |    22244 |     1801     14 |        0 |        0
25.99/26.08	c 26.1s |      11 |    40927 |    23644 |     1801     15 |        0 |        0
28.09/28.12	c 28.1s |      11 |    43030 |    25444 |     1801     16 |        0 |        0
28.59/28.61	c 28.6s |      12 |    43440 |    25819 |     1982     16 |        0 |        0
30.59/30.68	c 30.7s |      12 |    46996 |    27819 |     1982     17 |        0 |        0
32.69/32.77	c 32.7s |      12 |    48328 |    29019 |     1982     18 |        0 |        0
34.79/34.84	c 34.8s |      12 |    49880 |    30319 |     1982     19 |        0 |        0
36.79/36.85	c 36.8s |      12 |    51291 |    31519 |     1982     19 |        0 |        0
38.89/38.95	c 38.9s |      12 |    52873 |    32919 |     1982     20 |        0 |        0
40.89/40.99	c 41.0s |      12 |    54278 |    34119 |     1982     21 |        0 |        0
43.09/43.11	c 43.1s |      12 |    55641 |    35319 |     1982     22 |        0 |        0
45.08/45.20	c 45.2s |      12 |    57417 |    36819 |     1982     22 |        0 |        0
47.18/47.29	c 47.3s |      12 |    58916 |    38119 |     1982     23 |        0 |        0
48.38/48.45	c 48.4s |      13 |    59723 |    38832 |     2181     23 |        0 |        0
50.48/50.53	c 50.5s |      13 |    62816 |    40732 |     2181     24 |        0 |        0
52.48/52.59	c 52.6s |      13 |    64781 |    42432 |     2181     25 |        0 |        0
54.58/54.62	c 54.6s |      13 |    66447 |    43932 |     2181     26 |        0 |        0
56.68/56.71	c 56.7s |      13 |    68249 |    45532 |     2181     27 |        0 |        0
58.78/58.80	c 58.8s |      13 |    69759 |    46932 |     2181     28 |        0 |        0
60.78/60.81	c 60.8s |      13 |    71350 |    48332 |     2181     28 |        0 |        0
62.79/62.90	c 62.9s |      13 |    73066 |    49832 |     2181     29 |        0 |        0
64.88/64.90	c 64.9s |      13 |    74635 |    51232 |     2181     30 |        0 |        0
66.88/66.95	c 66.9s |      13 |    76208 |    52632 |     2181     30 |        0 |        0
68.88/68.98	c 69.0s |      13 |    77789 |    54032 |     2181     31 |        0 |        0
70.98/71.09	c 71.1s |      13 |    79458 |    55532 |     2181     32 |        0 |        0
73.08/73.14	c 73.1s |      13 |    80749 |    56732 |     2181     33 |        0 |        0
75.17/75.20	c 75.2s |      13 |    82165 |    58032 |     2400     33 |        0 |        0
75.67/75.70	c 75.7s |      14 |    82514 |    58352 |     2400     33 |        0 |        0
77.67/77.70	c 77.7s |      14 |    85607 |    60152 |     2400     34 |        0 |        0
79.67/79.74	c 79.7s |      14 |    87151 |    61552 |     2400     35 |        0 |        0
81.77/81.86	c 81.8s |      14 |    88598 |    62852 |     2400     36 |        0 |        0
83.87/83.98	c 84.0s |      14 |    90134 |    64252 |     2400     36 |        0 |        0
85.98/86.00	c 86.0s |      14 |    91609 |    65552 |     2400     37 |        0 |        0
87.97/88.03	c 88.0s |      14 |    92836 |    66652 |     2400     38 |        0 |        0
90.07/90.17	c 90.1s |      14 |    94160 |    67852 |     2400     38 |        0 |        0
92.27/92.33	c 92.3s |      14 |    95401 |    68952 |     2400     39 |        0 |        0
94.37/94.45	c 94.4s |      14 |    96646 |    70052 |     2400     39 |        0 |        0
96.47/96.50	c 96.5s |      14 |    97901 |    71152 |     2400     40 |        0 |        0
98.67/98.70	c 98.7s |      14 |    99233 |    72352 |     2400     40 |        0 |        0
100.67/100.74	c  100s |      14 |   100391 |    73352 |     2400     41 |        0 |        0
102.77/102.80	c  102s |      14 |   101812 |    74552 |     2400     41 |        0 |        0
104.77/104.84	c  104s |      14 |   103043 |    75652 |     2400     42 |        0 |        0
106.78/106.90	c  106s |      14 |   104313 |    76752 |     2400     43 |        0 |        0
108.97/109.06	c  109s |      14 |   105771 |    78052 |     2400     43 |        0 |        0
111.07/111.18	c  111s |      14 |   107017 |    79152 |     2400     44 |        0 |        0
113.27/113.37	c  113s |      14 |   108281 |    80252 |     2400     44 |        0 |        0
115.28/115.38	c  115s |      14 |   109388 |    81252 |     2400     45 |        0 |        0
117.27/117.40	c  117s |      14 |   110624 |    82352 |     2400     45 |        0 |        0
119.37/119.43	c  119s |      14 |   111693 |    83352 |     2400     46 |        0 |        0
121.47/121.56	c  121s |      14 |   112976 |    84452 |     2400     46 |        0 |        0
123.57/123.62	c  123s |      14 |   114077 |    85452 |     2400     47 |        0 |        0
125.58/125.65	c  125s |      14 |   115250 |    86452 |     2400     47 |        0 |        0
127.57/127.65	c  127s |      14 |   116351 |    87452 |     2640     48 |        0 |        0
127.97/128.01	c  127s |      15 |   116544 |    87632 |     2640     48 |        0 |        0
129.97/130.02	c  129s |      15 |   120551 |    89332 |     2640     49 |        0 |        0
131.97/132.08	c  132s |      15 |   122235 |    90832 |     2640     50 |        0 |        0
133.97/134.09	c  134s |      15 |   123696 |    92132 |     2640     50 |        0 |        0
136.07/136.15	c  136s |      15 |   125071 |    93332 |     2640     51 |        0 |        0
138.06/138.17	c  138s |      15 |   126563 |    94632 |     2640     51 |        0 |        0
140.06/140.19	c  140s |      15 |   127708 |    95632 |     2640     52 |        0 |        0
142.17/142.28	c  142s |      15 |   129138 |    96832 |     2640     52 |        0 |        0
144.37/144.40	c  144s |      15 |   130402 |    97932 |     2640     53 |        0 |        0
146.37/146.42	c  146s |      15 |   131622 |    99032 |     2640     53 |        0 |        0
148.47/148.50	c  148s |      15 |   132948 |   100232 |     2640     54 |        0 |        0
150.57/150.65	c  150s |      15 |   134191 |   101332 |     2640     55 |        0 |        0
152.57/152.69	c  152s |      15 |   135395 |   102432 |     2640     55 |        0 |        0
154.76/154.86	c  154s |      15 |   136506 |   103432 |     2640     56 |        0 |        0
156.86/156.90	c  156s |      15 |   137650 |   104432 |     2640     56 |        0 |        0
158.86/158.96	c  158s |      15 |   138909 |   105532 |     2640     57 |        0 |        0
160.96/161.01	c  160s |      15 |   140106 |   106632 |     2640     57 |        0 |        0
163.06/163.15	c  163s |      15 |   141200 |   107632 |     2640     58 |        0 |        0
165.17/165.24	c  165s |      15 |   142739 |   108832 |     2640     58 |        0 |        0
167.16/167.29	c  167s |      15 |   144139 |   109932 |     2640     59 |        0 |        0
169.36/169.47	c  169s |      15 |   145507 |   111132 |     2640     59 |        0 |        0
171.37/171.48	c  171s |      15 |   146746 |   112132 |     2640     60 |        0 |        0
173.57/173.60	c  173s |      15 |   148097 |   113332 |     2640     60 |        0 |        0
175.56/175.66	c  175s |      15 |   149223 |   114332 |     2640     61 |        0 |        0
177.66/177.75	c  177s |      15 |   150548 |   115532 |     2640     61 |        0 |        0
179.86/179.91	c  179s |      15 |   151810 |   116632 |     2640     62 |        0 |        0
181.96/182.06	c  182s |      15 |   153430 |   118032 |     2640     62 |        0 |        0
184.06/184.11	c  184s |      15 |   154692 |   119132 |     2640     63 |        0 |        0
186.07/186.20	c  186s |      15 |   155932 |   120232 |     2640     63 |        0 |        0
188.17/188.21	c  188s |      15 |   157180 |   121332 |     2640     64 |        0 |        0
190.26/190.40	c  190s |      15 |   158512 |   122532 |     2640     64 |        0 |        0
192.36/192.48	c  192s |      15 |   159734 |   123632 |     2640     65 |        0 |        0
194.46/194.55	c  194s |      15 |   161240 |   124932 |     2640     66 |        0 |        0
196.66/196.70	c  196s |      15 |   162563 |   126132 |     2640     66 |        0 |        0
198.66/198.78	c  198s |      15 |   163651 |   127132 |     2640     67 |        0 |        0
200.76/200.88	c  200s |      15 |   164895 |   128232 |     2640     67 |        0 |        0
202.85/202.97	c  202s |      15 |   165884 |   129132 |     2640     68 |        0 |        0
204.96/205.00	c  204s |      15 |   167062 |   130132 |     2640     68 |        0 |        0
206.97/207.03	c  207s |      15 |   168342 |   131232 |     2905     68 |        0 |        0
207.76/207.82	c  207s |      16 |   168684 |   131552 |     2905     69 |        0 |        0
209.76/209.87	c  209s |      16 |   171972 |   133452 |     2905     69 |        0 |        0
211.86/211.92	c  211s |      16 |   173689 |   134952 |     2905     70 |        0 |        0
213.96/214.07	c  214s |      16 |   175034 |   136152 |     2905     71 |        0 |        0
216.06/216.11	c  216s |      16 |   176335 |   137352 |     2905     71 |        0 |        0
218.05/218.17	c  218s |      16 |   177582 |   138452 |     2905     72 |        0 |        0
220.16/220.25	c  220s |      16 |   178878 |   139652 |     2905     72 |        0 |        0
222.15/222.29	c  222s |      16 |   179999 |   140652 |     2905     73 |        0 |        0
224.35/224.42	c  224s |      16 |   181381 |   141852 |     2905     73 |        0 |        0
226.45/226.58	c  226s |      16 |   182759 |   143052 |     2905     74 |        0 |        0
228.65/228.72	c  228s |      16 |   184121 |   144252 |     2905     74 |        0 |        0
230.75/230.81	c  230s |      16 |   185344 |   145352 |     2905     75 |        0 |        0
232.75/232.87	c  232s |      16 |   186924 |   146752 |     2905     75 |        0 |        0
234.85/234.94	c  234s |      16 |   188276 |   147952 |     2905     76 |        0 |        0
236.85/236.95	c  236s |      16 |   189595 |   149152 |     2905     76 |        0 |        0
238.95/239.03	c  239s |      16 |   190931 |   150352 |     2905     77 |        0 |        0
241.05/241.18	c  241s |      16 |   192344 |   151652 |     2905     77 |        0 |        0
243.15/243.30	c  243s |      16 |   193585 |   152752 |     2905     78 |        0 |        0
245.25/245.33	c  245s |      16 |   194832 |   153852 |     2905     78 |        0 |        0
247.35/247.44	c  247s |      16 |   196029 |   154952 |     2905     79 |        0 |        0
249.45/249.58	c  249s |      16 |   197737 |   156452 |     2905     79 |        0 |        0
251.65/251.70	c  251s |      16 |   199218 |   157752 |     2905     80 |        0 |        0
253.65/253.76	c  253s |      16 |   200579 |   158952 |     2905     81 |        0 |        0
255.75/255.81	c  255s |      16 |   201813 |   160052 |     2905     81 |        0 |        0
257.85/257.91	c  257s |      16 |   203206 |   161252 |     2905     82 |        0 |        0
259.95/260.07	c  260s |      16 |   204534 |   162452 |     2905     82 |        0 |        0
262.05/262.17	c  262s |      16 |   205790 |   163552 |     2905     83 |        0 |        0
264.25/264.30	c  264s |      16 |   207526 |   165052 |     2905     83 |        0 |        0
266.36/266.44	c  266s |      16 |   209060 |   166352 |     2905     84 |        0 |        0
268.46/268.54	c  268s |      16 |   210389 |   167552 |     2905     84 |        0 |        0
270.55/270.60	c  270s |      16 |   211740 |   168752 |     2905     85 |        0 |        0
272.55/272.60	c  272s |      16 |   213094 |   169952 |     2905     85 |        0 |        0
274.55/274.63	c  274s |      16 |   214307 |   171052 |     2905     86 |        0 |        0
276.65/276.72	c  276s |      16 |   215400 |   172052 |     2905     86 |        0 |        0
278.65/278.77	c  278s |      16 |   216628 |   173152 |     2905     87 |        0 |        0
280.75/280.86	c  280s |      16 |   217978 |   174352 |     2905     87 |        0 |        0
282.95/283.01	c  282s |      16 |   219313 |   175552 |     2905     88 |        0 |        0
284.95/285.06	c  285s |      16 |   220427 |   176552 |     2905     88 |        0 |        0
286.94/287.07	c  287s |      16 |   221419 |   177452 |     2905     89 |        0 |        0
289.04/289.17	c  289s |      16 |   222519 |   178452 |     2905     89 |        0 |        0
291.14/291.27	c  291s |      16 |   224070 |   179752 |     2905     90 |        0 |        0
293.24/293.36	c  293s |      16 |   225624 |   181152 |     2905     90 |        0 |        0
295.34/295.49	c  295s |      16 |   226933 |   182352 |     2905     91 |        0 |        0
297.54/297.67	c  297s |      16 |   228425 |   183652 |     2905     91 |        0 |        0
299.74/299.81	c  299s |      16 |   229651 |   184752 |     2905     92 |        0 |        0
301.74/301.89	c  301s |      16 |   230723 |   185752 |     2905     92 |        0 |        0
303.94/304.03	c  304s |      16 |   232385 |   187152 |     2905     93 |        0 |        0
305.95/306.06	c  306s |      16 |   233743 |   188352 |     2905     94 |        0 |        0
308.05/308.14	c  308s |      16 |   235365 |   189752 |     2905     94 |        0 |        0
310.04/310.16	c  310s |      16 |   236930 |   191052 |     2905     95 |        0 |        0
312.04/312.18	c  312s |      16 |   238537 |   192452 |     2905     95 |        0 |        0
314.14/314.24	c  314s |      16 |   240042 |   193752 |     2905     96 |        0 |        0
316.24/316.34	c  316s |      16 |   241484 |   195052 |     2905     96 |        0 |        0
318.34/318.47	c  318s |      16 |   243084 |   196452 |     3196     97 |        0 |        0
319.94/320.07	c  320s |      17 |   244190 |   197432 |     3196     97 |        0 |        0
322.04/322.18	c  322s |      17 |   246844 |   199032 |     3196     98 |        0 |        0
324.14/324.26	c  324s |      17 |   248487 |   200432 |     3196     99 |        0 |        0
326.24/326.37	c  326s |      17 |   249803 |   201632 |     3196     99 |        0 |        0
328.34/328.41	c  328s |      17 |   250892 |   202632 |     3196    100 |        0 |        0
330.44/330.53	c  330s |      17 |   252009 |   203632 |     3196    100 |        0 |        0
332.54/332.66	c  332s |      17 |   253097 |   204632 |     3196    100 |        0 |        0
334.74/334.81	c  334s |      17 |   254203 |   205632 |     3196    101 |        0 |        0
336.93/337.01	c  336s |      17 |   255445 |   206732 |     3196    101 |        0 |        0
338.94/339.04	c  339s |      17 |   256228 |   207432 |     3196    102 |        0 |        0
340.94/341.10	c  341s |      17 |   257228 |   208332 |     3196    102 |        0 |        0
343.04/343.18	c  343s |      17 |   258519 |   209432 |     3196    102 |        0 |        0
345.14/345.27	c  345s |      17 |   259754 |   210532 |     3196    103 |        0 |        0
347.34/347.41	c  347s |      17 |   260990 |   211632 |     3196    103 |        0 |        0
349.33/349.48	c  349s |      17 |   262134 |   212632 |     3196    104 |        0 |        0
351.43/351.56	c  351s |      17 |   263383 |   213732 |     3196    104 |        0 |        0
353.63/353.72	c  353s |      17 |   264769 |   214932 |     3196    105 |        0 |        0
355.63/355.73	c  355s |      17 |   265999 |   216032 |     3196    105 |        0 |        0
357.93/358.01	c  357s |      17 |   267122 |   217032 |     3196    106 |        0 |        0
360.04/360.11	c  360s |      17 |   268472 |   218232 |     3196    106 |        0 |        0
362.14/362.23	c  362s |      17 |   269710 |   219332 |     3196    106 |        0 |        0
364.34/364.42	c  364s |      17 |   270845 |   220332 |     3196    107 |        0 |        0
366.34/366.47	c  366s |      17 |   271816 |   221232 |     3196    107 |        0 |        0
368.43/368.50	c  368s |      17 |   272705 |   222032 |     3196    108 |        0 |        0
370.53/370.66	c  370s |      17 |   273683 |   222932 |     3196    108 |        0 |        0
372.73/372.81	c  372s |      17 |   274670 |   223832 |     3196    108 |        0 |        0
374.93/375.07	c  375s |      17 |   275647 |   224732 |     3196    109 |        0 |        0
377.14/377.28	c  377s |      17 |   276620 |   225632 |     3196    109 |        0 |        0
379.24/379.37	c  379s |      17 |   277724 |   226632 |     3196    109 |        0 |        0
381.34/381.44	c  381s |      17 |   279121 |   227832 |     3196    110 |        0 |        0
383.43/383.55	c  383s |      17 |   280524 |   229032 |     3196    110 |        0 |        0
385.43/385.59	c  385s |      17 |   281757 |   230132 |     3196    111 |        0 |        0
387.53/387.69	c  387s |      17 |   282876 |   231132 |     3196    111 |        0 |        0
389.73/389.86	c  389s |      17 |   284027 |   232132 |     3196    112 |        0 |        0
391.93/392.07	c  392s |      17 |   285098 |   233132 |     3196    112 |        0 |        0
394.23/394.31	c  394s |      17 |   285957 |   233932 |     3196    112 |        0 |        0
396.22/396.32	c  396s |      17 |   287218 |   235032 |     3196    113 |        0 |        0
398.33/398.42	c  398s |      17 |   288598 |   236232 |     3196    113 |        0 |        0
400.54/400.61	c  400s |      17 |   289711 |   237232 |     3196    114 |        0 |        0
402.53/402.69	c  402s |      17 |   290697 |   238132 |     3196    114 |        0 |        0
404.73/404.86	c  404s |      17 |   291684 |   239032 |     3196    115 |        0 |        0
406.93/407.08	c  407s |      17 |   292546 |   239832 |     3196    115 |        0 |        0
409.12/409.21	c  409s |      17 |   293698 |   240832 |     3196    115 |        0 |        0
411.22/411.37	c  411s |      17 |   294680 |   241732 |     3196    116 |        0 |        0
413.52/413.63	c  413s |      17 |   295787 |   242732 |     3196    116 |        0 |        0
415.53/415.64	c  415s |      17 |   296703 |   243532 |     3196    116 |        0 |        0
417.73/417.82	c  417s |      17 |   298000 |   244732 |     3196    117 |        0 |        0
419.83/419.99	c  419s |      17 |   299338 |   245932 |     3196    117 |        0 |        0
422.12/422.25	c  422s |      17 |   300590 |   247032 |     3196    118 |        0 |        0
424.12/424.29	c  424s |      17 |   301696 |   248032 |     3196    118 |        0 |        0
426.42/426.50	c  426s |      17 |   302835 |   249032 |     3196    119 |        0 |        0
428.52/428.61	c  428s |      17 |   303875 |   249932 |     3196    119 |        0 |        0
430.73/430.87	c  430s |      17 |   304981 |   250932 |     3196    119 |        0 |        0
432.82/432.99	c  432s |      17 |   305992 |   251832 |     3196    120 |        0 |        0
434.92/435.06	c  435s |      17 |   306966 |   252732 |     3196    120 |        0 |        0
437.22/437.38	c  437s |      17 |   307850 |   253532 |     3196    121 |        0 |        0
439.52/439.61	c  439s |      17 |   308943 |   254532 |     3196    121 |        0 |        0
441.52/441.61	c  441s |      17 |   309971 |   255432 |     3196    121 |        0 |        0
443.62/443.76	c  443s |      17 |   311198 |   256532 |     3196    122 |        0 |        0
445.72/445.80	c  445s |      17 |   312429 |   257632 |     3196    122 |        0 |        0
447.73/447.87	c  447s |      17 |   313545 |   258632 |     3196    123 |        0 |        0
449.72/449.87	c  449s |      17 |   314784 |   259732 |     3196    123 |        0 |        0
451.92/452.08	c  452s |      17 |   316026 |   260832 |     3196    124 |        0 |        0
454.02/454.17	c  454s |      17 |   317236 |   261932 |     3196    124 |        0 |        0
456.21/456.32	c  456s |      17 |   318338 |   262932 |     3196    124 |        0 |        0
458.42/458.52	c  458s |      17 |   319444 |   263932 |     3196    125 |        0 |        0
460.42/460.55	c  460s |      17 |   320544 |   264932 |     3196    125 |        0 |        0
462.52/462.61	c  462s |      17 |   321644 |   265932 |     3196    126 |        0 |        0
464.52/464.62	c  464s |      17 |   322850 |   267032 |     3196    126 |        0 |        0
466.72/466.85	c  466s |      17 |   323953 |   268032 |     3196    127 |        0 |        0
468.82/468.95	c  468s |      17 |   325069 |   269032 |     3196    127 |        0 |        0
471.02/471.17	c  471s |      17 |   326177 |   270032 |     3196    127 |        0 |        0
473.02/473.17	c  473s |      17 |   327235 |   270932 |     3196    128 |        0 |        0
475.12/475.21	c  475s |      17 |   328925 |   272432 |     3196    128 |        0 |        0
477.22/477.36	c  477s |      17 |   330249 |   273632 |     3196    129 |        0 |        0
479.32/479.46	c  479s |      17 |   331559 |   274832 |     3196    129 |        0 |        0
481.51/481.60	c  481s |      17 |   332653 |   275832 |     3196    130 |        0 |        0
483.61/483.73	c  483s |      17 |   333854 |   276932 |     3196    130 |        0 |        0
485.61/485.73	c  485s |      17 |   335231 |   278132 |     3196    131 |        0 |        0
487.81/487.91	c  487s |      17 |   336691 |   279432 |     3196    131 |        0 |        0
489.81/489.96	c  489s |      17 |   337887 |   280532 |     3196    132 |        0 |        0
491.91/492.03	c  492s |      17 |   339118 |   281632 |     3196    132 |        0 |        0
494.02/494.14	c  494s |      17 |   340419 |   282732 |     3196    133 |        0 |        0
496.02/496.20	c  496s |      17 |   341723 |   283932 |     3196    133 |        0 |        0
498.42/498.52	c  498s |      17 |   342930 |   285032 |     3196    134 |        0 |        0
500.41/500.52	c  500s |      17 |   344111 |   286132 |     3196    134 |        0 |        0
502.51/502.66	c  502s |      17 |   345323 |   287232 |     3196    134 |        0 |        0
504.61/504.79	c  504s |      17 |   346509 |   288332 |     3196    135 |        0 |        0
506.81/506.95	c  506s |      17 |   347712 |   289432 |     3196    135 |        0 |        0
508.81/508.97	c  508s |      17 |   348681 |   290332 |     3196    136 |        0 |        0
510.91/511.01	c  510s |      17 |   349521 |   291132 |     3196    136 |        0 |        0
513.01/513.17	c  513s |      17 |   350527 |   292032 |     3196    136 |        0 |        0
515.21/515.36	c  515s |      17 |   351833 |   293232 |     3196    137 |        0 |        0
517.31/517.40	c  517s |      17 |   353032 |   294332 |     3516    137 |        0 |        0
519.51/519.60	c  519s |      17 |   354037 |   295232 |     3516    138 |        0 |        0
521.20/521.31	c  521s |      18 |   355155 |   296252 |     3516    138 |        0 |        0
523.31/523.40	c  523s |      18 |   357876 |   297752 |     3516    139 |        0 |        0
525.31/525.43	c  525s |      18 |   359026 |   298752 |     3516    139 |        0 |        0
527.41/527.50	c  527s |      18 |   360299 |   299852 |     3516    140 |        0 |        0
529.51/529.62	c  529s |      18 |   361683 |   301052 |     3516    140 |        0 |        0
531.81/531.91	c  531s |      18 |   362973 |   302152 |     3516    141 |        0 |        0
533.91/534.00	c  533s |      18 |   364190 |   303252 |     3516    141 |        0 |        0
536.01/536.15	c  536s |      18 |   365317 |   304252 |     3516    141 |        0 |        0
538.11/538.25	c  538s |      18 |   366322 |   305152 |     3516    142 |        0 |        0
540.31/540.44	c  540s |      18 |   367582 |   306252 |     3516    142 |        0 |        0
542.41/542.59	c  542s |      18 |   368726 |   307252 |     3516    142 |        0 |        0
544.51/544.65	c  544s |      18 |   369709 |   308152 |     3516    143 |        0 |        0
546.60/546.72	c  546s |      18 |   371080 |   309352 |     3516    143 |        0 |        0
548.70/548.89	c  548s |      18 |   372228 |   310352 |     3516    144 |        0 |        0
550.90/551.06	c  551s |      18 |   373370 |   311352 |     3516    144 |        0 |        0
553.10/553.24	c  553s |      18 |   374332 |   312252 |     3516    144 |        0 |        0
555.20/555.35	c  555s |      18 |   375324 |   313152 |     3516    145 |        0 |        0
557.30/557.40	c  557s |      18 |   376439 |   314152 |     3516    145 |        0 |        0
559.30/559.43	c  559s |      18 |   377539 |   315152 |     3516    145 |        0 |        0
561.30/561.44	c  561s |      18 |   378564 |   316052 |     3516    146 |        0 |        0
563.41/563.53	c  563s |      18 |   379787 |   317152 |     3516    146 |        0 |        0
565.41/565.54	c  565s |      18 |   380667 |   317952 |     3516    147 |        0 |        0
567.40/567.59	c  567s |      18 |   381887 |   319052 |     3516    147 |        0 |        0
569.60/569.75	c  569s |      18 |   382975 |   320052 |     3516    147 |        0 |        0
571.70/571.81	c  571s |      18 |   383832 |   320852 |     3516    148 |        0 |        0
573.80/573.92	c  573s |      18 |   384846 |   321752 |     3516    148 |        0 |        0
575.91/576.07	c  576s |      18 |   385861 |   322652 |     3516    148 |        0 |        0
578.11/578.21	c  578s |      18 |   386874 |   323552 |     3516    149 |        0 |        0
580.20/580.39	c  580s |      18 |   387842 |   324452 |     3516    149 |        0 |        0
582.30/582.45	c  582s |      18 |   388727 |   325252 |     3516    149 |        0 |        0
584.50/584.61	c  584s |      18 |   389593 |   326052 |     3516    150 |        0 |        0
586.70/586.82	c  586s |      18 |   390576 |   326952 |     3516    150 |        0 |        0
588.90/589.05	c  589s |      18 |   391465 |   327752 |     3516    150 |        0 |        0
591.10/591.24	c  591s |      18 |   392340 |   328552 |     3516    151 |        0 |        0
593.10/593.28	c  593s |      18 |   393429 |   329552 |     3516    151 |        0 |        0
595.10/595.30	c  595s |      18 |   394452 |   330452 |     3516    151 |        0 |        0
597.20/597.37	c  597s |      18 |   395327 |   331252 |     3516    152 |        0 |        0
599.40/599.57	c  599s |      18 |   396311 |   332152 |     3516    152 |        0 |        0
601.49/601.64	c  601s |      18 |   397315 |   333052 |     3516    152 |        0 |        0
603.49/603.68	c  603s |      18 |   398445 |   334052 |     3516    153 |        0 |        0
605.60/605.74	c  605s |      18 |   399555 |   335052 |     3516    153 |        0 |        0
607.90/608.05	c  608s |      18 |   400541 |   335952 |     3516    154 |        0 |        0
610.10/610.20	c  610s |      18 |   401502 |   336852 |     3516    154 |        0 |        0
612.10/612.23	c  612s |      18 |   402391 |   337652 |     3516    154 |        0 |        0
614.09/614.26	c  614s |      18 |   403143 |   338352 |     3516    154 |        0 |        0
616.19/616.32	c  616s |      18 |   404036 |   339152 |     3516    155 |        0 |        0
618.30/618.41	c  618s |      18 |   404909 |   339952 |     3516    155 |        0 |        0
620.29/620.45	c  620s |      18 |   405931 |   340852 |     3516    155 |        0 |        0
622.39/622.51	c  622s |      18 |   406927 |   341752 |     3516    156 |        0 |        0
624.49/624.60	c  624s |      18 |   407823 |   342552 |     3516    156 |        0 |        0
626.50/626.61	c  626s |      18 |   408573 |   343252 |     3516    156 |        0 |        0
628.50/628.69	c  628s |      18 |   409380 |   343952 |     3516    157 |        0 |        0
630.70/630.86	c  630s |      18 |   410671 |   345052 |     3516    157 |        0 |        0
632.79/632.90	c  632s |      18 |   411691 |   345952 |     3516    157 |        0 |        0
634.89/635.04	c  635s |      18 |   412602 |   346752 |     3516    158 |        0 |        0
637.10/637.27	c  637s |      18 |   413608 |   347652 |     3516    158 |        0 |        0
639.20/639.37	c  639s |      18 |   414480 |   348452 |     3516    158 |        0 |        0
641.49/641.62	c  641s |      18 |   415139 |   349052 |     3516    159 |        0 |        0
643.60/643.74	c  643s |      18 |   416144 |   349952 |     3516    159 |        0 |        0
645.80/645.93	c  645s |      18 |   417373 |   351052 |     3516    159 |        0 |        0
647.90/648.02	c  647s |      18 |   418519 |   352052 |     3516    160 |        0 |        0
649.99/650.11	c  650s |      18 |   419625 |   353052 |     3516    160 |        0 |        0
651.99/652.16	c  652s |      18 |   420581 |   353952 |     3516    160 |        0 |        0
653.99/654.17	c  654s |      18 |   421446 |   354752 |     3516    161 |        0 |        0
656.19/656.32	c  656s |      18 |   422409 |   355652 |     3516    161 |        0 |        0
658.39/658.59	c  658s |      18 |   423244 |   356452 |     3516    161 |        0 |        0
660.49/660.66	c  660s |      18 |   424000 |   357152 |     3516    162 |        0 |        0
662.59/662.72	c  662s |      18 |   424747 |   357852 |     3516    162 |        0 |        0
664.69/664.89	c  664s |      18 |   425781 |   358752 |     3516    162 |        0 |        0
666.79/666.97	c  666s |      18 |   426694 |   359552 |     3516    163 |        0 |        0
668.90/669.02	c  668s |      18 |   427724 |   360452 |     3516    163 |        0 |        0
670.99/671.15	c  671s |      18 |   428606 |   361252 |     3516    163 |        0 |        0
673.09/673.21	c  673s |      18 |   429267 |   361852 |     3516    164 |        0 |        0
675.18/675.31	c  675s |      18 |   430358 |   362852 |     3516    164 |        0 |        0
677.38/677.59	c  677s |      18 |   431271 |   363652 |     3516    164 |        0 |        0
679.48/679.69	c  679s |      18 |   432527 |   364752 |     3516    165 |        0 |        0
681.58/681.77	c  681s |      18 |   433772 |   365852 |     3516    165 |        0 |        0
683.89/684.09	c  684s |      18 |   435025 |   366952 |     3516    166 |        0 |        0
686.09/686.27	c  686s |      18 |   436403 |   368152 |     3516    166 |        0 |        0
688.28/688.45	c  688s |      18 |   437555 |   369152 |     3516    166 |        0 |        0
690.58/690.71	c  690s |      18 |   438532 |   370052 |     3516    167 |        0 |        0
692.58/692.77	c  692s |      18 |   439504 |   370952 |     3516    167 |        0 |        0
694.68/694.82	c  694s |      18 |   440644 |   371952 |     3516    167 |        0 |        0
696.78/696.99	c  696s |      18 |   441731 |   372852 |     3516    168 |        0 |        0
698.88/699.00	c  698s |      18 |   442748 |   373752 |     3516    168 |        0 |        0
700.88/701.00	c  700s |      18 |   443557 |   374452 |     3516    168 |        0 |        0
702.88/703.03	c  703s |      18 |   444472 |   375252 |     3516    169 |        0 |        0
704.99/705.10	c  705s |      18 |   445438 |   376152 |     3516    169 |        0 |        0
707.08/707.27	c  707s |      18 |   446467 |   377052 |     3516    169 |        0 |        0
709.28/709.46	c  709s |      18 |   447468 |   377952 |     3516    170 |        0 |        0
711.28/711.48	c  711s |      18 |   448506 |   378852 |     3516    170 |        0 |        0
713.58/713.71	c  713s |      18 |   449512 |   379752 |     3516    170 |        0 |        0
715.58/715.74	c  715s |      18 |   450504 |   380552 |     3516    171 |        0 |        0
717.58/717.77	c  717s |      18 |   451933 |   381752 |     3516    171 |        0 |        0
719.57/719.79	c  719s |      18 |   452926 |   382652 |     3516    172 |        0 |        0
721.88/722.00	c  721s |      18 |   454144 |   383752 |     3516    172 |        0 |        0
723.98/724.15	c  724s |      18 |   455277 |   384752 |     3516    172 |        0 |        0
725.98/726.15	c  726s |      18 |   456151 |   385552 |     3516    173 |        0 |        0
728.18/728.39	c  728s |      18 |   457363 |   386552 |     3516    173 |        0 |        0
730.28/730.49	c  730s |      18 |   458261 |   387352 |     3516    173 |        0 |        0
732.48/732.60	c  732s |      18 |   459136 |   388152 |     3516    174 |        0 |        0
734.58/734.72	c  734s |      18 |   460022 |   388952 |     3516    174 |        0 |        0
736.78/736.95	c  736s |      18 |   461058 |   389852 |     3516    174 |        0 |        0
738.88/739.01	c  738s |      18 |   462154 |   390752 |     3516    175 |        0 |        0
740.98/741.13	c  741s |      18 |   463351 |   391752 |     3516    175 |        0 |        0
743.07/743.23	c  743s |      18 |   464381 |   392652 |     3516    175 |        0 |        0
745.17/745.32	c  745s |      18 |   465681 |   393652 |     3516    176 |        0 |        0
747.37/747.50	c  747s |      18 |   466679 |   394552 |     3516    176 |        0 |        0
749.38/749.50	c  749s |      18 |   467450 |   395252 |     3516    176 |        0 |        0
751.47/751.62	c  751s |      18 |   468208 |   395952 |     3516    177 |        0 |        0
753.58/753.77	c  753s |      18 |   469218 |   396852 |     3516    177 |        0 |        0
755.78/755.95	c  755s |      18 |   470367 |   397852 |     3516    177 |        0 |        0
757.78/757.99	c  757s |      18 |   471242 |   398652 |     3516    178 |        0 |        0
759.97/760.11	c  760s |      18 |   472271 |   399552 |     3516    178 |        0 |        0
761.97/762.12	c  762s |      18 |   473148 |   400352 |     3516    178 |        0 |        0
763.97/764.13	c  764s |      18 |   474094 |   401152 |     3516    179 |        0 |        0
766.07/766.27	c  766s |      18 |   475296 |   402152 |     3516    179 |        0 |        0
768.07/768.28	c  768s |      18 |   476474 |   403152 |     3516    180 |        0 |        0
770.18/770.31	c  770s |      18 |   477604 |   404152 |     3516    180 |        0 |        0
772.28/772.48	c  772s |      18 |   478763 |   405152 |     3516    180 |        0 |        0
774.38/774.53	c  774s |      18 |   479688 |   405952 |     3516    181 |        0 |        0
776.47/776.60	c  776s |      18 |   480777 |   406852 |     3516    181 |        0 |        0
778.47/778.62	c  778s |      18 |   482026 |   407952 |     3516    181 |        0 |        0
780.57/780.73	c  780s |      18 |   483208 |   408952 |     3516    182 |        0 |        0
782.67/782.88	c  782s |      18 |   484347 |   409952 |     3516    182 |        0 |        0
784.77/784.95	c  784s |      18 |   485724 |   410852 |     3516    182 |        0 |        0
786.96/787.10	c  787s |      18 |   486712 |   411752 |     3516    183 |        0 |        0
788.97/789.17	c  789s |      18 |   487690 |   412652 |     3516    183 |        0 |        0
791.27/791.45	c  791s |      18 |   488710 |   413552 |     3516    184 |        0 |        0
793.37/793.58	c  793s |      18 |   489846 |   414552 |     3516    184 |        0 |        0
795.47/795.65	c  795s |      18 |   491175 |   415652 |     3516    184 |        0 |        0
797.57/797.76	c  797s |      18 |   492394 |   416652 |     3516    185 |        0 |        0
799.68/799.85	c  799s |      18 |   493521 |   417552 |     3516    185 |        0 |        0
801.88/802.05	c  802s |      18 |   494531 |   418352 |     3516    185 |        0 |        0
803.97/804.16	c  804s |      18 |   495633 |   419152 |     3516    186 |        0 |        0
806.07/806.27	c  806s |      18 |   496975 |   420252 |     3516    186 |        0 |        0
808.27/808.49	c  808s |      18 |   498137 |   421252 |     3516    187 |        0 |        0
810.47/810.67	c  810s |      18 |   499451 |   422352 |     3516    187 |        0 |        0
812.67/812.80	c  812s |      18 |   500623 |   423352 |     3516    187 |        0 |        0
814.66/814.86	c  814s |      18 |   501664 |   424252 |     3516    188 |        0 |        0
816.66/816.87	c  816s |      18 |   502805 |   425252 |     3516    188 |        0 |        0
818.86/819.01	c  818s |      18 |   503835 |   426152 |     3516    188 |        0 |        0
820.86/821.09	c  821s |      18 |   504891 |   427052 |     3516    189 |        0 |        0
822.96/823.16	c  823s |      18 |   506050 |   428052 |     3516    189 |        0 |        0
824.97/825.19	c  825s |      18 |   506956 |   428852 |     3516    189 |        0 |        0
827.17/827.34	c  827s |      18 |   507893 |   429652 |     3516    190 |        0 |        0
829.16/829.36	c  829s |      18 |   508928 |   430552 |     3516    190 |        0 |        0
831.16/831.36	c  831s |      18 |   509929 |   431352 |     3516    190 |        0 |        0
833.36/833.59	c  833s |      18 |   511150 |   432352 |     3516    191 |        0 |        0
835.56/835.71	c  835s |      18 |   512269 |   433252 |     3516    191 |        0 |        0
837.67/837.80	c  837s |      18 |   513222 |   434052 |     3516    191 |        0 |        0
839.86/840.06	c  840s |      18 |   514177 |   434852 |     3516    192 |        0 |        0
842.16/842.34	c  842s |      18 |   515253 |   435652 |     3516    192 |        0 |        0
844.16/844.39	c  844s |      18 |   516091 |   436352 |     3516    192 |        0 |        0
846.26/846.47	c  846s |      18 |   517041 |   437152 |     3516    193 |        0 |        0
848.56/848.74	c  848s |      18 |   517957 |   437952 |     3516    193 |        0 |        0
850.76/850.92	c  850s |      18 |   519180 |   439052 |     3516    193 |        0 |        0
852.86/853.00	c  852s |      18 |   520336 |   440052 |     3516    194 |        0 |        0
854.96/855.18	c  855s |      18 |   521574 |   441152 |     3516    194 |        0 |        0
857.26/857.41	c  857s |      18 |   522566 |   442052 |     3868    194 |        0 |        0
859.46/859.62	c  859s |      18 |   523709 |   443052 |     3868    195 |        0 |        0
861.45/861.63	c  861s |      18 |   524736 |   443952 |     3868    195 |        0 |        0
862.75/862.98	c  862s |      19 |   525330 |   444482 |     3868    195 |        0 |        0
864.95/865.16	c  865s |      19 |   528535 |   445982 |     3868    196 |        0 |        0
867.05/867.21	c  867s |      19 |   529887 |   447182 |     3868    196 |        0 |        0
869.16/869.32	c  869s |      19 |   531018 |   448182 |     3868    197 |        0 |        0
871.36/871.51	c  871s |      19 |   532249 |   449282 |     3868    197 |        0 |        0
873.47/873.62	c  873s |      19 |   533250 |   450182 |     3868    197 |        0 |        0
875.46/875.69	c  875s |      19 |   534305 |   451082 |     3868    198 |        0 |        0
877.76/877.91	c  877s |      19 |   535426 |   452082 |     3868    198 |        0 |        0
880.06/880.21	c  880s |      19 |   536444 |   452982 |     3868    198 |        0 |        0
882.06/882.26	c  882s |      19 |   537368 |   453782 |     3868    199 |        0 |        0
884.06/884.27	c  884s |      19 |   538519 |   454782 |     3868    199 |        0 |        0
886.16/886.37	c  886s |      19 |   539623 |   455782 |     3868    199 |        0 |        0
888.26/888.43	c  888s |      19 |   540493 |   456582 |     3868    200 |        0 |        0
890.45/890.65	c  890s |      19 |   541355 |   457382 |     3868    200 |        0 |        0
892.55/892.74	c  892s |      19 |   542234 |   458182 |     3868    200 |        0 |        0
894.65/894.85	c  894s |      19 |   543206 |   459082 |     3868    201 |        0 |        0
896.75/896.90	c  896s |      19 |   544302 |   460082 |     3868    201 |        0 |        0
898.85/899.03	c  899s |      19 |   545308 |   460982 |     3868    201 |        0 |        0
900.96/901.18	c  901s |      19 |   546180 |   461782 |     3868    202 |        0 |        0
903.16/903.33	c  903s |      19 |   547146 |   462682 |     3868    202 |        0 |        0
905.26/905.42	c  905s |      19 |   548016 |   463482 |     3868    202 |        0 |        0
907.25/907.43	c  907s |      19 |   548822 |   464182 |     3868    203 |        0 |        0
909.35/909.58	c  909s |      19 |   550047 |   465282 |     3868    203 |        0 |        0
911.35/911.58	c  911s |      19 |   551025 |   466182 |     3868    203 |        0 |        0
913.45/913.66	c  913s |      19 |   552049 |   467082 |     3868    204 |        0 |        0
915.55/915.77	c  915s |      19 |   553285 |   468182 |     3868    204 |        0 |        0
917.65/917.82	c  917s |      19 |   554279 |   469082 |     3868    204 |        0 |        0
919.75/919.91	c  919s |      19 |   555285 |   469982 |     3868    205 |        0 |        0
921.85/922.08	c  922s |      19 |   556417 |   470982 |     3868    205 |        0 |        0
923.95/924.15	c  924s |      19 |   557439 |   471882 |     3868    205 |        0 |        0
926.04/926.30	c  926s |      19 |   558440 |   472782 |     3868    206 |        0 |        0
928.14/928.34	c  928s |      19 |   559432 |   473682 |     3868    206 |        0 |        0
930.14/930.38	c  930s |      19 |   560412 |   474582 |     3868    206 |        0 |        0
932.34/932.53	c  932s |      19 |   561407 |   475482 |     3868    207 |        0 |        0
934.55/934.77	c  934s |      19 |   562517 |   476482 |     3868    207 |        0 |        0
936.75/936.99	c  936s |      19 |   563637 |   477482 |     3868    207 |        0 |        0
938.95/939.19	c  939s |      19 |   564654 |   478382 |     3868    208 |        0 |        0
941.25/941.41	c  941s |      19 |   565754 |   479382 |     3868    208 |        0 |        0
943.25/943.48	c  943s |      19 |   566725 |   480282 |     3868    208 |        0 |        0
945.35/945.52	c  945s |      19 |   567763 |   481182 |     3868    209 |        0 |        0
947.44/947.60	c  947s |      19 |   569051 |   482282 |     3868    209 |        0 |        0
949.44/949.61	c  949s |      19 |   570066 |   483182 |     3868    209 |        0 |        0
951.45/951.65	c  951s |      19 |   571079 |   484082 |     3868    210 |        0 |        0
953.54/953.73	c  953s |      19 |   572067 |   484982 |     3868    210 |        0 |        0
955.74/955.95	c  955s |      19 |   573034 |   485882 |     3868    210 |        0 |        0
957.74/957.98	c  957s |      19 |   573901 |   486682 |     3868    211 |        0 |        0
959.84/960.06	c  960s |      19 |   575111 |   487682 |     3868    211 |        0 |        0
961.94/962.11	c  962s |      19 |   576130 |   488582 |     3868    211 |        0 |        0
963.94/964.14	c  964s |      19 |   577007 |   489382 |     3868    212 |        0 |        0
966.15/966.34	c  966s |      19 |   578127 |   490382 |     3868    212 |        0 |        0
968.24/968.49	c  968s |      19 |   579004 |   491182 |     3868    212 |        0 |        0
970.44/970.68	c  970s |      19 |   580027 |   492082 |     3868    213 |        0 |        0
972.64/972.85	c  972s |      19 |   581142 |   493082 |     3868    213 |        0 |        0
974.84/975.08	c  975s |      19 |   582294 |   494082 |     3868    213 |        0 |        0
976.94/977.17	c  977s |      19 |   583091 |   494782 |     3868    214 |        0 |        0
979.14/979.34	c  979s |      19 |   584321 |   495882 |     3868    214 |        0 |        0
981.34/981.51	c  981s |      19 |   585301 |   496782 |     3868    214 |        0 |        0
983.53/983.71	c  983s |      19 |   586167 |   497582 |     3868    215 |        0 |        0
985.54/985.71	c  985s |      19 |   587343 |   498582 |     3868    215 |        0 |        0
987.53/987.75	c  987s |      19 |   588684 |   499682 |     3868    215 |        0 |        0
989.73/989.96	c  989s |      19 |   589849 |   500682 |     3868    216 |        0 |        0
991.93/992.17	c  992s |      19 |   590867 |   501582 |     3868    216 |        0 |        0
994.13/994.38	c  994s |      19 |   591891 |   502482 |     3868    216 |        0 |        0
996.23/996.46	c  996s |      19 |   592889 |   503382 |     3868    217 |        0 |        0
998.33/998.59	c  998s |      19 |   594032 |   504382 |     3868    217 |        0 |        0
1000.43/1000.64	c 1000s |      19 |   594945 |   505182 |     3868    217 |        0 |        0
1002.62/1002.83	c 1002s |      19 |   595932 |   506082 |     3868    218 |        0 |        0
1004.72/1004.90	c 1004s |      19 |   596907 |   506982 |     3868    218 |        0 |        0
1006.82/1007.06	c 1007s |      19 |   597925 |   507882 |     3868    218 |        0 |        0
1008.93/1009.16	c 1009s |      19 |   598663 |   508582 |     3868    219 |        0 |        0
1011.03/1011.25	c 1011s |      19 |   599709 |   509482 |     3868    219 |        0 |        0
1013.23/1013.45	c 1013s |      19 |   600690 |   510382 |     3868    219 |        0 |        0
1015.33/1015.53	c 1015s |      19 |   601568 |   511182 |     3868    220 |        0 |        0
1017.43/1017.66	c 1017s |      19 |   602608 |   512082 |     3868    220 |        0 |        0
1019.52/1019.78	c 1019s |      19 |   603485 |   512882 |     3868    220 |        0 |        0
1021.83/1022.10	c 1022s |      19 |   604328 |   513682 |     3868    221 |        0 |        0
1024.02/1024.29	c 1024s |      19 |   605321 |   514582 |     3868    221 |        0 |        0
1026.22/1026.46	c 1026s |      19 |   606195 |   515382 |     3868    221 |        0 |        0
1028.31/1028.54	c 1028s |      19 |   607114 |   516182 |     3868    221 |        0 |        0
1030.31/1030.58	c 1030s |      19 |   608216 |   517182 |     3868    222 |        0 |        0
1032.41/1032.63	c 1032s |      19 |   609261 |   518082 |     3868    222 |        0 |        0
1034.61/1034.89	c 1034s |      19 |   610363 |   519082 |     3868    222 |        0 |        0
1036.81/1037.04	c 1037s |      19 |   611363 |   519982 |     3868    223 |        0 |        0
1038.92/1039.13	c 1039s |      19 |   612495 |   520982 |     3868    223 |        0 |        0
1041.02/1041.23	c 1041s |      19 |   613403 |   521782 |     3868    223 |        0 |        0
1043.22/1043.41	c 1043s |      19 |   614263 |   522582 |     3868    224 |        0 |        0
1045.31/1045.51	c 1045s |      19 |   615155 |   523382 |     3868    224 |        0 |        0
1047.41/1047.61	c 1047s |      19 |   616041 |   524182 |     3868    224 |        0 |        0
1049.41/1049.63	c 1049s |      19 |   616799 |   524882 |     3868    225 |        0 |        0
1051.41/1051.65	c 1051s |      19 |   617675 |   525682 |     3868    225 |        0 |        0
1053.40/1053.66	c 1053s |      19 |   618536 |   526482 |     3868    225 |        0 |        0
1055.41/1055.69	c 1055s |      19 |   619289 |   527182 |     3868    225 |        0 |        0
1057.71/1057.95	c 1057s |      19 |   620072 |   527882 |     3868    226 |        0 |        0
1060.01/1060.22	c 1060s |      19 |   620954 |   528682 |     3868    226 |        0 |        0
1062.31/1062.54	c 1062s |      19 |   621807 |   529482 |     3868    226 |        0 |        0
1064.40/1064.62	c 1064s |      19 |   622451 |   530082 |     3868    226 |        0 |        0
1066.40/1066.65	c 1066s |      19 |   623484 |   530982 |     3868    227 |        0 |        0
1068.60/1068.81	c 1068s |      19 |   624452 |   531882 |     3868    227 |        0 |        0
1070.60/1070.88	c 1070s |      19 |   625457 |   532782 |     3868    227 |        0 |        0
1072.80/1073.06	c 1073s |      19 |   626443 |   533682 |     3868    228 |        0 |        0
1074.90/1075.15	c 1075s |      19 |   627431 |   534582 |     3868    228 |        0 |        0
1077.10/1077.31	c 1077s |      19 |   628418 |   535482 |     3868    228 |        0 |        0
1079.30/1079.52	c 1079s |      19 |   629413 |   536382 |     3868    229 |        0 |        0
1081.30/1081.56	c 1081s |      19 |   630399 |   537282 |     3868    229 |        0 |        0
1083.30/1083.57	c 1083s |      19 |   631294 |   538082 |     3868    229 |        0 |        0
1085.50/1085.74	c 1085s |      19 |   632256 |   538982 |     3868    230 |        0 |        0
1087.60/1087.82	c 1087s |      19 |   633245 |   539882 |     3868    230 |        0 |        0
1089.60/1089.83	c 1089s |      19 |   634111 |   540682 |     3868    230 |        0 |        0
1091.70/1091.90	c 1091s |      19 |   634872 |   541382 |     3868    231 |        0 |        0
1093.79/1094.04	c 1094s |      19 |   635969 |   542382 |     3868    231 |        0 |        0
1095.89/1096.13	c 1096s |      19 |   636841 |   543182 |     3868    231 |        0 |        0
1097.89/1098.17	c 1098s |      19 |   637591 |   543882 |     3868    231 |        0 |        0
1100.09/1100.37	c 1100s |      19 |   638533 |   544682 |     3868    232 |        0 |        0
1102.28/1102.56	c 1102s |      19 |   639442 |   545482 |     3868    232 |        0 |        0
1104.59/1104.80	c 1104s |      19 |   640231 |   546182 |     3868    232 |        0 |        0
1106.69/1106.92	c 1106s |      19 |   640902 |   546782 |     3868    233 |        0 |        0
1108.79/1109.05	c 1109s |      19 |   641664 |   547482 |     3868    233 |        0 |        0
1110.78/1111.08	c 1111s |      19 |   642424 |   548182 |     3868    233 |        0 |        0
1112.79/1113.09	c 1113s |      19 |   643432 |   549082 |     3868    233 |        0 |        0
1114.98/1115.25	c 1115s |      19 |   644298 |   549882 |     3868    234 |        0 |        0
1117.08/1117.30	c 1117s |      19 |   645173 |   550682 |     3868    234 |        0 |        0
1119.29/1119.52	c 1119s |      19 |   646029 |   551482 |     3868    234 |        0 |        0
1121.39/1121.62	c 1121s |      19 |   646971 |   552282 |     3868    235 |        0 |        0
1123.38/1123.65	c 1123s |      19 |   647840 |   553082 |     3868    235 |        0 |        0
1125.48/1125.75	c 1125s |      19 |   648728 |   553882 |     3868    235 |        0 |        0
1127.48/1127.79	c 1127s |      19 |   649510 |   554582 |     3868    235 |        0 |        0
1129.58/1129.85	c 1129s |      19 |   650257 |   555282 |     3868    236 |        0 |        0
1131.68/1131.94	c 1131s |      19 |   651185 |   556082 |     3868    236 |        0 |        0
1133.88/1134.17	c 1134s |      19 |   652141 |   556882 |     3868    236 |        0 |        0
1136.08/1136.36	c 1136s |      19 |   653001 |   557682 |     3868    236 |        0 |        0
1138.18/1138.43	c 1138s |      19 |   653787 |   558382 |     3868    237 |        0 |        0
1140.27/1140.57	c 1140s |      19 |   654631 |   559182 |     3868    237 |        0 |        0
1142.38/1142.62	c 1142s |      19 |   655395 |   559882 |     3868    237 |        0 |        0
1144.48/1144.80	c 1144s |      19 |   656039 |   560482 |     3868    237 |        0 |        0
1146.57/1146.81	c 1146s |      19 |   656574 |   560982 |     3868    238 |        0 |        0
1148.57/1148.85	c 1148s |      19 |   657222 |   561582 |     3868    238 |        0 |        0
1150.77/1151.02	c 1150s |      19 |   658346 |   562582 |     3868    238 |        0 |        0
1152.87/1153.18	c 1153s |      19 |   659133 |   563282 |     3868    239 |        0 |        0
1154.97/1155.24	c 1155s |      19 |   659910 |   563982 |     3868    239 |        0 |        0
1157.07/1157.36	c 1157s |      19 |   660676 |   564682 |     3868    239 |        0 |        0
1159.17/1159.40	c 1159s |      19 |   661423 |   565382 |     3868    239 |        0 |        0
1161.37/1161.64	c 1161s |      19 |   662194 |   566082 |     3868    240 |        0 |        0
1163.36/1163.67	c 1163s |      19 |   663008 |   566782 |     3868    240 |        0 |        0
1165.46/1165.73	c 1165s |      19 |   663654 |   567382 |     3868    240 |        0 |        0
1167.46/1167.77	c 1167s |      19 |   664564 |   568082 |     3868    240 |        0 |        0
1169.77/1170.06	c 1170s |      19 |   665207 |   568682 |     3868    240 |        0 |        0
1171.96/1172.29	c 1172s |      19 |   665897 |   569282 |     3868    241 |        0 |        0
1174.06/1174.38	c 1174s |      19 |   666570 |   569882 |     3868    241 |        0 |        0
1176.26/1176.50	c 1176s |      19 |   667209 |   570482 |     3868    241 |        0 |        0
1178.25/1178.55	c 1178s |      19 |   667759 |   570982 |     3868    241 |        0 |        0
1180.86/1181.13	c 1181s |      19 |   668428 |   571582 |     3868    242 |        0 |        0
1183.06/1183.33	c 1183s |      19 |   669089 |   572182 |     3868    242 |        0 |        0
1185.16/1185.44	c 1185s |      19 |   669936 |   572882 |     3868    242 |        0 |        0
1187.16/1187.46	c 1187s |      19 |   670610 |   573482 |     3868    242 |        0 |        0
1189.15/1189.49	c 1189s |      19 |   671318 |   574082 |     3868    242 |        0 |        0
1191.45/1191.77	c 1191s |      19 |   671956 |   574682 |     3868    243 |        0 |        0
1193.65/1193.96	c 1193s |      19 |   673262 |   575782 |     3868    243 |        0 |        0
1195.75/1196.06	c 1196s |      19 |   674338 |   576782 |     3868    243 |        0 |        0
1197.86/1198.11	c 1198s |      19 |   675365 |   577682 |     3868    244 |        0 |        0
1199.96/1200.25	c 1200s |      19 |   676353 |   578582 |     3868    244 |        0 |        0
1202.16/1202.43	c 1202s |      19 |   677355 |   579482 |     3868    244 |        0 |        0
1204.25/1204.55	c 1204s |      19 |   678220 |   580282 |     3868    245 |        0 |        0
1206.35/1206.61	c 1206s |      19 |   679220 |   581182 |     3868    245 |        0 |        0
1208.45/1208.76	c 1208s |      19 |   680217 |   582082 |     3868    245 |        0 |        0
1210.65/1210.90	c 1210s |      19 |   681068 |   582882 |     3868    246 |        0 |        0
1212.84/1213.11	c 1213s |      19 |   682056 |   583782 |     3868    246 |        0 |        0
1214.84/1215.19	c 1215s |      19 |   682929 |   584582 |     3868    246 |        0 |        0
1217.04/1217.39	c 1217s |      19 |   683685 |   585282 |     3868    247 |        0 |        0
1219.24/1219.59	c 1219s |      19 |   684666 |   586182 |     3868    247 |        0 |        0
1221.34/1221.64	c 1221s |      19 |   685705 |   587082 |     3868    247 |        0 |        0
1223.65/1223.91	c 1223s |      19 |   686714 |   587982 |     3868    247 |        0 |        0
1225.64/1225.94	c 1225s |      19 |   687584 |   588782 |     3868    248 |        0 |        0
1227.74/1228.09	c 1228s |      19 |   688593 |   589682 |     3868    248 |        0 |        0
1230.04/1230.31	c 1230s |      19 |   689461 |   590482 |     3868    248 |        0 |        0
1232.04/1232.37	c 1232s |      19 |   690318 |   591282 |     3868    249 |        0 |        0
1234.14/1234.42	c 1234s |      19 |   691516 |   592282 |     3868    249 |        0 |        0
1236.24/1236.54	c 1236s |      19 |   692830 |   593382 |     3868    249 |        0 |        0
1238.45/1238.71	c 1238s |      19 |   693854 |   594282 |     3868    250 |        0 |        0
1240.54/1240.89	c 1240s |      19 |   694878 |   595182 |     3868    250 |        0 |        0
1242.64/1242.98	c 1242s |      19 |   695764 |   595982 |     3868    250 |        0 |        0
1244.83/1245.15	c 1245s |      19 |   696744 |   596882 |     3868    251 |        0 |        0
1247.03/1247.35	c 1247s |      19 |   697853 |   597882 |     3868    251 |        0 |        0
1249.13/1249.48	c 1249s |      19 |   698833 |   598782 |     3868    251 |        0 |        0
1251.23/1251.52	c 1251s |      19 |   699725 |   599582 |     3868    252 |        0 |        0
1253.23/1253.53	c 1253s |      19 |   700563 |   600382 |     3868    252 |        0 |        0
1255.33/1255.60	c 1255s |      19 |   701427 |   601182 |     3868    252 |        0 |        0
1257.33/1257.61	c 1257s |      19 |   702190 |   601882 |     3868    253 |        0 |        0
1259.34/1259.68	c 1259s |      19 |   703218 |   602782 |     3868    253 |        0 |        0
1261.54/1261.86	c 1261s |      19 |   704100 |   603582 |     3868    253 |        0 |        0
1263.63/1263.91	c 1263s |      19 |   704973 |   604382 |     3868    253 |        0 |        0
1265.62/1265.94	c 1265s |      19 |   705860 |   605182 |     3868    254 |        0 |        0
1267.82/1268.18	c 1268s |      19 |   706803 |   606082 |     3868    254 |        0 |        0
1269.93/1270.21	c 1270s |      19 |   707869 |   606982 |     3868    254 |        0 |        0
1272.02/1272.32	c 1272s |      19 |   708974 |   607982 |     3868    255 |        0 |        0
1274.22/1274.52	c 1274s |      19 |   710078 |   608982 |     3868    255 |        0 |        0
1276.52/1276.87	c 1276s |      19 |   711169 |   609982 |     3868    256 |        0 |        0
1278.62/1278.93	c 1278s |      19 |   712131 |   610882 |     3868    256 |        0 |        0
1280.82/1281.15	c 1281s |      19 |   713205 |   611882 |     3868    256 |        0 |        0
1283.12/1283.48	c 1283s |      19 |   714180 |   612782 |     3868    257 |        0 |        0
1285.11/1285.49	c 1285s |      19 |   715336 |   613782 |     3868    257 |        0 |        0
1287.21/1287.54	c 1287s |      19 |   716440 |   614782 |     3868    257 |        0 |        0
1289.21/1289.59	c 1289s |      19 |   717321 |   615582 |     3868    258 |        0 |        0
1291.51/1291.80	c 1291s |      19 |   718288 |   616482 |     3868    258 |        0 |        0
1293.51/1293.83	c 1293s |      19 |   719284 |   617382 |     3868    258 |        0 |        0
1295.91/1296.24	c 1296s |      19 |   720259 |   618282 |     3868    259 |        0 |        0
1298.01/1298.37	c 1298s |      19 |   721112 |   619082 |     3868    259 |        0 |        0
1300.21/1300.58	c 1300s |      19 |   722370 |   620182 |     3868    259 |        0 |        0
1302.41/1302.71	c 1302s |      19 |   723455 |   621182 |     3868    260 |        0 |        0
1304.51/1304.82	c 1304s |      19 |   724568 |   622182 |     3868    260 |        0 |        0
1306.61/1306.91	c 1306s |      19 |   725583 |   623082 |     3868    260 |        0 |        0
1308.61/1308.98	c 1308s |      19 |   726434 |   623882 |     3868    261 |        0 |        0
1310.80/1311.18	c 1311s |      19 |   727541 |   624882 |     3868    261 |        0 |        0
1313.00/1313.39	c 1313s |      19 |   728530 |   625782 |     3868    261 |        0 |        0
1315.10/1315.47	c 1315s |      19 |   729405 |   626582 |     3868    262 |        0 |        0
1317.30/1317.62	c 1317s |      19 |   730372 |   627482 |     3868    262 |        0 |        0
1319.30/1319.64	c 1319s |      19 |   731344 |   628382 |     3868    262 |        0 |        0
1321.30/1321.66	c 1321s |      19 |   732102 |   629082 |     3868    262 |        0 |        0
1323.39/1323.72	c 1323s |      19 |   733152 |   629982 |     3868    263 |        0 |        0
1325.40/1325.74	c 1325s |      19 |   734280 |   630982 |     3868    263 |        0 |        0
1327.51/1327.81	c 1327s |      19 |   735271 |   631882 |     3868    263 |        0 |        0
1329.50/1329.86	c 1329s |      19 |   736242 |   632782 |     3868    264 |        0 |        0
1331.70/1332.02	c 1331s |      19 |   737365 |   633782 |     3868    264 |        0 |        0
1333.80/1334.18	c 1334s |      19 |   738387 |   634682 |     3868    264 |        0 |        0
1335.80/1336.19	c 1336s |      19 |   739270 |   635482 |     3868    265 |        0 |        0
1337.90/1338.23	c 1338s |      19 |   740152 |   636282 |     3868    265 |        0 |        0
1340.00/1340.39	c 1340s |      19 |   741288 |   637282 |     3868    265 |        0 |        0
1342.20/1342.58	c 1342s |      19 |   742425 |   638282 |     3868    266 |        0 |        0
1344.29/1344.60	c 1344s |      19 |   743427 |   639182 |     3868    266 |        0 |        0
1346.30/1346.68	c 1346s |      19 |   744432 |   640082 |     3868    266 |        0 |        0
1348.50/1348.84	c 1348s |      19 |   745445 |   640982 |     3868    267 |        0 |        0
1350.60/1350.91	c 1350s |      19 |   746490 |   641882 |     3868    267 |        0 |        0
1352.80/1353.16	c 1353s |      19 |   747504 |   642782 |     3868    267 |        0 |        0
1354.99/1355.32	c 1355s |      19 |   748533 |   643682 |     3868    268 |        0 |        0
1357.19/1357.56	c 1357s |      19 |   749515 |   644582 |     3868    268 |        0 |        0
1359.28/1359.66	c 1359s |      19 |   750401 |   645382 |     3868    268 |        0 |        0
1361.49/1361.85	c 1361s |      19 |   751422 |   646282 |     3868    269 |        0 |        0
1363.59/1363.93	c 1363s |      19 |   752432 |   647182 |     3868    269 |        0 |        0
1365.89/1366.22	c 1366s |      19 |   753335 |   647982 |     3868    269 |        0 |        0
1367.99/1368.37	c 1368s |      19 |   754449 |   648982 |     3868    270 |        0 |        0
1370.29/1370.60	c 1370s |      19 |   755661 |   650082 |     3868    270 |        0 |        0
1372.39/1372.78	c 1372s |      19 |   756651 |   650982 |     3868    270 |        0 |        0
1374.48/1374.81	c 1374s |      19 |   757511 |   651782 |     3868    271 |        0 |        0
1376.48/1376.85	c 1376s |      19 |   758527 |   652682 |     3868    271 |        0 |        0
1378.59/1378.92	c 1378s |      19 |   759570 |   653582 |     3868    271 |        0 |        0
1380.69/1381.09	c 1381s |      19 |   760578 |   654482 |     3868    272 |        0 |        0
1382.98/1383.33	c 1383s |      19 |   761563 |   655382 |     3868    272 |        0 |        0
1385.08/1385.40	c 1385s |      19 |   762451 |   656182 |     3868    272 |        0 |        0
1387.18/1387.59	c 1387s |      19 |   763341 |   656982 |     3868    273 |        0 |        0
1389.38/1389.79	c 1389s |      19 |   764329 |   657882 |     3868    273 |        0 |        0
1391.57/1391.99	c 1391s |      19 |   765246 |   658682 |     3868    273 |        0 |        0
1393.97/1394.36	c 1394s |      19 |   766242 |   659582 |     3868    274 |        0 |        0
1396.18/1396.54	c 1396s |      19 |   767143 |   660382 |     3868    274 |        0 |        0
1398.38/1398.71	c 1398s |      19 |   768021 |   661182 |     3868    274 |        0 |        0
1400.47/1400.80	c 1400s |      19 |   768799 |   661882 |     3868    274 |        0 |        0
1402.48/1402.85	c 1402s |      19 |   769605 |   662582 |     4255    274 |        0 |        0
1404.67/1405.04	c 1405s |      19 |   770526 |   663382 |     4255    275 |        0 |        0
1406.78/1407.15	c 1407s |      19 |   771445 |   664182 |     4255    275 |        0 |        0
1408.88/1409.22	c 1409s |      19 |   772318 |   664982 |     4255    275 |        0 |        0
1410.97/1411.33	c 1411s |      19 |   773216 |   665782 |     4255    276 |        0 |        0
1412.97/1413.38	c 1413s |      20 |   774410 |   666827 |     4255    276 |        0 |        0
1415.07/1415.44	c 1415s |      20 |   777545 |   668527 |     4255    277 |        0 |        0
1417.06/1417.48	c 1417s |      20 |   779258 |   670027 |     4255    277 |        0 |        0
1419.26/1419.60	c 1419s |      20 |   780693 |   671327 |     4255    277 |        0 |        0
1421.26/1421.67	c 1421s |      20 |   781898 |   672427 |     4255    278 |        0 |        0
1423.46/1423.86	c 1423s |      20 |   783234 |   673627 |     4255    278 |        0 |        0
1425.56/1425.94	c 1425s |      20 |   784352 |   674627 |     4255    279 |        0 |        0
1427.56/1427.98	c 1427s |      20 |   785900 |   676027 |     4255    279 |        0 |        0
1429.66/1430.02	c 1429s |      20 |   787305 |   677227 |     4255    279 |        0 |        0
1431.76/1432.18	c 1432s |      20 |   788674 |   678427 |     4255    280 |        0 |        0
1433.85/1434.23	c 1434s |      20 |   789920 |   679527 |     4255    280 |        0 |        0
1435.85/1436.26	c 1436s |      20 |   791049 |   680527 |     4255    281 |        0 |        0
1437.95/1438.32	c 1438s |      20 |   792385 |   681727 |     4255    281 |        0 |        0
1439.95/1440.34	c 1440s |      20 |   793744 |   682927 |     4255    281 |        0 |        0
1442.15/1442.50	c 1442s |      20 |   795106 |   684127 |     4255    282 |        0 |        0
1444.35/1444.71	c 1444s |      20 |   796435 |   685327 |     4255    282 |        0 |        0
1446.45/1446.82	c 1446s |      20 |   797677 |   686427 |     4255    283 |        0 |        0
1448.46/1448.87	c 1448s |      20 |   799157 |   687727 |     4255    283 |        0 |        0
1450.55/1450.99	c 1450s |      20 |   800497 |   688927 |     4255    283 |        0 |        0
1452.65/1453.06	c 1453s |      20 |   801587 |   689927 |     4255    284 |        0 |        0
1454.85/1455.24	c 1455s |      20 |   802775 |   691027 |     4255    284 |        0 |        0
1456.85/1457.25	c 1457s |      20 |   803893 |   692027 |     4255    284 |        0 |        0
1459.05/1459.43	c 1459s |      20 |   805154 |   693127 |     4255    285 |        0 |        0
1461.25/1461.67	c 1461s |      20 |   806348 |   694227 |     4255    285 |        0 |        0
1463.25/1463.67	c 1463s |      20 |   807468 |   695227 |     4255    286 |        0 |        0
1465.35/1465.77	c 1465s |      20 |   808807 |   696427 |     4255    286 |        0 |        0
1467.45/1467.81	c 1467s |      20 |   809896 |   697427 |     4255    286 |        0 |        0
1469.45/1469.83	c 1469s |      20 |   810999 |   698427 |     4255    287 |        0 |        0
1471.44/1471.84	c 1471s |      20 |   812216 |   699527 |     4255    287 |        0 |        0
1473.64/1474.03	c 1474s |      20 |   813290 |   700527 |     4255    287 |        0 |        0
1475.74/1476.11	c 1476s |      20 |   814537 |   701627 |     4255    288 |        0 |        0
1477.74/1478.13	c 1478s |      20 |   815787 |   702727 |     4255    288 |        0 |        0
1479.94/1480.31	c 1480s |      20 |   816974 |   703827 |     4255    288 |        0 |        0
1481.94/1482.36	c 1482s |      20 |   818078 |   704827 |     4255    289 |        0 |        0
1484.13/1484.56	c 1484s |      20 |   819184 |   705827 |     4255    289 |        0 |        0
1486.33/1486.70	c 1486s |      20 |   820188 |   706727 |     4255    289 |        0 |        0
1488.43/1488.83	c 1488s |      20 |   821160 |   707627 |     4255    290 |        0 |        0
1490.53/1490.99	c 1490s |      20 |   822289 |   708627 |     4255    290 |        0 |        0
1492.63/1493.03	c 1493s |      20 |   823270 |   709527 |     4255    290 |        0 |        0
1494.63/1495.06	c 1495s |      20 |   824487 |   710627 |     4255    291 |        0 |        0
1496.62/1497.08	c 1497s |      20 |   825691 |   711727 |     4255    291 |        0 |        0
1498.82/1499.29	c 1499s |      20 |   826805 |   712727 |     4255    292 |        0 |        0
1501.02/1501.41	c 1501s |      20 |   827931 |   713727 |     4255    292 |        0 |        0
1503.12/1503.54	c 1503s |      20 |   828917 |   714627 |     4255    292 |        0 |        0
1505.32/1505.73	c 1505s |      20 |   829906 |   715527 |     4255    292 |        0 |        0
1507.32/1507.77	c 1507s |      20 |   830835 |   716327 |     4255    293 |        0 |        0
1509.42/1509.81	c 1509s |      20 |   831806 |   717227 |     4255    293 |        0 |        0
1511.62/1512.03	c 1512s |      20 |   832812 |   718127 |     4255    293 |        0 |        0
1513.72/1514.15	c 1514s |      20 |   833668 |   718927 |     4255    294 |        0 |        0
1515.82/1516.21	c 1516s |      20 |   834747 |   719927 |     4255    294 |        0 |        0
1517.82/1518.28	c 1518s |      20 |   835735 |   720827 |     4255    294 |        0 |        0
1520.22/1520.62	c 1520s |      20 |   836592 |   721627 |     4255    295 |        0 |        0
1522.32/1522.70	c 1522s |      20 |   837539 |   722527 |     4255    295 |        0 |        0
1524.32/1524.73	c 1524s |      20 |   838510 |   723427 |     4255    295 |        0 |        0
1526.31/1526.80	c 1526s |      20 |   839362 |   724227 |     4255    295 |        0 |        0
1528.51/1528.90	c 1528s |      20 |   840120 |   724927 |     4255    296 |        0 |        0
1530.51/1530.99	c 1530s |      20 |   841117 |   725827 |     4255    296 |        0 |        0
1532.71/1533.19	c 1533s |      20 |   842175 |   726827 |     4255    296 |        0 |        0
1534.81/1535.26	c 1535s |      20 |   843159 |   727727 |     4255    297 |        0 |        0
1537.00/1537.45	c 1537s |      20 |   844216 |   728727 |     4255    297 |        0 |        0
1539.10/1539.52	c 1539s |      20 |   845092 |   729527 |     4255    297 |        0 |        0
1541.20/1541.62	c 1541s |      20 |   846148 |   730427 |     4255    297 |        0 |        0
1543.20/1543.63	c 1543s |      20 |   847304 |   731427 |     4255    298 |        0 |        0
1545.30/1545.74	c 1545s |      20 |   848502 |   732527 |     4255    298 |        0 |        0
1547.50/1547.96	c 1547s |      20 |   849738 |   733627 |     4255    299 |        0 |        0
1549.71/1550.15	c 1550s |      20 |   850984 |   734727 |     4255    299 |        0 |        0
1551.81/1552.23	c 1552s |      20 |   851958 |   735627 |     4255    299 |        0 |        0
1553.90/1554.39	c 1554s |      20 |   852827 |   736427 |     4255    300 |        0 |        0
1556.10/1556.55	c 1556s |      20 |   853912 |   737427 |     4255    300 |        0 |        0
1558.20/1558.66	c 1558s |      20 |   855107 |   738527 |     4255    300 |        0 |        0
1560.40/1560.81	c 1560s |      20 |   855982 |   739327 |     4255    301 |        0 |        0
1562.60/1563.05	c 1563s |      20 |   857160 |   740427 |     4255    301 |        0 |        0
1564.69/1565.17	c 1565s |      20 |   858136 |   741327 |     4255    301 |        0 |        0
1566.79/1567.26	c 1567s |      20 |   858982 |   742127 |     4255    301 |        0 |        0
1568.89/1569.38	c 1569s |      20 |   860087 |   743127 |     4255    302 |        0 |        0
1571.09/1571.52	c 1571s |      20 |   861175 |   744127 |     4255    302 |        0 |        0
1573.28/1573.72	c 1573s |      20 |   862236 |   745127 |     4255    302 |        0 |        0
1575.48/1575.94	c 1575s |      20 |   863216 |   746027 |     4255    303 |        0 |        0
1577.58/1578.01	c 1577s |      20 |   864095 |   746827 |     4255    303 |        0 |        0
1579.69/1580.13	c 1580s |      20 |   864975 |   747627 |     4255    303 |        0 |        0
1581.89/1582.31	c 1582s |      20 |   865846 |   748427 |     4255    304 |        0 |        0
1583.88/1584.37	c 1584s |      20 |   866839 |   749327 |     4255    304 |        0 |        0
1586.18/1586.61	c 1586s |      20 |   867836 |   750227 |     4255    304 |        0 |        0
1588.38/1588.84	c 1588s |      20 |   868697 |   751027 |     4255    304 |        0 |        0
1590.48/1590.92	c 1590s |      20 |   869461 |   751727 |     4255    305 |        0 |        0
1592.49/1592.97	c 1592s |      20 |   870783 |   752927 |     4255    305 |        0 |        0
1594.88/1595.34	c 1595s |      20 |   871995 |   754027 |     4255    306 |        0 |        0
1596.98/1597.45	c 1597s |      20 |   873208 |   755127 |     4255    306 |        0 |        0
1599.08/1599.51	c 1599s |      20 |   874185 |   756027 |     4255    306 |        0 |        0
1601.28/1601.76	c 1601s |      20 |   875154 |   756927 |     4255    306 |        0 |        0
1603.47/1603.93	c 1603s |      20 |   876150 |   757827 |     4255    307 |        0 |        0
1605.57/1606.00	c 1605s |      20 |   877120 |   758727 |     4255    307 |        0 |        0
1607.67/1608.19	c 1608s |      20 |   878208 |   759727 |     4255    307 |        0 |        0
1609.87/1610.32	c 1610s |      20 |   879071 |   760527 |     4255    308 |        0 |        0
1611.87/1612.35	c 1612s |      20 |   880071 |   761427 |     4255    308 |        0 |        0
1614.06/1614.59	c 1614s |      20 |   881234 |   762427 |     4255    308 |        0 |        0
1616.26/1616.70	c 1616s |      20 |   882252 |   763327 |     4255    309 |        0 |        0
1618.36/1618.87	c 1618s |      20 |   883499 |   764427 |     4255    309 |        0 |        0
1620.46/1620.94	c 1620s |      20 |   884479 |   765327 |     4255    309 |        0 |        0
1622.56/1623.01	c 1622s |      20 |   885331 |   766127 |     4255    310 |        0 |        0
1624.76/1625.26	c 1625s |      20 |   886430 |   767127 |     4255    310 |        0 |        0
1626.85/1627.30	c 1627s |      20 |   887703 |   768227 |     4255    310 |        0 |        0
1628.95/1629.41	c 1629s |      20 |   888890 |   769227 |     4255    311 |        0 |        0
1631.07/1631.53	c 1631s |      20 |   890114 |   770327 |     4255    311 |        0 |        0
1633.06/1633.55	c 1633s |      20 |   891068 |   771227 |     4255    311 |        0 |        0
1635.26/1635.75	c 1635s |      20 |   892059 |   772127 |     4255    312 |        0 |        0
1637.36/1637.81	c 1637s |      20 |   893163 |   773127 |     4255    312 |        0 |        0
1639.46/1639.96	c 1639s |      20 |   894025 |   773927 |     4255    312 |        0 |        0
1641.55/1642.09	c 1642s |      20 |   895156 |   774927 |     4255    313 |        0 |        0
1643.65/1644.12	c 1644s |      20 |   896137 |   775827 |     4255    313 |        0 |        0
1645.75/1646.28	c 1646s |      20 |   897147 |   776727 |     4255    313 |        0 |        0
1647.96/1648.48	c 1648s |      20 |   898007 |   777527 |     4255    313 |        0 |        0
1650.16/1650.67	c 1650s |      20 |   898887 |   778327 |     4255    314 |        0 |        0
1652.36/1652.83	c 1652s |      20 |   899734 |   779127 |     4255    314 |        0 |        0
1654.36/1654.87	c 1654s |      20 |   901443 |   780527 |     4255    314 |        0 |        0
1656.56/1657.06	c 1657s |      20 |   902755 |   781727 |     4255    315 |        0 |        0
1658.66/1659.12	c 1659s |      20 |   903983 |   782827 |     4255    315 |        0 |        0
1660.66/1661.15	c 1661s |      20 |   905028 |   783727 |     4255    316 |        0 |        0
1662.86/1663.35	c 1663s |      20 |   906339 |   784827 |     4255    316 |        0 |        0
1665.06/1665.53	c 1665s |      20 |   907492 |   785827 |     4255    316 |        0 |        0
1667.06/1667.58	c 1667s |      20 |   908391 |   786627 |     4255    317 |        0 |        0
1669.36/1669.80	c 1669s |      20 |   909662 |   787727 |     4255    317 |        0 |        0
1671.36/1671.83	c 1671s |      20 |   910673 |   788627 |     4255    317 |        0 |        0
1673.55/1674.01	c 1673s |      20 |   911685 |   789527 |     4255    318 |        0 |        0
1675.65/1676.16	c 1676s |      20 |   912816 |   790527 |     4255    318 |        0 |        0
1677.75/1678.25	c 1678s |      20 |   913811 |   791427 |     4255    318 |        0 |        0
1679.75/1680.26	c 1680s |      20 |   914971 |   792427 |     4255    319 |        0 |        0
1681.85/1682.38	c 1682s |      20 |   916456 |   793727 |     4255    319 |        0 |        0
1684.05/1684.59	c 1684s |      20 |   917685 |   794827 |     4255    319 |        0 |        0
1686.25/1686.70	c 1686s |      20 |   918703 |   795727 |     4255    320 |        0 |        0
1688.35/1688.89	c 1688s |      20 |   919943 |   796827 |     4255    320 |        0 |        0
1690.55/1691.01	c 1690s |      20 |   920934 |   797727 |     4255    320 |        0 |        0
1692.75/1693.20	c 1693s |      20 |   921944 |   798627 |     4255    321 |        0 |        0
1694.76/1695.23	c 1695s |      20 |   922961 |   799527 |     4255    321 |        0 |        0
1696.85/1697.33	c 1697s |      20 |   923941 |   800427 |     4255    321 |        0 |        0
1699.15/1699.65	c 1699s |      20 |   924823 |   801227 |     4255    322 |        0 |        0
1701.24/1701.75	c 1701s |      20 |   926499 |   802627 |     4255    322 |        0 |        0
1703.34/1703.83	c 1703s |      20 |   927825 |   803727 |     4255    322 |        0 |        0
1705.44/1705.98	c 1705s |      20 |   928941 |   804727 |     4255    323 |        0 |        0
1707.55/1708.02	c 1707s |      20 |   930056 |   805727 |     4255    323 |        0 |        0
1709.55/1710.09	c 1710s |      20 |   931173 |   806727 |     4255    323 |        0 |        0
1711.85/1712.36	c 1712s |      20 |   932307 |   807727 |     4255    324 |        0 |        0
1713.95/1714.44	c 1714s |      20 |   933554 |   808827 |     4255    324 |        0 |        0
1716.15/1716.66	c 1716s |      20 |   934647 |   809827 |     4255    324 |        0 |        0
1718.25/1718.80	c 1718s |      20 |   935625 |   810727 |     4255    325 |        0 |        0
1720.35/1720.86	c 1720s |      20 |   936754 |   811727 |     4255    325 |        0 |        0
1722.55/1723.06	c 1723s |      20 |   937898 |   812727 |     4255    325 |        0 |        0
1724.64/1725.11	c 1725s |      20 |   938923 |   813627 |     4255    326 |        0 |        0
1726.65/1727.15	c 1727s |      20 |   940002 |   814627 |     4255    326 |        0 |        0
1728.85/1729.30	c 1729s |      20 |   941160 |   815627 |     4255    326 |        0 |        0
1730.94/1731.47	c 1731s |      20 |   942161 |   816527 |     4255    327 |        0 |        0
1733.04/1733.55	c 1733s |      20 |   943231 |   817427 |     4255    327 |        0 |        0
1735.24/1735.71	c 1735s |      20 |   944202 |   818327 |     4255    327 |        0 |        0
1737.34/1737.80	c 1737s |      20 |   945456 |   819427 |     4255    328 |        0 |        0
1739.44/1739.99	c 1739s |      20 |   946780 |   820627 |     4255    328 |        0 |        0
1741.64/1742.11	c 1742s |      20 |   947805 |   821527 |     4255    328 |        0 |        0
1743.74/1744.20	c 1744s |      20 |   948809 |   822427 |     4255    329 |        0 |        0
1745.84/1746.38	c 1746s |      20 |   949902 |   823427 |     4255    329 |        0 |        0
1748.14/1748.65	c 1748s |      20 |   951104 |   824527 |     4255    329 |        0 |        0
1750.24/1750.73	c 1750s |      20 |   951961 |   825327 |     4255    330 |        0 |        0
1752.24/1752.78	c 1752s |      20 |   953037 |   826327 |     4255    330 |        0 |        0
1754.44/1754.97	c 1754s |      20 |   954119 |   827327 |     4255    330 |        0 |        0
1756.54/1757.03	c 1757s |      20 |   955075 |   828227 |     4255    331 |        0 |        0
1758.74/1759.20	c 1759s |      20 |   956171 |   829227 |     4255    331 |        0 |        0
1760.75/1761.26	c 1761s |      20 |   957136 |   830127 |     4255    331 |        0 |        0
1762.84/1763.35	c 1763s |      20 |   957986 |   830927 |     4255    332 |        0 |        0
1764.94/1765.44	c 1765s |      20 |   959045 |   831927 |     4255    332 |        0 |        0
1767.14/1767.65	c 1767s |      20 |   960031 |   832827 |     4255    332 |        0 |        0
1769.54/1770.03	c 1770s |      20 |   960915 |   833627 |     4255    333 |        0 |        0
1771.74/1772.26	c 1772s |      20 |   962008 |   834627 |     4255    333 |        0 |        0
1773.83/1774.34	c 1774s |      20 |   963086 |   835627 |     4255    333 |        0 |        0
1776.04/1776.53	c 1776s |      20 |   964056 |   836527 |     4255    333 |        0 |        0
1778.24/1778.79	c 1778s |      20 |   964915 |   837327 |     4255    334 |        0 |        0
1780.34/1780.80	c 1780s |      20 |   965871 |   838227 |     4255    334 |        0 |        0
1782.44/1782.94	c 1782s |      20 |   966737 |   839027 |     4255    334 |        0 |        0
1784.43/1784.98	c 1784s |      20 |   967415 |   839627 |     4255    335 |        0 |        0
1786.53/1787.05	c 1787s |      20 |   968762 |   840827 |     4255    335 |        0 |        0
1788.53/1789.06	c 1789s |      20 |   970013 |   841927 |     4255    335 |        0 |        0
1790.73/1791.27	c 1791s |      20 |   971014 |   842827 |     4255    336 |        0 |        0
1792.93/1793.41	c 1793s |      20 |   972079 |   843827 |     4255    336 |        0 |        0
1795.03/1795.57	c 1795s |      20 |   973057 |   844727 |     4255    336 |        0 |        0
1797.23/1797.78	c 1797s |      20 |   974076 |   845627 |     4255    337 |        0 |        0
1799.44/1799.96	c 1799s |      20 |   975379 |   846727 |     4255    337 |        0 |        0

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

pid=3388
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.37 2.29 2.20 3/179 3391
/proc/meminfo: memFree=26216112/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 2734 0 0 0 0 0 0 0 20 0 4 0 105882044 749137920 2583 33554432000 4194304 16246674 140736148663808 140736148663232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 183663 2593 441 2943 0 180557 0
[pid=3391/tid=3392] ppid=3388 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 766963712 2650 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 771158016 2666 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105882044 775352320 2683 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.37 2.29 2.20 3/179 3391
/proc/meminfo: memFree=26216112/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 30901 0 0 0 4 4 0 0 20 0 4 0 105882044 1247350784 30739 33554432000 4194304 16246674 140736148663808 140736148663232 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 304529 30754 703 2943 0 301423 0
[pid=3391/tid=3392] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 30762 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 30771 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 30780 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200535 s]
/proc/loadavg: 2.37 2.29 2.20 3/179 3391
/proc/meminfo: memFree=26216112/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 67725 0 0 0 9 10 0 0 20 0 4 0 105882044 1247350784 67564 33554432000 4194304 16246674 140736148663808 140736148663232 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 304529 67578 703 2943 0 301423 0
[pid=3391/tid=3392] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 67587 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 67594 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 67604 33554432000 4194304 16246674 140736148663808 139781370530992 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) 1218116

[startup+0.300496 s]
/proc/loadavg: 2.37 2.29 2.20 3/179 3391
/proc/meminfo: memFree=26216112/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 102804 0 0 0 14 15 0 0 20 0 4 0 105882044 1247350784 102642 33554432000 4194304 16246674 140736148663808 140736148645696 5708022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 304529 102662 703 2943 0 301423 0
[pid=3391/tid=3392] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 102664 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 102673 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105882044 1247350784 102686 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700423 s]
/proc/loadavg: 2.37 2.29 2.20 3/179 3391
/proc/meminfo: memFree=26216112/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1306180 CPUtime=0.69 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 166478 0 0 0 47 22 0 0 20 0 4 0 105882044 1337528320 166297 33554432000 4194304 16246674 140736148663808 140736148663120 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 326545 166321 782 2943 0 323439 0
[pid=3391/tid=3392] ppid=3388 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1337528320 166335 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1337528320 166350 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1337528320 166364 33554432000 4194304 16246674 140736148663808 139781370530992 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) 1306180

[startup+1.50044 s]
/proc/loadavg: 2.37 2.29 2.20 3/183 3395
/proc/meminfo: memFree=25146440/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 267779 0 0 0 114 35 0 0 20 0 4 0 105882044 1338576896 267597 33554432000 4194304 16246674 140736148663808 140736148645696 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 326801 267597 787 2943 0 323695 0
[pid=3391/tid=3392] ppid=3388 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1338576896 267597 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1338576896 267597 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1338576896 267597 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10035 s]
/proc/loadavg: 2.34 2.28 2.20 3/183 3395
/proc/meminfo: memFree=25145580/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 268148 0 0 0 274 35 0 0 20 0 4 0 105882044 1340674048 267966 33554432000 4194304 16246674 140736148663808 140736148645696 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 327313 267966 790 2943 0 324207 0
[pid=3391/tid=3392] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 267966 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 267966 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 267966 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30041 s]
/proc/loadavg: 2.34 2.28 2.20 3/183 3395
/proc/meminfo: memFree=25143836/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1309252 CPUtime=6.28 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 268341 0 0 0 593 35 0 0 20 0 4 0 105882044 1340674048 268159 33554432000 4194304 16246674 140736148663808 140736148646808 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 327313 268159 790 2943 0 324207 0
[pid=3391/tid=3392] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 268159 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 268159 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 268159 33554432000 4194304 16246674 140736148663808 139781370530992 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) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.44 2.31 2.21 4/183 3395
/proc/meminfo: memFree=25144440/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 268342 0 0 0 1233 35 0 0 20 0 4 0 105882044 1340674048 268160 33554432000 4194304 16246674 140736148663808 140736148645696 5546130 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 327313 268160 791 2943 0 324207 0
[pid=3391/tid=3392] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 268160 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 268160 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1340674048 268160 33554432000 4194304 16246674 140736148663808 139781370530992 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) 1309252

[startup+25.5074 s]
/proc/loadavg: 2.37 2.30 2.21 4/182 3395
/proc/meminfo: memFree=25142100/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1313348 CPUtime=25.5 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 269140 0 0 0 2514 36 0 0 20 0 4 0 105882044 1344868352 268958 33554432000 4194304 16246674 140736148663808 140736148645696 13191360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 328337 268958 791 2943 0 325231 0
[pid=3391/tid=3392] ppid=3388 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1344868352 268958 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1344868352 268958 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1344868352 268958 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.31 2.29 2.21 3/183 3396
/proc/meminfo: memFree=25140200/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 269674 0 0 0 5072 36 0 0 20 0 4 0 105882044 1346965504 269492 33554432000 4194304 16246674 140736148663808 140736148645696 6843540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 328849 269492 791 2943 0 325743 0
[pid=3391/tid=3392] ppid=3388 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1346965504 269492 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1346965504 269492 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1346965504 269492 33554432000 4194304 16246674 140736148663808 139781370530992 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) 1315396

[startup+102.3 s]
/proc/loadavg: 2.36 2.30 2.21 3/183 3397
/proc/meminfo: memFree=25137228/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1317444 CPUtime=102.27 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 270390 0 0 0 10191 36 0 0 20 0 4 0 105882044 1349062656 270208 33554432000 4194304 16246674 140736148663808 140736148662984 6020678 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 329361 270208 791 2943 0 326255 0
[pid=3391/tid=3392] ppid=3388 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1349062656 270208 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1349062656 270208 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1349062656 270208 33554432000 4194304 16246674 140736148663808 139781370530992 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) 1317444


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

/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1321540

[startup+1302.3 s]
/proc/loadavg: 2.21 2.25 2.26 3/183 3500
/proc/meminfo: memFree=28127912/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1302.01 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271572 0 0 0 130106 95 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 140736148645696 5589288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271488 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.23 2.24 2.25 4/184 3504
/proc/meminfo: memFree=28121432/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1361.99 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271603 0 0 0 136102 97 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 140736148645696 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271488 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.19 2.23 2.25 3/183 3505
/proc/meminfo: memFree=28121596/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1421.96 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271636 0 0 0 142096 100 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 140736148645696 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271488 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.22 2.23 2.25 4/183 3506
/proc/meminfo: memFree=28121244/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1481.94 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271673 0 0 0 148093 101 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 140736148645696 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271488 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1321540

[startup+1542.3 s]
/proc/loadavg: 2.21 2.23 2.25 4/183 3507
/proc/meminfo: memFree=28121028/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1541.91 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271718 0 0 0 154088 103 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 140736148645696 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271488 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271488 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.30 2.26 2.25 3/183 3509
/proc/meminfo: memFree=28120580/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1601.87 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271763 0 0 0 160081 106 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 140736148645696 5673413 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271489 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1321540

[startup+1662.31 s]
/proc/loadavg: 2.30 2.27 2.26 3/183 3510
/proc/meminfo: memFree=28119036/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1661.86 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271779 0 0 0 166078 108 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 140736148662984 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271489 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.22 2.25 2.25 3/183 3511
/proc/meminfo: memFree=28119148/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1721.85 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271779 0 0 0 172074 111 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 140736148645696 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271489 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.33 2.27 2.26 4/183 3512
/proc/meminfo: memFree=28105660/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1781.84 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271779 0 0 0 178071 113 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 140736148662984 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271489 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.32 2.28 2.26 4/183 3512
/proc/meminfo: memFree=28105748/32872528 swapFree=16384/1696552
[pid=3391] ppid=3388 vsize=1321540 CPUtime=1800.04 cores=1,3,5,7
/proc/3391/stat : 3391 (toysat) R 3388 3391 1166 0 -1 4202496 271779 0 0 0 179890 114 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 140736148645696 5553636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3391/statm: 330385 271489 791 2943 0 327279 0
[pid=3391/tid=3392] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3392/stat : 3392 (toysat) S 3388 3391 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781391494384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3391/tid=3393] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3393/stat : 3393 (toysat) S 3388 3391 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781381004528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3391/tid=3394] ppid=3388 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/3391/task/3394/stat : 3394 (toysat) S 3388 3391 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105882044 1353256960 271489 33554432000 4194304 16246674 140736148663808 139781370530992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1321540

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1798.91
CPU system time (s): 1.14183
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.14183
maximum resident set size= 1085956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271779
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= 379
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78127 second user time and 7.06492 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 20:58:10
IDJOB=4078769
IDBENCH=2571
IDSOLVER=2542
FILE ID=node125/4078769-1465239490
RUNJOBID= node125-1465224138-1183
PBS_JOBID= 19843237
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078769-1465239490/watcher-4078769-1465239490 -o /tmp/evaluation-result-4078769-1465239490/solver-4078769-1465239490 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078769-1465239490.opb

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

MD5SUM BENCH= bfd9076f83014271363fd9848b4f1d95
RANDOM SEED=51074982

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26217012 kB
Buffers:           37748 kB
Cached:           123316 kB
SwapCached:         2016 kB
Active:          4183156 kB
Inactive:          64248 kB
Active(anon):    4087324 kB
Inactive(anon):     1380 kB
Active(file):      95832 kB
Inactive(file):    62868 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       5867828 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             567708 kB
SReclaimable:      11768 kB
SUnreclaim:       555940 kB
KernelStack:        1504 kB
PageTables:        15224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5925176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2983936 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= 71712 MiB
End job on node125 at 2016-06-06 21:28:10