Trace number 4093713

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
MD5SUM12a88866bbd50b724bb180a8f6ce160e
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.04384
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints85
Number of soft constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 4848
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4847
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T18:04:36+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-4093713-1466093076.wbo"]
0.00/0.01	c use --random-gen="3937246056 2726867070 3279260721 859085747 3927230266 4135002415 1208018994 3899748414 850653070 3458739380 1356837360 3585107379 566181464 1563442559 4063317450 1352282767 2197204295 1245834259 4009719693 498820705 2970649722 1977396742 3842531645 2710997312 3619639532 3480640239 1217280578 362818376 2295376457 4078061994 2457692480 2445009937 3788273422 3819216573 3155380491 1487658823 2251770191 3540795419 3672080617 3127211104 723927308 3713364434 267829615 2967653255 2894723222 4018326962 82102416 3420203261 1054178057 3913433754 2366549182 2518727608 1971171043 2823266969 1694663213 899526758 2673389230 693879778 1075853681 2501875010 115014503 807113685 625207611 1894177430 2414470143 3439167697 2597065108 2137888229 3035793722 1369238590 2718139349 3929054863 2537476025 669496838 496226354 2169356044 2159653581 1125994562 2329288373 584324494 2072198197 2554088363 3103127281 1786235993 2530372452 2563228673 4142579023 2387285518 4260749031 485112940 2837797543 1085711829 1082614701 3119931093 3077915620 2366405418 3952054010 867646028 1882677887 2955481394 1035651601 516383850 1861084462 3187101845 1876673390 62748107 1697859531 2838718277 1491735707 3372592098 3131560624 3669992311 385144033 323736418 631386216 1434995049 2915139113 2013257538 2020816271 14436070 3178087037 3389101684 2905163069 3338110451 3080090697 3267486972 696269952 2227918647 3150317703 2831750976 1121647297 2957570327 877099225 1087537046 2103018293 1859009810 4286968200 23533602 282155465 81146967 3399946221 3372984279 1658526393 3988647945 1629725397 3130677993 127063171 4292366056 521892347 2028688295 624439097 4105190665 778622274 3110949323 3503876834 1230536789 981083775 408501874 4179416133 2692204120 3760905706 4281847083 1973913494 1286332893 3276788742 2056457190 3822548165 3920436889 1520091652 4072226052 4214326929 2404537595 3140469053 1076047824 3755745110 4205089544 3136970986 1419228494 1514034221 7985567 2788809248 2959965227 3837703404 970327876 794078502 206897448 3047043035 204868946 2506238628 2028735051 1654727438 1735843939 3831945881 396496725 1158885420 1091706940 1927005834 4077565630 1166235614 3682778537 4210956038 3384755065 1456936270 1362174855 396637399 3354330627 1264015260 3482952612 2419788212 3462730316 1683022180 4002868500 341522358 532779236 2095565730 97076989 1080393335 3710787696 3497306277 2121813876 3819351367 4003009914 1399832618 2606577846 2353468064 2455120992 3527309906 3864023242 852390251 633395871 272971583 2329931508 3804507646 2579492050 2699618700 1331888785 538359593 4187988569 1370382438 2069927300 1790534969 2554195282 2257155594 4168226656 3578626714 1067805309 1007299013 221322326 2926294529 1115171587 3712306908 2878738112 3993305151 4139908334 1607490681 964319902 255 362436" option to reproduce the execution
0.00/0.09	c #vars 1800
0.00/0.09	c #constraints 85
0.09/0.10	c BCD2: Hardening is enabled.
0.09/0.10	c BCD2: BiasedSearch is enabled.
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |      656      0 |        0 |        0
0.09/0.10	c  0.0s |       0 |      125 |        0 |      656      0 |        0 |        0
0.09/0.10	c #cpu_time = 0.002s
0.09/0.10	c #wall_clock_time = 0.002s
0.09/0.10	c #decision = 125
0.09/0.10	c #random_decision = 1
0.09/0.10	c #conflict = 0
0.09/0.10	c #restart = 0
0.09/0.10	o 2214
0.09/0.10	c BCD2: updating upper bound: 4847 -> 2213
0.09/0.10	c BCD2: 0 <= obj <= 2213
0.09/0.10	c BCD2: #cores=0, #unrelaxed=85, #relaxed=0, #hardened=0
0.09/0.10	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |      656      0 |        0 |        0
0.09/0.15	c  0.0s |       1 |      238 |      100 |      656      0 |        0 |        0
0.19/0.25	c  0.1s |       2 |      975 |      250 |      722      0 |        0 |        0
0.49/0.52	c  0.4s |       3 |     2102 |      475 |      795      0 |        0 |        0
0.89/0.96	c  0.9s |       4 |     3610 |      813 |      875      0 |        0 |        0
1.49/1.58	c  1.5s |       5 |     5136 |     1320 |      963      0 |        0 |        0
2.30/2.34	c  2.2s |       6 |     7147 |     2081 |     1166      1 |        0 |        0
3.69/3.78	c  3.7s |       7 |     9570 |     3223 |     1283      2 |        0 |        0
5.79/5.80	c  5.7s |       7 |    12194 |     4423 |     1283      3 |        0 |        0
6.89/6.92	c  6.8s |       8 |    12803 |     4936 |     1412      3 |        0 |        0
8.89/8.94	c  8.8s |       8 |    16684 |     6636 |     1412      5 |        0 |        0
10.59/10.66	c 10.6s |       9 |    17853 |     7506 |     1554      5 |        0 |        0
12.59/12.69	c 12.6s |       9 |    20820 |     9206 |     1554      6 |        0 |        0
14.69/14.78	c 14.7s |       9 |    22533 |    10706 |     1554      7 |        0 |        0
15.78/15.85	c 15.8s |      10 |    23273 |    11361 |     1710      8 |        0 |        0
17.88/17.93	c 17.8s |      10 |    26394 |    12961 |     1710      9 |        0 |        0
19.98/20.00	c 19.9s |      10 |    27854 |    14161 |     1710     10 |        0 |        0
22.09/22.14	c 22.0s |      10 |    29111 |    15261 |     1710     10 |        0 |        0
24.19/24.29	c 24.2s |      10 |    30418 |    16361 |     1710     11 |        0 |        0
25.79/25.83	c 25.7s |      11 |    31313 |    17144 |     1882     11 |        0 |        0
27.89/27.97	c 27.9s |      11 |    34412 |    18544 |     1882     12 |        0 |        0
29.89/29.99	c 29.9s |      11 |    35773 |    19744 |     1882     13 |        0 |        0
32.09/32.12	c 32.0s |      11 |    37144 |    20944 |     1882     13 |        0 |        0
34.20/34.25	c 34.2s |      11 |    38569 |    21944 |     1882     14 |        0 |        0
36.40/36.43	c 36.3s |      11 |    39744 |    22944 |     1882     15 |        0 |        0
38.60/38.65	c 38.6s |      11 |    40987 |    24044 |     1882     15 |        0 |        0
40.79/40.84	c 40.7s |      11 |    42000 |    24944 |     1882     16 |        0 |        0
42.89/42.95	c 42.8s |      12 |    42976 |    25819 |     2071     16 |        0 |        0
44.89/44.98	c 44.9s |      12 |    46157 |    28019 |     2071     18 |        0 |        0
46.99/47.02	c 46.9s |      12 |    48291 |    29419 |     2071     19 |        0 |        0
48.99/49.05	c 48.9s |      12 |    49334 |    30319 |     2071     19 |        0 |        0
50.99/51.06	c 51.0s |      12 |    50248 |    31119 |     2071     20 |        0 |        0
53.18/53.29	c 53.2s |      12 |    51283 |    32019 |     2071     20 |        0 |        0
55.28/55.33	c 55.2s |      12 |    52234 |    32819 |     2071     21 |        0 |        0
57.29/57.35	c 57.3s |      12 |    53129 |    33619 |     2071     21 |        0 |        0
59.49/59.56	c 59.5s |      12 |    54024 |    34419 |     2071     21 |        0 |        0
61.78/61.81	c 61.7s |      12 |    54939 |    35219 |     2071     22 |        0 |        0
63.98/64.02	c 63.9s |      12 |    55861 |    36019 |     2071     22 |        0 |        0
65.99/66.06	c 66.0s |      12 |    56674 |    36719 |     2071     23 |        0 |        0
68.19/68.22	c 68.1s |      12 |    57567 |    37519 |     2071     23 |        0 |        0
70.49/70.52	c 70.4s |      12 |    58466 |    38319 |     2071     23 |        0 |        0
72.18/72.21	c 72.1s |      13 |    59018 |    38832 |     2279     24 |        0 |        0
74.18/74.24	c 74.1s |      13 |    62385 |    40232 |     2279     24 |        0 |        0
76.18/76.28	c 76.2s |      13 |    63636 |    41332 |     2279     25 |        0 |        0
78.28/78.34	c 78.2s |      13 |    64801 |    42332 |     2279     25 |        0 |        0
80.29/80.36	c 80.3s |      13 |    65810 |    43232 |     2279     26 |        0 |        0
82.38/82.50	c 82.4s |      13 |    66915 |    44232 |     2279     26 |        0 |        0
84.48/84.58	c 84.5s |      13 |    67948 |    45132 |     2279     27 |        0 |        0
86.58/86.66	c 86.6s |      13 |    69042 |    46132 |     2279     27 |        0 |        0
88.68/88.72	c 88.6s |      13 |    70044 |    47032 |     2279     28 |        0 |        0
90.68/90.74	c 90.6s |      13 |    71172 |    48032 |     2279     28 |        0 |        0
92.78/92.81	c 92.7s |      13 |    72203 |    48932 |     2279     29 |        0 |        0
94.88/94.98	c 94.9s |      13 |    73328 |    49932 |     2279     29 |        0 |        0
96.98/97.07	c 97.0s |      13 |    74520 |    50932 |     2279     29 |        0 |        0
98.98/99.10	c 99.0s |      13 |    75489 |    51832 |     2279     30 |        0 |        0
101.07/101.12	c  101s |      13 |    76554 |    52732 |     2279     30 |        0 |        0
103.17/103.28	c  103s |      13 |    77650 |    53732 |     2279     31 |        0 |        0
105.27/105.34	c  105s |      13 |    78662 |    54632 |     2279     31 |        0 |        0
107.47/107.54	c  107s |      13 |    79761 |    55632 |     2279     32 |        0 |        0
109.57/109.69	c  109s |      13 |    80866 |    56632 |     2279     32 |        0 |        0
111.77/111.85	c  111s |      13 |    82107 |    57732 |     2279     33 |        0 |        0
113.17/113.21	c  113s |      14 |    82844 |    58352 |     2507     33 |        0 |        0
115.17/115.28	c  115s |      14 |    85681 |    59652 |     2507     34 |        0 |        0
117.47/117.52	c  117s |      14 |    87145 |    60952 |     2507     35 |        0 |        0
119.57/119.67	c  119s |      14 |    88419 |    62052 |     2507     35 |        0 |        0
121.77/121.85	c  121s |      14 |    89611 |    63052 |     2507     35 |        0 |        0
123.87/123.90	c  123s |      14 |    90637 |    63952 |     2507     36 |        0 |        0
125.97/126.02	c  125s |      14 |    91647 |    64852 |     2507     36 |        0 |        0
127.97/128.03	c  127s |      14 |    92572 |    65652 |     2507     37 |        0 |        0
130.07/130.11	c  130s |      14 |    93613 |    66552 |     2507     37 |        0 |        0
132.27/132.36	c  132s |      14 |    94634 |    67452 |     2507     38 |        0 |        0
134.37/134.48	c  134s |      14 |    95822 |    68452 |     2507     38 |        0 |        0
136.57/136.70	c  136s |      14 |    96960 |    69452 |     2507     38 |        0 |        0
138.76/138.81	c  138s |      14 |    97989 |    70352 |     2507     39 |        0 |        0
140.87/140.99	c  140s |      14 |    99138 |    71352 |     2507     39 |        0 |        0
143.07/143.13	c  143s |      14 |   100332 |    72352 |     2507     40 |        0 |        0
145.17/145.27	c  145s |      14 |   101352 |    73252 |     2507     40 |        0 |        0
147.37/147.47	c  147s |      14 |   102674 |    74352 |     2507     41 |        0 |        0
149.47/149.55	c  149s |      14 |   103727 |    75252 |     2507     41 |        0 |        0
151.67/151.74	c  151s |      14 |   104759 |    76152 |     2507     42 |        0 |        0
153.87/153.90	c  153s |      14 |   105779 |    77052 |     2507     42 |        0 |        0
155.87/155.98	c  155s |      14 |   106570 |    77752 |     2507     42 |        0 |        0
158.07/158.12	c  158s |      14 |   107592 |    78652 |     2507     43 |        0 |        0
160.07/160.16	c  160s |      14 |   108599 |    79552 |     2507     43 |        0 |        0
162.17/162.22	c  162s |      14 |   109502 |    80352 |     2507     44 |        0 |        0
164.17/164.23	c  164s |      14 |   110419 |    81152 |     2507     44 |        0 |        0
166.27/166.38	c  166s |      14 |   111486 |    82052 |     2507     44 |        0 |        0
168.37/168.43	c  168s |      14 |   112545 |    82952 |     2507     45 |        0 |        0
170.47/170.55	c  170s |      14 |   113551 |    83852 |     2507     45 |        0 |        0
172.67/172.71	c  172s |      14 |   114593 |    84752 |     2507     46 |        0 |        0
174.87/174.93	c  174s |      14 |   115577 |    85652 |     2507     46 |        0 |        0
176.86/176.95	c  176s |      14 |   116629 |    86552 |     2507     47 |        0 |        0
179.06/179.12	c  179s |      14 |   117626 |    87452 |     2758     47 |        0 |        0
179.46/179.53	c  179s |      15 |   117820 |    87632 |     2758     47 |        0 |        0
181.47/181.59	c  181s |      15 |   120294 |    88832 |     2758     48 |        0 |        0
183.57/183.69	c  183s |      15 |   121443 |    89832 |     2758     48 |        0 |        0
185.77/185.86	c  185s |      15 |   122510 |    90732 |     2758     49 |        0 |        0
187.96/188.01	c  187s |      15 |   123567 |    91632 |     2758     49 |        0 |        0
190.16/190.22	c  190s |      15 |   124564 |    92532 |     2758     49 |        0 |        0
192.26/192.31	c  192s |      15 |   125492 |    93332 |     2758     50 |        0 |        0
194.26/194.38	c  194s |      15 |   126354 |    94132 |     2758     50 |        0 |        0
196.36/196.42	c  196s |      15 |   127284 |    94932 |     2758     50 |        0 |        0
198.56/198.62	c  198s |      15 |   128201 |    95732 |     2758     51 |        0 |        0
200.76/200.83	c  200s |      15 |   129227 |    96632 |     2758     51 |        0 |        0
202.96/203.06	c  202s |      15 |   130144 |    97432 |     2758     52 |        0 |        0
205.16/205.26	c  205s |      15 |   131040 |    98232 |     2758     52 |        0 |        0
207.36/207.45	c  207s |      15 |   132023 |    99032 |     2758     52 |        0 |        0
209.46/209.52	c  209s |      15 |   132871 |    99732 |     2758     53 |        0 |        0
211.55/211.66	c  211s |      15 |   133678 |   100432 |     2758     53 |        0 |        0
213.66/213.71	c  213s |      15 |   134434 |   101132 |     2758     53 |        0 |        0
215.67/215.73	c  215s |      15 |   135181 |   101732 |     2758     54 |        0 |        0
217.77/217.89	c  217s |      15 |   136239 |   102632 |     2758     54 |        0 |        0
220.07/220.13	c  220s |      15 |   137263 |   103532 |     2758     54 |        0 |        0
222.26/222.35	c  222s |      15 |   138303 |   104432 |     2758     55 |        0 |        0
224.36/224.42	c  224s |      15 |   139216 |   105232 |     2758     55 |        0 |        0
226.35/226.48	c  226s |      15 |   140273 |   106132 |     2758     55 |        0 |        0
228.45/228.51	c  228s |      15 |   141295 |   107032 |     2758     56 |        0 |        0
230.55/230.68	c  230s |      15 |   142383 |   107932 |     2758     56 |        0 |        0
232.75/232.88	c  232s |      15 |   143301 |   108732 |     2758     57 |        0 |        0
234.76/234.88	c  234s |      15 |   144229 |   109532 |     2758     57 |        0 |        0
236.86/236.96	c  236s |      15 |   145173 |   110332 |     2758     57 |        0 |        0
239.06/239.14	c  239s |      15 |   146076 |   111132 |     2758     58 |        0 |        0
241.15/241.26	c  241s |      15 |   146823 |   111832 |     2758     58 |        0 |        0
243.45/243.52	c  243s |      15 |   147612 |   112532 |     2758     58 |        0 |        0
245.45/245.55	c  245s |      15 |   148429 |   113232 |     2758     59 |        0 |        0
247.66/247.78	c  247s |      15 |   149321 |   114032 |     2758     59 |        0 |        0
249.66/249.80	c  249s |      15 |   150261 |   114832 |     2758     59 |        0 |        0
251.75/251.90	c  251s |      15 |   151192 |   115632 |     2758     60 |        0 |        0
253.85/253.96	c  253s |      15 |   151955 |   116332 |     2758     60 |        0 |        0
255.96/256.03	c  255s |      15 |   152740 |   117032 |     2758     60 |        0 |        0
258.05/258.18	c  258s |      15 |   153527 |   117732 |     2758     61 |        0 |        0
260.35/260.40	c  260s |      15 |   154430 |   118532 |     2758     61 |        0 |        0
262.35/262.47	c  262s |      15 |   155227 |   119232 |     2758     61 |        0 |        0
264.45/264.54	c  264s |      15 |   155948 |   119832 |     2758     62 |        0 |        0
266.55/266.61	c  266s |      15 |   156980 |   120732 |     2758     62 |        0 |        0
268.65/268.79	c  268s |      15 |   158004 |   121632 |     2758     62 |        0 |        0
270.75/270.84	c  270s |      15 |   158900 |   122432 |     2758     63 |        0 |        0
272.85/272.93	c  272s |      15 |   159795 |   123232 |     2758     63 |        0 |        0
274.85/274.99	c  274s |      15 |   160567 |   123932 |     2758     63 |        0 |        0
277.05/277.19	c  277s |      15 |   161311 |   124632 |     2758     64 |        0 |        0
279.15/279.24	c  279s |      15 |   162098 |   125332 |     2758     64 |        0 |        0
281.35/281.48	c  281s |      15 |   162858 |   126032 |     2758     64 |        0 |        0
283.65/283.72	c  283s |      15 |   163513 |   126632 |     2758     65 |        0 |        0
285.74/285.80	c  285s |      15 |   164450 |   127432 |     2758     65 |        0 |        0
287.84/287.94	c  287s |      15 |   165213 |   128132 |     2758     65 |        0 |        0
289.94/290.06	c  289s |      15 |   166124 |   128932 |     2758     66 |        0 |        0
292.05/292.11	c  292s |      15 |   167009 |   129732 |     2758     66 |        0 |        0
294.05/294.16	c  294s |      15 |   167773 |   130432 |     2758     66 |        0 |        0
296.15/296.29	c  296s |      15 |   168521 |   131132 |     3034     66 |        0 |        0
297.45/297.58	c  297s |      16 |   168977 |   131552 |     3034     67 |        0 |        0
299.65/299.73	c  299s |      16 |   171976 |   132952 |     3034     67 |        0 |        0
301.74/301.87	c  301s |      16 |   173136 |   133952 |     3034     68 |        0 |        0
303.94/304.01	c  303s |      16 |   174286 |   134952 |     3034     68 |        0 |        0
306.04/306.16	c  306s |      16 |   175300 |   135852 |     3034     68 |        0 |        0
308.14/308.23	c  308s |      16 |   176202 |   136652 |     3034     69 |        0 |        0
310.15/310.29	c  310s |      16 |   177375 |   137652 |     3034     69 |        0 |        0
312.24/312.38	c  312s |      16 |   178390 |   138552 |     3034     70 |        0 |        0
314.34/314.45	c  314s |      16 |   179542 |   139552 |     3034     70 |        0 |        0
316.54/316.69	c  316s |      16 |   180690 |   140552 |     3034     70 |        0 |        0
318.64/318.79	c  318s |      16 |   181452 |   141252 |     3034     71 |        0 |        0
320.74/320.88	c  320s |      16 |   182636 |   142252 |     3034     71 |        0 |        0
322.84/322.97	c  322s |      16 |   183631 |   143152 |     3034     71 |        0 |        0
325.14/325.21	c  325s |      16 |   184622 |   144052 |     3034     72 |        0 |        0
327.14/327.23	c  327s |      16 |   185521 |   144852 |     3034     72 |        0 |        0
329.24/329.33	c  329s |      16 |   186530 |   145752 |     3034     73 |        0 |        0
331.24/331.33	c  331s |      16 |   187533 |   146652 |     3034     73 |        0 |        0
333.35/333.45	c  333s |      16 |   188532 |   147552 |     3034     73 |        0 |        0
335.45/335.51	c  335s |      16 |   189431 |   148352 |     3034     74 |        0 |        0
337.54/337.62	c  337s |      16 |   190660 |   149452 |     3034     74 |        0 |        0
339.85/339.92	c  339s |      16 |   191789 |   150452 |     3034     75 |        0 |        0
341.94/342.01	c  341s |      16 |   192810 |   151352 |     3034     75 |        0 |        0
343.94/344.03	c  343s |      16 |   193983 |   152352 |     3034     75 |        0 |        0
346.04/346.11	c  346s |      16 |   195017 |   153252 |     3034     76 |        0 |        0
348.04/348.12	c  348s |      16 |   196032 |   154152 |     3034     76 |        0 |        0
350.14/350.23	c  350s |      16 |   196936 |   154952 |     3034     76 |        0 |        0
352.24/352.37	c  352s |      16 |   197927 |   155852 |     3034     77 |        0 |        0
354.33/354.43	c  354s |      16 |   198783 |   156652 |     3034     77 |        0 |        0
356.63/356.74	c  356s |      16 |   199534 |   157352 |     3034     77 |        0 |        0
358.64/358.76	c  358s |      16 |   200436 |   158152 |     3034     78 |        0 |        0
360.74/360.89	c  360s |      16 |   201312 |   158952 |     3034     78 |        0 |        0
362.84/362.94	c  362s |      16 |   202097 |   159652 |     3034     78 |        0 |        0
365.04/365.10	c  364s |      16 |   202843 |   160352 |     3034     79 |        0 |        0
367.24/367.33	c  367s |      16 |   203702 |   161152 |     3034     79 |        0 |        0
369.34/369.41	c  369s |      16 |   204351 |   161752 |     3034     79 |        0 |        0
371.44/371.51	c  371s |      16 |   205159 |   162452 |     3034     80 |        0 |        0
373.54/373.60	c  373s |      16 |   206300 |   163452 |     3034     80 |        0 |        0
375.63/375.77	c  375s |      16 |   207306 |   164352 |     3034     80 |        0 |        0
377.73/377.81	c  377s |      16 |   208212 |   165152 |     3034     81 |        0 |        0
379.83/379.92	c  379s |      16 |   209369 |   166152 |     3034     81 |        0 |        0
381.93/382.07	c  381s |      16 |   210535 |   167152 |     3034     81 |        0 |        0
384.03/384.10	c  383s |      16 |   211413 |   167952 |     3034     82 |        0 |        0
386.14/386.25	c  386s |      16 |   212532 |   168952 |     3034     82 |        0 |        0
388.24/388.39	c  388s |      16 |   213532 |   169852 |     3034     83 |        0 |        0
390.43/390.58	c  390s |      16 |   214682 |   170852 |     3034     83 |        0 |        0
392.53/392.60	c  392s |      16 |   215701 |   171752 |     3034     83 |        0 |        0
394.53/394.65	c  394s |      16 |   216589 |   172552 |     3034     84 |        0 |        0
396.63/396.72	c  396s |      16 |   217565 |   173452 |     3034     84 |        0 |        0
398.73/398.80	c  398s |      16 |   218459 |   174252 |     3034     84 |        0 |        0
400.83/400.95	c  400s |      16 |   219341 |   175052 |     3034     85 |        0 |        0
402.83/402.95	c  402s |      16 |   220359 |   175952 |     3034     85 |        0 |        0
404.84/404.98	c  404s |      16 |   221260 |   176752 |     3034     85 |        0 |        0
406.94/407.03	c  406s |      16 |   222341 |   177652 |     3034     86 |        0 |        0
409.03/409.13	c  409s |      16 |   223231 |   178452 |     3034     86 |        0 |        0
411.33/411.43	c  411s |      16 |   224118 |   179252 |     3034     87 |        0 |        0
413.43/413.53	c  413s |      16 |   225027 |   180052 |     3034     87 |        0 |        0
415.53/415.66	c  415s |      16 |   225799 |   180752 |     3034     87 |        0 |        0
417.82/417.93	c  417s |      16 |   226565 |   181452 |     3034     87 |        0 |        0
420.02/420.14	c  420s |      16 |   227321 |   182152 |     3034     88 |        0 |        0
422.23/422.33	c  422s |      16 |   228085 |   182852 |     3034     88 |        0 |        0
424.43/424.58	c  424s |      16 |   228833 |   183552 |     3034     88 |        0 |        0
426.74/426.83	c  426s |      16 |   229508 |   184152 |     3034     89 |        0 |        0
428.83/428.92	c  428s |      16 |   230252 |   184852 |     3034     89 |        0 |        0
430.93/431.04	c  430s |      16 |   231494 |   185952 |     3034     89 |        0 |        0
433.03/433.16	c  433s |      16 |   232738 |   187052 |     3034     90 |        0 |        0
435.23/435.30	c  435s |      16 |   233987 |   188152 |     3034     90 |        0 |        0
437.23/437.36	c  437s |      16 |   234978 |   189052 |     3034     91 |        0 |        0
439.43/439.58	c  439s |      16 |   236109 |   190052 |     3034     91 |        0 |        0
441.72/441.82	c  441s |      16 |   237084 |   190952 |     3034     91 |        0 |        0
443.82/443.98	c  443s |      16 |   237954 |   191752 |     3034     92 |        0 |        0
446.12/446.22	c  446s |      16 |   238945 |   192652 |     3034     92 |        0 |        0
448.32/448.46	c  448s |      16 |   239810 |   193452 |     3034     92 |        0 |        0
450.42/450.50	c  450s |      16 |   240746 |   194252 |     3034     93 |        0 |        0
452.42/452.56	c  452s |      16 |   241763 |   195152 |     3034     93 |        0 |        0
454.52/454.64	c  454s |      16 |   242677 |   195952 |     3034     94 |        0 |        0
456.72/456.85	c  456s |      16 |   243705 |   196852 |     3338     94 |        0 |        0
458.32/458.42	c  458s |      17 |   244352 |   197432 |     3338     94 |        0 |        0
460.42/460.56	c  460s |      17 |   246891 |   198632 |     3338     95 |        0 |        0
462.52/462.65	c  462s |      17 |   248093 |   199632 |     3338     95 |        0 |        0
464.52/464.69	c  464s |      17 |   249106 |   200532 |     3338     95 |        0 |        0
466.62/466.75	c  466s |      17 |   250009 |   201332 |     3338     96 |        0 |        0
468.82/468.90	c  468s |      17 |   251052 |   202232 |     3338     96 |        0 |        0
471.22/471.32	c  471s |      17 |   252231 |   203232 |     3338     97 |        0 |        0
473.42/473.50	c  473s |      17 |   253253 |   204132 |     3338     97 |        0 |        0
475.61/475.74	c  475s |      17 |   254120 |   204932 |     3338     97 |        0 |        0
477.82/477.98	c  477s |      17 |   255045 |   205732 |     3338     98 |        0 |        0
479.92/480.09	c  479s |      17 |   256076 |   206632 |     3338     98 |        0 |        0
482.02/482.10	c  482s |      17 |   256973 |   207432 |     3338     98 |        0 |        0
484.12/484.29	c  484s |      17 |   257918 |   208232 |     3338     99 |        0 |        0
486.23/486.39	c  486s |      17 |   258843 |   209032 |     3338     99 |        0 |        0
488.42/488.55	c  488s |      17 |   259884 |   209932 |     3338     99 |        0 |        0
490.52/490.61	c  490s |      17 |   260761 |   210732 |     3338     99 |        0 |        0
492.72/492.83	c  492s |      17 |   261680 |   211532 |     3338    100 |        0 |        0
494.92/495.03	c  494s |      17 |   262558 |   212332 |     3338    100 |        0 |        0
497.01/497.13	c  497s |      17 |   263343 |   213032 |     3338    100 |        0 |        0
499.11/499.29	c  499s |      17 |   264268 |   213832 |     3338    101 |        0 |        0
501.41/501.56	c  501s |      17 |   265248 |   214732 |     3338    101 |        0 |        0
503.51/503.69	c  503s |      17 |   266009 |   215432 |     3338    101 |        0 |        0
505.62/505.73	c  505s |      17 |   266826 |   216132 |     3338    102 |        0 |        0
507.71/507.89	c  507s |      17 |   267741 |   216932 |     3338    102 |        0 |        0
510.01/510.16	c  510s |      17 |   268629 |   217732 |     3338    102 |        0 |        0
512.21/512.39	c  512s |      17 |   269377 |   218432 |     3338    103 |        0 |        0
514.31/514.44	c  514s |      17 |   270152 |   219132 |     3338    103 |        0 |        0
516.41/516.55	c  516s |      17 |   270905 |   219832 |     3338    103 |        0 |        0
518.62/518.77	c  518s |      17 |   271805 |   220632 |     3338    103 |        0 |        0
520.81/520.91	c  520s |      17 |   272692 |   221432 |     3338    104 |        0 |        0
522.91/523.07	c  522s |      17 |   273624 |   222232 |     3338    104 |        0 |        0
525.01/525.11	c  525s |      17 |   274387 |   222932 |     3338    104 |        0 |        0
527.11/527.27	c  527s |      17 |   275142 |   223632 |     3338    105 |        0 |        0
529.41/529.55	c  529s |      17 |   275909 |   224332 |     3338    105 |        0 |        0
531.41/531.56	c  531s |      17 |   276580 |   224932 |     3338    105 |        0 |        0
533.51/533.65	c  533s |      17 |   277247 |   225532 |     3338    105 |        0 |        0
535.71/535.87	c  535s |      17 |   278022 |   226232 |     3338    106 |        0 |        0
537.81/537.91	c  537s |      17 |   278672 |   226832 |     3338    106 |        0 |        0
539.81/539.92	c  539s |      17 |   279313 |   227432 |     3338    106 |        0 |        0
541.91/542.01	c  541s |      17 |   280102 |   228132 |     3338    106 |        0 |        0
544.01/544.16	c  544s |      17 |   280864 |   228832 |     3338    107 |        0 |        0
546.41/546.53	c  546s |      17 |   281620 |   229532 |     3338    107 |        0 |        0
548.50/548.68	c  548s |      17 |   282277 |   230132 |     3338    107 |        0 |        0
550.71/550.88	c  550s |      17 |   282952 |   230732 |     3338    107 |        0 |        0
553.01/553.10	c  553s |      17 |   283705 |   231432 |     3338    108 |        0 |        0
555.30/555.44	c  555s |      17 |   284454 |   232132 |     3338    108 |        0 |        0
557.40/557.58	c  557s |      17 |   285135 |   232732 |     3338    108 |        0 |        0
559.71/559.80	c  559s |      17 |   285884 |   233432 |     3338    108 |        0 |        0
561.71/561.82	c  561s |      17 |   286549 |   234032 |     3338    109 |        0 |        0
563.80/563.90	c  563s |      17 |   287320 |   234732 |     3338    109 |        0 |        0
565.90/566.02	c  565s |      17 |   288123 |   235432 |     3338    109 |        0 |        0
567.90/568.06	c  567s |      17 |   288912 |   236132 |     3338    109 |        0 |        0
570.01/570.13	c  570s |      17 |   289573 |   236732 |     3338    110 |        0 |        0
572.20/572.36	c  572s |      17 |   290338 |   237432 |     3338    110 |        0 |        0
574.40/574.55	c  574s |      17 |   291396 |   238332 |     3338    110 |        0 |        0
576.60/576.71	c  576s |      17 |   292291 |   239132 |     3338    111 |        0 |        0
578.80/578.99	c  578s |      17 |   293340 |   240032 |     3338    111 |        0 |        0
580.91/581.03	c  580s |      17 |   294097 |   240732 |     3338    111 |        0 |        0
583.01/583.15	c  583s |      17 |   294896 |   241432 |     3338    112 |        0 |        0
585.31/585.43	c  585s |      17 |   295762 |   242232 |     3338    112 |        0 |        0
587.60/587.72	c  587s |      17 |   296543 |   242932 |     3338    112 |        0 |        0
589.80/589.98	c  589s |      17 |   297339 |   243632 |     3338    112 |        0 |        0
591.90/592.05	c  591s |      17 |   298049 |   244232 |     3338    113 |        0 |        0
594.00/594.12	c  594s |      17 |   298874 |   244932 |     3338    113 |        0 |        0
596.21/596.34	c  596s |      17 |   299536 |   245532 |     3338    113 |        0 |        0
598.20/598.35	c  598s |      17 |   300357 |   246232 |     3338    113 |        0 |        0
600.30/600.46	c  600s |      17 |   301153 |   246932 |     3338    114 |        0 |        0
602.60/602.76	c  602s |      17 |   302037 |   247732 |     3338    114 |        0 |        0
604.70/604.83	c  604s |      17 |   302833 |   248432 |     3338    114 |        0 |        0
606.89/607.03	c  606s |      17 |   303804 |   249232 |     3338    115 |        0 |        0
609.20/609.33	c  609s |      17 |   304707 |   250032 |     3338    115 |        0 |        0
611.40/611.50	c  611s |      17 |   305493 |   250732 |     3338    115 |        0 |        0
613.71/613.87	c  613s |      17 |   306271 |   251432 |     3338    116 |        0 |        0
615.70/615.89	c  615s |      17 |   307038 |   252132 |     3338    116 |        0 |        0
617.80/617.94	c  617s |      17 |   307695 |   252732 |     3338    116 |        0 |        0
619.90/620.03	c  619s |      17 |   308336 |   253332 |     3338    116 |        0 |        0
622.10/622.21	c  622s |      17 |   309082 |   254032 |     3338    117 |        0 |        0
624.29/624.41	c  624s |      17 |   309953 |   254832 |     3338    117 |        0 |        0
626.29/626.42	c  626s |      17 |   310733 |   255532 |     3338    117 |        0 |        0
628.40/628.58	c  628s |      17 |   311395 |   256132 |     3338    117 |        0 |        0
630.50/630.69	c  630s |      17 |   312178 |   256832 |     3338    118 |        0 |        0
632.59/632.75	c  632s |      17 |   313070 |   257632 |     3338    118 |        0 |        0
634.79/634.98	c  634s |      17 |   313958 |   258432 |     3338    118 |        0 |        0
637.00/637.18	c  637s |      17 |   314711 |   259132 |     3338    119 |        0 |        0
639.20/639.33	c  639s |      17 |   315490 |   259832 |     3338    119 |        0 |        0
641.40/641.55	c  641s |      17 |   316238 |   260532 |     3338    119 |        0 |        0
643.40/643.58	c  643s |      17 |   317127 |   261332 |     3338    119 |        0 |        0
645.60/645.73	c  645s |      17 |   318008 |   262132 |     3338    120 |        0 |        0
647.80/647.93	c  647s |      17 |   318908 |   262932 |     3338    120 |        0 |        0
650.00/650.10	c  650s |      17 |   319817 |   263732 |     3338    120 |        0 |        0
652.20/652.36	c  652s |      17 |   320690 |   264532 |     3338    121 |        0 |        0
654.40/654.60	c  654s |      17 |   321562 |   265332 |     3338    121 |        0 |        0
656.60/656.72	c  656s |      17 |   322344 |   266032 |     3338    121 |        0 |        0
658.80/658.97	c  658s |      17 |   323003 |   266632 |     3338    122 |        0 |        0
661.00/661.13	c  661s |      17 |   323906 |   267432 |     3338    122 |        0 |        0
662.99/663.16	c  663s |      17 |   324852 |   268232 |     3338    122 |        0 |        0
665.09/665.20	c  665s |      17 |   325782 |   269032 |     3338    122 |        0 |        0
667.19/667.37	c  667s |      17 |   326733 |   269832 |     3338    123 |        0 |        0
669.49/669.62	c  669s |      17 |   327775 |   270732 |     3338    123 |        0 |        0
671.69/671.85	c  671s |      17 |   328823 |   271632 |     3338    123 |        0 |        0
673.69/673.86	c  673s |      17 |   329608 |   272332 |     3338    124 |        0 |        0
675.79/675.91	c  675s |      17 |   330397 |   273032 |     3338    124 |        0 |        0
677.99/678.12	c  678s |      17 |   331487 |   273932 |     3338    124 |        0 |        0
680.09/680.20	c  680s |      17 |   332441 |   274732 |     3338    125 |        0 |        0
682.19/682.32	c  682s |      17 |   333240 |   275432 |     3338    125 |        0 |        0
684.29/684.41	c  684s |      17 |   334286 |   276332 |     3338    125 |        0 |        0
686.29/686.41	c  686s |      17 |   335295 |   277232 |     3338    126 |        0 |        0
688.49/688.63	c  688s |      17 |   336403 |   278232 |     3338    126 |        0 |        0
690.69/690.84	c  690s |      17 |   337553 |   279232 |     3338    126 |        0 |        0
692.69/692.88	c  692s |      17 |   338464 |   280032 |     3338    127 |        0 |        0
694.78/694.92	c  694s |      17 |   339393 |   280832 |     3338    127 |        0 |        0
696.88/697.01	c  696s |      17 |   340289 |   281632 |     3338    127 |        0 |        0
698.88/699.02	c  698s |      17 |   341058 |   282332 |     3338    128 |        0 |        0
700.88/701.07	c  700s |      17 |   342110 |   283232 |     3338    128 |        0 |        0
702.98/703.15	c  703s |      17 |   342998 |   284032 |     3338    128 |        0 |        0
705.18/705.38	c  705s |      17 |   344034 |   284932 |     3338    129 |        0 |        0
707.38/707.56	c  707s |      17 |   345017 |   285832 |     3338    129 |        0 |        0
709.49/709.61	c  709s |      17 |   345904 |   286632 |     3338    129 |        0 |        0
711.48/711.67	c  711s |      17 |   346659 |   287332 |     3338    130 |        0 |        0
713.58/713.70	c  713s |      17 |   347444 |   288032 |     3338    130 |        0 |        0
715.58/715.77	c  715s |      17 |   348253 |   288732 |     3338    130 |        0 |        0
717.78/717.95	c  717s |      17 |   349426 |   289732 |     3338    131 |        0 |        0
719.98/720.19	c  720s |      17 |   350761 |   290832 |     3338    131 |        0 |        0
722.18/722.36	c  722s |      17 |   351723 |   291632 |     3338    131 |        0 |        0
724.28/724.49	c  724s |      17 |   352738 |   292532 |     3338    132 |        0 |        0
726.48/726.67	c  726s |      17 |   353762 |   293432 |     3338    132 |        0 |        0
728.68/728.82	c  728s |      17 |   354677 |   294232 |     3672    132 |        0 |        0
730.97/731.14	c  731s |      17 |   355624 |   295032 |     3672    133 |        0 |        0
733.07/733.22	c  733s |      17 |   356570 |   295832 |     3672    133 |        0 |        0
734.27/734.48	c  734s |      18 |   357024 |   296252 |     3672    133 |        0 |        0
736.47/736.63	c  736s |      18 |   359744 |   297652 |     3672    134 |        0 |        0
738.57/738.74	c  738s |      18 |   361211 |   298952 |     3672    134 |        0 |        0
740.67/740.83	c  740s |      18 |   362423 |   300052 |     3672    135 |        0 |        0
742.77/742.98	c  742s |      18 |   363754 |   301252 |     3672    135 |        0 |        0
744.87/745.09	c  744s |      18 |   365041 |   302352 |     3672    135 |        0 |        0
746.97/747.19	c  747s |      18 |   366338 |   303452 |     3672    136 |        0 |        0
749.08/749.24	c  749s |      18 |   367484 |   304452 |     3672    136 |        0 |        0
751.18/751.32	c  751s |      18 |   368466 |   305352 |     3672    137 |        0 |        0
753.27/753.47	c  753s |      18 |   369593 |   306352 |     3672    137 |        0 |        0
755.47/755.64	c  755s |      18 |   370697 |   307352 |     3672    137 |        0 |        0
757.47/757.65	c  757s |      18 |   371561 |   308152 |     3672    138 |        0 |        0
759.67/759.82	c  759s |      18 |   372618 |   309052 |     3672    138 |        0 |        0
761.77/761.92	c  761s |      18 |   373522 |   309852 |     3672    138 |        0 |        0
763.77/763.96	c  763s |      18 |   374277 |   310552 |     3672    139 |        0 |        0
765.87/766.06	c  765s |      18 |   375292 |   311452 |     3672    139 |        0 |        0
767.97/768.11	c  768s |      18 |   376325 |   312352 |     3672    139 |        0 |        0
770.17/770.38	c  770s |      18 |   377299 |   313252 |     3672    140 |        0 |        0
772.27/772.41	c  772s |      18 |   378086 |   313952 |     3672    140 |        0 |        0
774.47/774.68	c  774s |      18 |   378958 |   314752 |     3672    140 |        0 |        0
776.57/776.72	c  776s |      18 |   379716 |   315452 |     3672    140 |        0 |        0
778.57/778.80	c  778s |      18 |   380610 |   316252 |     3672    141 |        0 |        0
780.66/780.89	c  780s |      18 |   381654 |   317152 |     3672    141 |        0 |        0
782.76/782.94	c  782s |      18 |   382533 |   317952 |     3672    141 |        0 |        0
784.96/785.18	c  785s |      18 |   383274 |   318652 |     3672    142 |        0 |        0
787.36/787.51	c  787s |      18 |   384147 |   319452 |     3672    142 |        0 |        0
789.36/789.53	c  789s |      18 |   384792 |   320052 |     3672    142 |        0 |        0
791.36/791.54	c  791s |      18 |   385813 |   320952 |     3672    142 |        0 |        0
793.56/793.75	c  793s |      18 |   386784 |   321852 |     3672    143 |        0 |        0
795.56/795.79	c  795s |      18 |   387797 |   322752 |     3672    143 |        0 |        0
797.76/797.90	c  797s |      18 |   388699 |   323552 |     3672    143 |        0 |        0
799.86/800.04	c  799s |      18 |   389742 |   324452 |     3672    144 |        0 |        0
801.87/802.07	c  801s |      18 |   390872 |   325452 |     3672    144 |        0 |        0
804.07/804.22	c  804s |      18 |   391988 |   326452 |     3672    144 |        0 |        0
806.27/806.41	c  806s |      18 |   393108 |   327452 |     3672    145 |        0 |        0
808.26/808.45	c  808s |      18 |   394110 |   328352 |     3672    145 |        0 |        0
810.26/810.48	c  810s |      18 |   395095 |   329252 |     3672    145 |        0 |        0
812.46/812.63	c  812s |      18 |   396087 |   330152 |     3672    146 |        0 |        0
814.66/814.81	c  814s |      18 |   396926 |   330952 |     3672    146 |        0 |        0
816.86/817.01	c  816s |      18 |   397914 |   331852 |     3672    146 |        0 |        0
818.85/819.08	c  818s |      18 |   398769 |   332652 |     3672    147 |        0 |        0
820.95/821.12	c  821s |      18 |   399660 |   333452 |     3672    147 |        0 |        0
822.95/823.19	c  823s |      18 |   400519 |   334252 |     3672    147 |        0 |        0
825.25/825.48	c  825s |      18 |   401267 |   334952 |     3672    148 |        0 |        0
827.54/827.71	c  827s |      18 |   402150 |   335752 |     3672    148 |        0 |        0
829.64/829.84	c  829s |      18 |   402896 |   336452 |     3672    148 |        0 |        0
831.74/831.93	c  831s |      18 |   404026 |   337452 |     3672    148 |        0 |        0
833.85/834.02	c  833s |      18 |   405095 |   338452 |     3672    149 |        0 |        0
835.96/836.14	c  836s |      18 |   406292 |   339552 |     3672    149 |        0 |        0
838.06/838.26	c  838s |      18 |   407275 |   340452 |     3672    150 |        0 |        0
840.05/840.28	c  840s |      18 |   408384 |   341452 |     3672    150 |        0 |        0
842.25/842.45	c  842s |      18 |   409483 |   342452 |     3672    150 |        0 |        0
844.34/844.53	c  844s |      18 |   410442 |   343352 |     3672    151 |        0 |        0
846.44/846.62	c  846s |      18 |   411438 |   344252 |     3672    151 |        0 |        0
848.64/848.84	c  848s |      18 |   412603 |   345252 |     3672    151 |        0 |        0
850.64/850.87	c  850s |      18 |   413654 |   346152 |     3672    152 |        0 |        0
852.84/853.04	c  852s |      18 |   414896 |   347252 |     3672    152 |        0 |        0
854.94/855.14	c  855s |      18 |   415903 |   348152 |     3672    152 |        0 |        0
856.94/857.17	c  857s |      18 |   416772 |   348952 |     3672    153 |        0 |        0
859.14/859.33	c  859s |      18 |   418066 |   350052 |     3672    153 |        0 |        0
861.43/861.63	c  861s |      18 |   419186 |   351052 |     3672    154 |        0 |        0
863.44/863.68	c  863s |      18 |   420198 |   351952 |     3672    154 |        0 |        0
865.64/865.89	c  865s |      18 |   421305 |   352952 |     3672    154 |        0 |        0
867.84/868.04	c  867s |      18 |   422267 |   353852 |     3672    155 |        0 |        0
869.94/870.17	c  870s |      18 |   423237 |   354752 |     3672    155 |        0 |        0
872.14/872.37	c  872s |      18 |   424213 |   355652 |     3672    155 |        0 |        0
874.63/874.84	c  874s |      18 |   425128 |   356452 |     3672    156 |        0 |        0
876.73/876.96	c  876s |      18 |   426352 |   357552 |     3672    156 |        0 |        0
879.03/879.27	c  879s |      18 |   427416 |   358552 |     3672    156 |        0 |        0
881.13/881.39	c  881s |      18 |   428325 |   359352 |     3672    157 |        0 |        0
883.33/883.57	c  883s |      18 |   429533 |   360452 |     3672    157 |        0 |        0
885.53/885.74	c  885s |      18 |   430489 |   361352 |     3672    157 |        0 |        0
887.63/887.85	c  887s |      18 |   431530 |   362252 |     3672    158 |        0 |        0
889.83/890.03	c  889s |      18 |   432521 |   363152 |     3672    158 |        0 |        0
891.82/892.07	c  891s |      18 |   433541 |   364052 |     3672    158 |        0 |        0
894.02/894.23	c  894s |      18 |   434468 |   364852 |     3672    159 |        0 |        0
896.22/896.47	c  896s |      18 |   435453 |   365752 |     3672    159 |        0 |        0
898.42/898.70	c  898s |      18 |   436334 |   366552 |     3672    159 |        0 |        0
900.52/900.78	c  900s |      18 |   437088 |   367252 |     3672    160 |        0 |        0
902.63/902.84	c  902s |      18 |   437955 |   368052 |     3672    160 |        0 |        0
904.83/905.05	c  904s |      18 |   438953 |   368952 |     3672    160 |        0 |        0
906.93/907.18	c  907s |      18 |   439816 |   369752 |     3672    160 |        0 |        0
909.03/909.21	c  909s |      18 |   440604 |   370452 |     3672    161 |        0 |        0
911.02/911.28	c  911s |      18 |   441645 |   371352 |     3672    161 |        0 |        0
913.22/913.45	c  913s |      18 |   442647 |   372252 |     3672    161 |        0 |        0
915.32/915.57	c  915s |      18 |   443529 |   373052 |     3672    162 |        0 |        0
917.62/917.81	c  917s |      18 |   444514 |   373952 |     3672    162 |        0 |        0
919.72/919.99	c  919s |      18 |   445395 |   374752 |     3672    162 |        0 |        0
921.81/922.01	c  921s |      18 |   446054 |   375352 |     3672    163 |        0 |        0
924.01/924.21	c  924s |      18 |   446929 |   376152 |     3672    163 |        0 |        0
926.12/926.39	c  926s |      18 |   447812 |   376952 |     3672    163 |        0 |        0
928.33/928.57	c  928s |      18 |   448898 |   377952 |     3672    163 |        0 |        0
930.52/930.77	c  930s |      18 |   449885 |   378852 |     3672    164 |        0 |        0
932.72/932.91	c  932s |      18 |   450744 |   379652 |     3672    164 |        0 |        0
934.92/935.18	c  935s |      18 |   451616 |   380452 |     3672    164 |        0 |        0
937.02/937.28	c  937s |      18 |   452382 |   381152 |     3672    165 |        0 |        0
939.32/939.54	c  939s |      18 |   453354 |   382052 |     3672    165 |        0 |        0
941.51/941.74	c  941s |      18 |   454233 |   382852 |     3672    165 |        0 |        0
943.51/943.79	c  943s |      18 |   454918 |   383452 |     3672    166 |        0 |        0
945.82/946.07	c  945s |      18 |   455881 |   384252 |     3672    166 |        0 |        0
947.91/948.15	c  948s |      18 |   456663 |   384952 |     3672    166 |        0 |        0
949.91/950.19	c  950s |      18 |   457533 |   385752 |     3672    166 |        0 |        0
952.10/952.36	c  952s |      18 |   458422 |   386552 |     3672    167 |        0 |        0
954.30/954.57	c  954s |      18 |   459302 |   387352 |     3672    167 |        0 |        0
956.50/956.74	c  956s |      18 |   460156 |   388152 |     3672    167 |        0 |        0
958.70/958.92	c  958s |      18 |   460954 |   388852 |     3672    168 |        0 |        0
960.70/960.93	c  960s |      18 |   461940 |   389752 |     3672    168 |        0 |        0
962.80/963.09	c  962s |      18 |   462978 |   390652 |     3672    168 |        0 |        0
965.00/965.28	c  965s |      18 |   463839 |   391452 |     3672    168 |        0 |        0
967.10/967.34	c  967s |      18 |   464644 |   392152 |     3672    169 |        0 |        0
969.20/969.45	c  969s |      18 |   465634 |   393052 |     3672    169 |        0 |        0
971.30/971.53	c  971s |      18 |   466657 |   393952 |     3672    169 |        0 |        0
973.49/973.76	c  973s |      18 |   467640 |   394852 |     3672    170 |        0 |        0
975.50/975.77	c  975s |      18 |   468513 |   395652 |     3672    170 |        0 |        0
977.59/977.88	c  977s |      18 |   469396 |   396452 |     3672    170 |        0 |        0
979.79/980.04	c  979s |      18 |   470147 |   397152 |     3672    171 |        0 |        0
981.99/982.22	c  982s |      18 |   471025 |   397952 |     3672    171 |        0 |        0
984.19/984.43	c  984s |      18 |   471929 |   398752 |     3672    171 |        0 |        0
986.29/986.51	c  986s |      18 |   472708 |   399452 |     3672    171 |        0 |        0
988.39/988.60	c  988s |      18 |   473546 |   400152 |     3672    172 |        0 |        0
990.39/990.65	c  990s |      18 |   474675 |   401152 |     3672    172 |        0 |        0
992.39/992.67	c  992s |      18 |   475678 |   402052 |     3672    172 |        0 |        0
994.38/994.68	c  994s |      18 |   476547 |   402852 |     3672    173 |        0 |        0
996.49/996.77	c  996s |      18 |   477633 |   403852 |     3672    173 |        0 |        0
998.69/998.96	c  998s |      18 |   478635 |   404752 |     3672    173 |        0 |        0
1000.89/1001.10	c 1001s |      18 |   479621 |   405652 |     3672    174 |        0 |        0
1002.88/1003.12	c 1003s |      18 |   480626 |   406552 |     3672    174 |        0 |        0
1005.08/1005.33	c 1005s |      18 |   481748 |   407552 |     3672    174 |        0 |        0
1007.28/1007.55	c 1007s |      18 |   482731 |   408452 |     3672    175 |        0 |        0
1009.38/1009.64	c 1009s |      18 |   483703 |   409352 |     3672    175 |        0 |        0
1011.47/1011.71	c 1011s |      18 |   484711 |   410252 |     3672    175 |        0 |        0
1013.67/1013.94	c 1013s |      18 |   485690 |   411152 |     3672    176 |        0 |        0
1015.77/1016.03	c 1015s |      18 |   486538 |   411952 |     3672    176 |        0 |        0
1017.87/1018.14	c 1018s |      18 |   487558 |   412852 |     3672    176 |        0 |        0
1019.97/1020.20	c 1020s |      18 |   488439 |   413652 |     3672    177 |        0 |        0
1022.07/1022.35	c 1022s |      18 |   489533 |   414652 |     3672    177 |        0 |        0
1024.27/1024.54	c 1024s |      18 |   490510 |   415552 |     3672    177 |        0 |        0
1026.37/1026.69	c 1026s |      18 |   491523 |   416452 |     3672    178 |        0 |        0
1028.56/1028.81	c 1028s |      18 |   492492 |   417352 |     3672    178 |        0 |        0
1030.66/1030.98	c 1030s |      18 |   493363 |   418152 |     3672    178 |        0 |        0
1032.87/1033.12	c 1033s |      18 |   494317 |   419052 |     3672    179 |        0 |        0
1034.88/1035.15	c 1035s |      18 |   495339 |   419952 |     3672    179 |        0 |        0
1036.97/1037.23	c 1037s |      18 |   496320 |   420852 |     3672    179 |        0 |        0
1038.97/1039.29	c 1039s |      18 |   497179 |   421652 |     3672    180 |        0 |        0
1041.17/1041.49	c 1041s |      18 |   498044 |   422452 |     3672    180 |        0 |        0
1043.27/1043.56	c 1043s |      18 |   498789 |   423152 |     3672    180 |        0 |        0
1045.37/1045.66	c 1045s |      18 |   499548 |   423852 |     3672    180 |        0 |        0
1047.46/1047.78	c 1047s |      18 |   500538 |   424752 |     3672    181 |        0 |        0
1049.76/1050.00	c 1049s |      18 |   501424 |   425552 |     3672    181 |        0 |        0
1051.86/1052.11	c 1052s |      18 |   502496 |   426452 |     3672    181 |        0 |        0
1053.86/1054.18	c 1054s |      18 |   503649 |   427452 |     3672    182 |        0 |        0
1056.06/1056.34	c 1056s |      18 |   504746 |   428452 |     3672    182 |        0 |        0
1058.07/1058.38	c 1058s |      18 |   505744 |   429352 |     3672    183 |        0 |        0
1060.05/1060.39	c 1060s |      18 |   506955 |   430352 |     3672    183 |        0 |        0
1062.25/1062.60	c 1062s |      18 |   508080 |   431352 |     3672    183 |        0 |        0
1064.45/1064.79	c 1064s |      18 |   509035 |   432252 |     3672    184 |        0 |        0
1066.65/1066.94	c 1066s |      18 |   510147 |   433252 |     3672    184 |        0 |        0
1068.65/1068.94	c 1068s |      18 |   511154 |   434152 |     3672    184 |        0 |        0
1070.65/1070.97	c 1070s |      18 |   512045 |   434952 |     3672    185 |        0 |        0
1072.75/1073.09	c 1072s |      18 |   513124 |   435952 |     3672    185 |        0 |        0
1074.85/1075.12	c 1075s |      18 |   514006 |   436752 |     3672    185 |        0 |        0
1076.95/1077.23	c 1077s |      18 |   514897 |   437552 |     3672    186 |        0 |        0
1078.95/1079.29	c 1079s |      18 |   515782 |   438352 |     3672    186 |        0 |        0
1081.24/1081.52	c 1081s |      18 |   516890 |   439352 |     3672    186 |        0 |        0
1083.25/1083.59	c 1083s |      18 |   517763 |   440152 |     3672    187 |        0 |        0
1085.34/1085.67	c 1085s |      18 |   518630 |   440952 |     3672    187 |        0 |        0
1087.44/1087.71	c 1087s |      18 |   519630 |   441852 |     4040    187 |        0 |        0
1089.64/1089.94	c 1089s |      18 |   520635 |   442752 |     4040    187 |        0 |        0
1091.73/1092.05	c 1091s |      18 |   521512 |   443552 |     4040    188 |        0 |        0
1093.93/1094.22	c 1094s |      18 |   522372 |   444352 |     4040    188 |        0 |        0
1094.24/1094.59	c 1094s |      19 |   522513 |   444482 |     4040    188 |        0 |        0
1096.33/1096.63	c 1096s |      19 |   526232 |   445782 |     4040    189 |        0 |        0
1098.33/1098.65	c 1098s |      19 |   527545 |   446882 |     4040    189 |        0 |        0
1100.43/1100.73	c 1100s |      19 |   528694 |   447882 |     4040    189 |        0 |        0
1102.63/1102.90	c 1102s |      19 |   529712 |   448782 |     4040    190 |        0 |        0
1104.73/1105.09	c 1104s |      19 |   530710 |   449682 |     4040    190 |        0 |        0
1107.03/1107.33	c 1107s |      19 |   531749 |   450582 |     4040    190 |        0 |        0
1109.03/1109.33	c 1109s |      19 |   532550 |   451282 |     4040    191 |        0 |        0
1111.23/1111.51	c 1111s |      19 |   533566 |   452182 |     4040    191 |        0 |        0
1113.22/1113.52	c 1113s |      19 |   534454 |   452982 |     4040    191 |        0 |        0
1115.23/1115.59	c 1115s |      19 |   535348 |   453782 |     4040    191 |        0 |        0
1117.43/1117.74	c 1117s |      19 |   536251 |   454582 |     4040    192 |        0 |        0
1119.53/1119.88	c 1119s |      19 |   537291 |   455482 |     4040    192 |        0 |        0
1121.83/1122.15	c 1122s |      19 |   538288 |   456382 |     4040    192 |        0 |        0
1124.03/1124.36	c 1124s |      19 |   539170 |   457182 |     4040    193 |        0 |        0
1126.02/1126.39	c 1126s |      19 |   540079 |   457982 |     4040    193 |        0 |        0
1128.12/1128.43	c 1128s |      19 |   540970 |   458782 |     4040    193 |        0 |        0
1130.12/1130.48	c 1130s |      19 |   541855 |   459582 |     4040    193 |        0 |        0
1132.22/1132.53	c 1132s |      19 |   542752 |   460382 |     4040    194 |        0 |        0
1134.32/1134.68	c 1134s |      19 |   543604 |   461182 |     4040    194 |        0 |        0
1136.42/1136.73	c 1136s |      19 |   544486 |   461982 |     4040    194 |        0 |        0
1138.42/1138.75	c 1138s |      19 |   545280 |   462682 |     4040    195 |        0 |        0
1140.61/1140.94	c 1140s |      19 |   546274 |   463582 |     4040    195 |        0 |        0
1142.62/1142.98	c 1142s |      19 |   547150 |   464382 |     4040    195 |        0 |        0
1144.71/1145.07	c 1144s |      19 |   547920 |   465082 |     4040    195 |        0 |        0
1146.91/1147.22	c 1147s |      19 |   548801 |   465882 |     4040    196 |        0 |        0
1149.11/1149.41	c 1149s |      19 |   549794 |   466782 |     4040    196 |        0 |        0
1151.20/1151.56	c 1151s |      19 |   550673 |   467582 |     4040    196 |        0 |        0
1153.50/1153.86	c 1153s |      19 |   551582 |   468382 |     4040    197 |        0 |        0
1155.70/1156.09	c 1155s |      19 |   552818 |   469482 |     4040    197 |        0 |        0
1157.80/1158.15	c 1158s |      19 |   553837 |   470382 |     4040    197 |        0 |        0
1159.99/1160.35	c 1160s |      19 |   554845 |   471282 |     4040    198 |        0 |        0
1162.19/1162.54	c 1162s |      19 |   555855 |   472182 |     4040    198 |        0 |        0
1164.30/1164.61	c 1164s |      19 |   556770 |   472982 |     4040    198 |        0 |        0
1166.40/1166.75	c 1166s |      19 |   557633 |   473782 |     4040    198 |        0 |        0
1168.40/1168.78	c 1168s |      19 |   558436 |   474482 |     4040    199 |        0 |        0
1170.49/1170.87	c 1170s |      19 |   559564 |   475482 |     4040    199 |        0 |        0
1172.69/1173.03	c 1172s |      19 |   560603 |   476382 |     4040    199 |        0 |        0
1174.79/1175.10	c 1175s |      19 |   561384 |   477082 |     4040    200 |        0 |        0
1176.99/1177.36	c 1177s |      19 |   562390 |   477982 |     4040    200 |        0 |        0
1179.09/1179.45	c 1179s |      19 |   563298 |   478782 |     4040    200 |        0 |        0
1181.09/1181.47	c 1181s |      19 |   564081 |   479482 |     4040    200 |        0 |        0
1183.18/1183.53	c 1183s |      19 |   564800 |   480082 |     4040    201 |        0 |        0
1185.38/1185.74	c 1185s |      19 |   565859 |   480982 |     4040    201 |        0 |        0
1187.38/1187.77	c 1187s |      19 |   566640 |   481682 |     4040    201 |        0 |        0
1189.48/1189.85	c 1189s |      19 |   567531 |   482482 |     4040    201 |        0 |        0
1191.48/1191.87	c 1191s |      19 |   568303 |   483182 |     4040    202 |        0 |        0
1193.57/1193.92	c 1193s |      19 |   569310 |   484082 |     4040    202 |        0 |        0
1195.57/1195.99	c 1195s |      19 |   570323 |   484982 |     4040    202 |        0 |        0
1197.78/1198.20	c 1198s |      19 |   571233 |   485782 |     4040    203 |        0 |        0
1200.08/1200.43	c 1200s |      19 |   572283 |   486682 |     4040    203 |        0 |        0
1202.27/1202.65	c 1202s |      19 |   573184 |   487482 |     4040    203 |        0 |        0
1204.37/1204.72	c 1204s |      19 |   574071 |   488282 |     4040    203 |        0 |        0
1206.48/1206.89	c 1206s |      19 |   574862 |   488982 |     4040    204 |        0 |        0
1208.68/1209.07	c 1208s |      19 |   575750 |   489782 |     4040    204 |        0 |        0
1210.87/1211.21	c 1211s |      19 |   576666 |   490582 |     4040    204 |        0 |        0
1212.86/1213.28	c 1213s |      19 |   577473 |   491282 |     4040    204 |        0 |        0
1215.06/1215.50	c 1215s |      19 |   578449 |   492082 |     4040    205 |        0 |        0
1217.17/1217.59	c 1217s |      19 |   579389 |   492882 |     4040    205 |        0 |        0
1219.36/1219.71	c 1219s |      19 |   580428 |   493782 |     4040    205 |        0 |        0
1221.46/1221.83	c 1221s |      19 |   581339 |   494582 |     4040    206 |        0 |        0
1223.46/1223.86	c 1223s |      19 |   582252 |   495382 |     4040    206 |        0 |        0
1225.45/1225.87	c 1225s |      19 |   583149 |   496182 |     4040    206 |        0 |        0
1227.55/1227.92	c 1227s |      19 |   584043 |   496982 |     4040    206 |        0 |        0
1229.75/1230.12	c 1230s |      19 |   584939 |   497782 |     4040    207 |        0 |        0
1231.85/1232.24	c 1232s |      19 |   585816 |   498582 |     4040    207 |        0 |        0
1234.04/1234.47	c 1234s |      19 |   586719 |   499382 |     4040    207 |        0 |        0
1236.24/1236.63	c 1236s |      19 |   587628 |   500182 |     4040    208 |        0 |        0
1238.45/1238.85	c 1238s |      19 |   588679 |   501082 |     4040    208 |        0 |        0
1240.75/1241.17	c 1241s |      19 |   589688 |   501982 |     4040    208 |        0 |        0
1242.75/1243.18	c 1243s |      19 |   590473 |   502682 |     4040    208 |        0 |        0
1244.95/1245.38	c 1245s |      19 |   591364 |   503482 |     4040    209 |        0 |        0
1247.24/1247.61	c 1247s |      19 |   592274 |   504282 |     4040    209 |        0 |        0
1249.25/1249.64	c 1249s |      19 |   593162 |   505082 |     4040    209 |        0 |        0
1251.23/1251.65	c 1251s |      19 |   593940 |   505782 |     4040    210 |        0 |        0
1253.23/1253.66	c 1253s |      19 |   594760 |   506482 |     4040    210 |        0 |        0
1255.33/1255.75	c 1255s |      19 |   595671 |   507282 |     4040    210 |        0 |        0
1257.33/1257.76	c 1257s |      19 |   596426 |   507982 |     4040    210 |        0 |        0
1259.64/1260.05	c 1259s |      19 |   597221 |   508682 |     4040    211 |        0 |        0
1261.73/1262.14	c 1262s |      19 |   598004 |   509382 |     4040    211 |        0 |        0
1263.93/1264.32	c 1264s |      19 |   598916 |   510182 |     4040    211 |        0 |        0
1266.03/1266.49	c 1266s |      19 |   600047 |   511182 |     4040    211 |        0 |        0
1268.13/1268.52	c 1268s |      19 |   600956 |   511982 |     4040    212 |        0 |        0
1270.13/1270.52	c 1270s |      19 |   601733 |   512682 |     4040    212 |        0 |        0
1272.12/1272.54	c 1272s |      19 |   602498 |   513382 |     4040    212 |        0 |        0
1274.32/1274.75	c 1274s |      19 |   603388 |   514182 |     4040    212 |        0 |        0
1276.52/1276.94	c 1276s |      19 |   604178 |   514882 |     4040    213 |        0 |        0
1278.52/1278.96	c 1278s |      19 |   605061 |   515682 |     4040    213 |        0 |        0
1280.81/1281.27	c 1281s |      19 |   605811 |   516382 |     4040    213 |        0 |        0
1282.91/1283.33	c 1283s |      19 |   606661 |   517082 |     4040    213 |        0 |        0
1285.01/1285.43	c 1285s |      19 |   607451 |   517782 |     4040    214 |        0 |        0
1287.22/1287.66	c 1287s |      19 |   608347 |   518582 |     4040    214 |        0 |        0
1289.31/1289.72	c 1289s |      19 |   609125 |   519282 |     4040    214 |        0 |        0
1291.50/1291.95	c 1291s |      19 |   609892 |   519982 |     4040    214 |        0 |        0
1293.60/1294.03	c 1293s |      19 |   610554 |   520582 |     4040    215 |        0 |        0
1295.80/1296.22	c 1296s |      19 |   611334 |   521282 |     4040    215 |        0 |        0
1297.80/1298.29	c 1298s |      19 |   612151 |   521982 |     4040    215 |        0 |        0
1299.99/1300.44	c 1300s |      19 |   613043 |   522782 |     4040    215 |        0 |        0
1302.00/1302.48	c 1302s |      19 |   613851 |   523482 |     4040    216 |        0 |        0
1304.10/1304.56	c 1304s |      19 |   614751 |   524282 |     4040    216 |        0 |        0
1306.20/1306.61	c 1306s |      19 |   615539 |   524982 |     4040    216 |        0 |        0
1308.40/1308.82	c 1308s |      19 |   616310 |   525682 |     4040    216 |        0 |        0
1310.39/1310.83	c 1310s |      19 |   617119 |   526382 |     4040    217 |        0 |        0
1312.59/1313.01	c 1312s |      19 |   618173 |   527282 |     4040    217 |        0 |        0
1314.59/1315.04	c 1314s |      19 |   618954 |   527982 |     4040    217 |        0 |        0
1316.89/1317.35	c 1317s |      19 |   619859 |   528782 |     4040    217 |        0 |        0
1318.99/1319.45	c 1319s |      19 |   620643 |   529482 |     4040    218 |        0 |        0
1321.18/1321.67	c 1321s |      19 |   621540 |   530282 |     4040    218 |        0 |        0
1323.38/1323.84	c 1323s |      19 |   622339 |   530982 |     4040    218 |        0 |        0
1325.48/1325.95	c 1325s |      19 |   623146 |   531682 |     4040    219 |        0 |        0
1327.48/1327.99	c 1327s |      19 |   623954 |   532382 |     4040    219 |        0 |        0
1329.68/1330.15	c 1330s |      19 |   624721 |   533082 |     4040    219 |        0 |        0
1331.68/1332.16	c 1332s |      19 |   625398 |   533682 |     4040    219 |        0 |        0
1333.78/1334.25	c 1334s |      19 |   626201 |   534382 |     4040    219 |        0 |        0
1335.88/1336.30	c 1336s |      19 |   627125 |   535182 |     4040    220 |        0 |        0
1337.88/1338.34	c 1338s |      19 |   628182 |   536082 |     4040    220 |        0 |        0
1339.97/1340.44	c 1340s |      19 |   629108 |   536882 |     4040    220 |        0 |        0
1342.07/1342.53	c 1342s |      19 |   629909 |   537582 |     4040    221 |        0 |        0
1344.27/1344.72	c 1344s |      19 |   630799 |   538382 |     4040    221 |        0 |        0
1346.37/1346.89	c 1346s |      19 |   631587 |   539082 |     4040    221 |        0 |        0
1348.47/1348.98	c 1348s |      19 |   632408 |   539782 |     4040    221 |        0 |        0
1350.76/1351.26	c 1351s |      19 |   633212 |   540482 |     4040    222 |        0 |        0
1352.96/1353.45	c 1353s |      19 |   634120 |   541282 |     4040    222 |        0 |        0
1355.06/1355.57	c 1355s |      19 |   634911 |   541982 |     4040    222 |        0 |        0
1357.26/1357.76	c 1357s |      19 |   635700 |   542682 |     4040    222 |        0 |        0
1359.46/1359.90	c 1359s |      19 |   636339 |   543282 |     4040    223 |        0 |        0
1361.46/1361.99	c 1361s |      19 |   636990 |   543882 |     4040    223 |        0 |        0
1363.66/1364.15	c 1364s |      19 |   637754 |   544582 |     4040    223 |        0 |        0
1365.65/1366.19	c 1366s |      19 |   638561 |   545282 |     4040    223 |        0 |        0
1367.75/1368.20	c 1368s |      19 |   639214 |   545882 |     4040    223 |        0 |        0
1369.75/1370.25	c 1370s |      19 |   639905 |   546482 |     4040    224 |        0 |        0
1371.95/1372.40	c 1372s |      19 |   640567 |   547082 |     4040    224 |        0 |        0
1374.16/1374.63	c 1374s |      19 |   641261 |   547682 |     4040    224 |        0 |        0
1376.35/1376.88	c 1376s |      19 |   641938 |   548282 |     4040    224 |        0 |        0
1378.55/1379.09	c 1378s |      19 |   642631 |   548882 |     4040    225 |        0 |        0
1380.85/1381.32	c 1381s |      19 |   643337 |   549482 |     4040    225 |        0 |        0
1382.95/1383.40	c 1383s |      19 |   644032 |   550082 |     4040    225 |        0 |        0
1385.05/1385.59	c 1385s |      19 |   644723 |   550682 |     4040    225 |        0 |        0
1387.35/1387.81	c 1387s |      19 |   645384 |   551282 |     4040    225 |        0 |        0
1389.35/1389.88	c 1389s |      19 |   645937 |   551782 |     4040    226 |        0 |        0
1391.45/1391.94	c 1391s |      19 |   646601 |   552382 |     4040    226 |        0 |        0
1393.45/1393.99	c 1393s |      19 |   647280 |   552982 |     4040    226 |        0 |        0
1395.65/1396.11	c 1396s |      19 |   647938 |   553582 |     4040    226 |        0 |        0
1397.85/1398.35	c 1398s |      19 |   648606 |   554182 |     4040    226 |        0 |        0
1400.05/1400.52	c 1400s |      19 |   649144 |   554682 |     4040    227 |        0 |        0
1402.35/1402.83	c 1402s |      19 |   649830 |   555282 |     4040    227 |        0 |        0
1404.75/1405.21	c 1405s |      19 |   650614 |   555982 |     4040    227 |        0 |        0
1406.74/1407.21	c 1407s |      19 |   651143 |   556482 |     4040    227 |        0 |        0
1408.94/1409.44	c 1409s |      19 |   651929 |   557182 |     4040    227 |        0 |        0
1411.14/1411.64	c 1411s |      19 |   652618 |   557782 |     4040    228 |        0 |        0
1413.44/1413.91	c 1413s |      19 |   653410 |   558482 |     4040    228 |        0 |        0
1415.55/1416.03	c 1415s |      19 |   654096 |   559082 |     4040    228 |        0 |        0
1417.56/1418.06	c 1417s |      19 |   654734 |   559682 |     4040    228 |        0 |        0
1419.65/1420.13	c 1420s |      19 |   655285 |   560182 |     4040    228 |        0 |        0
1422.05/1422.52	c 1422s |      19 |   655831 |   560682 |     4040    229 |        0 |        0
1424.15/1424.68	c 1424s |      19 |   656392 |   561182 |     4040    229 |        0 |        0
1426.35/1426.84	c 1426s |      19 |   657051 |   561782 |     4040    229 |        0 |        0
1428.45/1428.94	c 1428s |      19 |   657732 |   562382 |     4040    229 |        0 |        0
1430.75/1431.22	c 1431s |      19 |   658408 |   562982 |     4040    229 |        0 |        0
1432.95/1433.46	c 1433s |      19 |   658955 |   563482 |     4040    230 |        0 |        0
1435.15/1435.66	c 1435s |      19 |   659980 |   564382 |     4040    230 |        0 |        0
1437.35/1437.83	c 1437s |      19 |   661020 |   565282 |     4040    230 |        0 |        0
1439.45/1439.94	c 1439s |      19 |   661920 |   566082 |     4040    230 |        0 |        0
1441.54/1442.06	c 1441s |      19 |   662731 |   566782 |     4040    231 |        0 |        0
1443.64/1444.10	c 1443s |      19 |   663522 |   567482 |     4040    231 |        0 |        0
1445.64/1446.17	c 1446s |      19 |   664328 |   568182 |     4040    231 |        0 |        0
1447.84/1448.37	c 1448s |      19 |   665149 |   568882 |     4040    231 |        0 |        0
1450.03/1450.52	c 1450s |      19 |   665816 |   569482 |     4040    232 |        0 |        0
1452.13/1452.69	c 1452s |      19 |   666572 |   570182 |     4040    232 |        0 |        0
1454.33/1454.85	c 1454s |      19 |   667371 |   570882 |     4040    232 |        0 |        0
1456.43/1456.93	c 1456s |      19 |   668031 |   571482 |     4040    232 |        0 |        0
1458.54/1459.04	c 1458s |      19 |   668604 |   571982 |     4040    233 |        0 |        0
1460.64/1461.19	c 1461s |      19 |   669531 |   572782 |     4040    233 |        0 |        0
1462.74/1463.28	c 1463s |      19 |   670321 |   573482 |     4040    233 |        0 |        0
1465.04/1465.50	c 1465s |      19 |   671115 |   574182 |     4040    233 |        0 |        0
1467.34/1467.80	c 1467s |      19 |   671766 |   574782 |     4040    234 |        0 |        0
1469.34/1469.81	c 1469s |      19 |   672440 |   575382 |     4040    234 |        0 |        0
1471.54/1472.05	c 1471s |      19 |   673364 |   576182 |     4040    234 |        0 |        0
1473.64/1474.15	c 1474s |      19 |   674166 |   576882 |     4040    234 |        0 |        0
1475.93/1476.41	c 1476s |      19 |   674952 |   577582 |     4040    234 |        0 |        0
1478.13/1478.68	c 1478s |      19 |   675735 |   578282 |     4040    235 |        0 |        0
1480.14/1480.69	c 1480s |      19 |   676415 |   578882 |     4040    235 |        0 |        0
1482.24/1482.71	c 1482s |      19 |   677073 |   579482 |     4040    235 |        0 |        0
1484.24/1484.78	c 1484s |      19 |   677754 |   580082 |     4040    235 |        0 |        0
1486.54/1487.03	c 1486s |      19 |   678580 |   580782 |     4040    236 |        0 |        0
1488.53/1489.09	c 1488s |      19 |   679369 |   581482 |     4040    236 |        0 |        0
1490.73/1491.20	c 1491s |      19 |   680178 |   582182 |     4040    236 |        0 |        0
1492.83/1493.33	c 1493s |      19 |   680981 |   582882 |     4040    236 |        0 |        0
1495.03/1495.58	c 1495s |      19 |   681650 |   583482 |     4040    237 |        0 |        0
1497.23/1497.75	c 1497s |      19 |   682441 |   584182 |     4040    237 |        0 |        0
1499.53/1500.01	c 1499s |      19 |   683238 |   584882 |     4040    237 |        0 |        0
1501.73/1502.26	c 1502s |      19 |   684014 |   585582 |     4040    237 |        0 |        0
1504.03/1504.52	c 1504s |      19 |   684791 |   586282 |     4040    237 |        0 |        0
1506.23/1506.75	c 1506s |      19 |   685464 |   586882 |     4040    238 |        0 |        0
1508.23/1508.78	c 1508s |      19 |   686270 |   587582 |     4040    238 |        0 |        0
1510.63/1511.16	c 1511s |      19 |   687086 |   588282 |     4040    238 |        0 |        0
1512.93/1513.47	c 1513s |      19 |   687868 |   588982 |     4040    238 |        0 |        0
1515.13/1515.67	c 1515s |      19 |   688550 |   589582 |     4040    239 |        0 |        0
1517.43/1517.97	c 1517s |      19 |   689332 |   590282 |     4040    239 |        0 |        0
1519.63/1520.15	c 1520s |      19 |   690042 |   590882 |     4040    239 |        0 |        0
1521.93/1522.49	c 1522s |      19 |   690694 |   591482 |     4040    239 |        0 |        0
1524.13/1524.63	c 1524s |      19 |   691273 |   591982 |     4040    239 |        0 |        0
1526.33/1526.89	c 1526s |      19 |   691953 |   592582 |     4040    240 |        0 |        0
1528.72/1529.21	c 1529s |      19 |   692636 |   593182 |     4040    240 |        0 |        0
1530.83/1531.34	c 1531s |      19 |   693324 |   593782 |     4040    240 |        0 |        0
1533.13/1533.61	c 1533s |      19 |   694010 |   594382 |     4040    240 |        0 |        0
1535.33/1535.84	c 1535s |      19 |   694707 |   594982 |     4040    241 |        0 |        0
1537.53/1538.06	c 1537s |      19 |   695493 |   595682 |     4040    241 |        0 |        0
1539.93/1540.41	c 1540s |      19 |   696274 |   596382 |     4040    241 |        0 |        0
1542.03/1542.56	c 1542s |      19 |   696995 |   596982 |     4040    241 |        0 |        0
1544.43/1544.91	c 1544s |      19 |   697698 |   597582 |     4040    241 |        0 |        0
1546.43/1546.91	c 1546s |      19 |   698291 |   598082 |     4040    242 |        0 |        0
1548.52/1549.08	c 1548s |      19 |   699009 |   598682 |     4040    242 |        0 |        0
1550.82/1551.30	c 1551s |      19 |   699687 |   599282 |     4040    242 |        0 |        0
1552.92/1553.45	c 1553s |      19 |   700246 |   599782 |     4040    242 |        0 |        0
1555.03/1555.54	c 1555s |      19 |   700949 |   600382 |     4040    242 |        0 |        0
1557.13/1557.64	c 1557s |      19 |   701637 |   600982 |     4040    243 |        0 |        0
1559.13/1559.68	c 1559s |      19 |   702307 |   601582 |     4040    243 |        0 |        0
1561.53/1562.03	c 1561s |      19 |   702977 |   602182 |     4040    243 |        0 |        0
1563.73/1564.25	c 1564s |      19 |   703647 |   602782 |     4040    243 |        0 |        0
1566.22/1566.71	c 1566s |      19 |   704332 |   603382 |     4040    243 |        0 |        0
1568.23/1568.73	c 1568s |      19 |   704775 |   603782 |     4040    244 |        0 |        0
1570.32/1570.89	c 1570s |      19 |   705326 |   604282 |     4040    244 |        0 |        0
1572.53/1573.05	c 1572s |      19 |   706013 |   604882 |     4040    244 |        0 |        0
1574.52/1575.05	c 1574s |      19 |   706568 |   605382 |     4040    244 |        0 |        0
1576.52/1577.07	c 1576s |      19 |   707132 |   605882 |     4040    244 |        0 |        0
1578.62/1579.15	c 1579s |      19 |   707705 |   606382 |     4040    244 |        0 |        0
1580.72/1581.24	c 1581s |      19 |   708254 |   606882 |     4040    245 |        0 |        0
1583.02/1583.59	c 1583s |      19 |   708918 |   607482 |     4040    245 |        0 |        0
1585.41/1585.94	c 1585s |      19 |   709591 |   608082 |     4040    245 |        0 |        0
1587.61/1588.17	c 1588s |      19 |   710260 |   608682 |     4040    245 |        0 |        0
1589.82/1590.36	c 1590s |      19 |   710853 |   609182 |     4040    245 |        0 |        0
1592.12/1592.63	c 1592s |      19 |   711322 |   609582 |     4040    246 |        0 |        0
1594.42/1594.98	c 1594s |      19 |   712023 |   610182 |     4040    246 |        0 |        0
1596.51/1597.03	c 1596s |      19 |   712590 |   610682 |     4040    246 |        0 |        0
1598.61/1599.14	c 1599s |      19 |   713147 |   611182 |     4040    246 |        0 |        0
1600.82/1601.33	c 1601s |      19 |   713749 |   611682 |     4040    246 |        0 |        0
1603.12/1603.62	c 1603s |      19 |   714352 |   612182 |     4040    247 |        0 |        0
1605.42/1605.96	c 1605s |      19 |   715058 |   612782 |     4040    247 |        0 |        0
1607.51/1608.00	c 1607s |      19 |   715643 |   613282 |     4040    247 |        0 |        0
1609.92/1610.41	c 1610s |      19 |   716328 |   613882 |     4040    247 |        0 |        0
1612.13/1612.64	c 1612s |      19 |   716915 |   614382 |     4040    247 |        0 |        0
1614.42/1614.99	c 1614s |      19 |   717472 |   614882 |     4040    247 |        0 |        0
1616.62/1617.19	c 1617s |      19 |   718289 |   615582 |     4040    248 |        0 |        0
1618.92/1619.40	c 1619s |      19 |   719230 |   616382 |     4040    248 |        0 |        0
1621.11/1621.67	c 1621s |      19 |   720137 |   617182 |     4040    248 |        0 |        0
1623.22/1623.73	c 1623s |      19 |   720838 |   617782 |     4040    248 |        0 |        0
1625.42/1625.93	c 1625s |      19 |   721405 |   618282 |     4040    249 |        0 |        0
1627.52/1628.04	c 1627s |      19 |   722087 |   618882 |     4040    249 |        0 |        0
1629.51/1630.07	c 1629s |      19 |   722667 |   619382 |     4040    249 |        0 |        0
1631.61/1632.15	c 1632s |      19 |   723219 |   619882 |     4040    249 |        0 |        0
1633.72/1634.20	c 1634s |      19 |   723773 |   620382 |     4040    249 |        0 |        0
1636.01/1636.52	c 1636s |      19 |   724337 |   620882 |     4040    250 |        0 |        0
1638.11/1638.62	c 1638s |      19 |   724894 |   621382 |     4040    250 |        0 |        0
1640.51/1641.00	c 1640s |      19 |   725583 |   621982 |     4040    250 |        0 |        0
1642.81/1643.39	c 1643s |      19 |   726275 |   622582 |     4040    250 |        0 |        0
1644.91/1645.49	c 1645s |      19 |   726835 |   623082 |     4040    250 |        0 |        0
1647.11/1647.67	c 1647s |      19 |   727414 |   623582 |     4040    250 |        0 |        0
1649.40/1649.96	c 1649s |      19 |   727992 |   624082 |     4040    251 |        0 |        0
1651.50/1652.05	c 1651s |      19 |   728567 |   624582 |     4040    251 |        0 |        0
1653.92/1654.43	c 1654s |      19 |   729252 |   625182 |     4040    251 |        0 |        0
1656.01/1656.51	c 1656s |      19 |   729824 |   625682 |     4040    251 |        0 |        0
1658.21/1658.80	c 1658s |      19 |   730377 |   626182 |     4040    251 |        0 |        0
1660.61/1661.19	c 1661s |      19 |   730932 |   626682 |     4040    252 |        0 |        0
1662.81/1663.38	c 1663s |      19 |   731486 |   627182 |     4040    252 |        0 |        0
1665.10/1665.66	c 1665s |      19 |   732047 |   627682 |     4040    252 |        0 |        0
1667.30/1667.80	c 1667s |      19 |   732581 |   628182 |     4040    252 |        0 |        0
1669.31/1669.89	c 1669s |      19 |   733138 |   628682 |     4040    252 |        0 |        0
1671.80/1672.30	c 1672s |      19 |   733697 |   629182 |     4040    252 |        0 |        0
1674.10/1674.67	c 1674s |      19 |   734249 |   629682 |     4040    253 |        0 |        0
1676.20/1676.72	c 1676s |      19 |   734795 |   630182 |     4040    253 |        0 |        0
1678.41/1678.94	c 1678s |      19 |   735444 |   630782 |     4040    253 |        0 |        0
1680.80/1681.31	c 1681s |      19 |   736108 |   631382 |     4040    253 |        0 |        0
1682.90/1683.45	c 1683s |      19 |   736646 |   631882 |     4040    253 |        0 |        0
1685.30/1685.83	c 1685s |      19 |   737182 |   632382 |     4040    254 |        0 |        0
1687.50/1688.01	c 1687s |      19 |   737731 |   632882 |     4040    254 |        0 |        0
1689.61/1690.18	c 1690s |      19 |   738267 |   633382 |     4040    254 |        0 |        0
1691.91/1692.40	c 1692s |      19 |   738817 |   633882 |     4040    254 |        0 |        0
1694.10/1694.66	c 1694s |      19 |   739367 |   634382 |     4040    254 |        0 |        0
1696.30/1696.80	c 1696s |      19 |   739959 |   634882 |     4040    254 |        0 |        0
1698.50/1699.07	c 1698s |      19 |   740519 |   635382 |     4040    255 |        0 |        0
1700.90/1701.43	c 1701s |      19 |   741201 |   635982 |     4040    255 |        0 |        0
1702.90/1703.49	c 1703s |      19 |   741796 |   636482 |     4040    255 |        0 |        0
1705.20/1705.76	c 1705s |      19 |   742386 |   636982 |     4040    255 |        0 |        0
1707.40/1707.95	c 1707s |      19 |   743046 |   637582 |     4040    255 |        0 |        0
1709.70/1710.26	c 1710s |      19 |   743639 |   638082 |     4040    256 |        0 |        0
1712.10/1712.69	c 1712s |      19 |   744186 |   638582 |     4040    256 |        0 |        0
1714.20/1714.74	c 1714s |      19 |   744625 |   638982 |     4040    256 |        0 |        0
1716.19/1716.77	c 1716s |      19 |   745063 |   639382 |     4040    256 |        0 |        0
1718.60/1719.12	c 1719s |      19 |   745636 |   639882 |     4040    256 |        0 |        0
1720.80/1721.30	c 1721s |      19 |   746216 |   640382 |     4040    256 |        0 |        0
1723.21/1723.75	c 1723s |      19 |   746804 |   640882 |     4040    257 |        0 |        0
1725.30/1725.90	c 1725s |      19 |   747392 |   641382 |     4040    257 |        0 |        0
1727.40/1727.94	c 1727s |      19 |   747986 |   641882 |     4040    257 |        0 |        0
1729.50/1730.06	c 1729s |      19 |   748558 |   642382 |     4040    257 |        0 |        0
1731.79/1732.36	c 1732s |      19 |   749129 |   642882 |     4040    257 |        0 |        0
1734.20/1734.80	c 1734s |      19 |   749726 |   643382 |     4040    257 |        0 |        0
1736.59/1737.14	c 1737s |      19 |   750197 |   643782 |     4040    258 |        0 |        0
1738.99/1739.55	c 1739s |      19 |   750793 |   644282 |     4040    258 |        0 |        0
1741.19/1741.76	c 1741s |      19 |   751730 |   645082 |     4040    258 |        0 |        0
1743.29/1743.88	c 1743s |      19 |   752773 |   645982 |     4040    258 |        0 |        0
1745.49/1746.03	c 1745s |      19 |   753552 |   646682 |     4040    259 |        0 |        0
1747.50/1748.08	c 1747s |      19 |   754340 |   647382 |     4040    259 |        0 |        0
1749.60/1750.15	c 1750s |      19 |   755269 |   648182 |     4040    259 |        0 |        0
1751.60/1752.17	c 1752s |      19 |   755924 |   648782 |     4040    259 |        0 |        0
1753.80/1754.34	c 1754s |      19 |   756731 |   649482 |     4040    260 |        0 |        0
1755.80/1756.40	c 1756s |      19 |   757511 |   650182 |     4040    260 |        0 |        0
1757.89/1758.45	c 1758s |      19 |   758295 |   650882 |     4040    260 |        0 |        0
1760.09/1760.64	c 1760s |      19 |   759092 |   651582 |     4040    260 |        0 |        0
1762.09/1762.69	c 1762s |      19 |   759741 |   652182 |     4040    260 |        0 |        0
1764.49/1765.00	c 1764s |      19 |   760395 |   652782 |     4040    261 |        0 |        0
1766.69/1767.21	c 1767s |      19 |   761068 |   653382 |     4040    261 |        0 |        0
1768.89/1769.44	c 1769s |      19 |   761728 |   653982 |     4040    261 |        0 |        0
1770.89/1771.49	c 1771s |      19 |   762260 |   654482 |     4040    261 |        0 |        0
1772.99/1773.57	c 1773s |      19 |   762795 |   654982 |     4040    261 |        0 |        0
1775.39/1775.91	c 1775s |      19 |   763328 |   655482 |     4040    262 |        0 |        0
1777.59/1778.17	c 1778s |      19 |   764311 |   656282 |     4040    262 |        0 |        0
1779.89/1780.44	c 1780s |      19 |   765255 |   657082 |     4040    262 |        0 |        0
1781.89/1782.49	c 1782s |      19 |   765938 |   657682 |     4040    262 |        0 |        0
1784.19/1784.72	c 1784s |      19 |   766636 |   658282 |     4040    263 |        0 |        0
1786.19/1786.74	c 1786s |      19 |   767334 |   658882 |     4040    263 |        0 |        0
1788.29/1788.88	c 1788s |      19 |   768015 |   659482 |     4040    263 |        0 |        0
1790.39/1790.98	c 1790s |      19 |   768699 |   660082 |     4040    263 |        0 |        0
1792.79/1793.37	c 1793s |      19 |   769344 |   660682 |     4040    263 |        0 |        0
1794.89/1795.46	c 1795s |      19 |   769783 |   661082 |     4040    264 |        0 |        0
1796.89/1797.49	c 1797s |      19 |   770340 |   661582 |     4040    264 |        0 |        0
1798.99/1799.56	c 1799s |      19 |   771173 |   662282 |     4444    264 |        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-4093713-1466093076/watcher-4093713-1466093076 -o /tmp/evaluation-result-4093713-1466093076/solver-4093713-1466093076 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12744 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093713-1466093076.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 14947
/proc/meminfo: memFree=30610564/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 2880 0 0 0 0 0 0 0 20 0 4 0 11354275 787935232 2730 33554432000 4194304 16246674 140734224448144 140734224447568 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 193135 2738 441 2943 0 190029 0
[pid=14947/tid=14948] ppid=14944 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 805761024 2798 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 811003904 2816 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354275 815198208 2834 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100223 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 14947
/proc/meminfo: memFree=30610564/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 25942 0 0 0 5 4 0 0 20 0 4 0 11354275 1247350784 25782 33554432000 4194304 16246674 140734224448144 140734224447568 12481124 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 304529 25799 678 2943 0 301423 0
[pid=14947/tid=14948] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 25807 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 25818 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 25823 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200525 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 14947
/proc/meminfo: memFree=30610564/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 49253 0 0 0 12 7 0 0 20 0 4 0 11354275 1247350784 49088 33554432000 4194304 16246674 140734224448144 140734224447568 5709562 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 304529 49104 807 2943 0 301423 0
[pid=14947/tid=14948] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 49115 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 49123 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 49131 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300492 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 14947
/proc/meminfo: memFree=30610564/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 75992 0 0 0 18 11 0 0 20 0 4 0 11354275 1247350784 75828 33554432000 4194304 16246674 140734224448144 140734224447568 6010521 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 304529 75841 807 2943 0 301423 0
[pid=14947/tid=14948] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 75850 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 75857 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354275 1247350784 75859 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 14947
/proc/meminfo: memFree=30610564/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1306180 CPUtime=0.69 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 121860 0 0 0 53 16 0 0 20 0 4 0 11354275 1337528320 121673 33554432000 4194304 16246674 140734224448144 140734224447456 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 326545 121673 868 2943 0 323439 0
[pid=14947/tid=14948] ppid=14944 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1337528320 121673 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1337528320 121673 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1337528320 121673 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50042 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 14951
/proc/meminfo: memFree=29749816/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 267852 0 0 0 114 35 0 0 20 0 4 0 11354275 1338576896 267665 33554432000 4194304 16246674 140734224448144 140734224430016 5722096 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 326801 267665 868 2943 0 323695 0
[pid=14947/tid=14948] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267665 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267665 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267665 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 14951
/proc/meminfo: memFree=29540768/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 267872 0 0 0 274 35 0 0 20 0 4 0 11354275 1338576896 267685 33554432000 4194304 16246674 140734224448144 140734224430016 5711506 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 326801 267685 872 2943 0 323695 0
[pid=14947/tid=14948] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267685 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267685 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267685 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 14951
/proc/meminfo: memFree=29540732/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 267921 0 0 0 594 35 0 0 20 0 4 0 11354275 1338576896 267734 33554432000 4194304 16246674 140734224448144 140734224430016 5711326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 326801 267734 872 2943 0 323695 0
[pid=14947/tid=14948] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267734 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267734 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1338576896 267734 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.08 2.04 2.00 3/183 14951
/proc/meminfo: memFree=29540252/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 268010 0 0 0 1234 35 0 0 20 0 4 0 11354275 1339625472 267823 33554432000 4194304 16246674 140734224448144 140734224430016 5545721 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 327057 267823 873 2943 0 323951 0
[pid=14947/tid=14948] ppid=14944 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1339625472 267823 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1339625472 267823 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1339625472 267823 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14951
/proc/meminfo: memFree=29539496/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 268302 0 0 0 2513 36 0 0 20 0 4 0 11354275 1340674048 268115 33554432000 4194304 16246674 140734224448144 140734224430016 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 327313 268115 873 2943 0 324207 0
[pid=14947/tid=14948] ppid=14944 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1340674048 268115 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1340674048 268115 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1340674048 268115 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.04 2.03 2.00 4/183 14951
/proc/meminfo: memFree=29535676/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1312324 CPUtime=51.09 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 269149 0 0 0 5073 36 0 0 20 0 4 0 11354275 1343819776 268962 33554432000 4194304 16246674 140734224448144 140734224430016 5712628 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 328081 268962 873 2943 0 324975 0
[pid=14947/tid=14948] ppid=14944 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1343819776 268962 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1343819776 268962 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1343819776 268962 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/183 14952
/proc/meminfo: memFree=29530844/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 270226 0 0 0 10192 36 0 0 20 0 4 0 11354275 1348014080 270039 33554432000 4194304 16246674 140734224448144 140734224447320 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 329105 270039 873 2943 0 325999 0
[pid=14947/tid=14948] ppid=14944 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1348014080 270039 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1348014080 270039 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1348014080 270039 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273111 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 2.19 2.08 2.01 4/183 14982
/proc/meminfo: memFree=29511780/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1301.89 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273327 0 0 0 130109 80 0 0 20 0 4 0 11354275 1359548416 273111 33554432000 4194304 16246674 140734224448144 140734224430016 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273111 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273111 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273111 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273111 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/183 14983
/proc/meminfo: memFree=29511556/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1361.85 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273370 0 0 0 136103 82 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224447320 5710932 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.21 2.11 2.02 3/183 14985
/proc/meminfo: memFree=29512744/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1421.85 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273377 0 0 0 142101 84 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224430016 5808488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.08 2.09 2.02 3/183 14986
/proc/meminfo: memFree=29512492/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1481.84 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273377 0 0 0 148098 86 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224430016 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.06 2.08 2.02 3/184 14990
/proc/meminfo: memFree=29512100/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1541.83 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273377 0 0 0 154095 88 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224430016 5711952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/183 14991
/proc/meminfo: memFree=29512320/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1601.82 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273377 0 0 0 160090 92 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224447320 5545988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 15041
/proc/meminfo: memFree=30147460/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1661.8 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273377 0 0 0 166085 95 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224447320 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 15043
/proc/meminfo: memFree=30143520/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1721.8 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273377 0 0 0 172081 99 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224447320 6012116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 15044
/proc/meminfo: memFree=30143396/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1781.79 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273377 0 0 0 178078 101 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224447320 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 15044
/proc/meminfo: memFree=30142652/32872528 swapFree=302776/319128
[pid=14947] ppid=14944 vsize=1327684 CPUtime=1800.09 cores=1,3,5,7
/proc/14947/stat : 14947 (toysat) R 14944 14947 7942 0 -1 4202496 273377 0 0 0 179907 102 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140734224430016 13963936 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 331921 273112 873 2943 0 328815 0
[pid=14947/tid=14948] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14948/stat : 14948 (toysat) S 14944 14947 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238432218352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14947/tid=14949] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14949/stat : 14949 (toysat) S 14944 14947 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238421728496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14947/tid=14950] ppid=14944 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14947/task/14950/stat : 14950 (toysat) S 14944 14947 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354275 1359548416 273112 33554432000 4194304 16246674 140734224448144 140238411254960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1327684

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14947 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.08
CPU system time (s): 1.02384
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.02384
maximum resident set size= 1092448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273377
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= 348
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69728 second user time and 6.83096 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 18:04:36
IDJOB=4093713
IDBENCH=79174
IDSOLVER=2553
FILE ID=node128/4093713-1466093076
RUNJOBID= node128-1466075273-12744
PBS_JOBID= 19904011
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--soft-0-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-4093713-1466093076/watcher-4093713-1466093076 -o /tmp/evaluation-result-4093713-1466093076/solver-4093713-1466093076 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12744 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093713-1466093076.wbo

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

MD5SUM BENCH= 12a88866bbd50b724bb180a8f6ce160e
RANDOM SEED=1561661923

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.56
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.768
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:        30611208 kB
Buffers:           44924 kB
Cached:           107584 kB
SwapCached:         2104 kB
Active:          1167296 kB
Inactive:          72824 kB
Active(anon):    1088304 kB
Inactive(anon):     1596 kB
Active(file):      78992 kB
Inactive(file):    71228 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             16428 kB
Writeback:             0 kB
AnonPages:       1493856 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             568092 kB
SReclaimable:      11848 kB
SUnreclaim:       556244 kB
KernelStack:        1480 kB
PageTables:         6928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1549760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 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 node128 at 2016-06-16 18:34:37