Trace number 4093404

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
MD5SUM153666059db7da507c96674bc7662476
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2550
Total number of constraints101
Number of soft constraints66
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3685
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3684
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
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-16T15:35:50+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","--wbo","--search=bcd2","HOME/instance-4093404-1466084150.wbo"]
0.00/0.01	c use --random-gen="3091600472 1212863849 2066447077 2090643759 886482853 4224181731 2714803231 591177293 839758585 3347862967 1350061952 3754070788 1961548706 1254693394 1486604118 3444394094 1040042856 2230584872 3013125809 1993213326 2800952354 3114638251 3454584049 2104719716 1817895423 1738141122 3228283802 2271112824 1235970057 4213130613 3333444481 1141448735 2596011824 1403403993 1616123078 3846183991 1682819934 946590538 2569111422 4258169629 2470927528 678469672 3911352650 1951396384 3811605436 2317884745 1646802229 1773303482 3951975063 2371000336 840573997 2044070066 2312929291 4099114154 1685522532 626966419 342606892 2268962857 1436415315 1498970083 3841929952 1421939020 653787384 197476765 1059592153 879830565 2865276452 34250935 464680524 1130924563 2299447901 1521376352 2152382713 3730498297 2003079896 2747726347 3542436854 2401553565 438892857 4197407485 1050468357 721951528 2629403704 2694092047 136506135 430879144 2520237123 2763336702 4013051357 1474267651 315096077 2772633414 1877300590 4151276055 564780658 480390570 3565508560 1969869085 3668598657 2391957972 3231150710 3991136510 1920916477 2937326820 3413129477 3919814284 2812113458 1761571916 3181160943 1559806923 439541599 1787395028 4072627219 726642609 4022180386 2550781365 1593174441 3248510224 4053999537 2511544379 3076146042 3091018498 922195042 3606514566 311960213 122217126 370243870 1655515491 415481656 3933538188 1023083043 539966741 517995882 2069704282 12945261 4214902227 427138239 1306491474 2760268529 2966975533 1402795072 658631064 3751786296 1788242849 13389572 933042312 1446168720 1066302516 2147715363 3459411615 2191372886 361570508 3280137515 637030324 782792076 1118440013 665162817 4293791084 1745997852 2513220449 585944037 2349172692 865983025 4040549875 252717203 1348438600 3225114013 1010803440 2532159251 3189297155 3306817945 684594527 3105180159 965495536 4073805069 2191392280 3139353653 982751228 834167355 4277176627 1831377640 3560992354 182510874 2447557896 1674933868 734300371 2721753021 1119770639 3708736576 2290240779 2173524073 195282192 558991851 2152862978 4002123019 3200465850 1704683650 77679699 219298757 963837124 681857956 1949702412 1608410650 3931124026 2372511897 4207793781 1227830178 1471589551 1580185952 3896334324 1388956446 1486384719 1979249972 1004759307 971070810 1253062561 1552440458 2572028659 3931540909 4086231906 884343304 4276161195 3053689498 3391558463 2187995316 3131927368 2597181845 1196933950 144828892 901229697 2315973381 1648956154 4262996756 3847590916 2303391431 2989748568 1576388789 2062868946 23164981 2238370630 4219362972 3019617172 1525177741 7414119 969551502 2386897850 2617715046 2209291471 3624062220 164286215 1207065189 2152955713 2014063912 2790041041 737702538 3292863940 255 362436" option to reproduce the execution
0.09/0.12	c #vars 2550
0.09/0.12	c #constraints 101
0.09/0.13	c BCD2: Hardening is enabled.
0.09/0.13	c BCD2: BiasedSearch is enabled.
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |      905      0 |        0 |        0
0.09/0.19	c  0.1s |       1 |      221 |      100 |      905      0 |        0 |        0
0.19/0.20	c  0.1s |       1 |     1849 |      100 |      905      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.061s
0.19/0.20	c #wall_clock_time = 0.061s
0.19/0.20	c #decision = 1849
0.19/0.20	c #random_decision = 10
0.19/0.20	c #conflict = 100
0.19/0.20	c #restart = 1
0.19/0.20	o 1897
0.19/0.20	c BCD2: updating upper bound: 3684 -> 1896
0.19/0.20	c BCD2: 0 <= obj <= 1896
0.19/0.20	c BCD2: #cores=0, #unrelaxed=66, #relaxed=0, #hardened=0
0.19/0.20	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |      905      0 |        0 |        0
0.29/0.33	c  0.1s |       1 |     1218 |      100 |      996      0 |        0 |        0
0.49/0.57	c  0.4s |       2 |     2661 |      250 |     1096      0 |        0 |        0
0.79/0.87	c  0.7s |       3 |     4514 |      475 |     1206      0 |        0 |        0
1.39/1.41	c  1.2s |       4 |     6220 |      813 |     1327      0 |        0 |        0
1.89/1.96	c  1.8s |       5 |     8198 |     1320 |     1460      0 |        0 |        0
2.89/2.95	c  2.8s |       6 |    10500 |     2081 |     1607      0 |        0 |        0
4.29/4.38	c  4.2s |       7 |    13156 |     3223 |     1768      1 |        0 |        0
6.49/6.55	c  6.4s |       7 |    16490 |     4423 |     1768      2 |        0 |        0
7.49/7.50	c  7.3s |       8 |    17138 |     4936 |     1945      2 |        0 |        0
9.49/9.56	c  9.4s |       8 |    20727 |     6236 |     1945      3 |        0 |        0
11.59/11.68	c 11.5s |       8 |    21711 |     7036 |     1945      3 |        0 |        0
12.79/12.80	c 12.6s |       9 |    22329 |     7506 |     2140      3 |        0 |        0
14.79/14.85	c 14.7s |       9 |    27899 |     9006 |     2140      4 |        0 |        0
16.89/16.99	c 16.8s |       9 |    29235 |    10206 |     2140      4 |        0 |        0
19.09/19.18	c 19.0s |       9 |    30270 |    11106 |     2140      5 |        0 |        0
19.80/19.87	c 19.7s |      10 |    30547 |    11361 |     2354      5 |        0 |        0
21.99/22.03	c 21.8s |      10 |    34396 |    12861 |     2354      6 |        0 |        0
24.19/24.27	c 24.1s |      10 |    35720 |    13761 |     2354      6 |        0 |        0
26.49/26.57	c 26.4s |      10 |    37110 |    14561 |     2354      7 |        0 |        0
28.59/28.70	c 28.5s |      10 |    38288 |    15261 |     2354      7 |        0 |        0
30.69/30.75	c 30.6s |      10 |    39337 |    15961 |     2354      7 |        0 |        0
32.89/32.91	c 32.7s |      10 |    40440 |    16661 |     2354      7 |        0 |        0
34.49/34.59	c 34.4s |      11 |    41027 |    17144 |     2590      8 |        0 |        0
36.59/36.61	c 36.4s |      11 |    44504 |    18844 |     2590      9 |        0 |        0
38.69/38.75	c 38.6s |      11 |    45940 |    20144 |     2590      9 |        0 |        0
40.79/40.86	c 40.7s |      11 |    47193 |    21244 |     2590     10 |        0 |        0
42.89/42.94	c 42.7s |      11 |    48291 |    22244 |     2590     10 |        0 |        0
45.09/45.18	c 45.0s |      11 |    49405 |    23244 |     2590     10 |        0 |        0
47.29/47.35	c 47.2s |      11 |    50384 |    24144 |     2590     11 |        0 |        0
49.38/49.41	c 49.2s |      11 |    51359 |    25044 |     2590     11 |        0 |        0
51.28/51.33	c 51.1s |      12 |    52273 |    25819 |     2850     11 |        0 |        0
53.38/53.41	c 53.2s |      12 |    55619 |    27219 |     2850     12 |        0 |        0
55.38/55.45	c 55.3s |      12 |    57085 |    28519 |     2850     12 |        0 |        0
57.48/57.53	c 57.3s |      12 |    58342 |    29619 |     2850     13 |        0 |        0
59.68/59.75	c 59.6s |      12 |    59592 |    30719 |     2850     13 |        0 |        0
61.98/62.02	c 61.8s |      12 |    60691 |    31719 |     2850     14 |        0 |        0
64.08/64.12	c 63.9s |      12 |    61798 |    32719 |     2850     14 |        0 |        0
66.09/66.18	c 66.0s |      12 |    62954 |    33719 |     2850     14 |        0 |        0
68.19/68.20	c 68.0s |      12 |    63982 |    34619 |     2850     15 |        0 |        0
70.18/70.26	c 70.1s |      12 |    64992 |    35519 |     2850     15 |        0 |        0
72.18/72.29	c 72.1s |      12 |    65888 |    36319 |     2850     15 |        0 |        0
74.48/74.50	c 74.3s |      12 |    66666 |    37019 |     2850     16 |        0 |        0
76.58/76.63	c 76.4s |      12 |    67674 |    37919 |     2850     16 |        0 |        0
78.68/78.70	c 78.5s |      12 |    68540 |    38719 |     3136     16 |        0 |        0
78.98/79.01	c 78.8s |      13 |    68657 |    38832 |     3136     16 |        0 |        0
80.98/81.05	c 80.9s |      13 |    71542 |    39932 |     3136     17 |        0 |        0
82.97/83.06	c 82.9s |      13 |    72679 |    40932 |     3136     17 |        0 |        0
85.07/85.15	c 84.9s |      13 |    73797 |    41932 |     3136     17 |        0 |        0
87.27/87.38	c 87.2s |      13 |    75038 |    42932 |     3136     18 |        0 |        0
89.27/89.38	c 89.2s |      13 |    76160 |    43732 |     3136     18 |        0 |        0
91.28/91.39	c 91.2s |      13 |    77075 |    44532 |     3136     18 |        0 |        0
93.49/93.51	c 93.3s |      13 |    77846 |    45232 |     3136     19 |        0 |        0
95.58/95.65	c 95.5s |      13 |    78839 |    46132 |     3136     19 |        0 |        0
97.78/97.86	c 97.7s |      13 |    79704 |    46932 |     3136     19 |        0 |        0
99.98/100.05	c 99.9s |      13 |    80590 |    47732 |     3136     19 |        0 |        0
102.08/102.18	c  101s |      13 |    81470 |    48532 |     3136     20 |        0 |        0
104.28/104.33	c  104s |      13 |    82457 |    49432 |     3136     20 |        0 |        0
106.47/106.55	c  106s |      13 |    83465 |    50332 |     3136     20 |        0 |        0
108.47/108.59	c  108s |      13 |    84387 |    51132 |     3136     21 |        0 |        0
110.57/110.66	c  110s |      13 |    85378 |    52032 |     3136     21 |        0 |        0
112.88/112.91	c  112s |      13 |    86363 |    52932 |     3136     21 |        0 |        0
115.08/115.12	c  114s |      13 |    87245 |    53732 |     3136     22 |        0 |        0
117.17/117.28	c  117s |      13 |    88225 |    54632 |     3136     22 |        0 |        0
119.37/119.40	c  119s |      13 |    89098 |    55432 |     3136     22 |        0 |        0
121.47/121.55	c  121s |      13 |    89970 |    56232 |     3136     22 |        0 |        0
123.77/123.80	c  123s |      13 |    90847 |    57032 |     3136     23 |        0 |        0
125.87/125.91	c  125s |      13 |    91741 |    57832 |     3136     23 |        0 |        0
127.17/127.28	c  127s |      14 |    92311 |    58352 |     3450     23 |        0 |        0
129.27/129.39	c  129s |      14 |    95353 |    59952 |     3450     24 |        0 |        0
131.37/131.43	c  131s |      14 |    96997 |    61352 |     3450     24 |        0 |        0
133.37/133.44	c  133s |      14 |    98400 |    62452 |     3450     25 |        0 |        0
135.47/135.56	c  135s |      14 |    99955 |    63552 |     3450     25 |        0 |        0
137.57/137.62	c  137s |      14 |   101177 |    64552 |     3450     25 |        0 |        0
139.57/139.65	c  139s |      14 |   102227 |    65452 |     3450     26 |        0 |        0
141.77/141.80	c  141s |      14 |   103426 |    66452 |     3450     26 |        0 |        0
143.77/143.89	c  143s |      14 |   104543 |    67352 |     3450     26 |        0 |        0
145.87/145.93	c  145s |      14 |   105462 |    68152 |     3450     27 |        0 |        0
147.87/147.98	c  147s |      14 |   106663 |    69052 |     3450     27 |        0 |        0
150.07/150.17	c  149s |      14 |   107759 |    69952 |     3450     27 |        0 |        0
152.26/152.30	c  152s |      14 |   108712 |    70752 |     3450     28 |        0 |        0
154.36/154.45	c  154s |      14 |   109758 |    71652 |     3450     28 |        0 |        0
156.56/156.64	c  156s |      14 |   110792 |    72552 |     3450     28 |        0 |        0
158.86/158.98	c  158s |      14 |   112028 |    73652 |     3450     29 |        0 |        0
161.06/161.18	c  160s |      14 |   113173 |    74652 |     3450     29 |        0 |        0
163.06/163.18	c  162s |      14 |   114045 |    75452 |     3450     29 |        0 |        0
165.27/165.32	c  165s |      14 |   114938 |    76252 |     3450     29 |        0 |        0
167.57/167.63	c  167s |      14 |   115975 |    77152 |     3450     30 |        0 |        0
169.57/169.68	c  169s |      14 |   116940 |    77852 |     3450     30 |        0 |        0
171.67/171.77	c  171s |      14 |   117827 |    78652 |     3450     30 |        0 |        0
173.77/173.88	c  173s |      14 |   118722 |    79452 |     3450     31 |        0 |        0
175.97/176.04	c  175s |      14 |   119691 |    80352 |     3450     31 |        0 |        0
178.06/178.19	c  177s |      14 |   120677 |    81252 |     3450     31 |        0 |        0
180.26/180.34	c  180s |      14 |   121546 |    82052 |     3450     31 |        0 |        0
182.26/182.37	c  182s |      14 |   122292 |    82752 |     3450     32 |        0 |        0
184.46/184.52	c  184s |      14 |   123534 |    83752 |     3450     32 |        0 |        0
186.56/186.62	c  186s |      14 |   124614 |    84652 |     3450     32 |        0 |        0
188.57/188.68	c  188s |      14 |   125833 |    85552 |     3450     33 |        0 |        0
190.97/191.03	c  190s |      14 |   126975 |    86552 |     3450     33 |        0 |        0
193.06/193.14	c  192s |      15 |   128179 |    87632 |     3796     33 |        0 |        0
195.26/195.30	c  195s |      15 |   131138 |    89132 |     3796     34 |        0 |        0
197.26/197.35	c  197s |      15 |   132421 |    90232 |     3796     34 |        0 |        0
199.46/199.50	c  199s |      15 |   133549 |    91232 |     3796     35 |        0 |        0
201.46/201.54	c  201s |      15 |   134762 |    92232 |     3796     35 |        0 |        0
203.57/203.66	c  203s |      15 |   135792 |    93132 |     3796     35 |        0 |        0
205.66/205.71	c  205s |      15 |   136711 |    93932 |     3796     35 |        0 |        0
207.76/207.86	c  207s |      15 |   137707 |    94832 |     3796     36 |        0 |        0
209.96/210.04	c  209s |      15 |   138871 |    95832 |     3796     36 |        0 |        0
212.06/212.18	c  211s |      15 |   139947 |    96732 |     3796     36 |        0 |        0
214.47/214.51	c  214s |      15 |   140879 |    97532 |     3796     37 |        0 |        0
216.46/216.57	c  216s |      15 |   141922 |    98432 |     3796     37 |        0 |        0
218.56/218.65	c  218s |      15 |   142949 |    99332 |     3796     37 |        0 |        0
220.66/220.79	c  220s |      15 |   143834 |   100132 |     3796     37 |        0 |        0
222.76/222.87	c  222s |      15 |   144616 |   100832 |     3796     38 |        0 |        0
225.05/225.10	c  224s |      15 |   145644 |   101732 |     3796     38 |        0 |        0
227.05/227.12	c  226s |      15 |   146670 |   102632 |     3796     38 |        0 |        0
229.05/229.12	c  228s |      15 |   147578 |   103432 |     3796     38 |        0 |        0
231.16/231.29	c  231s |      15 |   148457 |   104232 |     3796     39 |        0 |        0
233.36/233.44	c  233s |      15 |   149472 |   105132 |     3796     39 |        0 |        0
235.55/235.69	c  235s |      15 |   150322 |   105932 |     3796     39 |        0 |        0
237.75/237.85	c  237s |      15 |   151265 |   106732 |     3796     39 |        0 |        0
239.86/239.92	c  239s |      15 |   152350 |   107632 |     3796     40 |        0 |        0
242.06/242.12	c  241s |      15 |   153642 |   108632 |     3796     40 |        0 |        0
244.05/244.13	c  243s |      15 |   154630 |   109432 |     3796     40 |        0 |        0
246.15/246.27	c  246s |      15 |   155647 |   110232 |     3796     41 |        0 |        0
248.35/248.49	c  248s |      15 |   156761 |   111232 |     3796     41 |        0 |        0
250.45/250.58	c  250s |      15 |   157848 |   112132 |     3796     41 |        0 |        0
252.56/252.65	c  252s |      15 |   158807 |   112932 |     3796     41 |        0 |        0
254.66/254.73	c  254s |      15 |   159993 |   113832 |     3796     42 |        0 |        0
256.75/256.80	c  256s |      15 |   161301 |   114832 |     3796     42 |        0 |        0
258.95/259.03	c  258s |      15 |   162369 |   115732 |     3796     42 |        0 |        0
260.95/261.07	c  260s |      15 |   163340 |   116532 |     3796     43 |        0 |        0
263.15/263.22	c  263s |      15 |   164362 |   117432 |     3796     43 |        0 |        0
265.15/265.27	c  265s |      15 |   165584 |   118432 |     3796     43 |        0 |        0
267.36/267.44	c  267s |      15 |   166644 |   119332 |     3796     44 |        0 |        0
269.35/269.50	c  269s |      15 |   167570 |   120132 |     3796     44 |        0 |        0
271.55/271.69	c  271s |      15 |   168767 |   121132 |     3796     44 |        0 |        0
273.75/273.81	c  273s |      15 |   169675 |   121932 |     3796     44 |        0 |        0
275.75/275.89	c  275s |      15 |   170663 |   122732 |     3796     45 |        0 |        0
277.95/278.08	c  277s |      15 |   171739 |   123632 |     3796     45 |        0 |        0
280.25/280.30	c  280s |      15 |   172745 |   124532 |     3796     45 |        0 |        0
282.34/282.46	c  282s |      15 |   173793 |   125432 |     3796     46 |        0 |        0
284.55/284.64	c  284s |      15 |   174982 |   126432 |     3796     46 |        0 |        0
286.55/286.65	c  286s |      15 |   175891 |   127232 |     3796     46 |        0 |        0
288.75/288.84	c  288s |      15 |   176758 |   128032 |     3796     46 |        0 |        0
290.94/291.03	c  290s |      15 |   177661 |   128832 |     3796     47 |        0 |        0
292.94/293.04	c  292s |      15 |   178837 |   129732 |     3796     47 |        0 |        0
294.94/295.05	c  294s |      15 |   179944 |   130632 |     4176     47 |        0 |        0
296.95/297.05	c  296s |      15 |   180872 |   131432 |     4176     47 |        0 |        0
297.24/297.39	c  297s |      16 |   181002 |   131552 |     4176     47 |        0 |        0
299.34/299.47	c  299s |      16 |   183826 |   132952 |     4176     48 |        0 |        0
301.45/301.58	c  301s |      16 |   185354 |   134252 |     4176     48 |        0 |        0
303.55/303.63	c  303s |      16 |   186514 |   135252 |     4176     49 |        0 |        0
305.64/305.77	c  305s |      16 |   187776 |   136352 |     4176     49 |        0 |        0
307.95/308.01	c  307s |      16 |   188898 |   137352 |     4176     49 |        0 |        0
309.95/310.04	c  309s |      16 |   189775 |   138152 |     4176     49 |        0 |        0
312.04/312.15	c  311s |      16 |   190682 |   138952 |     4176     50 |        0 |        0
314.04/314.19	c  313s |      16 |   191679 |   139852 |     4176     50 |        0 |        0
316.14/316.26	c  316s |      16 |   192677 |   140752 |     4176     50 |        0 |        0
318.34/318.47	c  318s |      16 |   193647 |   141652 |     4176     50 |        0 |        0
320.34/320.49	c  320s |      16 |   194680 |   142552 |     4176     51 |        0 |        0
322.54/322.61	c  322s |      16 |   195703 |   143452 |     4176     51 |        0 |        0
324.74/324.87	c  324s |      16 |   196696 |   144352 |     4176     51 |        0 |        0
326.75/326.88	c  326s |      16 |   197461 |   145052 |     4176     52 |        0 |        0
328.84/328.99	c  328s |      16 |   198620 |   146052 |     4176     52 |        0 |        0
330.94/331.01	c  330s |      16 |   199747 |   147052 |     4176     52 |        0 |        0
333.04/333.11	c  332s |      16 |   200718 |   147952 |     4176     52 |        0 |        0
335.24/335.30	c  335s |      16 |   201715 |   148852 |     4176     53 |        0 |        0
337.24/337.38	c  337s |      16 |   202750 |   149752 |     4176     53 |        0 |        0
339.34/339.46	c  339s |      16 |   203742 |   150652 |     4176     53 |        0 |        0
341.34/341.49	c  341s |      16 |   204631 |   151452 |     4176     53 |        0 |        0
343.64/343.71	c  343s |      16 |   205615 |   152352 |     4176     54 |        0 |        0
345.64/345.74	c  345s |      16 |   206457 |   153152 |     4176     54 |        0 |        0
347.84/347.97	c  347s |      16 |   207476 |   154052 |     4176     54 |        0 |        0
350.44/350.59	c  350s |      16 |   208471 |   154952 |     4176     55 |        0 |        0
352.54/352.67	c  352s |      16 |   209428 |   155852 |     4176     55 |        0 |        0
354.64/354.71	c  354s |      16 |   210334 |   156652 |     4176     55 |        0 |        0
356.74/356.86	c  356s |      16 |   211310 |   157552 |     4176     55 |        0 |        0
359.13/359.25	c  359s |      16 |   212183 |   158352 |     4176     56 |        0 |        0
361.23/361.33	c  361s |      16 |   213161 |   159252 |     4176     56 |        0 |        0
363.43/363.58	c  363s |      16 |   214147 |   160152 |     4176     56 |        0 |        0
365.74/365.80	c  365s |      16 |   215109 |   161052 |     4176     56 |        0 |        0
367.84/367.94	c  367s |      16 |   215837 |   161752 |     4176     57 |        0 |        0
370.13/370.21	c  370s |      16 |   216692 |   162552 |     4176     57 |        0 |        0
372.33/372.40	c  372s |      16 |   217794 |   163552 |     4176     57 |        0 |        0
374.33/374.46	c  374s |      16 |   218675 |   164352 |     4176     57 |        0 |        0
376.73/376.83	c  376s |      16 |   219552 |   165152 |     4176     58 |        0 |        0
378.93/379.00	c  378s |      16 |   220525 |   166052 |     4176     58 |        0 |        0
381.03/381.10	c  380s |      16 |   221393 |   166852 |     4176     58 |        0 |        0
383.03/383.14	c  382s |      16 |   222373 |   167752 |     4176     58 |        0 |        0
385.04/385.16	c  384s |      16 |   223138 |   168452 |     4176     59 |        0 |        0
387.03/387.17	c  386s |      16 |   223992 |   169252 |     4176     59 |        0 |        0
389.34/389.44	c  389s |      16 |   224865 |   170052 |     4176     59 |        0 |        0
391.43/391.53	c  391s |      16 |   225615 |   170752 |     4176     59 |        0 |        0
393.53/393.62	c  393s |      16 |   226271 |   171352 |     4176     59 |        0 |        0
395.63/395.79	c  395s |      16 |   226920 |   171952 |     4176     60 |        0 |        0
397.73/397.82	c  397s |      16 |   227561 |   172552 |     4176     60 |        0 |        0
399.73/399.85	c  399s |      16 |   228206 |   173152 |     4176     60 |        0 |        0
401.73/401.87	c  401s |      16 |   229086 |   173952 |     4176     60 |        0 |        0
403.74/403.88	c  403s |      16 |   230007 |   174752 |     4176     60 |        0 |        0
405.84/405.97	c  405s |      16 |   230873 |   175552 |     4176     61 |        0 |        0
408.04/408.20	c  407s |      16 |   231858 |   176452 |     4176     61 |        0 |        0
410.23/410.31	c  410s |      16 |   232735 |   177252 |     4176     61 |        0 |        0
412.43/412.56	c  412s |      16 |   233496 |   177952 |     4176     61 |        0 |        0
414.64/414.73	c  414s |      16 |   234153 |   178552 |     4176     62 |        0 |        0
416.73/416.81	c  416s |      16 |   234900 |   179252 |     4176     62 |        0 |        0
419.04/419.16	c  418s |      16 |   235665 |   179952 |     4176     62 |        0 |        0
421.24/421.34	c  421s |      16 |   236351 |   180552 |     4176     62 |        0 |        0
423.33/423.46	c  423s |      16 |   237239 |   181352 |     4176     62 |        0 |        0
425.33/425.46	c  425s |      16 |   238027 |   182052 |     4176     63 |        0 |        0
427.52/427.66	c  427s |      16 |   239027 |   182952 |     4176     63 |        0 |        0
429.72/429.80	c  429s |      16 |   239905 |   183752 |     4176     63 |        0 |        0
431.83/431.93	c  431s |      16 |   240786 |   184552 |     4176     63 |        0 |        0
434.03/434.11	c  433s |      16 |   241671 |   185352 |     4176     64 |        0 |        0
436.02/436.14	c  435s |      16 |   242565 |   186152 |     4176     64 |        0 |        0
438.22/438.37	c  438s |      16 |   243442 |   186952 |     4176     64 |        0 |        0
440.33/440.42	c  440s |      16 |   244337 |   187752 |     4176     64 |        0 |        0
442.43/442.53	c  442s |      16 |   245120 |   188452 |     4176     65 |        0 |        0
444.53/444.64	c  444s |      16 |   246240 |   189452 |     4176     65 |        0 |        0
446.63/446.74	c  446s |      16 |   247305 |   190352 |     4176     65 |        0 |        0
448.83/448.95	c  448s |      16 |   248175 |   191152 |     4176     65 |        0 |        0
450.93/451.06	c  450s |      16 |   249061 |   191952 |     4176     66 |        0 |        0
452.92/453.09	c  452s |      16 |   249911 |   192752 |     4176     66 |        0 |        0
455.12/455.20	c  454s |      16 |   250816 |   193552 |     4176     66 |        0 |        0
457.12/457.21	c  457s |      16 |   251585 |   194252 |     4176     66 |        0 |        0
459.32/459.42	c  459s |      16 |   252403 |   194952 |     4176     67 |        0 |        0
461.42/461.50	c  461s |      16 |   253290 |   195752 |     4176     67 |        0 |        0
463.42/463.57	c  463s |      16 |   254105 |   196452 |     4594     67 |        0 |        0
465.62/465.70	c  465s |      16 |   254882 |   197152 |     4594     67 |        0 |        0
466.43/466.56	c  466s |      17 |   255180 |   197432 |     4594     67 |        0 |        0
468.52/468.68	c  468s |      17 |   257988 |   198832 |     4594     68 |        0 |        0
470.62/470.70	c  470s |      17 |   259240 |   199932 |     4594     68 |        0 |        0
472.81/472.91	c  472s |      17 |   260562 |   201032 |     4594     68 |        0 |        0
474.91/475.01	c  474s |      17 |   261594 |   201832 |     4594     69 |        0 |        0
477.02/477.10	c  476s |      17 |   262650 |   202732 |     4594     69 |        0 |        0
479.12/479.28	c  479s |      17 |   263658 |   203632 |     4594     69 |        0 |        0
481.42/481.57	c  481s |      17 |   264589 |   204432 |     4594     69 |        0 |        0
483.51/483.62	c  483s |      17 |   265398 |   205132 |     4594     70 |        0 |        0
485.71/485.84	c  485s |      17 |   266378 |   206032 |     4594     70 |        0 |        0
487.81/487.93	c  487s |      17 |   267304 |   206832 |     4594     70 |        0 |        0
489.92/490.05	c  489s |      17 |   268296 |   207732 |     4594     70 |        0 |        0
492.32/492.44	c  492s |      17 |   269210 |   208532 |     4594     71 |        0 |        0
494.32/494.44	c  494s |      17 |   270199 |   209332 |     4594     71 |        0 |        0
496.42/496.52	c  496s |      17 |   271135 |   210132 |     4594     71 |        0 |        0
498.42/498.52	c  498s |      17 |   271927 |   210832 |     4594     71 |        0 |        0
500.42/500.60	c  500s |      17 |   272900 |   211632 |     4594     71 |        0 |        0
502.62/502.71	c  502s |      17 |   273711 |   212332 |     4594     72 |        0 |        0
504.61/504.78	c  504s |      17 |   274606 |   213132 |     4594     72 |        0 |        0
506.72/506.90	c  506s |      17 |   275542 |   213932 |     4594     72 |        0 |        0
508.91/509.05	c  508s |      17 |   276455 |   214732 |     4594     72 |        0 |        0
511.11/511.27	c  511s |      17 |   277232 |   215432 |     4594     72 |        0 |        0
513.21/513.31	c  513s |      17 |   278022 |   216132 |     4594     73 |        0 |        0
515.41/515.59	c  515s |      17 |   278940 |   216932 |     4594     73 |        0 |        0
517.62/517.73	c  517s |      17 |   279721 |   217632 |     4594     73 |        0 |        0
519.91/520.06	c  519s |      17 |   280499 |   218332 |     4594     73 |        0 |        0
522.01/522.18	c  521s |      17 |   281297 |   219032 |     4594     74 |        0 |        0
524.21/524.31	c  524s |      17 |   282337 |   219932 |     4594     74 |        0 |        0
526.31/526.41	c  526s |      17 |   283257 |   220732 |     4594     74 |        0 |        0
528.31/528.42	c  528s |      17 |   284049 |   221432 |     4594     74 |        0 |        0
530.31/530.44	c  530s |      17 |   284876 |   222132 |     4594     74 |        0 |        0
532.32/532.48	c  532s |      17 |   285830 |   222832 |     4594     75 |        0 |        0
534.52/534.66	c  534s |      17 |   286865 |   223632 |     4594     75 |        0 |        0
536.61/536.79	c  536s |      17 |   287853 |   224432 |     4594     75 |        0 |        0
538.71/538.86	c  538s |      17 |   288677 |   225132 |     4594     75 |        0 |        0
541.00/541.16	c  540s |      17 |   289533 |   225832 |     4594     75 |        0 |        0
543.21/543.34	c  543s |      17 |   290325 |   226532 |     4594     76 |        0 |        0
545.31/545.41	c  545s |      17 |   291226 |   227332 |     4594     76 |        0 |        0
547.31/547.42	c  547s |      17 |   292054 |   228032 |     4594     76 |        0 |        0
549.51/549.62	c  549s |      17 |   292933 |   228732 |     4594     76 |        0 |        0
551.70/551.89	c  551s |      17 |   293836 |   229432 |     4594     76 |        0 |        0
553.80/553.95	c  553s |      17 |   294701 |   230132 |     4594     77 |        0 |        0
555.90/556.08	c  555s |      17 |   295534 |   230832 |     4594     77 |        0 |        0
558.01/558.13	c  557s |      17 |   296417 |   231532 |     4594     77 |        0 |        0
560.01/560.15	c  559s |      17 |   297401 |   232332 |     4594     77 |        0 |        0
562.20/562.38	c  562s |      17 |   298188 |   233032 |     4594     78 |        0 |        0
564.41/564.57	c  564s |      17 |   299298 |   233932 |     4594     78 |        0 |        0
566.41/566.60	c  566s |      17 |   300251 |   234632 |     4594     78 |        0 |        0
568.71/568.89	c  568s |      17 |   301327 |   235332 |     4594     78 |        0 |        0
570.81/570.90	c  570s |      17 |   302023 |   235932 |     4594     78 |        0 |        0
572.90/573.10	c  572s |      17 |   302735 |   236532 |     4594     79 |        0 |        0
575.01/575.15	c  574s |      17 |   303409 |   237132 |     4594     79 |        0 |        0
577.11/577.29	c  577s |      17 |   304154 |   237732 |     4594     79 |        0 |        0
579.21/579.36	c  579s |      17 |   305010 |   238432 |     4594     79 |        0 |        0
581.40/581.53	c  581s |      17 |   306060 |   239232 |     4594     79 |        0 |        0
583.60/583.72	c  583s |      17 |   307010 |   239932 |     4594     80 |        0 |        0
585.80/585.97	c  585s |      17 |   308244 |   240832 |     4594     80 |        0 |        0
588.00/588.13	c  587s |      17 |   309309 |   241532 |     4594     80 |        0 |        0
590.00/590.16	c  589s |      17 |   310134 |   242232 |     4594     80 |        0 |        0
592.10/592.28	c  592s |      17 |   310987 |   242932 |     4594     80 |        0 |        0
594.20/594.34	c  594s |      17 |   311723 |   243532 |     4594     81 |        0 |        0
596.21/596.34	c  596s |      17 |   312512 |   244232 |     4594     81 |        0 |        0
598.20/598.35	c  598s |      17 |   313310 |   244932 |     4594     81 |        0 |        0
600.39/600.59	c  600s |      17 |   314264 |   245732 |     4594     81 |        0 |        0
602.50/602.66	c  602s |      17 |   315146 |   246432 |     4594     81 |        0 |        0
604.70/604.88	c  604s |      17 |   315862 |   247032 |     4594     82 |        0 |        0
606.80/606.96	c  606s |      17 |   316542 |   247632 |     4594     82 |        0 |        0
609.09/609.26	c  609s |      17 |   317511 |   248332 |     4594     82 |        0 |        0
611.30/611.49	c  611s |      17 |   318416 |   249132 |     4594     82 |        0 |        0
613.50/613.60	c  613s |      17 |   319189 |   249832 |     4594     82 |        0 |        0
615.69/615.80	c  615s |      17 |   319883 |   250432 |     4594     83 |        0 |        0
617.89/618.04	c  617s |      17 |   320660 |   251132 |     4594     83 |        0 |        0
620.19/620.30	c  620s |      17 |   321507 |   251832 |     4594     83 |        0 |        0
622.30/622.46	c  622s |      17 |   322348 |   252532 |     4594     83 |        0 |        0
624.40/624.56	c  624s |      17 |   323009 |   253132 |     4594     83 |        0 |        0
626.59/626.76	c  626s |      17 |   323664 |   253732 |     4594     83 |        0 |        0
628.79/628.96	c  628s |      17 |   324210 |   254232 |     4594     84 |        0 |        0
630.99/631.16	c  630s |      17 |   325426 |   255132 |     4594     84 |        0 |        0
633.09/633.27	c  633s |      17 |   326423 |   255932 |     4594     84 |        0 |        0
635.40/635.53	c  635s |      17 |   327344 |   256732 |     4594     84 |        0 |        0
637.60/637.76	c  637s |      17 |   328238 |   257432 |     4594     85 |        0 |        0
639.79/639.90	c  639s |      17 |   329099 |   258132 |     4594     85 |        0 |        0
641.79/641.95	c  641s |      17 |   329936 |   258832 |     4594     85 |        0 |        0
643.79/643.97	c  643s |      17 |   330888 |   259632 |     4594     85 |        0 |        0
645.89/646.07	c  645s |      17 |   331706 |   260332 |     4594     85 |        0 |        0
647.99/648.14	c  647s |      17 |   332423 |   260932 |     4594     86 |        0 |        0
650.19/650.39	c  650s |      17 |   333630 |   261832 |     4594     86 |        0 |        0
652.19/652.40	c  652s |      17 |   334437 |   262532 |     4594     86 |        0 |        0
654.59/654.74	c  654s |      17 |   335219 |   263232 |     4594     86 |        0 |        0
656.60/656.79	c  656s |      17 |   335900 |   263832 |     4594     86 |        0 |        0
658.99/659.13	c  658s |      17 |   336548 |   264432 |     4594     87 |        0 |        0
661.09/661.26	c  661s |      17 |   337615 |   265132 |     4594     87 |        0 |        0
663.19/663.39	c  663s |      17 |   338400 |   265732 |     4594     87 |        0 |        0
665.18/665.39	c  665s |      17 |   339503 |   266432 |     4594     87 |        0 |        0
667.39/667.52	c  667s |      17 |   340353 |   267132 |     4594     87 |        0 |        0
669.69/669.84	c  669s |      17 |   341210 |   267832 |     4594     87 |        0 |        0
671.69/671.86	c  671s |      17 |   341941 |   268432 |     4594     88 |        0 |        0
674.09/674.25	c  674s |      17 |   342918 |   269132 |     4594     88 |        0 |        0
676.18/676.32	c  676s |      17 |   344187 |   269932 |     4594     88 |        0 |        0
678.29/678.44	c  678s |      17 |   344934 |   270532 |     4594     88 |        0 |        0
680.39/680.55	c  680s |      17 |   345759 |   271232 |     4594     88 |        0 |        0
682.49/682.63	c  682s |      17 |   346471 |   271832 |     4594     89 |        0 |        0
684.68/684.84	c  684s |      17 |   347317 |   272532 |     4594     89 |        0 |        0
686.89/687.05	c  686s |      17 |   348323 |   273332 |     4594     89 |        0 |        0
689.09/689.24	c  689s |      17 |   349158 |   274032 |     4594     89 |        0 |        0
691.19/691.36	c  691s |      17 |   350079 |   274732 |     4594     89 |        0 |        0
693.38/693.56	c  693s |      17 |   350936 |   275432 |     4594     90 |        0 |        0
695.58/695.72	c  695s |      17 |   351750 |   276132 |     4594     90 |        0 |        0
697.69/697.80	c  697s |      17 |   352413 |   276732 |     4594     90 |        0 |        0
699.89/700.04	c  699s |      17 |   353316 |   277432 |     4594     90 |        0 |        0
702.08/702.20	c  702s |      17 |   354020 |   278032 |     4594     90 |        0 |        0
704.28/704.45	c  704s |      17 |   354633 |   278532 |     4594     91 |        0 |        0
706.39/706.56	c  706s |      17 |   355787 |   279432 |     4594     91 |        0 |        0
708.68/708.89	c  708s |      17 |   356997 |   280332 |     4594     91 |        0 |        0
710.88/711.05	c  710s |      17 |   357929 |   281032 |     4594     91 |        0 |        0
712.88/713.06	c  712s |      17 |   359065 |   281632 |     4594     91 |        0 |        0
715.08/715.26	c  715s |      17 |   359781 |   282232 |     4594     92 |        0 |        0
717.28/717.46	c  717s |      17 |   360429 |   282832 |     4594     92 |        0 |        0
719.48/719.66	c  719s |      17 |   361249 |   283532 |     4594     92 |        0 |        0
721.68/721.82	c  721s |      17 |   361961 |   284132 |     4594     92 |        0 |        0
723.88/724.06	c  723s |      17 |   362651 |   284732 |     4594     92 |        0 |        0
725.98/726.13	c  725s |      17 |   363211 |   285232 |     4594     92 |        0 |        0
728.28/728.48	c  728s |      17 |   363866 |   285732 |     4594     93 |        0 |        0
730.39/730.52	c  730s |      17 |   364776 |   286432 |     4594     93 |        0 |        0
732.38/732.56	c  732s |      17 |   365738 |   287232 |     4594     93 |        0 |        0
734.79/734.91	c  734s |      17 |   366517 |   287932 |     4594     93 |        0 |        0
736.98/737.12	c  736s |      17 |   367331 |   288632 |     4594     93 |        0 |        0
739.07/739.23	c  739s |      17 |   368174 |   289332 |     4594     94 |        0 |        0
741.27/741.45	c  741s |      17 |   368979 |   290032 |     4594     94 |        0 |        0
743.38/743.57	c  743s |      17 |   369795 |   290632 |     4594     94 |        0 |        0
745.47/745.63	c  745s |      17 |   370760 |   291432 |     4594     94 |        0 |        0
747.76/747.91	c  747s |      17 |   371862 |   292232 |     4594     95 |        0 |        0
749.96/750.15	c  749s |      17 |   372847 |   293032 |     4594     95 |        0 |        0
752.06/752.27	c  752s |      17 |   373682 |   293732 |     4594     95 |        0 |        0
754.26/754.43	c  754s |      17 |   374437 |   294432 |     5054     95 |        0 |        0
756.36/756.57	c  756s |      17 |   375181 |   295132 |     5054     95 |        0 |        0
758.56/758.76	c  758s |      17 |   375933 |   295832 |     5054     95 |        0 |        0
760.26/760.47	c  760s |      18 |   376394 |   296252 |     5054     96 |        0 |        0
762.27/762.48	c  762s |      18 |   379286 |   297552 |     5054     96 |        0 |        0
764.47/764.67	c  764s |      18 |   380733 |   298752 |     5054     96 |        0 |        0
766.57/766.70	c  766s |      18 |   381897 |   299752 |     5054     96 |        0 |        0
768.56/768.77	c  768s |      18 |   382948 |   300652 |     5054     97 |        0 |        0
770.76/770.97	c  770s |      18 |   383958 |   301552 |     5054     97 |        0 |        0
773.06/773.22	c  773s |      18 |   384966 |   302452 |     5054     97 |        0 |        0
775.16/775.32	c  775s |      18 |   385862 |   303252 |     5054     97 |        0 |        0
777.36/777.51	c  777s |      18 |   386609 |   303952 |     5054     98 |        0 |        0
779.46/779.64	c  779s |      18 |   387407 |   304652 |     5054     98 |        0 |        0
781.56/781.76	c  781s |      18 |   388280 |   305452 |     5054     98 |        0 |        0
783.65/783.85	c  783s |      18 |   389025 |   306152 |     5054     98 |        0 |        0
785.75/785.95	c  785s |      18 |   390014 |   307052 |     5054     98 |        0 |        0
787.85/788.05	c  787s |      18 |   391001 |   307952 |     5054     99 |        0 |        0
790.05/790.27	c  790s |      18 |   392095 |   308952 |     5054     99 |        0 |        0
792.15/792.31	c  792s |      18 |   392955 |   309752 |     5054     99 |        0 |        0
794.36/794.56	c  794s |      18 |   393959 |   310652 |     5054     99 |        0 |        0
796.36/796.59	c  796s |      18 |   394693 |   311252 |     5054    100 |        0 |        0
798.46/798.64	c  798s |      18 |   395607 |   312052 |     5054    100 |        0 |        0
800.66/800.81	c  800s |      18 |   396574 |   312852 |     5054    100 |        0 |        0
802.75/802.92	c  802s |      18 |   397488 |   313652 |     5054    100 |        0 |        0
804.74/805.00	c  804s |      18 |   398429 |   314452 |     5054    100 |        0 |        0
806.94/807.14	c  806s |      18 |   399280 |   315152 |     5054    101 |        0 |        0
809.14/809.33	c  809s |      18 |   400408 |   316152 |     5054    101 |        0 |        0
811.14/811.36	c  811s |      18 |   401297 |   316952 |     5054    101 |        0 |        0
813.44/813.61	c  813s |      18 |   402318 |   317852 |     5054    101 |        0 |        0
815.74/815.91	c  815s |      18 |   403184 |   318652 |     5054    102 |        0 |        0
817.74/817.95	c  817s |      18 |   404040 |   319452 |     5054    102 |        0 |        0
820.03/820.23	c  820s |      18 |   405023 |   320352 |     5054    102 |        0 |        0
822.14/822.35	c  822s |      18 |   405775 |   321052 |     5054    102 |        0 |        0
824.44/824.63	c  824s |      18 |   406642 |   321852 |     5054    102 |        0 |        0
826.64/826.82	c  826s |      18 |   407310 |   322452 |     5054    103 |        0 |        0
828.83/829.05	c  828s |      18 |   408318 |   323352 |     5054    103 |        0 |        0
831.03/831.23	c  831s |      18 |   409217 |   324152 |     5054    103 |        0 |        0
833.23/833.43	c  833s |      18 |   410207 |   325052 |     5054    103 |        0 |        0
835.33/835.53	c  835s |      18 |   411072 |   325852 |     5054    103 |        0 |        0
837.53/837.76	c  837s |      18 |   411958 |   326652 |     5054    104 |        0 |        0
839.73/839.91	c  839s |      18 |   412960 |   327552 |     5054    104 |        0 |        0
841.73/841.96	c  841s |      18 |   413838 |   328352 |     5054    104 |        0 |        0
843.83/844.00	c  843s |      18 |   414906 |   329252 |     5054    104 |        0 |        0
845.93/846.10	c  845s |      18 |   415820 |   330052 |     5054    105 |        0 |        0
848.03/848.21	c  848s |      18 |   416833 |   330952 |     5054    105 |        0 |        0
850.03/850.27	c  850s |      18 |   417840 |   331852 |     5054    105 |        0 |        0
852.23/852.48	c  852s |      18 |   419045 |   332852 |     5054    105 |        0 |        0
854.43/854.66	c  854s |      18 |   419965 |   333652 |     5054    106 |        0 |        0
856.42/856.67	c  856s |      18 |   421012 |   334552 |     5054    106 |        0 |        0
858.62/858.81	c  858s |      18 |   422143 |   335452 |     5054    106 |        0 |        0
860.72/860.96	c  860s |      18 |   423151 |   336352 |     5054    106 |        0 |        0
862.73/862.99	c  862s |      18 |   424091 |   337152 |     5054    106 |        0 |        0
864.93/865.15	c  864s |      18 |   425047 |   337952 |     5054    107 |        0 |        0
867.22/867.40	c  867s |      18 |   425933 |   338752 |     5054    107 |        0 |        0
869.42/869.60	c  869s |      18 |   427004 |   339652 |     5054    107 |        0 |        0
871.42/871.64	c  871s |      18 |   427957 |   340452 |     5054    107 |        0 |        0
873.72/873.97	c  873s |      18 |   428732 |   341152 |     5054    108 |        0 |        0
875.81/876.03	c  875s |      18 |   429771 |   342052 |     5054    108 |        0 |        0
878.02/878.23	c  878s |      18 |   430952 |   343052 |     5054    108 |        0 |        0
880.12/880.30	c  880s |      18 |   431699 |   343752 |     5054    108 |        0 |        0
882.32/882.52	c  882s |      18 |   432605 |   344552 |     5054    108 |        0 |        0
884.41/884.63	c  884s |      18 |   433395 |   345252 |     5054    109 |        0 |        0
886.53/886.75	c  886s |      18 |   434288 |   346052 |     5054    109 |        0 |        0
888.52/888.77	c  888s |      18 |   435079 |   346752 |     5054    109 |        0 |        0
890.72/890.94	c  890s |      18 |   435976 |   347552 |     5054    109 |        0 |        0
892.72/892.95	c  892s |      18 |   436787 |   348252 |     5054    109 |        0 |        0
894.71/894.99	c  894s |      18 |   437587 |   348952 |     5054    110 |        0 |        0
896.91/897.18	c  896s |      18 |   438599 |   349852 |     5054    110 |        0 |        0
899.01/899.24	c  899s |      18 |   439667 |   350752 |     5054    110 |        0 |        0
901.11/901.34	c  901s |      18 |   440579 |   351552 |     5054    110 |        0 |        0
903.51/903.72	c  903s |      18 |   441462 |   352352 |     5054    111 |        0 |        0
905.71/905.94	c  905s |      18 |   442490 |   353252 |     5054    111 |        0 |        0
907.91/908.11	c  907s |      18 |   443385 |   354052 |     5054    111 |        0 |        0
910.00/910.28	c  910s |      18 |   444178 |   354752 |     5054    111 |        0 |        0
912.10/912.34	c  912s |      18 |   444936 |   355452 |     5054    111 |        0 |        0
914.20/914.44	c  914s |      18 |   445867 |   356252 |     5054    112 |        0 |        0
916.31/916.50	c  916s |      18 |   447002 |   357152 |     5054    112 |        0 |        0
918.31/918.56	c  918s |      18 |   448055 |   358052 |     5054    112 |        0 |        0
920.41/920.67	c  920s |      18 |   449121 |   358952 |     5054    112 |        0 |        0
922.51/922.73	c  922s |      18 |   449915 |   359652 |     5054    112 |        0 |        0
924.60/924.84	c  924s |      18 |   450724 |   360352 |     5054    113 |        0 |        0
926.60/926.86	c  926s |      18 |   451680 |   361152 |     5054    113 |        0 |        0
928.80/929.02	c  928s |      18 |   452702 |   362052 |     5054    113 |        0 |        0
931.00/931.21	c  931s |      18 |   453735 |   362952 |     5054    113 |        0 |        0
933.10/933.38	c  933s |      18 |   454513 |   363652 |     5054    114 |        0 |        0
935.19/935.47	c  935s |      18 |   455509 |   364452 |     5054    114 |        0 |        0
937.19/937.49	c  937s |      18 |   456432 |   365252 |     5054    114 |        0 |        0
939.39/939.66	c  939s |      18 |   457334 |   366052 |     5054    114 |        0 |        0
941.70/941.91	c  941s |      18 |   458242 |   366852 |     5054    114 |        0 |        0
943.71/943.98	c  943s |      18 |   458894 |   367452 |     5054    115 |        0 |        0
945.99/946.28	c  946s |      18 |   459785 |   368252 |     5054    115 |        0 |        0
948.19/948.42	c  948s |      18 |   460552 |   368952 |     5054    115 |        0 |        0
950.29/950.57	c  950s |      18 |   461314 |   369652 |     5054    115 |        0 |        0
952.40/952.65	c  952s |      18 |   461987 |   370252 |     5054    115 |        0 |        0
954.49/954.76	c  954s |      18 |   462667 |   370852 |     5054    115 |        0 |        0
956.69/956.94	c  956s |      18 |   463329 |   371452 |     5054    116 |        0 |        0
958.79/959.06	c  958s |      18 |   464138 |   372152 |     5054    116 |        0 |        0
960.90/961.13	c  960s |      18 |   464943 |   372852 |     5054    116 |        0 |        0
963.09/963.34	c  963s |      18 |   465977 |   373752 |     5054    116 |        0 |        0
965.29/965.57	c  965s |      18 |   466917 |   374552 |     5054    116 |        0 |        0
967.49/967.72	c  967s |      18 |   467671 |   375252 |     5054    117 |        0 |        0
969.49/969.74	c  969s |      18 |   468572 |   376052 |     5054    117 |        0 |        0
971.58/971.85	c  971s |      18 |   469459 |   376852 |     5054    117 |        0 |        0
973.78/974.05	c  973s |      18 |   470239 |   377552 |     5054    117 |        0 |        0
976.09/976.33	c  976s |      18 |   471126 |   378352 |     5054    117 |        0 |        0
978.19/978.47	c  978s |      18 |   471999 |   379152 |     5054    118 |        0 |        0
980.48/980.71	c  980s |      18 |   472987 |   380052 |     5054    118 |        0 |        0
982.58/982.80	c  982s |      18 |   473755 |   380752 |     5054    118 |        0 |        0
984.69/984.93	c  984s |      18 |   474527 |   381452 |     5054    118 |        0 |        0
986.88/987.16	c  986s |      18 |   475305 |   382152 |     5054    118 |        0 |        0
988.98/989.26	c  989s |      18 |   475947 |   382752 |     5054    119 |        0 |        0
991.18/991.46	c  991s |      18 |   476702 |   383452 |     5054    119 |        0 |        0
993.28/993.56	c  993s |      18 |   477611 |   384252 |     5054    119 |        0 |        0
995.38/995.63	c  995s |      18 |   478529 |   385052 |     5054    119 |        0 |        0
997.49/997.74	c  997s |      18 |   479499 |   385852 |     5054    119 |        0 |        0
999.58/999.87	c  999s |      18 |   480294 |   386552 |     5054    120 |        0 |        0
1001.78/1002.00	c 1001s |      18 |   481287 |   387452 |     5054    120 |        0 |        0
1003.88/1004.19	c 1003s |      18 |   482036 |   388152 |     5054    120 |        0 |        0
1005.98/1006.29	c 1006s |      18 |   482800 |   388852 |     5054    120 |        0 |        0
1008.08/1008.30	c 1008s |      18 |   483638 |   389552 |     5054    120 |        0 |        0
1010.27/1010.52	c 1010s |      18 |   484512 |   390352 |     5054    121 |        0 |        0
1012.37/1012.63	c 1012s |      18 |   485389 |   391152 |     5054    121 |        0 |        0
1014.37/1014.66	c 1014s |      18 |   486159 |   391852 |     5054    121 |        0 |        0
1016.47/1016.74	c 1016s |      18 |   486926 |   392552 |     5054    121 |        0 |        0
1018.77/1019.04	c 1018s |      18 |   487681 |   393252 |     5054    121 |        0 |        0
1020.77/1021.05	c 1020s |      18 |   488246 |   393752 |     5054    122 |        0 |        0
1023.07/1023.31	c 1023s |      18 |   489115 |   394552 |     5054    122 |        0 |        0
1025.27/1025.55	c 1025s |      18 |   489888 |   395252 |     5054    122 |        0 |        0
1027.37/1027.69	c 1027s |      18 |   490542 |   395852 |     5054    122 |        0 |        0
1029.57/1029.88	c 1029s |      18 |   491296 |   396552 |     5054    122 |        0 |        0
1031.77/1032.00	c 1031s |      18 |   491936 |   397152 |     5054    122 |        0 |        0
1033.77/1034.00	c 1033s |      18 |   492580 |   397752 |     5054    123 |        0 |        0
1035.97/1036.25	c 1036s |      18 |   493313 |   398452 |     5054    123 |        0 |        0
1038.17/1038.45	c 1038s |      18 |   494081 |   399152 |     5054    123 |        0 |        0
1040.16/1040.49	c 1040s |      18 |   494764 |   399752 |     5054    123 |        0 |        0
1042.26/1042.57	c 1042s |      18 |   495549 |   400452 |     5054    123 |        0 |        0
1044.66/1044.90	c 1044s |      18 |   496221 |   401052 |     5054    124 |        0 |        0
1046.77/1047.09	c 1046s |      18 |   497000 |   401752 |     5054    124 |        0 |        0
1048.86/1049.17	c 1048s |      18 |   497653 |   402352 |     5054    124 |        0 |        0
1050.96/1051.23	c 1051s |      18 |   498296 |   402952 |     5054    124 |        0 |        0
1053.16/1053.42	c 1053s |      18 |   498948 |   403552 |     5054    124 |        0 |        0
1055.25/1055.55	c 1055s |      18 |   499602 |   404152 |     5054    124 |        0 |        0
1057.96/1058.27	c 1058s |      18 |   500255 |   404752 |     5054    125 |        0 |        0
1060.26/1060.58	c 1060s |      18 |   501015 |   405452 |     5054    125 |        0 |        0
1062.65/1062.94	c 1062s |      18 |   501761 |   406152 |     5054    125 |        0 |        0
1064.75/1065.08	c 1064s |      18 |   502667 |   406952 |     5054    125 |        0 |        0
1067.05/1067.30	c 1067s |      18 |   503659 |   407852 |     5054    125 |        0 |        0
1069.24/1069.51	c 1069s |      18 |   504449 |   408552 |     5054    126 |        0 |        0
1071.34/1071.65	c 1071s |      18 |   505352 |   409352 |     5054    126 |        0 |        0
1073.35/1073.70	c 1073s |      18 |   506245 |   410152 |     5054    126 |        0 |        0
1075.55/1075.85	c 1075s |      18 |   507001 |   410852 |     5054    126 |        0 |        0
1077.55/1077.88	c 1077s |      18 |   507775 |   411552 |     5054    126 |        0 |        0
1079.95/1080.30	c 1080s |      18 |   508528 |   412252 |     5054    127 |        0 |        0
1082.25/1082.54	c 1082s |      18 |   509406 |   413052 |     5054    127 |        0 |        0
1084.24/1084.54	c 1084s |      18 |   510160 |   413752 |     5054    127 |        0 |        0
1086.44/1086.80	c 1086s |      18 |   510924 |   414452 |     5054    127 |        0 |        0
1088.54/1088.83	c 1088s |      18 |   511568 |   415052 |     5054    127 |        0 |        0
1090.63/1090.95	c 1090s |      18 |   512233 |   415652 |     5054    127 |        0 |        0
1092.83/1093.12	c 1092s |      18 |   513067 |   416352 |     5054    128 |        0 |        0
1095.03/1095.37	c 1095s |      18 |   514098 |   417252 |     5054    128 |        0 |        0
1097.14/1097.43	c 1097s |      18 |   514984 |   418052 |     5054    128 |        0 |        0
1099.23/1099.56	c 1099s |      18 |   515874 |   418852 |     5054    128 |        0 |        0
1101.53/1101.82	c 1101s |      18 |   516775 |   419652 |     5054    128 |        0 |        0
1103.63/1103.95	c 1103s |      18 |   517536 |   420352 |     5054    129 |        0 |        0
1105.72/1106.06	c 1105s |      18 |   518436 |   421152 |     5054    129 |        0 |        0
1108.02/1108.35	c 1108s |      18 |   519302 |   421952 |     5054    129 |        0 |        0
1110.22/1110.59	c 1110s |      18 |   520182 |   422752 |     5054    129 |        0 |        0
1112.73/1113.04	c 1112s |      18 |   521073 |   423552 |     5054    130 |        0 |        0
1114.93/1115.26	c 1115s |      18 |   521938 |   424352 |     5054    130 |        0 |        0
1117.22/1117.51	c 1117s |      18 |   522842 |   425152 |     5054    130 |        0 |        0
1119.42/1119.71	c 1119s |      18 |   523626 |   425852 |     5054    130 |        0 |        0
1121.62/1121.95	c 1121s |      18 |   524394 |   426552 |     5054    130 |        0 |        0
1124.11/1124.41	c 1124s |      18 |   525156 |   427252 |     5054    131 |        0 |        0
1126.32/1126.62	c 1126s |      18 |   525921 |   427952 |     5054    131 |        0 |        0
1128.42/1128.79	c 1128s |      18 |   526692 |   428652 |     5054    131 |        0 |        0
1130.52/1130.86	c 1130s |      18 |   527344 |   429252 |     5054    131 |        0 |        0
1132.82/1133.10	c 1132s |      18 |   528107 |   429952 |     5054    131 |        0 |        0
1134.92/1135.26	c 1135s |      18 |   528886 |   430652 |     5054    131 |        0 |        0
1137.12/1137.41	c 1137s |      18 |   529538 |   431252 |     5054    132 |        0 |        0
1139.21/1139.56	c 1139s |      18 |   530432 |   432052 |     5054    132 |        0 |        0
1141.41/1141.77	c 1141s |      18 |   531212 |   432752 |     5054    132 |        0 |        0
1143.41/1143.78	c 1143s |      18 |   531865 |   433352 |     5054    132 |        0 |        0
1145.70/1146.02	c 1145s |      18 |   532757 |   434152 |     5054    132 |        0 |        0
1147.80/1148.15	c 1147s |      18 |   533418 |   434752 |     5054    133 |        0 |        0
1150.20/1150.53	c 1150s |      18 |   534196 |   435452 |     5054    133 |        0 |        0
1152.40/1152.75	c 1152s |      18 |   535309 |   436452 |     5054    133 |        0 |        0
1154.50/1154.82	c 1154s |      18 |   536284 |   437352 |     5054    133 |        0 |        0
1156.50/1156.88	c 1156s |      18 |   537309 |   438252 |     5054    133 |        0 |        0
1158.70/1159.01	c 1158s |      18 |   538118 |   438952 |     5054    134 |        0 |        0
1160.70/1161.07	c 1160s |      18 |   538897 |   439652 |     5054    134 |        0 |        0
1162.90/1163.21	c 1163s |      18 |   539788 |   440452 |     5054    134 |        0 |        0
1165.00/1165.38	c 1165s |      18 |   540796 |   441352 |     5560    134 |        0 |        0
1167.29/1167.62	c 1167s |      18 |   541707 |   442152 |     5560    134 |        0 |        0
1169.39/1169.70	c 1169s |      18 |   542355 |   442752 |     5560    135 |        0 |        0
1171.39/1171.79	c 1171s |      18 |   543117 |   443452 |     5560    135 |        0 |        0
1173.69/1174.01	c 1173s |      18 |   544044 |   444252 |     5560    135 |        0 |        0
1174.29/1174.67	c 1174s |      19 |   544302 |   444482 |     5560    135 |        0 |        0
1176.38/1176.73	c 1176s |      19 |   546849 |   445582 |     5560    136 |        0 |        0
1178.48/1178.87	c 1178s |      19 |   548205 |   446782 |     5560    136 |        0 |        0
1180.68/1181.03	c 1180s |      19 |   549478 |   447882 |     5560    136 |        0 |        0
1182.89/1183.24	c 1183s |      19 |   550587 |   448882 |     5560    136 |        0 |        0
1185.18/1185.54	c 1185s |      19 |   551527 |   449682 |     5560    137 |        0 |        0
1187.38/1187.79	c 1187s |      19 |   552554 |   450582 |     5560    137 |        0 |        0
1189.58/1189.95	c 1189s |      19 |   553632 |   451482 |     5560    137 |        0 |        0
1191.58/1191.96	c 1191s |      19 |   554418 |   452182 |     5560    137 |        0 |        0
1193.88/1194.23	c 1194s |      19 |   555331 |   452982 |     5560    137 |        0 |        0
1196.27/1196.62	c 1196s |      19 |   556111 |   453682 |     5560    138 |        0 |        0
1198.47/1198.80	c 1198s |      19 |   557119 |   454582 |     5560    138 |        0 |        0
1200.57/1200.98	c 1200s |      19 |   558292 |   455582 |     5560    138 |        0 |        0
1202.67/1203.05	c 1202s |      19 |   559184 |   456382 |     5560    138 |        0 |        0
1204.77/1205.13	c 1204s |      19 |   560103 |   457182 |     5560    138 |        0 |        0
1207.06/1207.48	c 1207s |      19 |   560873 |   457882 |     5560    139 |        0 |        0
1209.16/1209.53	c 1209s |      19 |   561902 |   458782 |     5560    139 |        0 |        0
1211.16/1211.55	c 1211s |      19 |   562789 |   459582 |     5560    139 |        0 |        0
1213.26/1213.66	c 1213s |      19 |   563727 |   460382 |     5560    139 |        0 |        0
1215.55/1215.92	c 1215s |      19 |   564626 |   461182 |     5560    139 |        0 |        0
1217.66/1218.03	c 1217s |      19 |   565426 |   461882 |     5560    140 |        0 |        0
1219.76/1220.15	c 1219s |      19 |   566550 |   462882 |     5560    140 |        0 |        0
1221.96/1222.36	c 1222s |      19 |   567675 |   463782 |     5560    140 |        0 |        0
1224.07/1224.41	c 1224s |      19 |   568579 |   464582 |     5560    140 |        0 |        0
1226.26/1226.67	c 1226s |      19 |   569495 |   465382 |     5560    140 |        0 |        0
1228.36/1228.76	c 1228s |      19 |   570272 |   466082 |     5560    141 |        0 |        0
1230.45/1230.80	c 1230s |      19 |   571301 |   466982 |     5560    141 |        0 |        0
1232.65/1233.05	c 1232s |      19 |   572373 |   467882 |     5560    141 |        0 |        0
1234.65/1235.05	c 1234s |      19 |   573317 |   468682 |     5560    141 |        0 |        0
1236.74/1237.16	c 1236s |      19 |   574302 |   469482 |     5560    141 |        0 |        0
1238.74/1239.18	c 1238s |      19 |   575086 |   470182 |     5560    142 |        0 |        0
1240.84/1241.26	c 1241s |      19 |   576133 |   471082 |     5560    142 |        0 |        0
1243.04/1243.41	c 1243s |      19 |   577400 |   472082 |     5560    142 |        0 |        0
1245.23/1245.64	c 1245s |      19 |   578399 |   472882 |     5560    142 |        0 |        0
1247.44/1247.85	c 1247s |      19 |   579478 |   473682 |     5560    142 |        0 |        0
1249.64/1250.06	c 1249s |      19 |   580560 |   474582 |     5560    143 |        0 |        0
1251.64/1252.06	c 1251s |      19 |   581436 |   475382 |     5560    143 |        0 |        0
1253.75/1254.18	c 1253s |      19 |   582366 |   476182 |     5560    143 |        0 |        0
1255.84/1256.29	c 1256s |      19 |   583156 |   476882 |     5560    143 |        0 |        0
1258.04/1258.47	c 1258s |      19 |   583954 |   477582 |     5560    143 |        0 |        0
1260.03/1260.48	c 1260s |      19 |   584598 |   478182 |     5560    144 |        0 |        0
1262.13/1262.50	c 1262s |      19 |   585365 |   478882 |     5560    144 |        0 |        0
1264.33/1264.74	c 1264s |      19 |   586142 |   479582 |     5560    144 |        0 |        0
1266.52/1266.95	c 1266s |      19 |   586954 |   480282 |     5560    144 |        0 |        0
1268.72/1269.12	c 1268s |      19 |   587736 |   480982 |     5560    144 |        0 |        0
1270.82/1271.22	c 1271s |      19 |   588428 |   481582 |     5560    144 |        0 |        0
1273.03/1273.49	c 1273s |      19 |   589076 |   482182 |     5560    145 |        0 |        0
1275.22/1275.66	c 1275s |      19 |   589879 |   482882 |     5560    145 |        0 |        0
1277.42/1277.88	c 1277s |      19 |   590782 |   483682 |     5560    145 |        0 |        0
1279.62/1280.03	c 1279s |      19 |   591570 |   484382 |     5560    145 |        0 |        0
1281.62/1282.09	c 1281s |      19 |   592379 |   485082 |     5560    145 |        0 |        0
1284.12/1284.54	c 1284s |      19 |   593180 |   485782 |     5560    146 |        0 |        0
1286.21/1286.68	c 1286s |      19 |   594132 |   486582 |     5560    146 |        0 |        0
1288.41/1288.89	c 1288s |      19 |   595088 |   487382 |     5560    146 |        0 |        0
1290.50/1290.93	c 1290s |      19 |   595904 |   488082 |     5560    146 |        0 |        0
1292.70/1293.10	c 1292s |      19 |   596736 |   488782 |     5560    146 |        0 |        0
1294.70/1295.19	c 1294s |      19 |   597537 |   489482 |     5560    146 |        0 |        0
1296.91/1297.30	c 1297s |      19 |   598455 |   490182 |     5560    147 |        0 |        0
1298.91/1299.35	c 1299s |      19 |   599424 |   490982 |     5560    147 |        0 |        0
1301.01/1301.43	c 1301s |      19 |   600315 |   491782 |     5560    147 |        0 |        0
1303.01/1303.47	c 1303s |      19 |   601095 |   492482 |     5560    147 |        0 |        0
1305.20/1305.67	c 1305s |      19 |   601889 |   493182 |     5560    147 |        0 |        0
1307.40/1307.80	c 1307s |      19 |   602680 |   493882 |     5560    148 |        0 |        0
1309.50/1309.96	c 1309s |      19 |   603596 |   494682 |     5560    148 |        0 |        0
1311.70/1312.11	c 1311s |      19 |   604424 |   495382 |     5560    148 |        0 |        0
1313.80/1314.28	c 1314s |      19 |   605672 |   496382 |     5560    148 |        0 |        0
1315.89/1316.32	c 1316s |      19 |   606814 |   497182 |     5560    148 |        0 |        0
1317.89/1318.36	c 1318s |      19 |   607706 |   497882 |     5560    149 |        0 |        0
1319.99/1320.40	c 1320s |      19 |   608602 |   498682 |     5560    149 |        0 |        0
1321.99/1322.47	c 1322s |      19 |   609390 |   499382 |     5560    149 |        0 |        0
1324.10/1324.50	c 1324s |      19 |   610057 |   499982 |     5560    149 |        0 |        0
1326.19/1326.64	c 1326s |      19 |   610741 |   500582 |     5560    149 |        0 |        0
1328.49/1328.99	c 1328s |      19 |   611438 |   501182 |     5560    149 |        0 |        0
1330.69/1331.15	c 1330s |      19 |   612232 |   501882 |     5560    150 |        0 |        0
1332.68/1333.19	c 1332s |      19 |   613114 |   502682 |     5560    150 |        0 |        0
1334.99/1335.43	c 1335s |      19 |   614017 |   503482 |     5560    150 |        0 |        0
1336.97/1337.43	c 1337s |      19 |   614815 |   504182 |     5560    150 |        0 |        0
1339.07/1339.51	c 1339s |      19 |   615756 |   504982 |     5560    150 |        0 |        0
1341.07/1341.54	c 1341s |      19 |   616561 |   505682 |     5560    150 |        0 |        0
1343.27/1343.70	c 1343s |      19 |   617346 |   506382 |     5560    151 |        0 |        0
1345.38/1345.82	c 1345s |      19 |   618241 |   507182 |     5560    151 |        0 |        0
1347.47/1347.91	c 1347s |      19 |   619058 |   507882 |     5560    151 |        0 |        0
1349.67/1350.12	c 1349s |      19 |   619846 |   508582 |     5560    151 |        0 |        0
1351.77/1352.26	c 1352s |      19 |   620616 |   509282 |     5560    151 |        0 |        0
1353.87/1354.39	c 1354s |      19 |   621462 |   509982 |     5560    152 |        0 |        0
1356.17/1356.65	c 1356s |      19 |   622396 |   510782 |     5560    152 |        0 |        0
1358.17/1358.67	c 1358s |      19 |   623258 |   511482 |     5560    152 |        0 |        0
1360.27/1360.71	c 1360s |      19 |   624125 |   512182 |     5560    152 |        0 |        0
1362.37/1362.87	c 1362s |      19 |   624949 |   512882 |     5560    152 |        0 |        0
1364.47/1364.92	c 1364s |      19 |   625619 |   513482 |     5560    152 |        0 |        0
1366.66/1367.14	c 1366s |      19 |   626310 |   514082 |     5560    153 |        0 |        0
1368.96/1369.49	c 1369s |      19 |   627084 |   514782 |     5560    153 |        0 |        0
1371.06/1371.59	c 1371s |      19 |   627906 |   515482 |     5560    153 |        0 |        0
1373.26/1373.70	c 1373s |      19 |   628865 |   516282 |     5560    153 |        0 |        0
1375.26/1375.73	c 1375s |      19 |   629645 |   516982 |     5560    153 |        0 |        0
1377.35/1377.81	c 1377s |      19 |   630282 |   517582 |     5560    153 |        0 |        0
1379.65/1380.19	c 1379s |      19 |   631005 |   518182 |     5560    154 |        0 |        0
1381.85/1382.31	c 1382s |      19 |   631906 |   518982 |     5560    154 |        0 |        0
1384.05/1384.53	c 1384s |      19 |   632801 |   519782 |     5560    154 |        0 |        0
1386.15/1386.67	c 1386s |      19 |   633607 |   520482 |     5560    154 |        0 |        0
1388.35/1388.82	c 1388s |      19 |   634702 |   521382 |     5560    154 |        0 |        0
1390.55/1391.04	c 1390s |      19 |   635620 |   522182 |     5560    155 |        0 |        0
1392.85/1393.30	c 1393s |      19 |   636557 |   522982 |     5560    155 |        0 |        0
1395.05/1395.52	c 1395s |      19 |   637498 |   523782 |     5560    155 |        0 |        0
1397.26/1397.73	c 1397s |      19 |   638537 |   524582 |     5560    155 |        0 |        0
1399.46/1399.99	c 1399s |      19 |   639415 |   525282 |     5560    155 |        0 |        0
1401.56/1402.04	c 1401s |      19 |   640141 |   525882 |     5560    156 |        0 |        0
1403.55/1404.08	c 1403s |      19 |   640919 |   526582 |     5560    156 |        0 |        0
1405.65/1406.12	c 1405s |      19 |   641694 |   527282 |     5560    156 |        0 |        0
1407.85/1408.39	c 1408s |      19 |   642612 |   528082 |     5560    156 |        0 |        0
1410.05/1410.51	c 1410s |      19 |   643392 |   528782 |     5560    156 |        0 |        0
1412.25/1412.75	c 1412s |      19 |   644158 |   529482 |     5560    156 |        0 |        0
1414.55/1415.02	c 1414s |      19 |   644792 |   530082 |     5560    157 |        0 |        0
1416.55/1417.02	c 1416s |      19 |   645459 |   530682 |     5560    157 |        0 |        0
1418.65/1419.19	c 1418s |      19 |   646111 |   531282 |     5560    157 |        0 |        0
1420.65/1421.19	c 1420s |      19 |   646769 |   531882 |     5560    157 |        0 |        0
1423.05/1423.52	c 1423s |      19 |   647536 |   532582 |     5560    157 |        0 |        0
1425.05/1425.57	c 1425s |      19 |   648246 |   533182 |     5560    157 |        0 |        0
1427.25/1427.79	c 1427s |      19 |   649077 |   533882 |     5560    158 |        0 |        0
1429.35/1429.82	c 1429s |      19 |   649992 |   534682 |     5560    158 |        0 |        0
1431.35/1431.84	c 1431s |      19 |   650897 |   535482 |     5560    158 |        0 |        0
1433.35/1433.89	c 1433s |      19 |   651873 |   536282 |     5560    158 |        0 |        0
1435.65/1436.13	c 1435s |      19 |   652796 |   537082 |     5560    158 |        0 |        0
1437.95/1438.49	c 1438s |      19 |   653602 |   537782 |     5560    158 |        0 |        0
1440.15/1440.66	c 1440s |      19 |   654288 |   538382 |     5560    159 |        0 |        0
1442.44/1442.98	c 1442s |      19 |   655110 |   539082 |     5560    159 |        0 |        0
1444.64/1445.17	c 1444s |      19 |   656070 |   539882 |     5560    159 |        0 |        0
1446.94/1447.40	c 1447s |      19 |   656906 |   540582 |     5560    159 |        0 |        0
1449.14/1449.65	c 1449s |      19 |   657743 |   541282 |     5560    159 |        0 |        0
1451.25/1451.72	c 1451s |      19 |   658470 |   541882 |     5560    159 |        0 |        0
1453.35/1453.87	c 1453s |      19 |   659180 |   542482 |     5560    160 |        0 |        0
1455.45/1455.98	c 1455s |      19 |   660020 |   543182 |     5560    160 |        0 |        0
1457.55/1458.01	c 1457s |      19 |   660686 |   543782 |     5560    160 |        0 |        0
1459.54/1460.02	c 1459s |      19 |   661409 |   544382 |     5560    160 |        0 |        0
1461.74/1462.20	c 1462s |      19 |   662268 |   545082 |     5560    160 |        0 |        0
1463.75/1464.29	c 1464s |      19 |   662942 |   545682 |     5560    160 |        0 |        0
1466.05/1466.53	c 1466s |      19 |   663631 |   546282 |     5560    161 |        0 |        0
1468.24/1468.71	c 1468s |      19 |   664338 |   546882 |     5560    161 |        0 |        0
1470.35/1470.88	c 1470s |      19 |   665012 |   547482 |     5560    161 |        0 |        0
1472.45/1472.92	c 1472s |      19 |   665720 |   548082 |     5560    161 |        0 |        0
1474.54/1475.07	c 1474s |      19 |   666619 |   548882 |     5560    161 |        0 |        0
1476.54/1477.09	c 1476s |      19 |   667379 |   549582 |     5560    161 |        0 |        0
1478.84/1479.32	c 1479s |      19 |   668180 |   550282 |     5560    162 |        0 |        0
1481.04/1481.55	c 1481s |      19 |   669249 |   551182 |     5560    162 |        0 |        0
1483.24/1483.76	c 1483s |      19 |   670269 |   551982 |     5560    162 |        0 |        0
1485.34/1485.85	c 1485s |      19 |   671043 |   552682 |     5560    162 |        0 |        0
1487.54/1488.06	c 1487s |      19 |   671858 |   553382 |     5560    162 |        0 |        0
1489.64/1490.19	c 1489s |      19 |   672546 |   553982 |     5560    163 |        0 |        0
1491.74/1492.27	c 1492s |      19 |   673327 |   554682 |     5560    163 |        0 |        0
1493.74/1494.29	c 1494s |      19 |   674117 |   555382 |     5560    163 |        0 |        0
1495.94/1496.43	c 1496s |      19 |   674939 |   556082 |     5560    163 |        0 |        0
1497.94/1498.44	c 1498s |      19 |   675604 |   556682 |     5560    163 |        0 |        0
1500.24/1500.75	c 1500s |      19 |   676422 |   557382 |     5560    163 |        0 |        0
1502.54/1503.03	c 1502s |      19 |   677127 |   557982 |     5560    164 |        0 |        0
1504.54/1505.09	c 1504s |      19 |   677959 |   558682 |     5560    164 |        0 |        0
1506.74/1507.24	c 1507s |      19 |   678711 |   559382 |     5560    164 |        0 |        0
1508.74/1509.26	c 1509s |      19 |   679374 |   559982 |     5560    164 |        0 |        0
1510.84/1511.31	c 1511s |      19 |   680027 |   560582 |     5560    164 |        0 |        0
1512.94/1513.47	c 1513s |      19 |   680718 |   561182 |     5560    164 |        0 |        0
1515.13/1515.69	c 1515s |      19 |   681246 |   561682 |     5560    164 |        0 |        0
1517.33/1517.83	c 1517s |      19 |   681899 |   562282 |     5560    165 |        0 |        0
1519.33/1519.87	c 1519s |      19 |   682898 |   562982 |     5560    165 |        0 |        0
1521.44/1521.95	c 1521s |      19 |   683952 |   563882 |     5560    165 |        0 |        0
1523.44/1523.96	c 1523s |      19 |   684837 |   564682 |     5560    165 |        0 |        0
1525.74/1526.20	c 1526s |      19 |   685587 |   565382 |     5560    165 |        0 |        0
1527.94/1528.42	c 1528s |      19 |   686411 |   565982 |     5560    166 |        0 |        0
1530.04/1530.51	c 1530s |      19 |   687188 |   566682 |     5560    166 |        0 |        0
1532.14/1532.67	c 1532s |      19 |   687936 |   567382 |     5560    166 |        0 |        0
1534.44/1534.98	c 1534s |      19 |   688709 |   568082 |     5560    166 |        0 |        0
1536.54/1537.07	c 1536s |      19 |   689358 |   568682 |     5560    166 |        0 |        0
1538.74/1539.21	c 1539s |      19 |   689978 |   569282 |     5560    166 |        0 |        0
1540.74/1541.26	c 1541s |      19 |   690529 |   569782 |     5560    166 |        0 |        0
1542.94/1543.49	c 1543s |      19 |   691062 |   570282 |     5560    167 |        0 |        0
1545.23/1545.71	c 1545s |      19 |   691890 |   570982 |     5560    167 |        0 |        0
1547.24/1547.74	c 1547s |      19 |   692701 |   571682 |     5560    167 |        0 |        0
1549.54/1550.03	c 1549s |      19 |   693493 |   572382 |     5560    167 |        0 |        0
1551.53/1552.05	c 1551s |      19 |   694171 |   572982 |     5560    167 |        0 |        0
1553.84/1554.34	c 1554s |      19 |   694813 |   573582 |     5560    167 |        0 |        0
1556.03/1556.59	c 1556s |      19 |   695369 |   574082 |     5560    168 |        0 |        0
1558.13/1558.65	c 1558s |      19 |   696023 |   574682 |     5560    168 |        0 |        0
1560.33/1560.84	c 1560s |      19 |   696674 |   575282 |     5560    168 |        0 |        0
1562.64/1563.13	c 1562s |      19 |   697490 |   575982 |     5560    168 |        0 |        0
1564.84/1565.33	c 1565s |      19 |   698360 |   576682 |     5560    168 |        0 |        0
1566.93/1567.41	c 1567s |      19 |   699036 |   577282 |     5560    168 |        0 |        0
1569.13/1569.63	c 1569s |      19 |   699694 |   577882 |     5560    168 |        0 |        0
1571.22/1571.73	c 1571s |      19 |   700247 |   578382 |     5560    169 |        0 |        0
1573.33/1573.80	c 1573s |      19 |   700898 |   578982 |     5560    169 |        0 |        0
1575.53/1576.09	c 1575s |      19 |   701557 |   579582 |     5560    169 |        0 |        0
1577.93/1578.43	c 1578s |      19 |   702231 |   580182 |     5560    169 |        0 |        0
1580.13/1580.61	c 1580s |      19 |   702930 |   580782 |     5560    169 |        0 |        0
1582.13/1582.66	c 1582s |      19 |   703601 |   581382 |     5560    169 |        0 |        0
1584.83/1585.33	c 1585s |      19 |   704269 |   581982 |     5560    170 |        0 |        0
1586.93/1587.41	c 1587s |      19 |   705043 |   582682 |     5560    170 |        0 |        0
1589.13/1589.64	c 1589s |      19 |   705770 |   583282 |     5560    170 |        0 |        0
1591.43/1591.97	c 1591s |      19 |   706436 |   583882 |     5560    170 |        0 |        0
1593.72/1594.22	c 1594s |      19 |   707289 |   584582 |     5560    170 |        0 |        0
1595.73/1596.24	c 1596s |      19 |   707976 |   585182 |     5560    170 |        0 |        0
1598.02/1598.55	c 1598s |      19 |   708742 |   585882 |     5560    170 |        0 |        0
1600.23/1600.74	c 1600s |      19 |   709330 |   586382 |     5560    171 |        0 |        0
1602.43/1602.99	c 1602s |      19 |   710483 |   587382 |     5560    171 |        0 |        0
1604.53/1605.05	c 1604s |      19 |   711533 |   588282 |     5560    171 |        0 |        0
1606.63/1607.17	c 1606s |      19 |   712414 |   589082 |     5560    171 |        0 |        0
1608.72/1609.30	c 1609s |      19 |   713212 |   589782 |     5560    171 |        0 |        0
1610.92/1611.47	c 1611s |      19 |   713909 |   590382 |     5560    172 |        0 |        0
1613.23/1613.74	c 1613s |      19 |   714800 |   591182 |     5560    172 |        0 |        0
1615.53/1616.04	c 1615s |      19 |   715716 |   591982 |     5560    172 |        0 |        0
1617.73/1618.23	c 1618s |      19 |   716505 |   592682 |     5560    172 |        0 |        0
1620.02/1620.50	c 1620s |      19 |   717312 |   593382 |     5560    172 |        0 |        0
1622.02/1622.54	c 1622s |      19 |   717992 |   593982 |     5560    173 |        0 |        0
1624.12/1624.64	c 1624s |      19 |   718650 |   594582 |     5560    173 |        0 |        0
1626.22/1626.74	c 1626s |      19 |   719441 |   595282 |     5560    173 |        0 |        0
1628.42/1628.95	c 1628s |      19 |   720339 |   596082 |     5560    173 |        0 |        0
1630.52/1631.05	c 1630s |      19 |   721098 |   596782 |     5560    173 |        0 |        0
1632.82/1633.35	c 1633s |      19 |   721887 |   597482 |     5560    173 |        0 |        0
1635.02/1635.54	c 1635s |      19 |   722529 |   598082 |     5560    174 |        0 |        0
1637.12/1637.63	c 1637s |      19 |   723314 |   598782 |     5560    174 |        0 |        0
1639.32/1639.82	c 1639s |      19 |   724105 |   599482 |     5560    174 |        0 |        0
1641.32/1641.87	c 1641s |      19 |   724865 |   600182 |     5560    174 |        0 |        0
1643.51/1644.09	c 1643s |      19 |   725752 |   600982 |     5560    174 |        0 |        0
1645.82/1646.34	c 1646s |      19 |   726552 |   601682 |     5560    174 |        0 |        0
1647.92/1648.47	c 1648s |      19 |   727130 |   602182 |     5560    175 |        0 |        0
1650.12/1650.63	c 1650s |      19 |   728036 |   602982 |     5560    175 |        0 |        0
1652.22/1652.72	c 1652s |      19 |   728805 |   603682 |     5560    175 |        0 |        0
1654.42/1654.90	c 1654s |      19 |   729591 |   604382 |     5560    175 |        0 |        0
1656.52/1657.09	c 1656s |      19 |   730376 |   605082 |     5560    175 |        0 |        0
1658.82/1659.31	c 1659s |      19 |   731161 |   605782 |     5560    175 |        0 |        0
1661.21/1661.79	c 1661s |      19 |   731846 |   606382 |     5560    176 |        0 |        0
1663.51/1664.03	c 1663s |      19 |   732805 |   607182 |     5560    176 |        0 |        0
1665.81/1666.33	c 1666s |      19 |   733706 |   607982 |     5560    176 |        0 |        0
1667.91/1668.42	c 1668s |      19 |   734354 |   608582 |     5560    176 |        0 |        0
1670.02/1670.58	c 1670s |      19 |   735022 |   609182 |     5560    176 |        0 |        0
1672.42/1672.96	c 1672s |      19 |   735655 |   609782 |     5560    176 |        0 |        0
1674.52/1675.09	c 1674s |      19 |   736323 |   610382 |     5560    177 |        0 |        0
1676.72/1677.28	c 1677s |      19 |   737120 |   611082 |     5560    177 |        0 |        0
1678.91/1679.45	c 1679s |      19 |   737900 |   611782 |     5560    177 |        0 |        0
1680.91/1681.48	c 1681s |      19 |   738554 |   612382 |     5560    177 |        0 |        0
1683.21/1683.73	c 1683s |      19 |   739307 |   613082 |     5560    177 |        0 |        0
1685.41/1685.99	c 1685s |      19 |   739983 |   613682 |     5560    177 |        0 |        0
1687.71/1688.25	c 1688s |      19 |   740640 |   614282 |     5560    178 |        0 |        0
1690.01/1690.50	c 1690s |      19 |   741323 |   614882 |     5560    178 |        0 |        0
1692.11/1692.67	c 1692s |      19 |   742115 |   615582 |     5560    178 |        0 |        0
1694.41/1694.94	c 1694s |      19 |   742769 |   616182 |     5560    178 |        0 |        0
1696.60/1697.13	c 1696s |      19 |   743489 |   616782 |     5560    178 |        0 |        0
1698.71/1699.24	c 1699s |      19 |   744064 |   617282 |     5560    178 |        0 |        0
1700.71/1701.25	c 1701s |      19 |   744623 |   617782 |     5560    178 |        0 |        0
1703.11/1703.63	c 1703s |      19 |   745179 |   618282 |     5560    179 |        0 |        0
1705.21/1705.79	c 1705s |      19 |   745991 |   618982 |     5560    179 |        0 |        0
1707.51/1708.09	c 1707s |      19 |   746672 |   619582 |     5560    179 |        0 |        0
1709.61/1710.10	c 1709s |      19 |   747368 |   620182 |     5560    179 |        0 |        0
1711.70/1712.26	c 1712s |      19 |   748056 |   620782 |     5560    179 |        0 |        0
1714.10/1714.60	c 1714s |      19 |   748754 |   621382 |     5560    179 |        0 |        0
1716.20/1716.76	c 1716s |      19 |   749341 |   621882 |     5560    179 |        0 |        0
1718.50/1719.09	c 1718s |      19 |   749898 |   622382 |     5560    180 |        0 |        0
1720.60/1721.12	c 1720s |      19 |   750644 |   622982 |     5560    180 |        0 |        0
1722.80/1723.33	c 1723s |      19 |   751627 |   623782 |     5560    180 |        0 |        0
1724.90/1725.43	c 1725s |      19 |   752405 |   624482 |     5560    180 |        0 |        0
1727.01/1727.56	c 1727s |      19 |   753173 |   625182 |     5560    180 |        0 |        0
1729.31/1729.81	c 1729s |      19 |   753972 |   625882 |     5560    180 |        0 |        0
1731.51/1732.09	c 1731s |      19 |   754621 |   626482 |     5560    181 |        0 |        0
1733.61/1734.11	c 1733s |      19 |   755275 |   627082 |     5560    181 |        0 |        0
1735.60/1736.11	c 1735s |      19 |   755921 |   627682 |     5560    181 |        0 |        0
1737.61/1738.17	c 1737s |      19 |   756584 |   628282 |     5560    181 |        0 |        0
1739.81/1740.37	c 1740s |      19 |   757211 |   628882 |     5560    181 |        0 |        0
1742.11/1742.61	c 1742s |      19 |   757877 |   629482 |     5560    181 |        0 |        0
1744.30/1744.84	c 1744s |      19 |   758416 |   629982 |     5560    181 |        0 |        0
1746.31/1746.86	c 1746s |      19 |   758961 |   630482 |     5560    182 |        0 |        0
1748.61/1749.14	c 1748s |      19 |   759721 |   631182 |     5560    182 |        0 |        0
1750.60/1751.16	c 1750s |      19 |   760382 |   631782 |     5560    182 |        0 |        0
1752.80/1753.32	c 1753s |      19 |   761053 |   632382 |     5560    182 |        0 |        0
1755.00/1755.53	c 1755s |      19 |   761733 |   632982 |     5560    182 |        0 |        0
1757.20/1757.79	c 1757s |      19 |   762396 |   633582 |     5560    182 |        0 |        0
1759.90/1760.40	c 1760s |      19 |   763047 |   634182 |     5560    183 |        0 |        0
1762.00/1762.53	c 1762s |      19 |   763719 |   634782 |     5560    183 |        0 |        0
1764.01/1764.54	c 1764s |      19 |   764375 |   635382 |     5560    183 |        0 |        0
1766.11/1766.63	c 1766s |      19 |   765053 |   635982 |     5560    183 |        0 |        0
1768.31/1768.81	c 1768s |      19 |   765713 |   636582 |     5560    183 |        0 |        0
1770.30/1770.83	c 1770s |      19 |   766351 |   637082 |     5560    183 |        0 |        0
1772.70/1773.27	c 1773s |      19 |   766907 |   637582 |     5560    183 |        0 |        0
1774.90/1775.43	c 1775s |      19 |   767457 |   638082 |     5560    183 |        0 |        0
1777.10/1777.69	c 1777s |      19 |   768053 |   638582 |     5560    184 |        0 |        0
1779.30/1779.81	c 1779s |      19 |   769038 |   639382 |     5560    184 |        0 |        0
1781.39/1781.96	c 1781s |      19 |   769965 |   640182 |     5560    184 |        0 |        0
1783.49/1784.08	c 1783s |      19 |   770759 |   640882 |     5560    184 |        0 |        0
1785.60/1786.13	c 1785s |      19 |   771454 |   641482 |     5560    184 |        0 |        0
1787.60/1788.18	c 1787s |      19 |   772149 |   642082 |     5560    184 |        0 |        0
1789.80/1790.38	c 1790s |      19 |   772832 |   642682 |     5560    185 |        0 |        0
1792.09/1792.65	c 1792s |      19 |   773618 |   643382 |     5560    185 |        0 |        0
1794.19/1794.78	c 1794s |      19 |   774306 |   643982 |     5560    185 |        0 |        0
1796.49/1797.02	c 1796s |      19 |   774954 |   644582 |     5560    185 |        0 |        0
1798.59/1799.11	c 1798s |      19 |   775518 |   645082 |     5560    185 |        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-4093404-1466084150/watcher-4093404-1466084150 -o /tmp/evaluation-result-4093404-1466084150/solver-4093404-1466084150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093404-1466084150.wbo 

pid=14933
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.15 2.20 2.17 3/179 14936
/proc/meminfo: memFree=30378164/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 2724 0 0 0 0 0 0 0 20 0 4 0 10460655 747040768 3084 33554432000 4194304 16246674 140736160772384 140736160771808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 183151 3092 441 2943 0 180045 0
[pid=14936/tid=14937] ppid=14933 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 764866560 3152 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 770109440 3169 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10460656 774303744 3188 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.15 2.20 2.17 3/179 14936
/proc/meminfo: memFree=30378164/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 25287 0 0 0 5 4 0 0 20 0 4 0 10460655 1247350784 25640 33554432000 4194304 16246674 140736160772384 140736160771808 6156109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 304529 25655 604 2943 0 301423 0
[pid=14936/tid=14937] ppid=14933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1247350784 25664 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1247350784 25673 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10460656 1247350784 25679 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200539 s]
/proc/loadavg: 2.15 2.20 2.17 3/179 14936
/proc/meminfo: memFree=30378164/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 49271 0 0 0 12 7 0 0 20 0 4 0 10460655 1247350784 49618 33554432000 4194304 16246674 140736160772384 140736160754304 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 304529 49623 774 2943 0 301423 0
[pid=14936/tid=14937] ppid=14933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1247350784 49626 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1247350784 49630 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10460656 1247350784 49633 33554432000 4194304 16246674 140736160772384 139730148641968 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.300504 s]
/proc/loadavg: 2.15 2.20 2.17 3/179 14936
/proc/meminfo: memFree=30378164/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 67948 0 0 0 19 10 0 0 20 0 4 0 10460655 1250496512 68272 33554432000 4194304 16246674 140736160772384 140736160771696 5712204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 305297 68272 867 2943 0 302191 0
[pid=14936/tid=14937] ppid=14933 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1250496512 68272 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1250496512 68272 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1250496512 68272 33554432000 4194304 16246674 140736160772384 139730148641968 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) 1221188

[startup+0.70043 s]
/proc/loadavg: 2.15 2.20 2.17 3/179 14936
/proc/meminfo: memFree=30378164/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1306180 CPUtime=0.69 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 89377 0 0 0 57 12 0 0 20 0 4 0 10460655 1337528320 89701 33554432000 4194304 16246674 140736160772384 140736160771696 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 326545 89701 868 2943 0 323439 0
[pid=14936/tid=14937] ppid=14933 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1337528320 89701 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1337528320 89701 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1337528320 89701 33554432000 4194304 16246674 140736160772384 139730148641968 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.50043 s]
/proc/loadavg: 2.15 2.20 2.17 3/183 14940
/proc/meminfo: memFree=29527784/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 267850 0 0 0 113 36 0 0 20 0 4 0 10460655 1338576896 268174 33554432000 4194304 16246674 140736160772384 140736160754304 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 326801 268174 868 2943 0 323695 0
[pid=14936/tid=14937] ppid=14933 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1338576896 268174 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1338576896 268174 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1338576896 268174 33554432000 4194304 16246674 140736160772384 139730148641968 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.10043 s]
/proc/loadavg: 2.15 2.20 2.17 3/183 14940
/proc/meminfo: memFree=29306196/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 267854 0 0 0 273 36 0 0 20 0 4 0 10460655 1338576896 268178 33554432000 4194304 16246674 140736160772384 140736160754304 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 326801 268178 872 2943 0 323695 0
[pid=14936/tid=14937] ppid=14933 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1338576896 268178 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1338576896 268178 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1338576896 268178 33554432000 4194304 16246674 140736160772384 139730148641968 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) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.14 2.20 2.17 3/183 14940
/proc/meminfo: memFree=29305700/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 267929 0 0 0 593 36 0 0 20 0 4 0 10460655 1339625472 268253 33554432000 4194304 16246674 140736160772384 140736160754304 5711644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 327057 268253 873 2943 0 323951 0
[pid=14936/tid=14937] ppid=14933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1339625472 268253 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1339625472 268253 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1339625472 268253 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.13 2.19 2.17 3/183 14940
/proc/meminfo: memFree=29305356/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 268002 0 0 0 1232 37 0 0 20 0 4 0 10460655 1339625472 268326 33554432000 4194304 16246674 140736160772384 140736160754304 12483230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 327057 268326 873 2943 0 323951 0
[pid=14936/tid=14937] ppid=14933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1339625472 268326 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1339625472 268326 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1339625472 268326 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.17 2.20 2.17 3/183 14940
/proc/meminfo: memFree=29301588/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 268766 0 0 0 2511 37 0 0 20 0 4 0 10460655 1342771200 269090 33554432000 4194304 16246674 140736160772384 140736160754304 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 327825 269090 875 2943 0 324719 0
[pid=14936/tid=14937] ppid=14933 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1342771200 269090 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1342771200 269090 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1342771200 269090 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.17 2.20 2.17 3/183 14940
/proc/meminfo: memFree=29299700/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 269198 0 0 0 5070 38 0 0 20 0 4 0 10460655 1343819776 269522 33554432000 4194304 16246674 140736160772384 140736160754304 6026048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 328081 269522 875 2943 0 324975 0
[pid=14936/tid=14937] ppid=14933 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1343819776 269522 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1343819776 269522 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1343819776 269522 33554432000 4194304 16246674 140736160772384 139730148641968 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) 1312324

[startup+102.301 s]
/proc/loadavg: 2.24 2.21 2.17 3/183 14942
/proc/meminfo: memFree=29294508/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 270483 0 0 0 10189 39 0 0 20 0 4 0 10460655 1349062656 270807 33554432000 4194304 16246674 140736160772384 140736160754304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 329361 270807 875 2943 0 326255 0
[pid=14936/tid=14937] ppid=14933 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1349062656 270807 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1349062656 270807 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1349062656 270807 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273370 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 2.07 2.12 2.14 3/183 14972
/proc/meminfo: memFree=29279564/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1301.91 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273343 0 0 0 130076 115 0 0 20 0 4 0 10460655 1359548416 273370 33554432000 4194304 16246674 140736160772384 140736160754304 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273370 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273370 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273370 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273370 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.02 2.10 2.13 3/183 14974
/proc/meminfo: memFree=29279040/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1361.87 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273385 0 0 0 136069 118 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160754304 6023560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.06 2.09 2.12 3/183 14975
/proc/meminfo: memFree=29279612/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1421.85 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273395 0 0 0 142066 119 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160771560 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.07 2.09 2.12 4/184 14979
/proc/meminfo: memFree=29279416/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1481.84 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273395 0 0 0 148062 122 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160754304 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.09 2.08 2.11 3/184 15003
/proc/meminfo: memFree=29278928/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1541.84 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273395 0 0 0 154060 124 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160754304 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.03 2.07 2.10 3/183 15004
/proc/meminfo: memFree=29278668/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1601.83 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273395 0 0 0 160055 128 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160754304 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.09 3/183 15054
/proc/meminfo: memFree=29608020/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1661.81 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273395 0 0 0 166051 130 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160771560 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.09 3/183 15055
/proc/meminfo: memFree=29288828/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1721.8 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273395 0 0 0 172048 132 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160754304 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.15 2.09 2.09 3/183 15056
/proc/meminfo: memFree=29286592/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1781.79 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273395 0 0 0 178044 135 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160754304 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.10 2.10 3/183 15057
/proc/meminfo: memFree=29286584/32872528 swapFree=532956/565660
[pid=14936] ppid=14933 vsize=1327684 CPUtime=1800.09 cores=1,3,5,7
/proc/14936/stat : 14936 (toysat) R 14933 14936 11130 0 -1 4202496 273395 0 0 0 179873 136 0 0 20 0 4 0 10460655 1359548416 273371 33554432000 4194304 16246674 140736160772384 140736160771560 13191272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14936/statm: 331921 273371 875 2943 0 328815 0
[pid=14936/tid=14937] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14937/stat : 14937 (toysat) S 14933 14936 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730169605360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14936/tid=14938] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14938/stat : 14938 (toysat) S 14933 14936 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730159115504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14936/task/14939/stat : 14939 (toysat) S 14933 14936 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10460656 1359548416 273371 33554432000 4194304 16246674 140736160772384 139730148641968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1327684

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1798.74
CPU system time (s): 1.36979
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.36979
maximum resident set size= 1093484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273395
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= 365
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41633 second user time and 7.11192 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 15:35:50
IDJOB=4093404
IDBENCH=78721
IDSOLVER=2553
FILE ID=node138/4093404-1466084150
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093404-1466084150/watcher-4093404-1466084150 -o /tmp/evaluation-result-4093404-1466084150/solver-4093404-1466084150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093404-1466084150.wbo

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

MD5SUM BENCH= 153666059db7da507c96674bc7662476
RANDOM SEED=140041123

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30378808 kB
Buffers:           31716 kB
Cached:           106820 kB
SwapCached:         1380 kB
Active:          1163840 kB
Inactive:          64096 kB
Active(anon):    1090008 kB
Inactive(anon):     1664 kB
Active(file):      73832 kB
Inactive(file):    62432 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1727792 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             566968 kB
SReclaimable:      10848 kB
SUnreclaim:       556120 kB
KernelStack:        1520 kB
PageTables:         6940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1798900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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= 71716 MiB
End job on node138 at 2016-06-16 16:05:51