Trace number 4093406

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
MD5SUM7dae57beceb3170ed40c9307fdc88b85
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 variables2750
Total number of constraints105
Number of soft constraints69
Number of constraints which are clauses55
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 constraint55
Top cost 3856
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3855
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
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:32:40+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-4093406-1466083960.wbo"]
0.00/0.01	c use --random-gen="2333821842 4149008377 2413156137 937969900 2791679084 3074722479 1050878100 2399885007 3105267775 777575541 2864420727 574534814 4245529642 2265295538 2498012574 388372780 3298652498 331401895 1309668772 1629673480 1995196902 4232566022 2374406799 1405636914 4292373784 3190510692 4200577631 4094469833 484730180 2500754785 2177210554 1108959027 1411944358 283196328 704047377 4287553050 1584180648 1834931493 3519376677 3752534716 1635796509 3773045060 3658180285 1799068091 238659526 3836806198 2019022269 1932735109 2022386148 3595292449 2727269165 1419426373 2668133129 2521877288 13821539 1507372792 4198700167 4002689501 1405950749 1775378900 3857939097 442084292 1685312802 2709413546 330975728 301123734 823905658 3602856569 467487061 3512124258 2478963662 2501779868 2884419330 2492354104 516245609 3244760701 560475603 650656733 4165711898 2688231730 855995470 1022297720 2631572664 3735769558 1166406335 1075236926 2363678769 705611316 1053266110 3893180896 832529871 215426703 753601977 147513768 3230096969 3534524968 1382206533 3102585723 105414101 2517010103 3596028910 1347348167 3407039686 3351531828 819328710 198982243 410530705 1790471022 2526575931 3394333759 189137121 1757763095 303315323 2429638061 1737417871 689963418 1358969695 2176778150 2447754012 235643698 918486638 3227057659 412369581 42763258 1132580681 1273882010 1763731586 2751723290 696466939 1912665682 349185941 966700124 2019721468 2237636559 1027988033 3369967470 2249807132 2494562388 2524547374 3960423782 3167185005 2198837237 2363131764 2043389727 1200183025 527016976 3699032708 4134288598 3114274892 685389914 3509006747 828261863 3842857684 3710499451 1235237380 1031385988 3618634029 236221515 4058800944 598129098 4252959007 831226359 3799070319 612250349 643256229 1829183378 1541028850 1041385864 2720005437 3117904658 2902312731 3642143573 3587377192 2724826226 1059881397 1731608312 2787901313 3964971071 1901093842 1705455189 2420892515 2079893135 2613822763 1639981513 2375578651 1458302294 3531320048 210496278 1655050300 4161534861 2418176524 2545132976 4067638845 3785418901 603921058 4083195797 3668167978 881192151 2566759631 4271471413 1810104792 4069338095 3034115081 532733251 2813587097 1978989998 2285297712 103306404 3869556725 3551771431 4251255265 149838902 1080101254 733533534 3088349166 565536692 1046920167 3039940226 2801706748 624068089 2115263909 1405758363 2695014040 832613822 3206129564 2981303247 198230986 3750869476 2735949682 2949834667 3710527332 1202162905 1059819529 4274547155 3363838547 3289910938 3719284333 16549281 59580955 3757219302 479678854 3815532066 3653694884 1229786908 348175837 1321697210 1099051309 2974304727 1404509282 3417386650 4071373317 1155548446 1584621617 3300392694 2741662443 883024443 255 362436" option to reproduce the execution
0.09/0.13	c #vars 2750
0.09/0.13	c #constraints 105
0.09/0.15	c BCD2: Hardening is enabled.
0.09/0.15	c BCD2: BiasedSearch is enabled.
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |      974      0 |        0 |        0
0.19/0.20	c  0.1s |       1 |      231 |      100 |      974      0 |        0 |        0
0.19/0.21	c  0.1s |       1 |     2170 |      102 |     1072      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.061s
0.19/0.21	c #wall_clock_time = 0.061s
0.19/0.21	c #decision = 2170
0.19/0.21	c #random_decision = 7
0.19/0.21	c #conflict = 102
0.19/0.21	c #restart = 1
0.19/0.21	o 2139
0.19/0.21	c BCD2: updating upper bound: 3855 -> 2138
0.19/0.21	c BCD2: 0 <= obj <= 2138
0.19/0.21	c BCD2: #cores=0, #unrelaxed=69, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1072      0 |        0 |        0
0.29/0.37	c  0.2s |       1 |     1128 |      100 |     1072      0 |        0 |        0
0.49/0.58	c  0.4s |       2 |     2658 |      250 |     1180      0 |        0 |        0
0.89/0.92	c  0.7s |       3 |     4244 |      475 |     1298      0 |        0 |        0
1.39/1.45	c  1.2s |       4 |     6038 |      813 |     1428      0 |        0 |        0
2.08/2.14	c  1.9s |       5 |     8022 |     1320 |     1571      0 |        0 |        0
2.88/2.92	c  2.7s |       6 |    10569 |     2081 |     1729      0 |        0 |        0
4.79/4.80	c  4.6s |       7 |    13167 |     3223 |     1902      1 |        0 |        0
6.89/6.90	c  6.7s |       7 |    16405 |     4823 |     2093      2 |        0 |        0
6.99/7.08	c  6.9s |       8 |    16531 |     4936 |     2093      2 |        0 |        0
9.09/9.18	c  9.0s |       8 |    19918 |     6736 |     2093      3 |        0 |        0
10.19/10.28	c 10.1s |       9 |    20793 |     7506 |     2303      3 |        0 |        0
12.29/12.32	c 12.1s |       9 |    23709 |     8806 |     2303      4 |        0 |        0
14.40/14.48	c 14.3s |       9 |    24935 |     9906 |     2303      4 |        0 |        0
16.50/16.56	c 16.4s |       9 |    25915 |    10806 |     2303      5 |        0 |        0
17.60/17.68	c 17.5s |      10 |    26560 |    11361 |     2534      5 |        0 |        0
19.69/19.73	c 19.5s |      10 |    29953 |    12661 |     2534      6 |        0 |        0
21.79/21.86	c 21.7s |      10 |    31267 |    13861 |     2534      6 |        0 |        0
23.99/24.02	c 23.8s |      10 |    32472 |    14961 |     2534      6 |        0 |        0
25.99/26.03	c 25.8s |      10 |    33337 |    15761 |     2534      7 |        0 |        0
28.18/28.26	c 28.1s |      10 |    34434 |    16761 |     2534      7 |        0 |        0
29.08/29.20	c 29.0s |      11 |    34851 |    17144 |     2788      7 |        0 |        0
31.18/31.29	c 31.1s |      11 |    38380 |    18544 |     2788      8 |        0 |        0
33.28/33.35	c 33.1s |      11 |    39845 |    19844 |     2788      8 |        0 |        0
35.48/35.51	c 35.3s |      11 |    41215 |    21044 |     2788      9 |        0 |        0
37.49/37.54	c 37.3s |      11 |    42315 |    22044 |     2788      9 |        0 |        0
39.48/39.59	c 39.4s |      11 |    43316 |    22944 |     2788      9 |        0 |        0
41.79/41.83	c 41.6s |      11 |    44303 |    23844 |     2788     10 |        0 |        0
43.88/43.97	c 43.8s |      11 |    45408 |    24844 |     2788     10 |        0 |        0
45.98/46.03	c 45.8s |      11 |    46413 |    25744 |     3067     10 |        0 |        0
46.19/46.24	c 46.0s |      12 |    46501 |    25819 |     3067     10 |        0 |        0
48.18/48.27	c 48.1s |      12 |    49025 |    26819 |     3067     11 |        0 |        0
50.28/50.37	c 50.2s |      12 |    50136 |    27819 |     3067     11 |        0 |        0
52.38/52.43	c 52.2s |      12 |    51153 |    28719 |     3067     11 |        0 |        0
54.58/54.62	c 54.4s |      12 |    52196 |    29619 |     3067     12 |        0 |        0
56.68/56.79	c 56.6s |      12 |    53211 |    30519 |     3067     12 |        0 |        0
58.88/58.91	c 58.7s |      12 |    53999 |    31219 |     3067     12 |        0 |        0
60.88/60.97	c 60.8s |      12 |    54664 |    31819 |     3067     13 |        0 |        0
63.18/63.20	c 63.0s |      12 |    55429 |    32519 |     3067     13 |        0 |        0
65.28/65.33	c 65.1s |      12 |    56216 |    33219 |     3067     13 |        0 |        0
67.38/67.42	c 67.2s |      12 |    56983 |    33919 |     3067     13 |        0 |        0
69.68/69.73	c 69.5s |      12 |    57655 |    34519 |     3067     13 |        0 |        0
71.98/72.06	c 71.8s |      12 |    58288 |    35119 |     3067     14 |        0 |        0
74.18/74.24	c 74.0s |      12 |    58934 |    35719 |     3067     14 |        0 |        0
76.48/76.53	c 76.3s |      12 |    59798 |    36519 |     3067     14 |        0 |        0
78.48/78.58	c 78.4s |      12 |    60745 |    37319 |     3067     14 |        0 |        0
80.68/80.79	c 80.6s |      12 |    61642 |    38119 |     3067     15 |        0 |        0
82.68/82.72	c 82.5s |      13 |    62433 |    38832 |     3374     15 |        0 |        0
84.79/84.87	c 84.7s |      13 |    65140 |    39732 |     3374     16 |        0 |        0
86.78/86.87	c 86.7s |      13 |    65906 |    40432 |     3374     16 |        0 |        0
88.98/89.10	c 88.9s |      13 |    66827 |    41232 |     3374     16 |        0 |        0
91.18/91.27	c 91.1s |      13 |    67630 |    41932 |     3374     16 |        0 |        0
93.48/93.56	c 93.3s |      13 |    68441 |    42632 |     3374     16 |        0 |        0
95.47/95.58	c 95.4s |      13 |    69124 |    43232 |     3374     17 |        0 |        0
97.77/97.89	c 97.7s |      13 |    69914 |    43932 |     3374     17 |        0 |        0
99.87/99.95	c 99.7s |      13 |    70698 |    44632 |     3374     17 |        0 |        0
102.18/102.21	c  102s |      13 |    71466 |    45332 |     3374     17 |        0 |        0
104.37/104.48	c  104s |      13 |    72162 |    45932 |     3374     18 |        0 |        0
106.68/106.77	c  106s |      13 |    72818 |    46532 |     3374     18 |        0 |        0
108.98/109.03	c  108s |      13 |    73490 |    47132 |     3374     18 |        0 |        0
111.18/111.26	c  111s |      13 |    74294 |    47832 |     3374     18 |        0 |        0
113.17/113.30	c  113s |      13 |    74970 |    48432 |     3374     18 |        0 |        0
115.48/115.53	c  115s |      13 |    75646 |    49032 |     3374     19 |        0 |        0
117.78/117.83	c  117s |      13 |    76573 |    49832 |     3374     19 |        0 |        0
119.98/120.07	c  119s |      13 |    77361 |    50532 |     3374     19 |        0 |        0
122.18/122.24	c  122s |      13 |    78041 |    51132 |     3374     19 |        0 |        0
124.27/124.34	c  124s |      13 |    78715 |    51732 |     3374     19 |        0 |        0
126.37/126.45	c  126s |      13 |    79536 |    52432 |     3374     20 |        0 |        0
128.57/128.61	c  128s |      13 |    80288 |    53132 |     3374     20 |        0 |        0
130.67/130.71	c  130s |      13 |    81098 |    53832 |     3374     20 |        0 |        0
132.77/132.80	c  132s |      13 |    81749 |    54432 |     3374     20 |        0 |        0
135.07/135.12	c  134s |      13 |    82434 |    55032 |     3374     21 |        0 |        0
137.27/137.36	c  137s |      13 |    83343 |    55832 |     3374     21 |        0 |        0
139.47/139.53	c  139s |      13 |    84109 |    56532 |     3374     21 |        0 |        0
141.76/141.81	c  141s |      13 |    84894 |    57232 |     3374     21 |        0 |        0
143.96/144.03	c  143s |      13 |    85692 |    57932 |     3712     21 |        0 |        0
145.57/145.66	c  145s |      14 |    86158 |    58352 |     3712     22 |        0 |        0
147.87/147.93	c  147s |      14 |    89463 |    59252 |     3712     22 |        0 |        0
149.87/149.99	c  149s |      14 |    90269 |    59952 |     3712     22 |        0 |        0
151.97/152.04	c  151s |      14 |    91122 |    60652 |     3712     22 |        0 |        0
154.07/154.12	c  153s |      14 |    91799 |    61252 |     3712     22 |        0 |        0
156.27/156.32	c  156s |      14 |    92502 |    61852 |     3712     23 |        0 |        0
158.37/158.44	c  158s |      14 |    93174 |    62452 |     3712     23 |        0 |        0
160.67/160.72	c  160s |      14 |    93855 |    63052 |     3712     23 |        0 |        0
162.87/162.91	c  162s |      14 |    94549 |    63652 |     3712     23 |        0 |        0
165.07/165.14	c  164s |      14 |    95228 |    64252 |     3712     23 |        0 |        0
167.17/167.21	c  166s |      14 |    95785 |    64752 |     3712     24 |        0 |        0
169.37/169.41	c  169s |      14 |    96571 |    65452 |     3712     24 |        0 |        0
171.36/171.41	c  171s |      14 |    97257 |    66052 |     3712     24 |        0 |        0
173.46/173.51	c  173s |      14 |    97931 |    66652 |     3712     24 |        0 |        0
175.67/175.71	c  175s |      14 |    98628 |    67252 |     3712     24 |        0 |        0
177.87/177.92	c  177s |      14 |    99206 |    67752 |     3712     25 |        0 |        0
180.16/180.29	c  180s |      14 |    99874 |    68352 |     3712     25 |        0 |        0
182.57/182.66	c  182s |      14 |   100542 |    68952 |     3712     25 |        0 |        0
184.66/184.77	c  184s |      14 |   101092 |    69452 |     3712     25 |        0 |        0
186.76/186.81	c  186s |      14 |   101633 |    69952 |     3712     25 |        0 |        0
188.76/188.81	c  188s |      14 |   102195 |    70452 |     3712     25 |        0 |        0
190.96/191.05	c  190s |      14 |   102751 |    70952 |     3712     26 |        0 |        0
193.16/193.27	c  193s |      14 |   103525 |    71652 |     3712     26 |        0 |        0
195.16/195.27	c  195s |      14 |   104197 |    72252 |     3712     26 |        0 |        0
197.16/197.28	c  197s |      14 |   104884 |    72852 |     3712     26 |        0 |        0
199.56/199.60	c  199s |      14 |   105557 |    73452 |     3712     26 |        0 |        0
201.75/201.82	c  201s |      14 |   106209 |    74052 |     3712     26 |        0 |        0
203.86/203.90	c  203s |      14 |   106733 |    74552 |     3712     27 |        0 |        0
206.06/206.14	c  205s |      14 |   107389 |    75152 |     3712     27 |        0 |        0
208.06/208.16	c  207s |      14 |   108093 |    75752 |     3712     27 |        0 |        0
210.36/210.43	c  210s |      14 |   108754 |    76352 |     3712     27 |        0 |        0
212.46/212.59	c  212s |      14 |   109492 |    76952 |     3712     27 |        0 |        0
214.56/214.68	c  214s |      14 |   110055 |    77452 |     3712     28 |        0 |        0
216.56/216.68	c  216s |      14 |   110730 |    78052 |     3712     28 |        0 |        0
218.66/218.73	c  218s |      14 |   111418 |    78652 |     3712     28 |        0 |        0
220.96/221.01	c  220s |      14 |   112212 |    79352 |     3712     28 |        0 |        0
223.06/223.17	c  222s |      14 |   112868 |    79952 |     3712     28 |        0 |        0
225.35/225.49	c  225s |      14 |   113556 |    80552 |     3712     29 |        0 |        0
227.55/227.61	c  227s |      14 |   114239 |    81152 |     3712     29 |        0 |        0
229.66/229.73	c  229s |      14 |   114902 |    81752 |     3712     29 |        0 |        0
231.75/231.83	c  231s |      14 |   115599 |    82352 |     3712     29 |        0 |        0
234.05/234.14	c  233s |      14 |   116272 |    82952 |     3712     29 |        0 |        0
236.35/236.47	c  236s |      14 |   116949 |    83552 |     3712     29 |        0 |        0
238.55/238.64	c  238s |      14 |   117489 |    84052 |     3712     30 |        0 |        0
240.75/240.85	c  240s |      14 |   118270 |    84752 |     3712     30 |        0 |        0
242.85/242.94	c  242s |      14 |   118970 |    85352 |     3712     30 |        0 |        0
244.95/245.01	c  244s |      14 |   119702 |    85952 |     3712     30 |        0 |        0
247.04/247.17	c  246s |      14 |   120317 |    86452 |     3712     30 |        0 |        0
249.15/249.23	c  249s |      14 |   120900 |    86952 |     4084     31 |        0 |        0
251.25/251.36	c  251s |      14 |   121554 |    87552 |     4084     31 |        0 |        0
251.55/251.62	c  251s |      15 |   121647 |    87632 |     4084     31 |        0 |        0
253.75/253.82	c  253s |      15 |   124387 |    88632 |     4084     32 |        0 |        0
255.94/256.05	c  255s |      15 |   125428 |    89532 |     4084     32 |        0 |        0
258.04/258.17	c  257s |      15 |   126229 |    90232 |     4084     32 |        0 |        0
260.24/260.39	c  260s |      15 |   127119 |    91032 |     4084     32 |        0 |        0
262.44/262.51	c  262s |      15 |   127920 |    91732 |     4084     32 |        0 |        0
264.74/264.85	c  264s |      15 |   128682 |    92432 |     4084     33 |        0 |        0
266.94/267.02	c  266s |      15 |   129493 |    93132 |     4084     33 |        0 |        0
269.24/269.34	c  269s |      15 |   130279 |    93832 |     4084     33 |        0 |        0
271.24/271.37	c  271s |      15 |   130976 |    94432 |     4084     33 |        0 |        0
273.34/273.40	c  273s |      15 |   131652 |    95032 |     4084     33 |        0 |        0
275.54/275.68	c  275s |      15 |   132308 |    95632 |     4084     33 |        0 |        0
277.74/277.89	c  277s |      15 |   132996 |    96232 |     4084     34 |        0 |        0
280.04/280.13	c  279s |      15 |   133950 |    97032 |     4084     34 |        0 |        0
282.23/282.32	c  282s |      15 |   134742 |    97732 |     4084     34 |        0 |        0
284.24/284.34	c  284s |      15 |   135525 |    98432 |     4084     34 |        0 |        0
286.74/286.84	c  286s |      15 |   136350 |    99132 |     4084     35 |        0 |        0
289.03/289.17	c  288s |      15 |   137127 |    99832 |     4084     35 |        0 |        0
291.23/291.31	c  291s |      15 |   137806 |   100432 |     4084     35 |        0 |        0
293.33/293.44	c  293s |      15 |   138615 |   101132 |     4084     35 |        0 |        0
295.43/295.57	c  295s |      15 |   139416 |   101832 |     4084     35 |        0 |        0
297.53/297.66	c  297s |      15 |   140082 |   102432 |     4084     36 |        0 |        0
299.63/299.75	c  299s |      15 |   140853 |   103132 |     4084     36 |        0 |        0
301.93/302.04	c  301s |      15 |   141631 |   103832 |     4084     36 |        0 |        0
303.93/304.06	c  303s |      15 |   142337 |   104432 |     4084     36 |        0 |        0
306.02/306.15	c  305s |      15 |   143148 |   105132 |     4084     36 |        0 |        0
308.12/308.27	c  308s |      15 |   143812 |   105732 |     4084     36 |        0 |        0
310.23/310.39	c  310s |      15 |   144502 |   106332 |     4084     37 |        0 |        0
312.53/312.62	c  312s |      15 |   145267 |   107032 |     4084     37 |        0 |        0
314.62/314.76	c  314s |      15 |   145937 |   107632 |     4084     37 |        0 |        0
316.91/317.07	c  316s |      15 |   146573 |   108232 |     4084     37 |        0 |        0
319.31/319.44	c  319s |      15 |   147218 |   108832 |     4084     37 |        0 |        0
321.31/321.49	c  321s |      15 |   147769 |   109332 |     4084     38 |        0 |        0
323.52/323.68	c  323s |      15 |   148421 |   109932 |     4084     38 |        0 |        0
325.81/325.93	c  325s |      15 |   149079 |   110532 |     4084     38 |        0 |        0
328.01/328.15	c  327s |      15 |   149737 |   111132 |     4084     38 |        0 |        0
330.22/330.35	c  330s |      15 |   150390 |   111732 |     4084     38 |        0 |        0
332.52/332.63	c  332s |      15 |   151039 |   112332 |     4084     38 |        0 |        0
334.61/334.73	c  334s |      15 |   151582 |   112832 |     4084     39 |        0 |        0
336.71/336.86	c  336s |      15 |   152231 |   113432 |     4084     39 |        0 |        0
338.82/338.94	c  338s |      15 |   152896 |   114032 |     4084     39 |        0 |        0
341.02/341.13	c  340s |      15 |   153572 |   114632 |     4084     39 |        0 |        0
343.22/343.39	c  343s |      15 |   154230 |   115232 |     4084     39 |        0 |        0
345.81/345.94	c  345s |      15 |   154941 |   115832 |     4084     40 |        0 |        0
348.11/348.22	c  348s |      15 |   155705 |   116532 |     4084     40 |        0 |        0
350.20/350.39	c  350s |      15 |   156348 |   117132 |     4084     40 |        0 |        0
352.30/352.46	c  352s |      15 |   157156 |   117832 |     4084     40 |        0 |        0
354.60/354.73	c  354s |      15 |   157971 |   118532 |     4084     40 |        0 |        0
356.60/356.76	c  356s |      15 |   158666 |   119132 |     4084     40 |        0 |        0
358.61/358.77	c  358s |      15 |   159235 |   119632 |     4084     41 |        0 |        0
360.61/360.78	c  360s |      15 |   159919 |   120232 |     4084     41 |        0 |        0
362.80/362.91	c  362s |      15 |   160727 |   120932 |     4084     41 |        0 |        0
364.90/365.01	c  364s |      15 |   161408 |   121532 |     4084     41 |        0 |        0
367.09/367.23	c  367s |      15 |   162088 |   122132 |     4084     41 |        0 |        0
369.19/369.39	c  369s |      15 |   162765 |   122732 |     4084     42 |        0 |        0
371.60/371.73	c  371s |      15 |   163559 |   123432 |     4084     42 |        0 |        0
373.79/373.98	c  373s |      15 |   164239 |   124032 |     4084     42 |        0 |        0
376.11/376.29	c  376s |      15 |   165047 |   124732 |     4084     42 |        0 |        0
378.40/378.59	c  378s |      15 |   165842 |   125432 |     4084     42 |        0 |        0
380.60/380.76	c  380s |      15 |   166400 |   125932 |     4084     43 |        0 |        0
382.80/382.97	c  382s |      15 |   167087 |   126532 |     4084     43 |        0 |        0
384.90/385.03	c  384s |      15 |   167923 |   127232 |     4084     43 |        0 |        0
387.10/387.27	c  387s |      15 |   168740 |   127932 |     4084     43 |        0 |        0
389.19/389.34	c  389s |      15 |   169391 |   128532 |     4084     43 |        0 |        0
391.50/391.69	c  391s |      15 |   170041 |   129132 |     4084     43 |        0 |        0
393.59/393.80	c  393s |      15 |   170748 |   129732 |     4084     44 |        0 |        0
395.69/395.89	c  395s |      15 |   171569 |   130432 |     4084     44 |        0 |        0
397.99/398.15	c  397s |      15 |   172368 |   131132 |     4493     44 |        0 |        0
399.49/399.63	c  399s |      16 |   172843 |   131552 |     4493     44 |        0 |        0
401.59/401.76	c  401s |      16 |   175591 |   132652 |     4493     45 |        0 |        0
403.70/403.86	c  403s |      16 |   176829 |   133752 |     4493     45 |        0 |        0
405.69/405.90	c  405s |      16 |   178068 |   134852 |     4493     45 |        0 |        0
407.79/407.94	c  407s |      16 |   179089 |   135752 |     4493     45 |        0 |        0
409.89/410.08	c  409s |      16 |   179989 |   136552 |     4493     46 |        0 |        0
411.99/412.13	c  411s |      16 |   180857 |   137352 |     4493     46 |        0 |        0
414.18/414.32	c  414s |      16 |   181736 |   138152 |     4493     46 |        0 |        0
416.38/416.51	c  416s |      16 |   182648 |   138952 |     4493     46 |        0 |        0
418.48/418.60	c  418s |      16 |   183454 |   139652 |     4493     47 |        0 |        0
420.48/420.62	c  420s |      16 |   184360 |   140452 |     4493     47 |        0 |        0
422.69/422.83	c  422s |      16 |   185246 |   141252 |     4493     47 |        0 |        0
424.89/425.05	c  424s |      16 |   186158 |   142052 |     4493     47 |        0 |        0
427.09/427.23	c  427s |      16 |   187020 |   142852 |     4493     47 |        0 |        0
429.09/429.28	c  429s |      16 |   187868 |   143552 |     4493     48 |        0 |        0
431.29/431.47	c  431s |      16 |   188874 |   144452 |     4493     48 |        0 |        0
433.39/433.58	c  433s |      16 |   189754 |   145252 |     4493     48 |        0 |        0
435.49/435.68	c  435s |      16 |   190527 |   145952 |     4493     48 |        0 |        0
437.48/437.69	c  437s |      16 |   191275 |   146552 |     4493     49 |        0 |        0
439.68/439.82	c  439s |      16 |   192314 |   147352 |     4493     49 |        0 |        0
441.88/442.04	c  441s |      16 |   193251 |   148152 |     4493     49 |        0 |        0
443.88/444.05	c  443s |      16 |   194049 |   148852 |     4493     49 |        0 |        0
446.08/446.27	c  446s |      16 |   194826 |   149552 |     4493     49 |        0 |        0
448.28/448.46	c  448s |      16 |   195484 |   150152 |     4493     50 |        0 |        0
450.48/450.60	c  450s |      16 |   196394 |   150952 |     4493     50 |        0 |        0
452.68/452.86	c  452s |      16 |   197259 |   151752 |     4493     50 |        0 |        0
454.87/455.00	c  454s |      16 |   198062 |   152452 |     4493     50 |        0 |        0
456.87/457.07	c  456s |      16 |   198858 |   153152 |     4493     50 |        0 |        0
458.98/459.13	c  458s |      16 |   199642 |   153852 |     4493     51 |        0 |        0
460.98/461.16	c  460s |      16 |   200545 |   154652 |     4493     51 |        0 |        0
463.28/463.43	c  463s |      16 |   201414 |   155452 |     4493     51 |        0 |        0
465.48/465.64	c  465s |      16 |   202192 |   156152 |     4493     51 |        0 |        0
467.67/467.88	c  467s |      16 |   202944 |   156852 |     4493     51 |        0 |        0
469.87/470.07	c  469s |      16 |   203767 |   157552 |     4493     52 |        0 |        0
472.07/472.24	c  472s |      16 |   204664 |   158352 |     4493     52 |        0 |        0
474.18/474.34	c  474s |      16 |   205455 |   159052 |     4493     52 |        0 |        0
476.38/476.54	c  476s |      16 |   206334 |   159852 |     4493     52 |        0 |        0
478.48/478.62	c  478s |      16 |   207223 |   160652 |     4493     52 |        0 |        0
480.47/480.68	c  480s |      16 |   207901 |   161252 |     4493     53 |        0 |        0
482.78/482.93	c  482s |      16 |   208786 |   162052 |     4493     53 |        0 |        0
484.77/484.97	c  484s |      16 |   209440 |   162652 |     4493     53 |        0 |        0
487.06/487.21	c  486s |      16 |   210242 |   163352 |     4493     53 |        0 |        0
489.07/489.28	c  489s |      16 |   211012 |   164052 |     4493     53 |        0 |        0
491.27/491.49	c  491s |      16 |   211759 |   164752 |     4493     54 |        0 |        0
493.47/493.67	c  493s |      16 |   212661 |   165552 |     4493     54 |        0 |        0
495.56/495.72	c  495s |      16 |   213420 |   166252 |     4493     54 |        0 |        0
497.66/497.85	c  497s |      16 |   214216 |   166952 |     4493     54 |        0 |        0
499.66/499.85	c  499s |      16 |   214973 |   167652 |     4493     54 |        0 |        0
501.86/502.04	c  501s |      16 |   215728 |   168352 |     4493     55 |        0 |        0
503.96/504.10	c  503s |      16 |   216486 |   169052 |     4493     55 |        0 |        0
506.15/506.33	c  506s |      16 |   217589 |   169952 |     4493     55 |        0 |        0
508.36/508.52	c  508s |      16 |   218457 |   170752 |     4493     55 |        0 |        0
510.37/510.59	c  510s |      16 |   219238 |   171452 |     4493     55 |        0 |        0
512.66/512.88	c  512s |      16 |   219920 |   172052 |     4493     56 |        0 |        0
514.96/515.15	c  514s |      16 |   220691 |   172752 |     4493     56 |        0 |        0
517.26/517.46	c  517s |      16 |   221575 |   173552 |     4493     56 |        0 |        0
519.56/519.75	c  519s |      16 |   222325 |   174252 |     4493     56 |        0 |        0
521.76/521.90	c  521s |      16 |   223000 |   174852 |     4493     56 |        0 |        0
523.85/524.05	c  523s |      16 |   223589 |   175352 |     4493     57 |        0 |        0
525.85/526.07	c  525s |      16 |   224607 |   176252 |     4493     57 |        0 |        0
528.05/528.23	c  528s |      16 |   225619 |   177152 |     4493     57 |        0 |        0
530.35/530.50	c  530s |      16 |   226510 |   177952 |     4493     57 |        0 |        0
532.36/532.56	c  532s |      16 |   227347 |   178652 |     4493     58 |        0 |        0
534.65/534.80	c  534s |      16 |   228365 |   179552 |     4493     58 |        0 |        0
536.85/537.08	c  536s |      16 |   229264 |   180352 |     4493     58 |        0 |        0
539.15/539.35	c  539s |      16 |   230174 |   181152 |     4493     58 |        0 |        0
541.34/541.56	c  541s |      16 |   231097 |   181952 |     4493     58 |        0 |        0
543.44/543.68	c  543s |      16 |   231888 |   182652 |     4493     59 |        0 |        0
545.54/545.73	c  545s |      16 |   232656 |   183352 |     4493     59 |        0 |        0
547.54/547.79	c  547s |      16 |   233561 |   184152 |     4493     59 |        0 |        0
549.73/549.93	c  549s |      16 |   234355 |   184852 |     4493     59 |        0 |        0
551.73/551.98	c  551s |      16 |   235015 |   185452 |     4493     59 |        0 |        0
553.84/554.00	c  553s |      16 |   235566 |   185952 |     4493     60 |        0 |        0
555.84/556.06	c  555s |      16 |   236350 |   186652 |     4493     60 |        0 |        0
558.13/558.38	c  558s |      16 |   237095 |   187352 |     4493     60 |        0 |        0
560.23/560.43	c  560s |      16 |   237903 |   188052 |     4493     60 |        0 |        0
562.23/562.45	c  562s |      16 |   238559 |   188652 |     4493     60 |        0 |        0
564.53/564.73	c  564s |      16 |   239323 |   189352 |     4493     60 |        0 |        0
566.53/566.78	c  566s |      16 |   239976 |   189952 |     4493     61 |        0 |        0
568.63/568.82	c  568s |      16 |   240623 |   190552 |     4493     61 |        0 |        0
570.93/571.12	c  570s |      16 |   241259 |   191152 |     4493     61 |        0 |        0
573.03/573.29	c  573s |      16 |   241780 |   191652 |     4493     61 |        0 |        0
575.23/575.41	c  575s |      16 |   242462 |   192252 |     4493     61 |        0 |        0
577.62/577.82	c  577s |      16 |   243350 |   193052 |     4493     62 |        0 |        0
579.83/580.03	c  579s |      16 |   244218 |   193852 |     4493     62 |        0 |        0
582.02/582.28	c  582s |      16 |   244957 |   194552 |     4493     62 |        0 |        0
584.42/584.63	c  584s |      16 |   245829 |   195352 |     4493     62 |        0 |        0
586.71/586.92	c  586s |      16 |   246605 |   196052 |     4943     62 |        0 |        0
588.81/589.04	c  588s |      16 |   247369 |   196752 |     4943     62 |        0 |        0
591.01/591.22	c  591s |      16 |   248008 |   197352 |     4943     63 |        0 |        0
591.21/591.47	c  591s |      17 |   248093 |   197432 |     4943     63 |        0 |        0
593.31/593.59	c  593s |      17 |   251055 |   198532 |     4943     63 |        0 |        0
595.62/595.81	c  595s |      17 |   252451 |   199732 |     4943     63 |        0 |        0
597.82/598.03	c  597s |      17 |   253569 |   200732 |     4943     63 |        0 |        0
600.02/600.28	c  600s |      17 |   254611 |   201632 |     4943     64 |        0 |        0
602.32/602.54	c  602s |      17 |   255495 |   202432 |     4943     64 |        0 |        0
604.32/604.55	c  604s |      17 |   256300 |   203132 |     4943     64 |        0 |        0
606.51/606.79	c  606s |      17 |   257199 |   203932 |     4943     64 |        0 |        0
609.01/609.26	c  609s |      17 |   257860 |   204532 |     4943     65 |        0 |        0
611.11/611.33	c  611s |      17 |   258805 |   205332 |     4943     65 |        0 |        0
613.31/613.50	c  613s |      17 |   259836 |   206232 |     4943     65 |        0 |        0
615.51/615.71	c  615s |      17 |   260734 |   207032 |     4943     65 |        0 |        0
617.60/617.87	c  617s |      17 |   261606 |   207832 |     4943     65 |        0 |        0
619.80/620.07	c  619s |      17 |   262492 |   208632 |     4943     66 |        0 |        0
621.80/622.09	c  621s |      17 |   263408 |   209432 |     4943     66 |        0 |        0
623.90/624.17	c  623s |      17 |   264303 |   210232 |     4943     66 |        0 |        0
626.01/626.22	c  626s |      17 |   265078 |   210932 |     4943     66 |        0 |        0
628.10/628.38	c  628s |      17 |   265830 |   211632 |     4943     66 |        0 |        0
630.21/630.42	c  630s |      17 |   266496 |   212232 |     4943     67 |        0 |        0
632.41/632.65	c  632s |      17 |   267420 |   213032 |     4943     67 |        0 |        0
634.40/634.68	c  634s |      17 |   268220 |   213732 |     4943     67 |        0 |        0
636.60/636.88	c  636s |      17 |   269135 |   214532 |     4943     67 |        0 |        0
638.80/639.00	c  638s |      17 |   269927 |   215232 |     4943     67 |        0 |        0
641.21/641.46	c  641s |      17 |   270693 |   215932 |     4943     68 |        0 |        0
643.40/643.62	c  643s |      17 |   271573 |   216732 |     4943     68 |        0 |        0
645.50/645.76	c  645s |      17 |   272360 |   217432 |     4943     68 |        0 |        0
647.70/647.92	c  647s |      17 |   273146 |   218132 |     4943     68 |        0 |        0
649.79/650.06	c  649s |      17 |   273926 |   218832 |     4943     68 |        0 |        0
651.90/652.17	c  651s |      17 |   274562 |   219432 |     4943     68 |        0 |        0
654.09/654.33	c  654s |      17 |   275202 |   220032 |     4943     69 |        0 |        0
656.39/656.61	c  656s |      17 |   276092 |   220832 |     4943     69 |        0 |        0
658.39/658.67	c  658s |      17 |   276754 |   221432 |     4943     69 |        0 |        0
660.39/660.69	c  660s |      17 |   277412 |   222032 |     4943     69 |        0 |        0
662.69/662.92	c  662s |      17 |   278397 |   222932 |     4943     69 |        0 |        0
664.78/665.04	c  664s |      17 |   279158 |   223632 |     4943     70 |        0 |        0
666.98/667.20	c  666s |      17 |   280019 |   224432 |     4943     70 |        0 |        0
669.18/669.49	c  669s |      17 |   280862 |   225232 |     4943     70 |        0 |        0
671.58/671.83	c  671s |      17 |   281711 |   226032 |     4943     70 |        0 |        0
673.89/674.11	c  673s |      17 |   282476 |   226732 |     4943     70 |        0 |        0
675.98/676.27	c  676s |      17 |   283094 |   227332 |     4943     71 |        0 |        0
678.08/678.37	c  678s |      17 |   283868 |   228032 |     4943     71 |        0 |        0
680.18/680.41	c  680s |      17 |   284761 |   228832 |     4943     71 |        0 |        0
682.28/682.51	c  682s |      17 |   285634 |   229632 |     4943     71 |        0 |        0
684.38/684.64	c  684s |      17 |   286524 |   230432 |     4943     71 |        0 |        0
686.67/686.92	c  686s |      17 |   287274 |   231132 |     4943     72 |        0 |        0
688.77/689.05	c  688s |      17 |   288164 |   231932 |     4943     72 |        0 |        0
690.78/691.06	c  690s |      17 |   288944 |   232632 |     4943     72 |        0 |        0
692.88/693.12	c  692s |      17 |   289711 |   233332 |     4943     72 |        0 |        0
694.87/695.19	c  694s |      17 |   290504 |   234032 |     4943     72 |        0 |        0
697.17/697.42	c  697s |      17 |   291399 |   234832 |     4943     72 |        0 |        0
699.26/699.54	c  699s |      17 |   292179 |   235532 |     4943     73 |        0 |        0
701.58/701.81	c  701s |      17 |   293054 |   236332 |     4943     73 |        0 |        0
703.88/704.12	c  703s |      17 |   293937 |   237132 |     4943     73 |        0 |        0
706.07/706.30	c  706s |      17 |   294695 |   237832 |     4943     73 |        0 |        0
708.06/708.31	c  708s |      17 |   295585 |   238632 |     4943     73 |        0 |        0
710.06/710.34	c  710s |      17 |   296347 |   239332 |     4943     74 |        0 |        0
712.06/712.38	c  712s |      17 |   297119 |   240032 |     4943     74 |        0 |        0
714.27/714.50	c  714s |      17 |   297885 |   240732 |     4943     74 |        0 |        0
716.26/716.52	c  716s |      17 |   298558 |   241332 |     4943     74 |        0 |        0
718.36/718.68	c  718s |      17 |   299415 |   242132 |     4943     74 |        0 |        0
720.46/720.70	c  720s |      17 |   299978 |   242632 |     4943     75 |        0 |        0
722.56/722.89	c  722s |      17 |   300729 |   243332 |     4943     75 |        0 |        0
724.85/725.15	c  724s |      17 |   301473 |   244032 |     4943     75 |        0 |        0
727.15/727.42	c  727s |      17 |   302341 |   244832 |     4943     75 |        0 |        0
729.35/729.66	c  729s |      17 |   303091 |   245532 |     4943     75 |        0 |        0
731.55/731.85	c  731s |      17 |   303763 |   246132 |     4943     75 |        0 |        0
733.85/734.12	c  733s |      17 |   304769 |   247032 |     4943     76 |        0 |        0
735.85/736.15	c  735s |      17 |   305664 |   247832 |     4943     76 |        0 |        0
738.04/738.34	c  738s |      17 |   306531 |   248632 |     4943     76 |        0 |        0
740.24/740.59	c  740s |      17 |   307392 |   249432 |     4943     76 |        0 |        0
742.55/742.85	c  742s |      17 |   308170 |   250132 |     4943     77 |        0 |        0
744.84/745.12	c  744s |      17 |   309047 |   250932 |     4943     77 |        0 |        0
746.94/747.22	c  747s |      17 |   309817 |   251632 |     4943     77 |        0 |        0
749.04/749.36	c  749s |      17 |   310587 |   252332 |     4943     77 |        0 |        0
751.24/751.55	c  751s |      17 |   311352 |   253032 |     4943     77 |        0 |        0
753.35/753.64	c  753s |      17 |   311992 |   253632 |     4943     77 |        0 |        0
755.44/755.71	c  755s |      17 |   312551 |   254132 |     4943     78 |        0 |        0
757.53/757.87	c  757s |      17 |   313401 |   254832 |     4943     78 |        0 |        0
759.73/760.01	c  759s |      17 |   314576 |   255832 |     4943     78 |        0 |        0
761.83/762.11	c  761s |      17 |   315495 |   256632 |     4943     78 |        0 |        0
763.93/764.23	c  764s |      17 |   316404 |   257432 |     4943     78 |        0 |        0
766.13/766.47	c  766s |      17 |   317187 |   258132 |     4943     79 |        0 |        0
768.23/768.53	c  768s |      17 |   317948 |   258832 |     4943     79 |        0 |        0
770.53/770.82	c  770s |      17 |   318988 |   259732 |     4943     79 |        0 |        0
772.53/772.86	c  772s |      17 |   319878 |   260532 |     4943     79 |        0 |        0
774.62/774.95	c  774s |      17 |   320659 |   261232 |     4943     79 |        0 |        0
776.62/776.96	c  776s |      17 |   321323 |   261832 |     4943     80 |        0 |        0
778.92/779.28	c  779s |      17 |   322213 |   262632 |     4943     80 |        0 |        0
781.03/781.32	c  781s |      17 |   322978 |   263332 |     4943     80 |        0 |        0
783.03/783.37	c  783s |      17 |   323746 |   264032 |     4943     80 |        0 |        0
785.02/785.40	c  785s |      17 |   324533 |   264732 |     4943     80 |        0 |        0
787.12/787.49	c  787s |      17 |   325335 |   265432 |     4943     81 |        0 |        0
789.42/789.77	c  789s |      17 |   326228 |   266232 |     4943     81 |        0 |        0
791.52/791.90	c  791s |      17 |   327008 |   266932 |     4943     81 |        0 |        0
793.62/793.99	c  793s |      17 |   327784 |   267632 |     4943     81 |        0 |        0
795.71/796.05	c  795s |      17 |   328549 |   268332 |     4943     81 |        0 |        0
798.11/798.42	c  798s |      17 |   329332 |   269032 |     4943     82 |        0 |        0
800.21/800.52	c  800s |      17 |   330080 |   269732 |     4943     82 |        0 |        0
802.22/802.54	c  802s |      17 |   330741 |   270332 |     4943     82 |        0 |        0
804.31/804.67	c  804s |      17 |   331561 |   271032 |     4943     82 |        0 |        0
806.41/806.79	c  806s |      17 |   332722 |   272032 |     4943     82 |        0 |        0
808.61/808.94	c  808s |      17 |   333637 |   272832 |     4943     83 |        0 |        0
810.61/810.94	c  810s |      17 |   334561 |   273632 |     4943     83 |        0 |        0
812.62/812.99	c  812s |      17 |   335459 |   274432 |     4943     83 |        0 |        0
814.91/815.25	c  815s |      17 |   336338 |   275232 |     4943     83 |        0 |        0
817.11/817.48	c  817s |      17 |   337242 |   276032 |     4943     83 |        0 |        0
819.31/819.67	c  819s |      17 |   337995 |   276732 |     4943     84 |        0 |        0
821.51/821.86	c  821s |      17 |   339033 |   277632 |     4943     84 |        0 |        0
823.81/824.11	c  823s |      17 |   339941 |   278432 |     4943     84 |        0 |        0
825.81/826.13	c  825s |      17 |   340739 |   279132 |     4943     84 |        0 |        0
828.01/828.37	c  828s |      17 |   341632 |   279932 |     4943     84 |        0 |        0
830.20/830.55	c  830s |      17 |   342286 |   280532 |     4943     85 |        0 |        0
832.30/832.68	c  832s |      17 |   343238 |   281332 |     4943     85 |        0 |        0
834.39/834.79	c  834s |      17 |   344048 |   282032 |     4943     85 |        0 |        0
836.69/837.06	c  836s |      17 |   344975 |   282832 |     4943     85 |        0 |        0
838.79/839.19	c  838s |      17 |   345894 |   283632 |     4943     85 |        0 |        0
841.09/841.40	c  841s |      17 |   346726 |   284332 |     4943     86 |        0 |        0
843.30/843.64	c  843s |      17 |   347692 |   285132 |     4943     86 |        0 |        0
845.29/845.68	c  845s |      17 |   348498 |   285832 |     4943     86 |        0 |        0
847.59/847.90	c  847s |      17 |   349376 |   286632 |     4943     86 |        0 |        0
849.59/849.95	c  849s |      17 |   350158 |   287332 |     4943     86 |        0 |        0
851.69/852.03	c  851s |      17 |   350823 |   287932 |     4943     87 |        0 |        0
853.89/854.28	c  854s |      17 |   351704 |   288732 |     4943     87 |        0 |        0
856.08/856.42	c  856s |      17 |   352468 |   289432 |     4943     87 |        0 |        0
858.28/858.62	c  858s |      17 |   353432 |   290232 |     4943     87 |        0 |        0
860.48/860.86	c  860s |      17 |   354244 |   290932 |     4943     87 |        0 |        0
862.59/862.98	c  862s |      17 |   355173 |   291632 |     4943     87 |        0 |        0
864.78/865.11	c  864s |      17 |   356016 |   292332 |     4943     88 |        0 |        0
866.98/867.32	c  867s |      17 |   357081 |   293232 |     4943     88 |        0 |        0
869.08/869.48	c  869s |      17 |   357987 |   294032 |     4943     88 |        0 |        0
871.18/871.56	c  871s |      17 |   358782 |   294732 |     5438     88 |        0 |        0
873.37/873.72	c  873s |      17 |   359604 |   295432 |     5438     88 |        0 |        0
875.57/875.99	c  875s |      17 |   360268 |   296032 |     5438     89 |        0 |        0
876.38/876.79	c  876s |      18 |   360505 |   296252 |     5438     89 |        0 |        0
878.47/878.85	c  878s |      18 |   363063 |   297252 |     5438     89 |        0 |        0
880.47/880.85	c  880s |      18 |   364117 |   298152 |     5438     89 |        0 |        0
882.67/883.02	c  882s |      18 |   365148 |   299052 |     5438     89 |        0 |        0
884.78/885.13	c  884s |      18 |   366053 |   299852 |     5438     89 |        0 |        0
886.88/887.21	c  887s |      18 |   366869 |   300552 |     5438     90 |        0 |        0
889.08/889.49	c  889s |      18 |   367983 |   301452 |     5438     90 |        0 |        0
891.17/891.58	c  891s |      18 |   368780 |   302152 |     5438     90 |        0 |        0
893.27/893.67	c  893s |      18 |   369552 |   302852 |     5438     90 |        0 |        0
895.47/895.81	c  895s |      18 |   370335 |   303552 |     5438     90 |        0 |        0
897.48/897.87	c  897s |      18 |   371044 |   304152 |     5438     91 |        0 |        0
899.67/900.00	c  899s |      18 |   371947 |   304952 |     5438     91 |        0 |        0
901.68/902.09	c  901s |      18 |   372852 |   305752 |     5438     91 |        0 |        0
903.77/904.10	c  903s |      18 |   373643 |   306452 |     5438     91 |        0 |        0
905.77/906.15	c  905s |      18 |   374453 |   307152 |     5438     91 |        0 |        0
907.77/908.16	c  907s |      18 |   375411 |   307952 |     5438     91 |        0 |        0
909.97/910.32	c  910s |      18 |   376323 |   308752 |     5438     92 |        0 |        0
911.97/912.39	c  912s |      18 |   377222 |   309552 |     5438     92 |        0 |        0
914.07/914.47	c  914s |      18 |   378151 |   310352 |     5438     92 |        0 |        0
916.27/916.66	c  916s |      18 |   379032 |   311152 |     5438     92 |        0 |        0
918.47/918.80	c  918s |      18 |   379792 |   311852 |     5438     92 |        0 |        0
920.67/921.00	c  920s |      18 |   380452 |   312452 |     5438     93 |        0 |        0
922.77/923.10	c  922s |      18 |   381243 |   313152 |     5438     93 |        0 |        0
924.87/925.27	c  925s |      18 |   382253 |   314052 |     5438     93 |        0 |        0
927.17/927.58	c  927s |      18 |   383147 |   314852 |     5438     93 |        0 |        0
929.27/929.62	c  929s |      18 |   383946 |   315552 |     5438     93 |        0 |        0
931.26/931.67	c  931s |      18 |   384770 |   316252 |     5438     94 |        0 |        0
933.37/933.74	c  933s |      18 |   385694 |   317052 |     5438     94 |        0 |        0
935.47/935.85	c  935s |      18 |   386611 |   317852 |     5438     94 |        0 |        0
937.57/937.92	c  937s |      18 |   387398 |   318552 |     5438     94 |        0 |        0
939.76/940.12	c  939s |      18 |   388161 |   319252 |     5438     94 |        0 |        0
941.96/942.38	c  942s |      18 |   388918 |   319952 |     5438     94 |        0 |        0
944.06/944.46	c  944s |      18 |   389605 |   320552 |     5438     95 |        0 |        0
946.16/946.59	c  946s |      18 |   390507 |   321352 |     5438     95 |        0 |        0
948.36/948.75	c  948s |      18 |   391403 |   322152 |     5438     95 |        0 |        0
950.46/950.84	c  950s |      18 |   392181 |   322852 |     5438     95 |        0 |        0
952.76/953.12	c  952s |      18 |   392947 |   323552 |     5438     95 |        0 |        0
955.26/955.65	c  955s |      18 |   393750 |   324252 |     5438     96 |        0 |        0
957.26/957.69	c  957s |      18 |   394552 |   324952 |     5438     96 |        0 |        0
959.47/959.82	c  959s |      18 |   395307 |   325652 |     5438     96 |        0 |        0
961.56/961.98	c  961s |      18 |   396198 |   326452 |     5438     96 |        0 |        0
963.66/964.00	c  963s |      18 |   396957 |   327152 |     5438     96 |        0 |        0
965.76/966.19	c  965s |      18 |   397734 |   327852 |     5438     96 |        0 |        0
967.96/968.31	c  968s |      18 |   398393 |   328452 |     5438     97 |        0 |        0
969.97/970.38	c  970s |      18 |   399176 |   329152 |     5438     97 |        0 |        0
972.06/972.41	c  972s |      18 |   399965 |   329852 |     5438     97 |        0 |        0
974.16/974.52	c  974s |      18 |   400731 |   330552 |     5438     97 |        0 |        0
976.36/976.74	c  976s |      18 |   401490 |   331252 |     5438     97 |        0 |        0
978.46/978.81	c  978s |      18 |   402152 |   331852 |     5438     97 |        0 |        0
980.66/981.04	c  980s |      18 |   402981 |   332552 |     5438     98 |        0 |        0
982.75/983.16	c  982s |      18 |   403892 |   333352 |     5438     98 |        0 |        0
984.76/985.16	c  984s |      18 |   404687 |   334052 |     5438     98 |        0 |        0
986.76/987.19	c  986s |      18 |   405463 |   334752 |     5438     98 |        0 |        0
989.06/989.49	c  989s |      18 |   406218 |   335452 |     5438     98 |        0 |        0
991.36/991.75	c  991s |      18 |   406863 |   336052 |     5438     98 |        0 |        0
993.66/994.07	c  993s |      18 |   407419 |   336552 |     5438     99 |        0 |        0
996.06/996.43	c  996s |      18 |   408094 |   337152 |     5438     99 |        0 |        0
998.06/998.47	c  998s |      18 |   408651 |   337652 |     5438     99 |        0 |        0
1000.16/1000.51	c 1000s |      18 |   409565 |   338452 |     5438     99 |        0 |        0
1002.26/1002.65	c 1002s |      18 |   410332 |   339152 |     5438     99 |        0 |        0
1004.46/1004.81	c 1004s |      18 |   411113 |   339852 |     5438     99 |        0 |        0
1006.45/1006.87	c 1006s |      18 |   411756 |   340452 |     5438    100 |        0 |        0
1008.46/1008.87	c 1008s |      18 |   412535 |   341152 |     5438    100 |        0 |        0
1010.66/1011.01	c 1010s |      18 |   413322 |   341852 |     5438    100 |        0 |        0
1012.66/1013.02	c 1012s |      18 |   413969 |   342452 |     5438    100 |        0 |        0
1014.76/1015.17	c 1014s |      18 |   414768 |   343152 |     5438    100 |        0 |        0
1017.05/1017.43	c 1017s |      18 |   415531 |   343852 |     5438    100 |        0 |        0
1019.25/1019.69	c 1019s |      18 |   416182 |   344452 |     5438    101 |        0 |        0
1021.45/1021.90	c 1021s |      18 |   416953 |   345152 |     5438    101 |        0 |        0
1023.65/1024.06	c 1023s |      18 |   417751 |   345852 |     5438    101 |        0 |        0
1025.65/1026.08	c 1025s |      18 |   418518 |   346552 |     5438    101 |        0 |        0
1027.76/1028.16	c 1027s |      18 |   419276 |   347252 |     5438    101 |        0 |        0
1029.95/1030.38	c 1030s |      18 |   420047 |   347952 |     5438    101 |        0 |        0
1032.15/1032.54	c 1032s |      18 |   420714 |   348552 |     5438    102 |        0 |        0
1034.25/1034.61	c 1034s |      18 |   421490 |   349252 |     5438    102 |        0 |        0
1036.35/1036.72	c 1036s |      18 |   422132 |   349852 |     5438    102 |        0 |        0
1038.65/1039.08	c 1038s |      18 |   422778 |   350452 |     5438    102 |        0 |        0
1040.85/1041.25	c 1041s |      18 |   423503 |   351052 |     5438    102 |        0 |        0
1042.95/1043.38	c 1043s |      18 |   424406 |   351852 |     5438    102 |        0 |        0
1045.15/1045.55	c 1045s |      18 |   425209 |   352552 |     5438    103 |        0 |        0
1047.25/1047.65	c 1047s |      18 |   426127 |   353352 |     5438    103 |        0 |        0
1049.45/1049.82	c 1049s |      18 |   426902 |   354052 |     5438    103 |        0 |        0
1051.65/1052.08	c 1051s |      18 |   427649 |   354752 |     5438    103 |        0 |        0
1053.94/1054.39	c 1054s |      18 |   428546 |   355552 |     5438    103 |        0 |        0
1056.25/1056.65	c 1056s |      18 |   429323 |   356252 |     5438    103 |        0 |        0
1058.25/1058.66	c 1058s |      18 |   429877 |   356752 |     5438    104 |        0 |        0
1060.25/1060.66	c 1060s |      18 |   430651 |   357452 |     5438    104 |        0 |        0
1062.25/1062.67	c 1062s |      18 |   431300 |   358052 |     5438    104 |        0 |        0
1064.46/1064.81	c 1064s |      18 |   432076 |   358752 |     5438    104 |        0 |        0
1066.55/1066.98	c 1066s |      18 |   432715 |   359352 |     5438    104 |        0 |        0
1068.75/1069.14	c 1068s |      18 |   433362 |   359952 |     5438    104 |        0 |        0
1070.84/1071.30	c 1071s |      18 |   433907 |   360452 |     5438    105 |        0 |        0
1072.94/1073.38	c 1073s |      18 |   434526 |   361052 |     5438    105 |        0 |        0
1075.25/1075.68	c 1075s |      18 |   435196 |   361652 |     5438    105 |        0 |        0
1077.44/1077.83	c 1077s |      18 |   435853 |   362252 |     5438    105 |        0 |        0
1079.64/1080.00	c 1079s |      18 |   436519 |   362852 |     5438    105 |        0 |        0
1081.64/1082.05	c 1081s |      18 |   437069 |   363352 |     5438    105 |        0 |        0
1083.94/1084.33	c 1084s |      18 |   437601 |   363852 |     5438    105 |        0 |        0
1086.34/1086.79	c 1086s |      18 |   438280 |   364452 |     5438    106 |        0 |        0
1088.44/1088.85	c 1088s |      18 |   439224 |   365252 |     5438    106 |        0 |        0
1090.64/1091.05	c 1090s |      18 |   440283 |   366152 |     5438    106 |        0 |        0
1092.85/1093.27	c 1093s |      18 |   441165 |   366952 |     5438    106 |        0 |        0
1095.04/1095.47	c 1095s |      18 |   441982 |   367652 |     5438    106 |        0 |        0
1097.24/1097.65	c 1097s |      18 |   442760 |   368352 |     5438    106 |        0 |        0
1099.24/1099.67	c 1099s |      18 |   443432 |   368952 |     5438    107 |        0 |        0
1101.55/1101.96	c 1101s |      18 |   444337 |   369752 |     5438    107 |        0 |        0
1103.74/1104.11	c 1103s |      18 |   445111 |   370452 |     5438    107 |        0 |        0
1105.84/1106.24	c 1106s |      18 |   445785 |   371052 |     5438    107 |        0 |        0
1107.94/1108.32	c 1108s |      18 |   446579 |   371752 |     5438    107 |        0 |        0
1110.04/1110.48	c 1110s |      18 |   447352 |   372452 |     5438    107 |        0 |        0
1112.24/1112.62	c 1112s |      18 |   448028 |   373052 |     5438    108 |        0 |        0
1114.34/1114.74	c 1114s |      18 |   448808 |   373752 |     5438    108 |        0 |        0
1116.44/1116.84	c 1116s |      18 |   449455 |   374352 |     5438    108 |        0 |        0
1118.64/1119.04	c 1118s |      18 |   450213 |   375052 |     5438    108 |        0 |        0
1120.73/1121.15	c 1120s |      18 |   450868 |   375652 |     5438    108 |        0 |        0
1123.14/1123.52	c 1123s |      18 |   451497 |   376252 |     5438    108 |        0 |        0
1125.24/1125.65	c 1125s |      18 |   452037 |   376752 |     5438    109 |        0 |        0
1127.44/1127.87	c 1127s |      18 |   452797 |   377452 |     5438    109 |        0 |        0
1129.64/1130.03	c 1129s |      18 |   453568 |   378152 |     5438    109 |        0 |        0
1131.84/1132.20	c 1131s |      18 |   454230 |   378752 |     5438    109 |        0 |        0
1134.13/1134.58	c 1134s |      18 |   454873 |   379352 |     5438    109 |        0 |        0
1136.24/1136.65	c 1136s |      18 |   455405 |   379852 |     5438    109 |        0 |        0
1138.54/1138.96	c 1138s |      18 |   456059 |   380452 |     5438    109 |        0 |        0
1140.73/1141.19	c 1140s |      18 |   456709 |   381052 |     5438    110 |        0 |        0
1142.93/1143.34	c 1143s |      18 |   457670 |   381852 |     5438    110 |        0 |        0
1145.03/1145.44	c 1145s |      18 |   458727 |   382752 |     5438    110 |        0 |        0
1147.13/1147.53	c 1147s |      18 |   459675 |   383552 |     5438    110 |        0 |        0
1149.14/1149.54	c 1149s |      18 |   460488 |   384252 |     5438    110 |        0 |        0
1151.34/1151.72	c 1151s |      18 |   461272 |   384952 |     5438    111 |        0 |        0
1153.54/1153.96	c 1153s |      18 |   462189 |   385752 |     5438    111 |        0 |        0
1155.63/1156.01	c 1155s |      18 |   463012 |   386452 |     5438    111 |        0 |        0
1157.73/1158.19	c 1157s |      18 |   463923 |   387252 |     5438    111 |        0 |        0
1160.03/1160.42	c 1160s |      18 |   464707 |   387952 |     5438    111 |        0 |        0
1162.33/1162.76	c 1162s |      18 |   465487 |   388652 |     5438    111 |        0 |        0
1164.44/1164.80	c 1164s |      18 |   466149 |   389252 |     5438    112 |        0 |        0
1166.43/1166.83	c 1166s |      18 |   466952 |   389952 |     5438    112 |        0 |        0
1168.43/1168.88	c 1168s |      18 |   467607 |   390552 |     5438    112 |        0 |        0
1170.63/1171.03	c 1170s |      18 |   468376 |   391252 |     5438    112 |        0 |        0
1172.83/1173.21	c 1173s |      18 |   469146 |   391952 |     5438    112 |        0 |        0
1174.83/1175.29	c 1175s |      18 |   469813 |   392552 |     5438    112 |        0 |        0
1177.03/1177.40	c 1177s |      18 |   470343 |   393052 |     5438    113 |        0 |        0
1179.13/1179.59	c 1179s |      18 |   471038 |   393652 |     5438    113 |        0 |        0
1181.33/1181.79	c 1181s |      18 |   471929 |   394452 |     5438    113 |        0 |        0
1183.53/1183.97	c 1183s |      18 |   472699 |   395152 |     5438    113 |        0 |        0
1185.83/1186.24	c 1186s |      18 |   473361 |   395752 |     5438    113 |        0 |        0
1188.03/1188.41	c 1188s |      18 |   474269 |   396552 |     5438    113 |        0 |        0
1190.02/1190.44	c 1190s |      18 |   475064 |   397252 |     5438    114 |        0 |        0
1192.14/1192.58	c 1192s |      18 |   475975 |   398052 |     5438    114 |        0 |        0
1194.24/1194.68	c 1194s |      18 |   476771 |   398752 |     5438    114 |        0 |        0
1196.33/1196.75	c 1196s |      18 |   477449 |   399352 |     5438    114 |        0 |        0
1198.63/1199.04	c 1198s |      18 |   478374 |   400152 |     5438    114 |        0 |        0
1200.83/1201.24	c 1201s |      18 |   479126 |   400852 |     5438    115 |        0 |        0
1202.83/1203.28	c 1203s |      18 |   479916 |   401552 |     5438    115 |        0 |        0
1204.92/1205.32	c 1205s |      18 |   480568 |   402152 |     5438    115 |        0 |        0
1207.12/1207.56	c 1207s |      18 |   481558 |   403052 |     5438    115 |        0 |        0
1209.22/1209.68	c 1209s |      18 |   482483 |   403852 |     5438    115 |        0 |        0
1211.33/1211.72	c 1211s |      18 |   483291 |   404552 |     5438    115 |        0 |        0
1213.63/1214.01	c 1213s |      18 |   484068 |   405252 |     5438    116 |        0 |        0
1215.63/1216.02	c 1215s |      18 |   484842 |   405952 |     5438    116 |        0 |        0
1217.83/1218.24	c 1218s |      18 |   485610 |   406652 |     5438    116 |        0 |        0
1219.92/1220.32	c 1220s |      18 |   486442 |   407352 |     5438    116 |        0 |        0
1222.12/1222.50	c 1222s |      18 |   487223 |   408052 |     5438    116 |        0 |        0
1224.32/1224.79	c 1224s |      18 |   488001 |   408752 |     5438    116 |        0 |        0
1226.62/1227.00	c 1226s |      18 |   488681 |   409352 |     5438    117 |        0 |        0
1228.92/1229.37	c 1229s |      18 |   489442 |   410052 |     5438    117 |        0 |        0
1231.12/1231.50	c 1231s |      18 |   490088 |   410652 |     5438    117 |        0 |        0
1233.42/1233.80	c 1233s |      18 |   490878 |   411352 |     5438    117 |        0 |        0
1235.62/1236.01	c 1235s |      18 |   491528 |   411952 |     5438    117 |        0 |        0
1237.72/1238.16	c 1237s |      18 |   492215 |   412552 |     5438    117 |        0 |        0
1239.82/1240.24	c 1240s |      18 |   492754 |   413052 |     5438    118 |        0 |        0
1241.92/1242.31	c 1242s |      18 |   493775 |   413852 |     5438    118 |        0 |        0
1244.12/1244.54	c 1244s |      18 |   494667 |   414652 |     5438    118 |        0 |        0
1246.32/1246.73	c 1246s |      18 |   495492 |   415352 |     5438    118 |        0 |        0
1248.42/1248.83	c 1248s |      18 |   496312 |   416052 |     5438    118 |        0 |        0
1250.43/1250.84	c 1250s |      18 |   497022 |   416652 |     5438    118 |        0 |        0
1252.53/1252.99	c 1252s |      18 |   497812 |   417252 |     5438    119 |        0 |        0
1254.73/1255.18	c 1254s |      18 |   498589 |   417952 |     5438    119 |        0 |        0
1256.81/1257.20	c 1256s |      18 |   499245 |   418552 |     5438    119 |        0 |        0
1258.91/1259.30	c 1259s |      18 |   499936 |   419152 |     5438    119 |        0 |        0
1261.02/1261.48	c 1261s |      18 |   500631 |   419752 |     5438    119 |        0 |        0
1263.42/1263.88	c 1263s |      18 |   501301 |   420352 |     5438    119 |        0 |        0
1265.73/1266.13	c 1265s |      18 |   501907 |   420852 |     5438    120 |        0 |        0
1268.03/1268.45	c 1268s |      18 |   502748 |   421452 |     5438    120 |        0 |        0
1270.32/1270.73	c 1270s |      18 |   503546 |   422152 |     5438    120 |        0 |        0
1272.52/1272.93	c 1272s |      18 |   504354 |   422852 |     5438    120 |        0 |        0
1274.72/1275.13	c 1274s |      18 |   505170 |   423552 |     5438    120 |        0 |        0
1276.82/1277.27	c 1277s |      18 |   506057 |   424152 |     5438    120 |        0 |        0
1279.02/1279.45	c 1279s |      18 |   506842 |   424752 |     5438    120 |        0 |        0
1281.01/1281.49	c 1281s |      18 |   507648 |   425352 |     5438    121 |        0 |        0
1283.11/1283.58	c 1283s |      18 |   509083 |   426052 |     5438    121 |        0 |        0
1285.41/1285.82	c 1285s |      18 |   509916 |   426752 |     5438    121 |        0 |        0
1287.61/1288.01	c 1287s |      18 |   510623 |   427352 |     5438    121 |        0 |        0
1289.62/1290.06	c 1289s |      18 |   511204 |   427852 |     5438    121 |        0 |        0
1291.71/1292.10	c 1291s |      18 |   511795 |   428352 |     5438    121 |        0 |        0
1293.81/1294.29	c 1294s |      18 |   512582 |   428852 |     5438    122 |        0 |        0
1295.81/1296.29	c 1296s |      18 |   513384 |   429452 |     5438    122 |        0 |        0
1298.01/1298.48	c 1298s |      18 |   514193 |   430052 |     5438    122 |        0 |        0
1300.21/1300.66	c 1300s |      18 |   515133 |   430752 |     5438    122 |        0 |        0
1302.51/1302.92	c 1302s |      18 |   515861 |   431352 |     5438    122 |        0 |        0
1304.71/1305.12	c 1304s |      18 |   516648 |   431952 |     5438    122 |        0 |        0
1306.91/1307.34	c 1307s |      18 |   517303 |   432452 |     5438    122 |        0 |        0
1309.21/1309.66	c 1309s |      18 |   517916 |   432952 |     5438    123 |        0 |        0
1311.21/1311.66	c 1311s |      18 |   518723 |   433652 |     5438    123 |        0 |        0
1313.40/1313.89	c 1313s |      18 |   519804 |   434452 |     5438    123 |        0 |        0
1315.71/1316.10	c 1315s |      18 |   520623 |   435152 |     5438    123 |        0 |        0
1317.91/1318.34	c 1318s |      18 |   521413 |   435852 |     5438    123 |        0 |        0
1320.01/1320.44	c 1320s |      18 |   522107 |   436452 |     5438    123 |        0 |        0
1322.11/1322.51	c 1322s |      18 |   522658 |   436952 |     5438    124 |        0 |        0
1324.11/1324.57	c 1324s |      18 |   523333 |   437552 |     5438    124 |        0 |        0
1326.21/1326.62	c 1326s |      18 |   523998 |   438152 |     5438    124 |        0 |        0
1328.41/1328.89	c 1328s |      18 |   524658 |   438752 |     5438    124 |        0 |        0
1330.50/1330.99	c 1330s |      18 |   525351 |   439352 |     5438    124 |        0 |        0
1332.70/1333.18	c 1332s |      18 |   525999 |   439952 |     5438    124 |        0 |        0
1335.02/1335.41	c 1335s |      18 |   526685 |   440552 |     5438    124 |        0 |        0
1337.31/1337.75	c 1337s |      18 |   527220 |   441052 |     5438    125 |        0 |        0
1339.41/1339.87	c 1339s |      18 |   527902 |   441652 |     5982    125 |        0 |        0
1341.61/1342.02	c 1341s |      18 |   528636 |   442252 |     5982    125 |        0 |        0
1343.91/1344.40	c 1344s |      18 |   529332 |   442852 |     5982    125 |        0 |        0
1346.30/1346.77	c 1346s |      18 |   530013 |   443452 |     5982    125 |        0 |        0
1348.40/1348.83	c 1348s |      18 |   530591 |   443952 |     5982    125 |        0 |        0
1350.51/1350.94	c 1350s |      19 |   531176 |   444482 |     5982    125 |        0 |        0
1352.50/1353.00	c 1352s |      19 |   534345 |   445482 |     5982    126 |        0 |        0
1354.60/1355.08	c 1354s |      19 |   535511 |   446482 |     5982    126 |        0 |        0
1356.90/1357.30	c 1357s |      19 |   536496 |   447382 |     5982    126 |        0 |        0
1359.00/1359.40	c 1359s |      19 |   537564 |   448282 |     5982    126 |        0 |        0
1361.11/1361.55	c 1361s |      19 |   538507 |   449082 |     5982    126 |        0 |        0
1363.40/1363.82	c 1363s |      19 |   539456 |   449882 |     5982    127 |        0 |        0
1365.50/1365.92	c 1365s |      19 |   540230 |   450582 |     5982    127 |        0 |        0
1367.70/1368.16	c 1367s |      19 |   541028 |   451282 |     5982    127 |        0 |        0
1369.80/1370.22	c 1370s |      19 |   541698 |   451882 |     5982    127 |        0 |        0
1371.90/1372.37	c 1372s |      19 |   542346 |   452482 |     5982    127 |        0 |        0
1374.00/1374.48	c 1374s |      19 |   543135 |   453182 |     5982    127 |        0 |        0
1376.30/1376.75	c 1376s |      19 |   543811 |   453782 |     5982    128 |        0 |        0
1378.30/1378.78	c 1378s |      19 |   544603 |   454482 |     5982    128 |        0 |        0
1380.60/1381.05	c 1380s |      19 |   545480 |   455282 |     5982    128 |        0 |        0
1382.70/1383.15	c 1382s |      19 |   546249 |   455982 |     5982    128 |        0 |        0
1384.80/1385.26	c 1385s |      19 |   547026 |   456682 |     5982    128 |        0 |        0
1386.99/1387.43	c 1387s |      19 |   547806 |   457382 |     5982    128 |        0 |        0
1389.19/1389.62	c 1389s |      19 |   548448 |   457982 |     5982    129 |        0 |        0
1391.49/1391.90	c 1391s |      19 |   549339 |   458782 |     5982    129 |        0 |        0
1393.70/1394.17	c 1393s |      19 |   550214 |   459582 |     5982    129 |        0 |        0
1396.20/1396.61	c 1396s |      19 |   550987 |   460282 |     5982    129 |        0 |        0
1398.40/1398.84	c 1398s |      19 |   551751 |   460982 |     5982    129 |        0 |        0
1400.60/1401.06	c 1400s |      19 |   552515 |   461682 |     5982    129 |        0 |        0
1402.99/1403.45	c 1403s |      19 |   553168 |   462282 |     5982    130 |        0 |        0
1405.19/1405.65	c 1405s |      19 |   553937 |   462982 |     5982    130 |        0 |        0
1407.40/1407.88	c 1407s |      19 |   554676 |   463682 |     5982    130 |        0 |        0
1409.70/1410.13	c 1409s |      19 |   555426 |   464382 |     5982    130 |        0 |        0
1411.70/1412.15	c 1411s |      19 |   556095 |   464982 |     5982    130 |        0 |        0
1413.89/1414.35	c 1414s |      19 |   556739 |   465582 |     5982    130 |        0 |        0
1415.99/1416.46	c 1416s |      19 |   557394 |   466182 |     5982    130 |        0 |        0
1418.09/1418.51	c 1418s |      19 |   557945 |   466682 |     5982    131 |        0 |        0
1420.20/1420.61	c 1420s |      19 |   558746 |   467382 |     5982    131 |        0 |        0
1422.20/1422.66	c 1422s |      19 |   559545 |   468082 |     5982    131 |        0 |        0
1424.29/1424.74	c 1424s |      19 |   560336 |   468782 |     5982    131 |        0 |        0
1426.40/1426.88	c 1426s |      19 |   561071 |   469482 |     5982    131 |        0 |        0
1428.69/1429.16	c 1428s |      19 |   561840 |   470182 |     5982    131 |        0 |        0
1430.89/1431.38	c 1431s |      19 |   562479 |   470782 |     5982    131 |        0 |        0
1433.00/1433.40	c 1433s |      19 |   563027 |   471282 |     5982    132 |        0 |        0
1434.99/1435.41	c 1435s |      19 |   563670 |   471882 |     5982    132 |        0 |        0
1437.19/1437.68	c 1437s |      19 |   564463 |   472582 |     5982    132 |        0 |        0
1439.50/1439.91	c 1439s |      19 |   565256 |   473282 |     5982    132 |        0 |        0
1441.59/1442.08	c 1441s |      19 |   565924 |   473882 |     5982    132 |        0 |        0
1443.79/1444.29	c 1444s |      19 |   566620 |   474482 |     5982    132 |        0 |        0
1446.09/1446.54	c 1446s |      19 |   567278 |   475082 |     5982    132 |        0 |        0
1448.19/1448.65	c 1448s |      19 |   567828 |   475582 |     5982    133 |        0 |        0
1450.28/1450.70	c 1450s |      19 |   568480 |   476182 |     5982    133 |        0 |        0
1452.48/1452.97	c 1452s |      19 |   569232 |   476882 |     5982    133 |        0 |        0
1454.49/1454.98	c 1454s |      19 |   569887 |   477482 |     5982    133 |        0 |        0
1456.79/1457.22	c 1457s |      19 |   570642 |   478182 |     5982    133 |        0 |        0
1459.09/1459.52	c 1459s |      19 |   571428 |   478882 |     5982    133 |        0 |        0
1461.49/1461.93	c 1461s |      19 |   572241 |   479582 |     5982    134 |        0 |        0
1463.59/1464.04	c 1463s |      19 |   573010 |   480282 |     5982    134 |        0 |        0
1465.69/1466.13	c 1465s |      19 |   573784 |   480982 |     5982    134 |        0 |        0
1467.89/1468.36	c 1468s |      19 |   574564 |   481682 |     5982    134 |        0 |        0
1469.89/1470.37	c 1470s |      19 |   575240 |   482282 |     5982    134 |        0 |        0
1472.19/1472.64	c 1472s |      19 |   575983 |   482982 |     5982    134 |        0 |        0
1474.38/1474.83	c 1474s |      19 |   576771 |   483682 |     5982    134 |        0 |        0
1476.48/1476.93	c 1476s |      19 |   577447 |   484282 |     5982    135 |        0 |        0
1478.68/1479.10	c 1478s |      19 |   578317 |   485082 |     5982    135 |        0 |        0
1480.88/1481.31	c 1481s |      19 |   579113 |   485782 |     5982    135 |        0 |        0
1483.08/1483.51	c 1483s |      19 |   580026 |   486582 |     5982    135 |        0 |        0
1485.18/1485.67	c 1485s |      19 |   580785 |   487282 |     5982    135 |        0 |        0
1487.28/1487.76	c 1487s |      19 |   581471 |   487882 |     5982    135 |        0 |        0
1489.38/1489.81	c 1489s |      19 |   582091 |   488382 |     5982    136 |        0 |        0
1491.49/1491.90	c 1491s |      19 |   582904 |   489082 |     5982    136 |        0 |        0
1493.49/1493.94	c 1493s |      19 |   583711 |   489782 |     5982    136 |        0 |        0
1495.59/1496.08	c 1495s |      19 |   584528 |   490482 |     5982    136 |        0 |        0
1497.68/1498.20	c 1497s |      19 |   585188 |   491082 |     5982    136 |        0 |        0
1499.78/1500.26	c 1500s |      19 |   585876 |   491682 |     5982    136 |        0 |        0
1501.88/1502.39	c 1502s |      19 |   586574 |   492282 |     5982    136 |        0 |        0
1503.98/1504.42	c 1504s |      19 |   587167 |   492782 |     5982    137 |        0 |        0
1506.18/1506.64	c 1506s |      19 |   588008 |   493482 |     5982    137 |        0 |        0
1508.17/1508.68	c 1508s |      19 |   588690 |   494082 |     5982    137 |        0 |        0
1510.37/1510.82	c 1510s |      19 |   589382 |   494682 |     5982    137 |        0 |        0
1512.38/1512.83	c 1512s |      19 |   590061 |   495282 |     5982    137 |        0 |        0
1514.58/1515.06	c 1514s |      19 |   590860 |   495982 |     5982    137 |        0 |        0
1516.68/1517.14	c 1516s |      19 |   591545 |   496582 |     5982    137 |        0 |        0
1518.79/1519.24	c 1519s |      19 |   592095 |   497082 |     5982    138 |        0 |        0
1520.88/1521.35	c 1521s |      19 |   592898 |   497782 |     5982    138 |        0 |        0
1522.98/1523.48	c 1523s |      19 |   593675 |   498482 |     5982    138 |        0 |        0
1525.28/1525.74	c 1525s |      19 |   594486 |   499182 |     5982    138 |        0 |        0
1527.38/1527.84	c 1527s |      19 |   595178 |   499782 |     5982    138 |        0 |        0
1529.69/1530.14	c 1529s |      19 |   595974 |   500482 |     5982    138 |        0 |        0
1532.18/1532.69	c 1532s |      19 |   596651 |   501082 |     5982    139 |        0 |        0
1534.28/1534.74	c 1534s |      19 |   597327 |   501682 |     5982    139 |        0 |        0
1536.28/1536.79	c 1536s |      19 |   598020 |   502282 |     5982    139 |        0 |        0
1538.58/1539.04	c 1538s |      19 |   598799 |   502982 |     5982    139 |        0 |        0
1540.58/1541.05	c 1540s |      19 |   599470 |   503582 |     5982    139 |        0 |        0
1542.68/1543.17	c 1542s |      19 |   600159 |   504182 |     5982    139 |        0 |        0
1544.87/1545.33	c 1545s |      19 |   600850 |   504782 |     5982    139 |        0 |        0
1547.28/1547.80	c 1547s |      19 |   601516 |   505382 |     5982    140 |        0 |        0
1549.58/1550.06	c 1549s |      19 |   602274 |   506082 |     5982    140 |        0 |        0
1551.78/1552.26	c 1552s |      19 |   602945 |   506682 |     5982    140 |        0 |        0
1553.98/1554.41	c 1554s |      19 |   603664 |   507282 |     5982    140 |        0 |        0
1556.08/1556.59	c 1556s |      19 |   604337 |   507882 |     5982    140 |        0 |        0
1558.47/1558.95	c 1558s |      19 |   605011 |   508482 |     5982    140 |        0 |        0
1560.67/1561.19	c 1560s |      19 |   605700 |   509082 |     5982    140 |        0 |        0
1563.17/1563.69	c 1563s |      19 |   606363 |   509682 |     5982    141 |        0 |        0
1565.27/1565.70	c 1565s |      19 |   607050 |   510282 |     5982    141 |        0 |        0
1567.47/1567.94	c 1567s |      19 |   607991 |   511082 |     5982    141 |        0 |        0
1569.47/1569.98	c 1569s |      19 |   608688 |   511682 |     5982    141 |        0 |        0
1571.77/1572.21	c 1571s |      19 |   609494 |   512382 |     5982    141 |        0 |        0
1573.87/1574.34	c 1574s |      19 |   610153 |   512982 |     5982    141 |        0 |        0
1576.07/1576.53	c 1576s |      19 |   610827 |   513582 |     5982    141 |        0 |        0
1578.07/1578.59	c 1578s |      19 |   611389 |   514082 |     5982    142 |        0 |        0
1580.37/1580.84	c 1580s |      19 |   612167 |   514782 |     5982    142 |        0 |        0
1582.47/1582.92	c 1582s |      19 |   612820 |   515382 |     5982    142 |        0 |        0
1584.67/1585.12	c 1584s |      19 |   613492 |   515982 |     5982    142 |        0 |        0
1586.97/1587.43	c 1587s |      19 |   614144 |   516582 |     5982    142 |        0 |        0
1589.08/1589.55	c 1589s |      19 |   614698 |   517082 |     5982    142 |        0 |        0
1591.28/1591.76	c 1591s |      19 |   615262 |   517582 |     5982    142 |        0 |        0
1593.37/1593.86	c 1593s |      19 |   615803 |   518082 |     5982    142 |        0 |        0
1595.46/1595.92	c 1595s |      19 |   616348 |   518582 |     5982    143 |        0 |        0
1597.77/1598.20	c 1597s |      19 |   617017 |   519182 |     5982    143 |        0 |        0
1599.97/1600.47	c 1600s |      19 |   617676 |   519782 |     5982    143 |        0 |        0
1602.16/1602.62	c 1602s |      19 |   618361 |   520382 |     5982    143 |        0 |        0
1604.26/1604.72	c 1604s |      19 |   619049 |   520982 |     5982    143 |        0 |        0
1606.46/1606.98	c 1606s |      19 |   619861 |   521682 |     5982    143 |        0 |        0
1608.87/1609.30	c 1609s |      19 |   620647 |   522382 |     5982    143 |        0 |        0
1610.87/1611.38	c 1611s |      19 |   621218 |   522882 |     5982    144 |        0 |        0
1613.16/1613.64	c 1613s |      19 |   622148 |   523682 |     5982    144 |        0 |        0
1615.26/1615.77	c 1615s |      19 |   622936 |   524382 |     5982    144 |        0 |        0
1617.56/1618.02	c 1617s |      19 |   623748 |   525082 |     5982    144 |        0 |        0
1619.57/1620.08	c 1619s |      19 |   624559 |   525782 |     5982    144 |        0 |        0
1621.86/1622.36	c 1622s |      19 |   625350 |   526482 |     5982    144 |        0 |        0
1623.86/1624.36	c 1624s |      19 |   625914 |   526982 |     5982    145 |        0 |        0
1625.96/1626.48	c 1626s |      19 |   626712 |   527682 |     5982    145 |        0 |        0
1628.16/1628.63	c 1628s |      19 |   627490 |   528382 |     5982    145 |        0 |        0
1630.16/1630.65	c 1630s |      19 |   628163 |   528982 |     5982    145 |        0 |        0
1632.36/1632.89	c 1632s |      19 |   628960 |   529682 |     5982    145 |        0 |        0
1634.76/1635.21	c 1635s |      19 |   629741 |   530382 |     5982    145 |        0 |        0
1636.96/1637.42	c 1637s |      19 |   630395 |   530982 |     5982    145 |        0 |        0
1639.06/1639.51	c 1639s |      19 |   630977 |   531482 |     5982    146 |        0 |        0
1641.06/1641.59	c 1641s |      19 |   631758 |   532182 |     5982    146 |        0 |        0
1643.36/1643.86	c 1643s |      19 |   632561 |   532882 |     5982    146 |        0 |        0
1645.45/1645.91	c 1645s |      19 |   633224 |   533482 |     5982    146 |        0 |        0
1647.56/1648.06	c 1647s |      19 |   634039 |   534182 |     5982    146 |        0 |        0
1649.67/1650.17	c 1649s |      19 |   634699 |   534782 |     5982    146 |        0 |        0
1651.77/1652.25	c 1652s |      19 |   635391 |   535382 |     5982    146 |        0 |        0
1653.97/1654.44	c 1654s |      19 |   635938 |   535882 |     5982    147 |        0 |        0
1656.06/1656.51	c 1656s |      19 |   636740 |   536582 |     5982    147 |        0 |        0
1658.05/1658.55	c 1658s |      19 |   637396 |   537182 |     5982    147 |        0 |        0
1660.35/1660.87	c 1660s |      19 |   638181 |   537882 |     5982    147 |        0 |        0
1662.56/1663.09	c 1662s |      19 |   638878 |   538482 |     5982    147 |        0 |        0
1664.66/1665.13	c 1664s |      19 |   639540 |   539082 |     5982    147 |        0 |        0
1666.86/1667.37	c 1667s |      19 |   640224 |   539682 |     5982    147 |        0 |        0
1669.05/1669.50	c 1669s |      19 |   640785 |   540182 |     5982    148 |        0 |        0
1671.15/1671.64	c 1671s |      19 |   641443 |   540782 |     5982    148 |        0 |        0
1673.35/1673.83	c 1673s |      19 |   642103 |   541382 |     5982    148 |        0 |        0
1675.56/1676.00	c 1675s |      19 |   642747 |   541982 |     5982    148 |        0 |        0
1677.76/1678.28	c 1678s |      19 |   643407 |   542582 |     5982    148 |        0 |        0
1679.95/1680.46	c 1680s |      19 |   644088 |   543182 |     5982    148 |        0 |        0
1682.15/1682.67	c 1682s |      19 |   644762 |   543782 |     5982    148 |        0 |        0
1684.46/1684.95	c 1684s |      19 |   645419 |   544382 |     5982    149 |        0 |        0
1686.66/1687.13	c 1686s |      19 |   646205 |   545082 |     5982    149 |        0 |        0
1688.65/1689.17	c 1688s |      19 |   646864 |   545682 |     5982    149 |        0 |        0
1690.85/1691.32	c 1691s |      19 |   647558 |   546282 |     5982    149 |        0 |        0
1693.05/1693.52	c 1693s |      19 |   648238 |   546882 |     5982    149 |        0 |        0
1695.26/1695.74	c 1695s |      19 |   648921 |   547482 |     5982    149 |        0 |        0
1697.55/1698.01	c 1697s |      19 |   649586 |   548082 |     5982    149 |        0 |        0
1699.65/1700.16	c 1699s |      19 |   650151 |   548582 |     5982    150 |        0 |        0
1701.85/1702.36	c 1702s |      19 |   650950 |   549282 |     5982    150 |        0 |        0
1703.95/1704.48	c 1704s |      19 |   651618 |   549882 |     5982    150 |        0 |        0
1706.15/1706.65	c 1706s |      19 |   652267 |   550482 |     5982    150 |        0 |        0
1708.35/1708.86	c 1708s |      19 |   652927 |   551082 |     5982    150 |        0 |        0
1710.65/1711.19	c 1710s |      19 |   653618 |   551682 |     5982    150 |        0 |        0
1712.85/1713.30	c 1713s |      19 |   654163 |   552182 |     5982    150 |        0 |        0
1715.45/1715.93	c 1715s |      19 |   654827 |   552782 |     5982    151 |        0 |        0
1717.55/1718.06	c 1717s |      19 |   655506 |   553382 |     5982    151 |        0 |        0
1719.64/1720.17	c 1719s |      19 |   656332 |   554082 |     5982    151 |        0 |        0
1721.94/1722.41	c 1722s |      19 |   657136 |   554782 |     5982    151 |        0 |        0
1724.15/1724.60	c 1724s |      19 |   657925 |   555482 |     5982    151 |        0 |        0
1726.25/1726.78	c 1726s |      19 |   658719 |   556182 |     5982    151 |        0 |        0
1728.65/1729.11	c 1728s |      19 |   659501 |   556882 |     5982    151 |        0 |        0
1730.95/1731.44	c 1731s |      19 |   660080 |   557382 |     5982    152 |        0 |        0
1733.15/1733.70	c 1733s |      19 |   660732 |   557982 |     5982    152 |        0 |        0
1735.25/1735.72	c 1735s |      19 |   661286 |   558482 |     5982    152 |        0 |        0
1737.35/1737.85	c 1737s |      19 |   661971 |   559082 |     5982    152 |        0 |        0
1739.34/1739.89	c 1739s |      19 |   662770 |   559782 |     5982    152 |        0 |        0
1741.54/1742.03	c 1741s |      19 |   663582 |   560482 |     5982    152 |        0 |        0
1743.74/1744.27	c 1744s |      19 |   664342 |   561182 |     5982    152 |        0 |        0
1745.94/1746.42	c 1746s |      19 |   665045 |   561782 |     5982    153 |        0 |        0
1748.25/1748.76	c 1748s |      19 |   665856 |   562482 |     5982    153 |        0 |        0
1750.45/1750.93	c 1750s |      19 |   666512 |   563082 |     5982    153 |        0 |        0
1752.54/1753.05	c 1752s |      19 |   667191 |   563682 |     5982    153 |        0 |        0
1754.64/1755.17	c 1754s |      19 |   667859 |   564282 |     5982    153 |        0 |        0
1756.94/1757.44	c 1757s |      19 |   668625 |   564982 |     5982    153 |        0 |        0
1759.44/1759.98	c 1759s |      19 |   669403 |   565682 |     5982    154 |        0 |        0
1761.64/1762.14	c 1761s |      19 |   670243 |   566382 |     5982    154 |        0 |        0
1763.64/1764.17	c 1763s |      19 |   670916 |   566982 |     5982    154 |        0 |        0
1765.84/1766.38	c 1766s |      19 |   671564 |   567582 |     5982    154 |        0 |        0
1768.14/1768.63	c 1768s |      19 |   672220 |   568182 |     5982    154 |        0 |        0
1770.24/1770.72	c 1770s |      19 |   672903 |   568782 |     5982    154 |        0 |        0
1772.44/1772.97	c 1772s |      19 |   673773 |   569582 |     5982    154 |        0 |        0
1774.64/1775.12	c 1774s |      19 |   674431 |   570182 |     5982    155 |        0 |        0
1776.74/1777.25	c 1777s |      19 |   675197 |   570882 |     5982    155 |        0 |        0
1779.04/1779.52	c 1779s |      19 |   675960 |   571582 |     5982    155 |        0 |        0
1781.34/1781.83	c 1781s |      19 |   676722 |   572282 |     5982    155 |        0 |        0
1783.64/1784.19	c 1783s |      19 |   677493 |   572982 |     5982    155 |        0 |        0
1785.94/1786.41	c 1786s |      19 |   678148 |   573582 |     5982    155 |        0 |        0
1788.24/1788.74	c 1788s |      19 |   678798 |   574182 |     5982    155 |        0 |        0
1790.34/1790.84	c 1790s |      19 |   679350 |   574682 |     5982    156 |        0 |        0
1792.44/1792.93	c 1792s |      19 |   680044 |   575282 |     5982    156 |        0 |        0
1794.54/1795.06	c 1794s |      19 |   680709 |   575882 |     5982    156 |        0 |        0
1796.73/1797.21	c 1796s |      19 |   681348 |   576482 |     5982    156 |        0 |        0
1798.93/1799.47	c 1799s |      19 |   681980 |   577082 |     5982    156 |        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-4093406-1466083960/watcher-4093406-1466083960 -o /tmp/evaluation-result-4093406-1466083960/solver-4093406-1466083960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13651 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093406-1466083960.wbo 

pid=14881
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.15 2.17 2.15 2/179 14884
/proc/meminfo: memFree=30395432/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 2717 0 0 0 0 0 0 0 20 0 4 0 10441667 745992192 3078 33554432000 4194304 16246674 140733355392592 140733355392016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 182895 3089 441 2943 0 179789 0
[pid=14884/tid=14885] ppid=14881 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 764866560 3150 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 769060864 3168 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 773255168 3184 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.15 2.17 2.15 2/179 14884
/proc/meminfo: memFree=30395432/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 25366 0 0 0 5 4 0 0 20 0 4 0 10441667 1247350784 25720 33554432000 4194304 16246674 140733355392592 140733355375584 6697271 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 304529 25728 604 2943 0 301423 0
[pid=14884/tid=14885] ppid=14881 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1247350784 25734 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1247350784 25739 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1247350784 25746 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200512 s]
/proc/loadavg: 2.15 2.17 2.15 2/179 14884
/proc/meminfo: memFree=30395432/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 48573 0 0 0 12 7 0 0 20 0 4 0 10441667 1247350784 48921 33554432000 4194304 16246674 140733355392592 140733355375584 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 304529 48943 774 2943 0 301423 0
[pid=14884/tid=14885] ppid=14881 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1247350784 48949 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1247350784 48959 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1247350784 48963 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300477 s]
/proc/loadavg: 2.15 2.17 2.15 2/179 14884
/proc/meminfo: memFree=30395432/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 70485 0 0 0 19 10 0 0 20 0 4 0 10441667 1334382592 70810 33554432000 4194304 16246674 140733355392592 140733355391904 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 325777 70837 868 2943 0 322671 0
[pid=14884/tid=14885] ppid=14881 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1334382592 70851 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1334382592 70866 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1334382592 70880 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700418 s]
/proc/loadavg: 2.15 2.17 2.15 2/179 14884
/proc/meminfo: memFree=30395432/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 90650 0 0 0 57 12 0 0 20 0 4 0 10441667 1337528320 90974 33554432000 4194304 16246674 140733355392592 140733355391904 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 326545 90974 869 2943 0 323439 0
[pid=14884/tid=14885] ppid=14881 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1337528320 90974 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1337528320 90974 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1337528320 90974 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.5004 s]
/proc/loadavg: 2.15 2.17 2.15 3/183 14888
/proc/meminfo: memFree=30026328/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 218334 0 0 0 120 29 0 0 20 0 4 0 10441667 1337528320 218659 33554432000 4194304 16246674 140733355392592 140733355374464 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 326545 218678 869 2943 0 323439 0
[pid=14884/tid=14885] ppid=14881 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1337528320 218685 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1337528320 218699 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1337528320 218708 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.1004 s]
/proc/loadavg: 2.15 2.17 2.15 3/183 14888
/proc/meminfo: memFree=29323000/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 267877 0 0 0 273 35 0 0 20 0 4 0 10441667 1338576896 268201 33554432000 4194304 16246674 140733355392592 140733355374464 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 326801 268201 873 2943 0 323695 0
[pid=14884/tid=14885] ppid=14881 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1338576896 268201 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1338576896 268201 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1338576896 268201 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.14 2.17 2.15 3/183 14888
/proc/meminfo: memFree=29322628/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 267920 0 0 0 593 36 0 0 20 0 4 0 10441667 1338576896 268244 33554432000 4194304 16246674 140733355392592 140733355374464 5723564 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 326801 268244 873 2943 0 323695 0
[pid=14884/tid=14885] ppid=14881 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1338576896 268244 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1338576896 268244 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1338576896 268244 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.13 2.17 2.15 3/183 14888
/proc/meminfo: memFree=29319908/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 268592 0 0 0 1233 36 0 0 20 0 4 0 10441667 1341722624 268916 33554432000 4194304 16246674 140733355392592 140733355374464 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 327569 268916 876 2943 0 324463 0
[pid=14884/tid=14885] ppid=14881 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1341722624 268916 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1341722624 268916 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1341722624 268916 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.25 2.19 2.16 4/183 14888
/proc/meminfo: memFree=29316112/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 269633 0 0 0 2513 36 0 0 20 0 4 0 10441667 1345916928 269957 33554432000 4194304 16246674 140733355392592 140733355374464 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 328593 269957 877 2943 0 325487 0
[pid=14884/tid=14885] ppid=14881 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1345916928 269957 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1345916928 269957 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1345916928 269957 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.24 2.19 2.16 3/183 14888
/proc/meminfo: memFree=29315748/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 269716 0 0 0 5072 36 0 0 20 0 4 0 10441667 1345916928 270040 33554432000 4194304 16246674 140733355392592 140733355374464 5676609 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 328593 270040 877 2943 0 325487 0
[pid=14884/tid=14885] ppid=14881 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1345916928 270040 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1345916928 270040 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1345916928 270040 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.32 2.22 2.17 3/183 14889
/proc/meminfo: memFree=29308676/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1321540 CPUtime=102.28 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 271355 0 0 0 10189 39 0 0 20 0 4 0 10441667 1353256960 271679 33554432000 4194304 16246674 140733355392592 140733355391768 5822548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330385 271679 877 2943 0 327279 0
[pid=14884/tid=14885] ppid=14881 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1353256960 271679 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1353256960 271679 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1353256960 271679 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1323588

[startup+1362.3 s]
/proc/loadavg: 2.11 2.13 2.15 3/183 14970
/proc/meminfo: memFree=29279400/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1361.9 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 136068 122 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391768 5861860 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.16 2.14 2.15 3/183 14971
/proc/meminfo: memFree=29279428/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1421.9 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 142064 126 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391688 5545721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.09 2.12 2.14 3/183 14972
/proc/meminfo: memFree=29279580/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1481.88 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 148058 130 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391688 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.03 2.10 2.13 3/183 14974
/proc/meminfo: memFree=29279052/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1541.88 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 154055 133 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391768 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.07 2.09 2.13 3/183 14975
/proc/meminfo: memFree=29279860/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1601.86 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 160048 138 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355374464 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.08 2.09 2.12 3/184 14979
/proc/meminfo: memFree=29279292/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1661.86 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 166042 144 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391768 13874575 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.11 2.09 2.11 3/184 15003
/proc/meminfo: memFree=29278664/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1721.84 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 172035 149 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391768 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1323588

[startup+1782.3 s]
/proc/loadavg: 2.04 2.07 2.10 3/183 15004
/proc/meminfo: memFree=29278668/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1781.84 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 178029 155 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.03 2.06 2.10 3/183 15004
/proc/meminfo: memFree=29279164/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1800.04 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 179847 157 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391768 5823258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1323588

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

[startup+1800.5 s]
/proc/loadavg: 2.03 2.06 2.10 3/183 15004
/proc/meminfo: memFree=29279164/32872528 swapFree=532956/565660
[pid=14884] ppid=14881 vsize=1323588 CPUtime=1800.04 cores=0,2,4,6
/proc/14884/stat : 14884 (toysat) R 14881 14884 11130 0 -1 4202496 272341 0 0 0 179847 157 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 140733355391768 5823258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14884/statm: 330897 272601 877 2943 0 327791 0
[pid=14884/tid=14885] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14885/stat : 14885 (toysat) S 14881 14884 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658404015344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14884/tid=14886] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14886/stat : 14886 (toysat) S 14881 14884 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658393525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14884/tid=14887] ppid=14881 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14884/task/14887/stat : 14887 (toysat) S 14881 14884 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10441667 1355354112 272601 33554432000 4194304 16246674 140733355392592 139658310708400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1323588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1798.48
CPU system time (s): 1.57176
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.57176
maximum resident set size= 1090404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272341
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= 335
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5743 second user time and 6.93694 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 15:32:40
IDJOB=4093406
IDBENCH=78719
IDSOLVER=2553
FILE ID=node138/4093406-1466083960
RUNJOBID= node138-1466074865-13651
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-55-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-4093406-1466083960/watcher-4093406-1466083960 -o /tmp/evaluation-result-4093406-1466083960/solver-4093406-1466083960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13651 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093406-1466083960.wbo

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

MD5SUM BENCH= 7dae57beceb3170ed40c9307fdc88b85
RANDOM SEED=720902141

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:        30396076 kB
Buffers:           31348 kB
Cached:           106816 kB
SwapCached:         1380 kB
Active:          1148064 kB
Inactive:          63728 kB
Active(anon):    1074228 kB
Inactive(anon):     1664 kB
Active(file):      73836 kB
Inactive(file):    62064 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1724092 kB
Mapped:            10612 kB
Shmem:                 0 kB
Slab:             567184 kB
SReclaimable:      11088 kB
SUnreclaim:       556096 kB
KernelStack:        1520 kB
PageTables:         7320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1784628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1185792 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:02:41