Trace number 4093714

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
MD5SUMcff5777a0058b9c867497918edde4ff2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.95455
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2550
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 5465
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5464
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T18:07:33+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-4093714-1466093252.wbo"]
0.00/0.01	c use --random-gen="180532155 4191358845 1105383213 1300627786 4257870991 1647768760 2876069979 3558348798 2322639443 2350804013 80873639 2775038020 1744921481 654554435 3725230029 2498959843 267952422 2632089184 1952862280 1174372345 1735878393 3591524096 3745130598 444921504 2538094521 369310739 2497707195 4012040749 608907023 490678718 3823925540 92206469 3846511890 811775643 863683398 311377147 59193255 3994422382 872347311 2792164862 2706483836 575117538 1284388015 2371400580 2836815473 3934734987 2071104805 3307899936 1556469793 4268930531 2763950713 434188487 2311800025 4245285008 2036105101 4208768480 3791250784 1355320361 389787144 3348893598 1003930459 1800694226 2560502703 1030713442 3880582453 2619005820 1549034770 3403788024 3449380684 4276209124 692032373 1106106510 3570538335 3878905682 1508797950 3926405291 2688337503 2343675320 2661504561 47802239 2399347609 2199178586 1668219116 859000868 4235611043 1374014600 3232032045 2351199275 3879000936 3288321681 2963797228 2694887005 526626049 2442726769 3408703256 107657815 4145613694 3012292659 1814642776 2764513403 2825326566 2771911365 224679089 3050097605 2108683434 4004290548 3191941637 3249517592 1158545110 1895355626 81111267 347476143 1052985841 1056524416 2259829709 502796443 3895280053 284858001 1933778585 3721427144 3632539461 997571901 1321665379 2826966607 1990790700 4091071014 1605978730 929261512 585715219 1898535833 3144025470 2925823893 3073219411 4237622017 3452885953 818701871 3999763311 3373930484 4092646044 3513014821 4279793099 453948737 3565355295 1249817610 1414644915 2778524784 1155057374 91076085 1218198063 2803871408 3504755512 2816928558 2887837651 442213683 1337960227 800182183 377992602 466757239 4219954861 2092289632 1002815514 1650630675 3596861273 3434329384 1315486921 3567989774 1507785601 3952399642 3390204041 2265028158 3278170432 4170163039 2223360926 3233090833 940568057 1144888061 2925159982 1816433660 3038118149 433470668 577253021 3554596657 532982260 3870459624 1974315540 3229615985 4024717783 147018241 3802580366 3064822377 496804621 3406620765 2278738393 721282263 1294115947 3816713826 2792165173 2267753583 1638709207 1561786080 814537044 1909506847 891443714 3998319927 4011562538 2979841090 4037592359 2595231147 1707985885 3411552084 1048784035 1347489198 1963701731 441620370 3403327877 3602021243 1759745690 731860626 2306323856 1122685642 520713016 34016034 2462891114 2632146531 604702137 1428546701 1162132863 3114348825 308764003 2949295804 3845253945 2048455305 2717189653 990021423 2622529373 2008838327 3611408374 680807845 87433428 272210878 530535185 1238080620 522721534 1746903171 62941820 340584862 2375806000 1344513305 3158204788 2050472604 2502189054 3709549023 3696402916 2707893885 3355653488 2418539663 255 362436" option to reproduce the execution
0.09/0.12	c #vars 2550
0.09/0.12	c #constraints 101
0.09/0.14	c BCD2: Hardening is enabled.
0.09/0.14	c BCD2: BiasedSearch is enabled.
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |      917      0 |        0 |        0
0.09/0.14	c  0.0s |       0 |      151 |        0 |      917      0 |        0 |        0
0.09/0.14	c #cpu_time = 0.003s
0.09/0.14	c #wall_clock_time = 0.003s
0.09/0.14	c #decision = 151
0.09/0.14	c #random_decision = 0
0.09/0.14	c #conflict = 0
0.09/0.14	c #restart = 0
0.09/0.14	o 2734
0.09/0.14	c BCD2: updating upper bound: 5464 -> 2733
0.09/0.14	c BCD2: 0 <= obj <= 2733
0.09/0.14	c BCD2: #cores=0, #unrelaxed=101, #relaxed=0, #hardened=0
0.09/0.14	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |      917      0 |        0 |        0
0.19/0.20	c  0.1s |       1 |      265 |      100 |      917      0 |        0 |        0
0.28/0.35	c  0.2s |       2 |     1075 |      250 |     1009      0 |        0 |        0
0.69/0.70	c  0.6s |       3 |     2551 |      475 |     1110      0 |        0 |        0
1.09/1.20	c  1.1s |       4 |     4709 |      813 |     1221      0 |        0 |        0
1.99/2.03	c  1.9s |       5 |     6685 |     1320 |     1344      0 |        0 |        0
2.99/3.05	c  2.9s |       6 |     8950 |     2081 |     1627      0 |        0 |        0
4.69/4.74	c  4.6s |       7 |    11678 |     3223 |     1790      1 |        0 |        0
6.89/6.91	c  6.8s |       7 |    14747 |     4623 |     1790      2 |        0 |        0
7.38/7.49	c  7.4s |       8 |    15084 |     4936 |     1970      2 |        0 |        0
9.58/9.61	c  9.5s |       8 |    18465 |     6436 |     1970      3 |        0 |        0
11.38/11.47	c 11.3s |       9 |    19685 |     7506 |     2167      3 |        0 |        0
13.48/13.51	c 13.4s |       9 |    22835 |     8906 |     2167      4 |        0 |        0
15.58/15.61	c 15.5s |       9 |    24232 |    10006 |     2167      4 |        0 |        0
17.69/17.79	c 17.7s |       9 |    25420 |    11006 |     2167      5 |        0 |        0
18.69/18.73	c 18.6s |      10 |    25886 |    11361 |     2384      5 |        0 |        0
20.79/20.82	c 20.7s |      10 |    28507 |    13161 |     2384      7 |        0 |        0
22.79/22.82	c 22.7s |      10 |    30207 |    14661 |     2384      8 |        0 |        0
24.79/24.85	c 24.7s |      10 |    31915 |    16161 |     2384      9 |        0 |        0
25.68/25.77	c 25.6s |      11 |    33096 |    17144 |     2623      9 |        0 |        0
27.78/27.84	c 27.7s |      11 |    36093 |    18444 |     2623     10 |        0 |        0
29.79/29.87	c 29.7s |      11 |    37436 |    19644 |     2623     10 |        0 |        0
31.78/31.89	c 31.7s |      11 |    38830 |    20844 |     2623     10 |        0 |        0
33.98/34.01	c 33.9s |      11 |    40046 |    21944 |     2623     11 |        0 |        0
36.08/36.14	c 36.0s |      11 |    41126 |    22944 |     2623     11 |        0 |        0
38.28/38.35	c 38.2s |      11 |    42301 |    23944 |     2623     12 |        0 |        0
40.48/40.51	c 40.4s |      11 |    43328 |    24844 |     2623     12 |        0 |        0
42.68/42.76	c 42.6s |      11 |    44328 |    25744 |     2886     12 |        0 |        0
42.89/42.95	c 42.8s |      12 |    44402 |    25819 |     2886     12 |        0 |        0
44.98/45.05	c 44.9s |      12 |    46693 |    27419 |     2886     14 |        0 |        0
46.98/47.07	c 46.9s |      12 |    49040 |    28619 |     2886     14 |        0 |        0
49.08/49.11	c 49.0s |      12 |    50212 |    29619 |     2886     14 |        0 |        0
51.28/51.33	c 51.2s |      12 |    51387 |    30619 |     2886     15 |        0 |        0
53.38/53.41	c 53.3s |      12 |    52402 |    31519 |     2886     15 |        0 |        0
55.48/55.53	c 55.4s |      12 |    53405 |    32419 |     2886     15 |        0 |        0
57.68/57.73	c 57.6s |      12 |    54521 |    33419 |     2886     16 |        0 |        0
59.77/59.86	c 59.7s |      12 |    55573 |    34319 |     2886     16 |        0 |        0
61.78/61.89	c 61.7s |      12 |    56480 |    35119 |     2886     16 |        0 |        0
63.98/64.03	c 63.9s |      12 |    57391 |    35919 |     2886     17 |        0 |        0
66.09/66.17	c 66.0s |      12 |    58301 |    36719 |     2886     17 |        0 |        0
68.19/68.28	c 68.1s |      12 |    59230 |    37519 |     2886     17 |        0 |        0
70.27/70.33	c 70.2s |      12 |    60036 |    38219 |     2886     17 |        0 |        0
72.18/72.27	c 72.1s |      13 |    60705 |    38832 |     3175     18 |        0 |        0
74.28/74.30	c 74.2s |      13 |    63353 |    39932 |     3175     18 |        0 |        0
76.48/76.50	c 76.4s |      13 |    64593 |    41032 |     3175     18 |        0 |        0
78.58/78.67	c 78.5s |      13 |    65393 |    41732 |     3175     19 |        0 |        0
80.77/80.88	c 80.7s |      13 |    66393 |    42632 |     3175     19 |        0 |        0
83.07/83.10	c 83.0s |      13 |    67396 |    43532 |     3175     19 |        0 |        0
85.17/85.29	c 85.1s |      13 |    68284 |    44332 |     3175     19 |        0 |        0
87.37/87.40	c 87.3s |      13 |    69067 |    45032 |     3175     20 |        0 |        0
89.37/89.48	c 89.3s |      13 |    69971 |    45832 |     3175     20 |        0 |        0
91.57/91.66	c 91.5s |      13 |    70879 |    46632 |     3175     20 |        0 |        0
93.67/93.78	c 93.6s |      13 |    71656 |    47332 |     3175     21 |        0 |        0
95.87/95.97	c 95.8s |      13 |    72462 |    48032 |     3175     21 |        0 |        0
98.27/98.36	c 98.2s |      13 |    73258 |    48732 |     3175     21 |        0 |        0
100.57/100.60	c  100s |      13 |    73926 |    49332 |     3175     21 |        0 |        0
102.87/102.94	c  102s |      13 |    74586 |    49932 |     3175     21 |        0 |        0
104.97/105.04	c  104s |      13 |    75123 |    50432 |     3175     22 |        0 |        0
107.17/107.23	c  107s |      13 |    75777 |    51032 |     3175     22 |        0 |        0
109.47/109.54	c  109s |      13 |    76432 |    51632 |     3175     22 |        0 |        0
111.87/111.99	c  111s |      13 |    77094 |    52232 |     3175     22 |        0 |        0
114.17/114.20	c  114s |      13 |    77626 |    52732 |     3175     22 |        0 |        0
116.37/116.44	c  116s |      13 |    78534 |    53532 |     3175     23 |        0 |        0
118.67/118.72	c  118s |      13 |    79423 |    54332 |     3175     23 |        0 |        0
120.77/120.82	c  120s |      13 |    80336 |    55132 |     3175     23 |        0 |        0
122.86/122.98	c  122s |      13 |    81122 |    55832 |     3175     24 |        0 |        0
124.96/125.03	c  124s |      13 |    82008 |    56632 |     3175     24 |        0 |        0
126.96/127.07	c  126s |      13 |    82789 |    57332 |     3175     24 |        0 |        0
129.07/129.11	c  128s |      13 |    83528 |    58032 |     3493     24 |        0 |        0
129.97/130.00	c  129s |      14 |    83890 |    58352 |     3493     24 |        0 |        0
131.97/132.05	c  131s |      14 |    86446 |    59652 |     3493     25 |        0 |        0
134.07/134.17	c  134s |      14 |    87806 |    60852 |     3493     25 |        0 |        0
136.17/136.24	c  136s |      14 |    88891 |    61852 |     3493     26 |        0 |        0
138.27/138.39	c  138s |      14 |    90127 |    62952 |     3493     26 |        0 |        0
140.47/140.56	c  140s |      14 |    91241 |    63952 |     3493     26 |        0 |        0
142.67/142.76	c  142s |      14 |    92157 |    64752 |     3493     27 |        0 |        0
144.86/144.91	c  144s |      14 |    93265 |    65752 |     3493     27 |        0 |        0
147.06/147.12	c  146s |      14 |    94320 |    66652 |     3493     27 |        0 |        0
149.26/149.31	c  149s |      14 |    95197 |    67452 |     3493     27 |        0 |        0
151.36/151.42	c  151s |      14 |    96096 |    68252 |     3493     28 |        0 |        0
153.36/153.49	c  153s |      14 |    97107 |    69152 |     3493     28 |        0 |        0
155.56/155.63	c  155s |      14 |    98084 |    70052 |     3493     28 |        0 |        0
157.66/157.70	c  157s |      14 |    98956 |    70852 |     3493     29 |        0 |        0
159.66/159.78	c  159s |      14 |    99971 |    71752 |     3493     29 |        0 |        0
161.77/161.89	c  161s |      14 |   100972 |    72652 |     3493     29 |        0 |        0
163.97/164.03	c  163s |      14 |   101822 |    73452 |     3493     29 |        0 |        0
166.16/166.23	c  166s |      14 |   102825 |    74352 |     3493     30 |        0 |        0
168.26/168.36	c  168s |      14 |   103823 |    75252 |     3493     30 |        0 |        0
170.46/170.52	c  170s |      14 |   104816 |    76152 |     3493     30 |        0 |        0
172.46/172.53	c  172s |      14 |   105576 |    76852 |     3493     31 |        0 |        0
174.56/174.61	c  174s |      14 |   106572 |    77752 |     3493     31 |        0 |        0
176.76/176.81	c  176s |      14 |   107595 |    78652 |     3493     31 |        0 |        0
179.06/179.13	c  178s |      14 |   108757 |    79652 |     3493     32 |        0 |        0
181.26/181.35	c  181s |      14 |   109894 |    80652 |     3493     32 |        0 |        0
183.26/183.37	c  183s |      14 |   110807 |    81452 |     3493     32 |        0 |        0
185.56/185.61	c  185s |      14 |   111786 |    82352 |     3493     32 |        0 |        0
187.66/187.71	c  187s |      14 |   112652 |    83152 |     3493     33 |        0 |        0
189.66/189.75	c  189s |      14 |   113426 |    83852 |     3493     33 |        0 |        0
191.76/191.82	c  191s |      14 |   114303 |    84652 |     3493     33 |        0 |        0
193.86/193.97	c  193s |      14 |   115211 |    85452 |     3493     33 |        0 |        0
196.06/196.18	c  196s |      14 |   116080 |    86252 |     3493     34 |        0 |        0
198.16/198.20	c  198s |      14 |   116976 |    87052 |     3843     34 |        0 |        0
199.76/199.82	c  199s |      15 |   117612 |    87632 |     3843     34 |        0 |        0
201.86/201.91	c  201s |      15 |   120124 |    88832 |     3843     35 |        0 |        0
203.86/203.93	c  203s |      15 |   121244 |    89832 |     3843     35 |        0 |        0
205.95/206.05	c  205s |      15 |   122503 |    90932 |     3843     35 |        0 |        0
208.15/208.30	c  208s |      15 |   123612 |    91932 |     3843     36 |        0 |        0
210.35/210.48	c  210s |      15 |   124634 |    92832 |     3843     36 |        0 |        0
212.45/212.59	c  212s |      15 |   125578 |    93632 |     3843     36 |        0 |        0
214.57/214.63	c  214s |      15 |   126368 |    94332 |     3843     36 |        0 |        0
216.76/216.83	c  216s |      15 |   127251 |    95132 |     3843     37 |        0 |        0
218.76/218.89	c  218s |      15 |   128137 |    95932 |     3843     37 |        0 |        0
220.86/220.96	c  220s |      15 |   128995 |    96732 |     3843     37 |        0 |        0
223.06/223.12	c  222s |      15 |   129852 |    97532 |     3843     37 |        0 |        0
225.15/225.26	c  225s |      15 |   130606 |    98232 |     3843     38 |        0 |        0
227.35/227.43	c  227s |      15 |   131804 |    99232 |     3843     38 |        0 |        0
229.55/229.63	c  229s |      15 |   132716 |   100032 |     3843     38 |        0 |        0
231.85/231.94	c  231s |      15 |   133470 |   100732 |     3843     38 |        0 |        0
234.05/234.14	c  233s |      15 |   134111 |   101332 |     3843     39 |        0 |        0
236.05/236.15	c  236s |      15 |   134875 |   102032 |     3843     39 |        0 |        0
238.25/238.32	c  238s |      15 |   135622 |   102732 |     3843     39 |        0 |        0
240.25/240.37	c  240s |      15 |   136264 |   103332 |     3843     39 |        0 |        0
242.35/242.46	c  242s |      15 |   137043 |   104032 |     3843     39 |        0 |        0
244.45/244.53	c  244s |      15 |   137810 |   104732 |     3843     40 |        0 |        0
246.85/246.98	c  246s |      15 |   138658 |   105532 |     3843     40 |        0 |        0
248.95/249.01	c  248s |      15 |   139432 |   106232 |     3843     40 |        0 |        0
250.95/251.09	c  250s |      15 |   140180 |   106932 |     3843     40 |        0 |        0
253.35/253.42	c  253s |      15 |   140939 |   107632 |     3843     41 |        0 |        0
255.45/255.52	c  255s |      15 |   141695 |   108332 |     3843     41 |        0 |        0
257.54/257.70	c  257s |      15 |   142561 |   109132 |     3843     41 |        0 |        0
259.74/259.89	c  259s |      15 |   143352 |   109832 |     3843     41 |        0 |        0
261.95/262.08	c  261s |      15 |   143986 |   110432 |     3843     42 |        0 |        0
264.25/264.33	c  264s |      15 |   144752 |   111132 |     3843     42 |        0 |        0
266.25/266.37	c  266s |      15 |   145390 |   111732 |     3843     42 |        0 |        0
268.24/268.40	c  268s |      15 |   146046 |   112332 |     3843     42 |        0 |        0
270.55/270.62	c  270s |      15 |   146934 |   113132 |     3843     42 |        0 |        0
272.64/272.78	c  272s |      15 |   147698 |   113832 |     3843     43 |        0 |        0
274.74/274.80	c  274s |      15 |   148563 |   114632 |     3843     43 |        0 |        0
276.74/276.88	c  276s |      15 |   149438 |   115432 |     3843     43 |        0 |        0
278.94/279.03	c  278s |      15 |   150200 |   116132 |     3843     43 |        0 |        0
280.95/281.04	c  280s |      15 |   150842 |   116732 |     3843     44 |        0 |        0
283.05/283.13	c  282s |      15 |   151996 |   117732 |     3843     44 |        0 |        0
285.15/285.22	c  285s |      15 |   152885 |   118532 |     3843     44 |        0 |        0
287.25/287.36	c  287s |      15 |   153666 |   119232 |     3843     44 |        0 |        0
289.35/289.44	c  289s |      15 |   154344 |   119832 |     3843     45 |        0 |        0
291.45/291.52	c  291s |      15 |   155098 |   120532 |     3843     45 |        0 |        0
293.65/293.79	c  293s |      15 |   155956 |   121332 |     3843     45 |        0 |        0
295.85/295.92	c  295s |      15 |   156603 |   121932 |     3843     45 |        0 |        0
298.05/298.17	c  298s |      15 |   157322 |   122532 |     3843     45 |        0 |        0
300.14/300.26	c  300s |      15 |   157887 |   123032 |     3843     46 |        0 |        0
302.14/302.27	c  302s |      15 |   158583 |   123632 |     3843     46 |        0 |        0
304.34/304.43	c  304s |      15 |   159255 |   124232 |     3843     46 |        0 |        0
306.34/306.43	c  306s |      15 |   159792 |   124732 |     3843     46 |        0 |        0
308.54/308.62	c  308s |      15 |   160445 |   125332 |     3843     46 |        0 |        0
310.83/310.92	c  310s |      15 |   161093 |   125932 |     3843     46 |        0 |        0
313.14/313.22	c  313s |      15 |   161642 |   126432 |     3843     47 |        0 |        0
315.24/315.39	c  315s |      15 |   162294 |   127032 |     3843     47 |        0 |        0
317.34/317.49	c  317s |      15 |   163106 |   127732 |     3843     47 |        0 |        0
319.54/319.68	c  319s |      15 |   164134 |   128632 |     3843     47 |        0 |        0
321.64/321.74	c  321s |      15 |   164920 |   129332 |     3843     48 |        0 |        0
323.73/323.83	c  323s |      15 |   165826 |   130132 |     3843     48 |        0 |        0
325.83/325.97	c  325s |      15 |   166712 |   130932 |     4228     48 |        0 |        0
327.63/327.76	c  327s |      16 |   167419 |   131552 |     4228     48 |        0 |        0
329.73/329.80	c  329s |      16 |   170036 |   132952 |     4228     49 |        0 |        0
331.73/331.80	c  331s |      16 |   171531 |   134252 |     4228     49 |        0 |        0
333.83/333.93	c  333s |      16 |   172889 |   135452 |     4228     49 |        0 |        0
335.93/336.01	c  335s |      16 |   174014 |   136452 |     4228     50 |        0 |        0
338.03/338.10	c  337s |      16 |   175010 |   137352 |     4228     50 |        0 |        0
340.13/340.25	c  340s |      16 |   176142 |   138352 |     4228     50 |        0 |        0
342.33/342.44	c  342s |      16 |   177136 |   139252 |     4228     51 |        0 |        0
344.43/344.59	c  344s |      16 |   178234 |   140252 |     4228     51 |        0 |        0
346.63/346.78	c  346s |      16 |   179405 |   141252 |     4228     51 |        0 |        0
349.04/349.16	c  349s |      16 |   180538 |   142252 |     4228     52 |        0 |        0
351.14/351.24	c  351s |      16 |   181721 |   143252 |     4228     52 |        0 |        0
353.14/353.25	c  353s |      16 |   182767 |   144152 |     4228     52 |        0 |        0
355.34/355.43	c  355s |      16 |   183796 |   145052 |     4228     52 |        0 |        0
357.44/357.51	c  357s |      16 |   184702 |   145852 |     4228     53 |        0 |        0
359.54/359.70	c  359s |      16 |   185852 |   146852 |     4228     53 |        0 |        0
361.64/361.78	c  361s |      16 |   186876 |   147752 |     4228     53 |        0 |        0
363.84/363.94	c  363s |      16 |   187762 |   148552 |     4228     53 |        0 |        0
365.94/366.00	c  365s |      16 |   188548 |   149252 |     4228     54 |        0 |        0
367.94/368.07	c  367s |      16 |   189445 |   150052 |     4228     54 |        0 |        0
370.13/370.21	c  370s |      16 |   190446 |   150952 |     4228     54 |        0 |        0
372.33/372.41	c  372s |      16 |   191453 |   151852 |     4228     54 |        0 |        0
374.33/374.47	c  374s |      16 |   192240 |   152552 |     4228     55 |        0 |        0
376.33/376.48	c  376s |      16 |   193135 |   153352 |     4228     55 |        0 |        0
378.44/378.52	c  378s |      16 |   194066 |   154152 |     4228     55 |        0 |        0
380.43/380.55	c  380s |      16 |   194872 |   154852 |     4228     55 |        0 |        0
382.63/382.71	c  382s |      16 |   195782 |   155652 |     4228     56 |        0 |        0
384.73/384.86	c  384s |      16 |   196687 |   156452 |     4228     56 |        0 |        0
386.93/387.03	c  386s |      16 |   197727 |   157352 |     4228     56 |        0 |        0
389.03/389.19	c  389s |      16 |   198519 |   158052 |     4228     56 |        0 |        0
391.33/391.42	c  391s |      16 |   199392 |   158852 |     4228     56 |        0 |        0
393.52/393.66	c  393s |      16 |   200170 |   159552 |     4228     57 |        0 |        0
395.62/395.71	c  395s |      16 |   200933 |   160252 |     4228     57 |        0 |        0
397.72/397.88	c  397s |      16 |   201859 |   161052 |     4228     57 |        0 |        0
399.92/400.04	c  399s |      16 |   202651 |   161752 |     4228     57 |        0 |        0
402.32/402.44	c  402s |      16 |   203460 |   162452 |     4228     58 |        0 |        0
404.32/404.47	c  404s |      16 |   204392 |   163252 |     4228     58 |        0 |        0
406.53/406.69	c  406s |      16 |   205251 |   164052 |     4228     58 |        0 |        0
408.73/408.85	c  408s |      16 |   206151 |   164852 |     4228     58 |        0 |        0
410.83/410.98	c  410s |      16 |   206964 |   165552 |     4228     59 |        0 |        0
412.93/413.00	c  412s |      16 |   207856 |   166352 |     4228     59 |        0 |        0
415.02/415.16	c  415s |      16 |   208746 |   167152 |     4228     59 |        0 |        0
417.22/417.30	c  417s |      16 |   209492 |   167852 |     4228     59 |        0 |        0
419.22/419.31	c  419s |      16 |   210169 |   168452 |     4228     59 |        0 |        0
421.23/421.37	c  421s |      16 |   210931 |   169152 |     4228     60 |        0 |        0
423.43/423.56	c  423s |      16 |   211696 |   169852 |     4228     60 |        0 |        0
425.42/425.56	c  425s |      16 |   212586 |   170652 |     4228     60 |        0 |        0
427.62/427.71	c  427s |      16 |   213646 |   171552 |     4228     60 |        0 |        0
429.73/429.87	c  429s |      16 |   214467 |   172252 |     4228     61 |        0 |        0
431.92/432.00	c  431s |      16 |   215384 |   173052 |     4228     61 |        0 |        0
434.02/434.12	c  433s |      16 |   216077 |   173652 |     4228     61 |        0 |        0
436.12/436.29	c  436s |      16 |   216714 |   174252 |     4228     61 |        0 |        0
438.22/438.33	c  438s |      16 |   217529 |   174952 |     4228     61 |        0 |        0
440.52/440.64	c  440s |      16 |   218343 |   175652 |     4228     62 |        0 |        0
442.72/442.84	c  442s |      16 |   219125 |   176352 |     4228     62 |        0 |        0
444.91/445.02	c  444s |      16 |   219904 |   177052 |     4228     62 |        0 |        0
446.92/447.04	c  446s |      16 |   220556 |   177652 |     4228     62 |        0 |        0
448.92/449.08	c  448s |      16 |   221489 |   178452 |     4228     62 |        0 |        0
451.03/451.11	c  450s |      16 |   222569 |   179352 |     4228     63 |        0 |        0
453.12/453.21	c  453s |      16 |   223699 |   180352 |     4228     63 |        0 |        0
455.12/455.28	c  455s |      16 |   224836 |   181352 |     4228     63 |        0 |        0
457.42/457.50	c  457s |      16 |   225846 |   182252 |     4228     64 |        0 |        0
459.41/459.53	c  459s |      16 |   226919 |   183152 |     4228     64 |        0 |        0
461.61/461.78	c  461s |      16 |   227920 |   184052 |     4228     64 |        0 |        0
463.81/463.94	c  463s |      16 |   228814 |   184852 |     4228     64 |        0 |        0
466.01/466.19	c  466s |      16 |   229765 |   185652 |     4228     65 |        0 |        0
468.22/468.34	c  468s |      16 |   230692 |   186452 |     4228     65 |        0 |        0
470.32/470.45	c  470s |      16 |   231614 |   187252 |     4228     65 |        0 |        0
472.42/472.58	c  472s |      16 |   232522 |   188052 |     4228     65 |        0 |        0
474.62/474.74	c  474s |      16 |   233697 |   189052 |     4228     66 |        0 |        0
476.71/476.84	c  476s |      16 |   234820 |   190052 |     4228     66 |        0 |        0
479.01/479.10	c  478s |      16 |   235945 |   191052 |     4228     66 |        0 |        0
481.21/481.30	c  481s |      16 |   236814 |   191852 |     4228     66 |        0 |        0
483.31/483.49	c  483s |      16 |   237692 |   192652 |     4228     67 |        0 |        0
485.52/485.65	c  485s |      16 |   238880 |   193652 |     4228     67 |        0 |        0
487.72/487.88	c  487s |      16 |   240017 |   194652 |     4228     67 |        0 |        0
489.91/490.04	c  489s |      16 |   240920 |   195452 |     4228     67 |        0 |        0
491.91/492.05	c  491s |      16 |   241684 |   196152 |     4651     68 |        0 |        0
494.21/494.31	c  494s |      16 |   242558 |   196952 |     4651     68 |        0 |        0
495.71/495.81	c  495s |      17 |   243100 |   197432 |     4651     68 |        0 |        0
497.81/497.94	c  497s |      17 |   245653 |   198632 |     4651     69 |        0 |        0
499.91/500.08	c  499s |      17 |   247033 |   199832 |     4651     69 |        0 |        0
502.01/502.18	c  502s |      17 |   248181 |   200832 |     4651     69 |        0 |        0
504.11/504.24	c  504s |      17 |   249180 |   201732 |     4651     69 |        0 |        0
506.11/506.26	c  506s |      17 |   250089 |   202532 |     4651     70 |        0 |        0
508.22/508.37	c  508s |      17 |   251158 |   203432 |     4651     70 |        0 |        0
510.32/510.45	c  510s |      17 |   252073 |   204232 |     4651     70 |        0 |        0
512.52/512.63	c  512s |      17 |   252997 |   205032 |     4651     70 |        0 |        0
514.61/514.80	c  514s |      17 |   253816 |   205732 |     4651     71 |        0 |        0
516.71/516.80	c  516s |      17 |   254714 |   206532 |     4651     71 |        0 |        0
518.71/518.86	c  518s |      17 |   255613 |   207332 |     4651     71 |        0 |        0
520.81/520.96	c  520s |      17 |   256529 |   208132 |     4651     71 |        0 |        0
522.81/522.99	c  522s |      17 |   257332 |   208832 |     4651     71 |        0 |        0
524.91/525.01	c  524s |      17 |   257994 |   209432 |     4651     72 |        0 |        0
527.01/527.13	c  526s |      17 |   259009 |   210332 |     4651     72 |        0 |        0
529.31/529.42	c  529s |      17 |   259911 |   211132 |     4651     72 |        0 |        0
531.60/531.77	c  531s |      17 |   260803 |   211932 |     4651     72 |        0 |        0
534.00/534.17	c  534s |      17 |   261590 |   212632 |     4651     73 |        0 |        0
536.10/536.25	c  536s |      17 |   262379 |   213332 |     4651     73 |        0 |        0
538.11/538.29	c  538s |      17 |   263365 |   214232 |     4651     73 |        0 |        0
540.31/540.40	c  540s |      17 |   264268 |   215032 |     4651     73 |        0 |        0
542.31/542.41	c  542s |      17 |   265043 |   215732 |     4651     73 |        0 |        0
544.31/544.48	c  544s |      17 |   265838 |   216432 |     4651     74 |        0 |        0
546.41/546.55	c  546s |      17 |   266722 |   217232 |     4651     74 |        0 |        0
548.51/548.69	c  548s |      17 |   267484 |   217932 |     4651     74 |        0 |        0
550.71/550.81	c  550s |      17 |   268386 |   218732 |     4651     74 |        0 |        0
552.90/553.05	c  552s |      17 |   269249 |   219532 |     4651     74 |        0 |        0
555.00/555.19	c  555s |      17 |   270055 |   220232 |     4651     75 |        0 |        0
557.10/557.29	c  557s |      17 |   270958 |   221032 |     4651     75 |        0 |        0
559.40/559.57	c  559s |      17 |   271853 |   221832 |     4651     75 |        0 |        0
561.50/561.66	c  561s |      17 |   272729 |   222632 |     4651     75 |        0 |        0
563.90/564.01	c  563s |      17 |   273478 |   223332 |     4651     76 |        0 |        0
566.00/566.15	c  566s |      17 |   274412 |   224132 |     4651     76 |        0 |        0
568.10/568.28	c  568s |      17 |   275288 |   224932 |     4651     76 |        0 |        0
570.20/570.30	c  570s |      17 |   276156 |   225732 |     4651     76 |        0 |        0
572.40/572.59	c  572s |      17 |   276995 |   226532 |     4651     76 |        0 |        0
574.60/574.78	c  574s |      17 |   277761 |   227232 |     4651     77 |        0 |        0
576.90/577.00	c  576s |      17 |   278637 |   228032 |     4651     77 |        0 |        0
578.90/579.07	c  578s |      17 |   279535 |   228832 |     4651     77 |        0 |        0
581.00/581.11	c  580s |      17 |   280300 |   229532 |     4651     77 |        0 |        0
583.10/583.22	c  583s |      17 |   281145 |   230232 |     4651     77 |        0 |        0
585.40/585.52	c  585s |      17 |   281933 |   230932 |     4651     78 |        0 |        0
587.49/587.60	c  587s |      17 |   282725 |   231632 |     4651     78 |        0 |        0
589.50/589.66	c  589s |      17 |   283490 |   232332 |     4651     78 |        0 |        0
591.59/591.77	c  591s |      17 |   284287 |   233032 |     4651     78 |        0 |        0
593.91/594.08	c  593s |      17 |   285048 |   233732 |     4651     78 |        0 |        0
596.00/596.20	c  596s |      17 |   285838 |   234432 |     4651     79 |        0 |        0
598.20/598.35	c  598s |      17 |   286644 |   235132 |     4651     79 |        0 |        0
600.19/600.39	c  600s |      17 |   287399 |   235832 |     4651     79 |        0 |        0
602.29/602.44	c  602s |      17 |   288188 |   236532 |     4651     79 |        0 |        0
604.49/604.68	c  604s |      17 |   288956 |   237232 |     4651     79 |        0 |        0
606.69/606.80	c  606s |      17 |   289606 |   237832 |     4651     80 |        0 |        0
608.89/609.09	c  608s |      17 |   290465 |   238632 |     4651     80 |        0 |        0
610.99/611.16	c  611s |      17 |   291508 |   239532 |     4651     80 |        0 |        0
613.10/613.22	c  613s |      17 |   292382 |   240332 |     4651     80 |        0 |        0
615.10/615.25	c  615s |      17 |   293201 |   241032 |     4651     81 |        0 |        0
617.30/617.42	c  617s |      17 |   294202 |   241932 |     4651     81 |        0 |        0
619.40/619.50	c  619s |      17 |   295110 |   242732 |     4651     81 |        0 |        0
621.40/621.54	c  621s |      17 |   295879 |   243432 |     4651     81 |        0 |        0
623.60/623.76	c  623s |      17 |   296776 |   244232 |     4651     81 |        0 |        0
625.80/625.96	c  625s |      17 |   297706 |   245032 |     4651     82 |        0 |        0
627.89/628.08	c  627s |      17 |   298573 |   245732 |     4651     82 |        0 |        0
630.09/630.22	c  630s |      17 |   299394 |   246432 |     4651     82 |        0 |        0
632.39/632.51	c  632s |      17 |   300200 |   247132 |     4651     82 |        0 |        0
634.39/634.52	c  634s |      17 |   300875 |   247732 |     4651     82 |        0 |        0
636.39/636.56	c  636s |      17 |   301657 |   248432 |     4651     83 |        0 |        0
638.59/638.77	c  638s |      17 |   302601 |   249232 |     4651     83 |        0 |        0
640.79/640.90	c  640s |      17 |   303517 |   250032 |     4651     83 |        0 |        0
642.89/643.01	c  642s |      17 |   304264 |   250732 |     4651     83 |        0 |        0
644.98/645.12	c  644s |      17 |   305068 |   251432 |     4651     83 |        0 |        0
646.98/647.19	c  647s |      17 |   305867 |   252132 |     4651     84 |        0 |        0
649.09/649.22	c  649s |      17 |   306638 |   252832 |     4651     84 |        0 |        0
651.20/651.37	c  651s |      17 |   307548 |   253632 |     4651     84 |        0 |        0
653.30/653.48	c  653s |      17 |   308351 |   254332 |     4651     84 |        0 |        0
655.60/655.75	c  655s |      17 |   309239 |   255132 |     4651     84 |        0 |        0
657.79/657.94	c  657s |      17 |   310025 |   255832 |     4651     85 |        0 |        0
659.89/660.08	c  659s |      17 |   310916 |   256632 |     4651     85 |        0 |        0
661.99/662.14	c  661s |      17 |   311788 |   257432 |     4651     85 |        0 |        0
664.19/664.33	c  664s |      17 |   312555 |   258132 |     4651     85 |        0 |        0
666.18/666.34	c  666s |      17 |   313217 |   258732 |     4651     86 |        0 |        0
668.18/668.37	c  668s |      17 |   313971 |   259432 |     4651     86 |        0 |        0
670.18/670.39	c  670s |      17 |   314712 |   260132 |     4651     86 |        0 |        0
672.48/672.66	c  672s |      17 |   315561 |   260932 |     4651     86 |        0 |        0
674.59/674.74	c  674s |      17 |   316317 |   261632 |     4651     86 |        0 |        0
676.89/677.02	c  676s |      17 |   316988 |   262232 |     4651     87 |        0 |        0
679.09/679.22	c  679s |      17 |   317872 |   263032 |     4651     87 |        0 |        0
681.08/681.22	c  681s |      17 |   318650 |   263732 |     4651     87 |        0 |        0
683.18/683.38	c  683s |      17 |   319584 |   264532 |     4651     87 |        0 |        0
685.48/685.63	c  685s |      17 |   320473 |   265332 |     4651     87 |        0 |        0
687.88/688.00	c  687s |      17 |   321247 |   266032 |     4651     88 |        0 |        0
689.98/690.15	c  690s |      17 |   322117 |   266832 |     4651     88 |        0 |        0
692.18/692.39	c  692s |      17 |   322998 |   267632 |     4651     88 |        0 |        0
694.48/694.60	c  694s |      17 |   323762 |   268332 |     4651     88 |        0 |        0
696.68/696.82	c  696s |      17 |   324504 |   269032 |     4651     88 |        0 |        0
698.68/698.83	c  698s |      17 |   325221 |   269632 |     4651     89 |        0 |        0
700.88/701.02	c  700s |      17 |   326211 |   270532 |     4651     89 |        0 |        0
702.89/703.02	c  702s |      17 |   327017 |   271232 |     4651     89 |        0 |        0
705.09/705.29	c  705s |      17 |   327779 |   271932 |     4651     89 |        0 |        0
707.38/707.54	c  707s |      17 |   328563 |   272632 |     4651     89 |        0 |        0
709.68/709.86	c  709s |      17 |   329359 |   273332 |     4651     90 |        0 |        0
711.88/712.03	c  711s |      17 |   330148 |   274032 |     4651     90 |        0 |        0
713.98/714.10	c  713s |      17 |   330924 |   274732 |     4651     90 |        0 |        0
716.18/716.37	c  716s |      17 |   331689 |   275432 |     4651     90 |        0 |        0
718.37/718.54	c  718s |      17 |   332495 |   276132 |     4651     90 |        0 |        0
720.57/720.79	c  720s |      17 |   333399 |   276932 |     4651     91 |        0 |        0
722.68/722.89	c  722s |      17 |   334189 |   277632 |     4651     91 |        0 |        0
724.88/725.04	c  724s |      17 |   334937 |   278332 |     4651     91 |        0 |        0
726.88/727.08	c  726s |      17 |   335702 |   279032 |     4651     91 |        0 |        0
729.19/729.30	c  729s |      17 |   336466 |   279732 |     4651     91 |        0 |        0
731.18/731.37	c  731s |      17 |   337138 |   280332 |     4651     92 |        0 |        0
733.28/733.44	c  733s |      17 |   337898 |   281032 |     4651     92 |        0 |        0
735.58/735.73	c  735s |      17 |   338663 |   281732 |     4651     92 |        0 |        0
737.68/737.80	c  737s |      17 |   339316 |   282332 |     4651     92 |        0 |        0
739.77/739.99	c  739s |      17 |   340275 |   283132 |     4651     92 |        0 |        0
742.07/742.23	c  742s |      17 |   341084 |   283832 |     4651     93 |        0 |        0
744.27/744.44	c  744s |      17 |   342038 |   284632 |     4651     93 |        0 |        0
746.47/746.64	c  746s |      17 |   342817 |   285332 |     4651     93 |        0 |        0
748.67/748.89	c  748s |      17 |   343589 |   286032 |     4651     93 |        0 |        0
750.86/751.04	c  750s |      17 |   344378 |   286732 |     4651     93 |        0 |        0
752.86/753.07	c  752s |      17 |   345054 |   287332 |     4651     94 |        0 |        0
755.17/755.35	c  755s |      17 |   345843 |   288032 |     4651     94 |        0 |        0
757.36/757.57	c  757s |      17 |   346737 |   288832 |     4651     94 |        0 |        0
759.46/759.62	c  759s |      17 |   347629 |   289632 |     4651     94 |        0 |        0
761.56/761.78	c  761s |      17 |   348523 |   290432 |     4651     94 |        0 |        0
763.76/763.93	c  763s |      17 |   349419 |   291232 |     4651     95 |        0 |        0
765.96/766.17	c  766s |      17 |   350314 |   292032 |     4651     95 |        0 |        0
768.16/768.37	c  768s |      17 |   351213 |   292832 |     4651     95 |        0 |        0
770.26/770.43	c  770s |      17 |   351978 |   293532 |     4651     95 |        0 |        0
772.26/772.45	c  772s |      17 |   352667 |   294132 |     4651     96 |        0 |        0
774.56/774.73	c  774s |      17 |   353572 |   294932 |     5117     96 |        0 |        0
776.76/776.99	c  776s |      17 |   354459 |   295732 |     5117     96 |        0 |        0
778.46/778.65	c  778s |      18 |   355034 |   296252 |     5117     96 |        0 |        0
780.56/780.71	c  780s |      18 |   357261 |   297252 |     5117     97 |        0 |        0
782.76/782.92	c  782s |      18 |   358400 |   298252 |     5117     97 |        0 |        0
784.95/785.17	c  785s |      18 |   359590 |   299252 |     5117     97 |        0 |        0
786.95/787.19	c  787s |      18 |   360605 |   300152 |     5117     97 |        0 |        0
789.25/789.40	c  789s |      18 |   361653 |   301052 |     5117     98 |        0 |        0
791.35/791.56	c  791s |      18 |   362696 |   301952 |     5117     98 |        0 |        0
793.45/793.67	c  793s |      18 |   363758 |   302852 |     5117     98 |        0 |        0
795.55/795.79	c  795s |      18 |   364670 |   303652 |     5117     98 |        0 |        0
797.76/797.90	c  797s |      18 |   365406 |   304352 |     5117     98 |        0 |        0
799.76/799.90	c  799s |      18 |   365965 |   304852 |     5117     99 |        0 |        0
801.76/801.98	c  801s |      18 |   366865 |   305652 |     5117     99 |        0 |        0
803.96/804.20	c  804s |      18 |   367750 |   306452 |     5117     99 |        0 |        0
806.05/806.28	c  806s |      18 |   368503 |   307152 |     5117     99 |        0 |        0
808.36/808.51	c  808s |      18 |   369377 |   307952 |     5117     99 |        0 |        0
810.56/810.71	c  810s |      18 |   370037 |   308552 |     5117    100 |        0 |        0
812.65/812.81	c  812s |      18 |   370812 |   309252 |     5117    100 |        0 |        0
814.85/815.04	c  814s |      18 |   371714 |   310052 |     5117    100 |        0 |        0
816.95/817.14	c  817s |      18 |   372501 |   310752 |     5117    100 |        0 |        0
819.15/819.37	c  819s |      18 |   373281 |   311452 |     5117    100 |        0 |        0
821.25/821.41	c  821s |      18 |   373947 |   312052 |     5117    100 |        0 |        0
823.34/823.55	c  823s |      18 |   374636 |   312652 |     5117    101 |        0 |        0
825.34/825.58	c  825s |      18 |   375648 |   313452 |     5117    101 |        0 |        0
827.44/827.69	c  827s |      18 |   376521 |   314152 |     5117    101 |        0 |        0
829.74/829.98	c  829s |      18 |   377346 |   314852 |     5117    101 |        0 |        0
831.84/832.09	c  831s |      18 |   378032 |   315452 |     5117    101 |        0 |        0
834.34/834.57	c  834s |      18 |   378792 |   316152 |     5117    102 |        0 |        0
836.64/836.82	c  836s |      18 |   379713 |   316952 |     5117    102 |        0 |        0
838.73/838.93	c  838s |      18 |   380505 |   317652 |     5117    102 |        0 |        0
841.03/841.24	c  841s |      18 |   381304 |   318352 |     5117    102 |        0 |        0
843.14/843.38	c  843s |      18 |   382137 |   319052 |     5117    102 |        0 |        0
845.44/845.64	c  845s |      18 |   383045 |   319852 |     5117    102 |        0 |        0
847.73/847.90	c  847s |      18 |   383848 |   320552 |     5117    103 |        0 |        0
850.03/850.24	c  850s |      18 |   384502 |   321152 |     5117    103 |        0 |        0
852.23/852.40	c  852s |      18 |   385323 |   321852 |     5117    103 |        0 |        0
854.33/854.50	c  854s |      18 |   386021 |   322452 |     5117    103 |        0 |        0
856.43/856.62	c  856s |      18 |   386679 |   323052 |     5117    103 |        0 |        0
858.83/859.05	c  858s |      18 |   387440 |   323752 |     5117    104 |        0 |        0
861.03/861.23	c  861s |      18 |   388322 |   324552 |     5117    104 |        0 |        0
863.23/863.44	c  863s |      18 |   389131 |   325252 |     5117    104 |        0 |        0
865.23/865.49	c  865s |      18 |   389790 |   325852 |     5117    104 |        0 |        0
867.52/867.76	c  867s |      18 |   390558 |   326552 |     5117    104 |        0 |        0
869.82/870.06	c  869s |      18 |   391207 |   327152 |     5117    104 |        0 |        0
871.92/872.12	c  871s |      18 |   391786 |   327652 |     5117    105 |        0 |        0
874.02/874.27	c  874s |      18 |   392551 |   328352 |     5117    105 |        0 |        0
876.12/876.35	c  876s |      18 |   393304 |   329052 |     5117    105 |        0 |        0
878.22/878.45	c  878s |      18 |   394112 |   329752 |     5117    105 |        0 |        0
880.52/880.73	c  880s |      18 |   394868 |   330452 |     5117    105 |        0 |        0
882.52/882.76	c  882s |      18 |   395679 |   331152 |     5117    105 |        0 |        0
884.62/884.83	c  884s |      18 |   396425 |   331852 |     5117    106 |        0 |        0
886.62/886.88	c  886s |      18 |   397204 |   332552 |     5117    106 |        0 |        0
888.92/889.13	c  888s |      18 |   397969 |   333252 |     5117    106 |        0 |        0
890.92/891.19	c  891s |      18 |   398745 |   333952 |     5117    106 |        0 |        0
893.12/893.31	c  893s |      18 |   399393 |   334552 |     5117    106 |        0 |        0
895.12/895.33	c  895s |      18 |   399925 |   335052 |     5117    107 |        0 |        0
897.31/897.58	c  897s |      18 |   400814 |   335852 |     5117    107 |        0 |        0
899.72/899.90	c  899s |      18 |   401681 |   336652 |     5117    107 |        0 |        0
902.01/902.22	c  902s |      18 |   402433 |   337352 |     5117    107 |        0 |        0
904.11/904.36	c  904s |      18 |   403089 |   337952 |     5117    107 |        0 |        0
906.32/906.55	c  906s |      18 |   403736 |   338552 |     5117    107 |        0 |        0
908.31/908.60	c  908s |      18 |   404388 |   339152 |     5117    108 |        0 |        0
910.41/910.67	c  910s |      18 |   405151 |   339852 |     5117    108 |        0 |        0
912.61/912.82	c  912s |      18 |   405964 |   340552 |     5117    108 |        0 |        0
914.61/914.82	c  914s |      18 |   406749 |   341252 |     5117    108 |        0 |        0
916.70/916.93	c  916s |      18 |   407540 |   341952 |     5117    108 |        0 |        0
918.80/919.05	c  918s |      18 |   408313 |   342652 |     5117    109 |        0 |        0
921.10/921.30	c  921s |      18 |   409190 |   343452 |     5117    109 |        0 |        0
923.10/923.36	c  923s |      18 |   409941 |   344152 |     5117    109 |        0 |        0
925.20/925.44	c  925s |      18 |   410690 |   344852 |     5117    109 |        0 |        0
927.39/927.65	c  927s |      18 |   411442 |   345552 |     5117    109 |        0 |        0
929.69/929.93	c  929s |      18 |   412192 |   346252 |     5117    109 |        0 |        0
931.79/932.07	c  931s |      18 |   412839 |   346852 |     5117    110 |        0 |        0
933.99/934.26	c  934s |      18 |   413880 |   347752 |     5117    110 |        0 |        0
936.20/936.47	c  936s |      18 |   414753 |   348552 |     5117    110 |        0 |        0
938.30/938.59	c  938s |      18 |   415648 |   349352 |     5117    110 |        0 |        0
940.50/940.71	c  940s |      18 |   416395 |   350052 |     5117    110 |        0 |        0
942.60/942.83	c  942s |      18 |   417149 |   350752 |     5117    111 |        0 |        0
944.70/944.97	c  944s |      18 |   417907 |   351452 |     5117    111 |        0 |        0
946.79/947.06	c  946s |      18 |   418656 |   352152 |     5117    111 |        0 |        0
948.79/949.07	c  948s |      18 |   419281 |   352752 |     5117    111 |        0 |        0
950.79/951.07	c  950s |      18 |   419939 |   353352 |     5117    111 |        0 |        0
953.19/953.41	c  953s |      18 |   420563 |   353952 |     5117    112 |        0 |        0
955.19/955.42	c  955s |      18 |   421367 |   354652 |     5117    112 |        0 |        0
957.38/957.70	c  957s |      18 |   422279 |   355452 |     5117    112 |        0 |        0
959.48/959.71	c  959s |      18 |   423039 |   356152 |     5117    112 |        0 |        0
961.58/961.84	c  961s |      18 |   423988 |   356952 |     5117    112 |        0 |        0
963.98/964.29	c  964s |      18 |   424856 |   357752 |     5117    113 |        0 |        0
966.28/966.51	c  966s |      18 |   425826 |   358552 |     5117    113 |        0 |        0
968.28/968.55	c  968s |      18 |   426767 |   359352 |     5117    113 |        0 |        0
970.28/970.57	c  970s |      18 |   427667 |   360152 |     5117    113 |        0 |        0
972.38/972.65	c  972s |      18 |   428466 |   360852 |     5117    113 |        0 |        0
974.58/974.88	c  974s |      18 |   429261 |   361552 |     5117    114 |        0 |        0
976.88/977.14	c  976s |      18 |   430018 |   362252 |     5117    114 |        0 |        0
978.98/979.29	c  979s |      18 |   430790 |   362952 |     5117    114 |        0 |        0
981.18/981.48	c  981s |      18 |   431561 |   363652 |     5117    114 |        0 |        0
983.28/983.59	c  983s |      18 |   432470 |   364452 |     5117    114 |        0 |        0
985.48/985.74	c  985s |      18 |   433381 |   365252 |     5117    114 |        0 |        0
987.68/987.92	c  987s |      18 |   434292 |   366052 |     5117    115 |        0 |        0
989.88/990.19	c  990s |      18 |   435111 |   366752 |     5117    115 |        0 |        0
992.17/992.44	c  992s |      18 |   436038 |   367552 |     5117    115 |        0 |        0
994.47/994.71	c  994s |      18 |   436934 |   368352 |     5117    115 |        0 |        0
996.57/996.86	c  996s |      18 |   437676 |   369052 |     5117    115 |        0 |        0
998.77/999.09	c  998s |      18 |   438330 |   369652 |     5117    116 |        0 |        0
1000.87/1001.15	c 1001s |      18 |   439106 |   370352 |     5117    116 |        0 |        0
1003.07/1003.35	c 1003s |      18 |   439893 |   371052 |     5117    116 |        0 |        0
1005.06/1005.38	c 1005s |      18 |   440697 |   371752 |     5117    116 |        0 |        0
1007.36/1007.69	c 1007s |      18 |   441470 |   372452 |     5117    116 |        0 |        0
1009.45/1009.74	c 1009s |      18 |   442038 |   372952 |     5117    117 |        0 |        0
1011.45/1011.75	c 1011s |      18 |   442950 |   373752 |     5117    117 |        0 |        0
1013.75/1014.01	c 1013s |      18 |   443871 |   374552 |     5117    117 |        0 |        0
1015.85/1016.15	c 1016s |      18 |   444647 |   375252 |     5117    117 |        0 |        0
1018.05/1018.38	c 1018s |      18 |   445443 |   375952 |     5117    117 |        0 |        0
1020.25/1020.59	c 1020s |      18 |   446264 |   376652 |     5117    118 |        0 |        0
1022.35/1022.65	c 1022s |      18 |   447038 |   377352 |     5117    118 |        0 |        0
1024.55/1024.83	c 1024s |      18 |   447842 |   378052 |     5117    118 |        0 |        0
1026.66/1026.97	c 1026s |      18 |   448601 |   378752 |     5117    118 |        0 |        0
1028.95/1029.23	c 1029s |      18 |   449376 |   379452 |     5117    118 |        0 |        0
1031.25/1031.54	c 1031s |      18 |   450154 |   380152 |     5117    118 |        0 |        0
1033.35/1033.63	c 1033s |      18 |   450809 |   380752 |     5117    119 |        0 |        0
1035.55/1035.88	c 1035s |      18 |   451593 |   381452 |     5117    119 |        0 |        0
1037.74/1038.04	c 1037s |      18 |   452375 |   382152 |     5117    119 |        0 |        0
1039.84/1040.15	c 1040s |      18 |   453162 |   382852 |     5117    119 |        0 |        0
1042.05/1042.31	c 1042s |      18 |   453928 |   383552 |     5117    119 |        0 |        0
1044.05/1044.37	c 1044s |      18 |   454599 |   384152 |     5117    119 |        0 |        0
1046.35/1046.60	c 1046s |      18 |   455375 |   384852 |     5117    120 |        0 |        0
1048.54/1048.83	c 1048s |      18 |   456261 |   385652 |     5117    120 |        0 |        0
1050.74/1051.01	c 1050s |      18 |   457023 |   386352 |     5117    120 |        0 |        0
1052.74/1053.08	c 1052s |      18 |   457688 |   386952 |     5117    120 |        0 |        0
1054.84/1055.12	c 1054s |      18 |   458351 |   387552 |     5117    120 |        0 |        0
1057.14/1057.40	c 1057s |      18 |   458993 |   388152 |     5117    121 |        0 |        0
1059.14/1059.47	c 1059s |      18 |   459782 |   388852 |     5117    121 |        0 |        0
1061.34/1061.66	c 1061s |      18 |   460595 |   389552 |     5117    121 |        0 |        0
1063.44/1063.80	c 1063s |      18 |   461345 |   390252 |     5117    121 |        0 |        0
1065.54/1065.81	c 1065s |      18 |   462108 |   390952 |     5117    121 |        0 |        0
1067.64/1067.98	c 1067s |      18 |   462853 |   391652 |     5117    121 |        0 |        0
1069.74/1070.00	c 1069s |      18 |   463626 |   392352 |     5117    122 |        0 |        0
1071.84/1072.17	c 1072s |      18 |   464526 |   393152 |     5117    122 |        0 |        0
1073.93/1074.22	c 1074s |      18 |   465290 |   393852 |     5117    122 |        0 |        0
1076.13/1076.48	c 1076s |      18 |   466213 |   394652 |     5117    122 |        0 |        0
1078.23/1078.51	c 1078s |      18 |   467018 |   395352 |     5117    122 |        0 |        0
1080.23/1080.53	c 1080s |      18 |   467661 |   395952 |     5117    123 |        0 |        0
1082.43/1082.78	c 1082s |      18 |   468559 |   396752 |     5117    123 |        0 |        0
1084.63/1084.97	c 1084s |      18 |   469490 |   397552 |     5117    123 |        0 |        0
1086.93/1087.21	c 1087s |      18 |   470264 |   398252 |     5117    123 |        0 |        0
1089.13/1089.45	c 1089s |      18 |   471015 |   398952 |     5117    123 |        0 |        0
1091.32/1091.68	c 1091s |      18 |   471835 |   399652 |     5117    124 |        0 |        0
1093.42/1093.74	c 1093s |      18 |   472601 |   400352 |     5117    124 |        0 |        0
1095.52/1095.89	c 1095s |      18 |   473532 |   401152 |     5117    124 |        0 |        0
1097.72/1098.08	c 1097s |      18 |   474498 |   401952 |     5117    124 |        0 |        0
1100.02/1100.31	c 1100s |      18 |   475277 |   402652 |     5117    124 |        0 |        0
1102.02/1102.38	c 1102s |      18 |   476041 |   403252 |     5117    125 |        0 |        0
1104.12/1104.47	c 1104s |      18 |   477061 |   404152 |     5117    125 |        0 |        0
1106.32/1106.62	c 1106s |      18 |   477996 |   404952 |     5117    125 |        0 |        0
1108.31/1108.67	c 1108s |      18 |   478756 |   405652 |     5117    125 |        0 |        0
1110.42/1110.71	c 1110s |      18 |   479427 |   406252 |     5117    125 |        0 |        0
1112.51/1112.80	c 1112s |      18 |   480102 |   406852 |     5117    126 |        0 |        0
1114.61/1114.96	c 1114s |      18 |   480934 |   407552 |     5117    126 |        0 |        0
1116.71/1117.09	c 1116s |      18 |   481839 |   408352 |     5117    126 |        0 |        0
1118.71/1119.09	c 1118s |      18 |   482623 |   409052 |     5117    126 |        0 |        0
1120.81/1121.18	c 1121s |      18 |   483411 |   409752 |     5117    126 |        0 |        0
1123.01/1123.33	c 1123s |      18 |   484147 |   410452 |     5117    126 |        0 |        0
1125.21/1125.52	c 1125s |      18 |   484935 |   411152 |     5117    127 |        0 |        0
1127.31/1127.67	c 1127s |      18 |   485841 |   411952 |     5117    127 |        0 |        0
1129.60/1129.99	c 1129s |      18 |   486651 |   412652 |     5117    127 |        0 |        0
1131.90/1132.24	c 1132s |      18 |   487435 |   413352 |     5117    127 |        0 |        0
1134.10/1134.46	c 1134s |      18 |   488097 |   413952 |     5117    127 |        0 |        0
1136.20/1136.50	c 1136s |      18 |   488631 |   414452 |     5117    128 |        0 |        0
1138.20/1138.60	c 1138s |      18 |   489298 |   415052 |     5117    128 |        0 |        0
1140.29/1140.70	c 1140s |      18 |   490205 |   415852 |     5117    128 |        0 |        0
1142.39/1142.75	c 1142s |      18 |   491126 |   416652 |     5117    128 |        0 |        0
1144.59/1144.90	c 1144s |      18 |   492055 |   417452 |     5117    128 |        0 |        0
1146.89/1147.23	c 1147s |      18 |   492851 |   418152 |     5117    129 |        0 |        0
1149.08/1149.45	c 1149s |      18 |   493863 |   419052 |     5117    129 |        0 |        0
1151.28/1151.64	c 1151s |      18 |   494943 |   419952 |     5117    129 |        0 |        0
1153.48/1153.86	c 1153s |      18 |   495835 |   420752 |     5117    129 |        0 |        0
1155.79/1156.20	c 1156s |      18 |   496656 |   421452 |     5117    129 |        0 |        0
1157.99/1158.38	c 1158s |      18 |   497350 |   422052 |     5117    130 |        0 |        0
1160.19/1160.51	c 1160s |      18 |   498152 |   422752 |     5117    130 |        0 |        0
1162.18/1162.55	c 1162s |      18 |   498935 |   423452 |     5117    130 |        0 |        0
1164.38/1164.74	c 1164s |      18 |   499712 |   424152 |     5117    130 |        0 |        0
1166.48/1166.85	c 1166s |      18 |   500482 |   424852 |     5117    130 |        0 |        0
1168.67/1169.06	c 1168s |      18 |   501144 |   425452 |     5117    130 |        0 |        0
1170.97/1171.31	c 1171s |      18 |   501826 |   426052 |     5117    131 |        0 |        0
1173.17/1173.55	c 1173s |      18 |   502752 |   426852 |     5117    131 |        0 |        0
1175.27/1175.61	c 1175s |      18 |   503445 |   427452 |     5117    131 |        0 |        0
1177.27/1177.68	c 1177s |      18 |   504236 |   428152 |     5117    131 |        0 |        0
1179.36/1179.76	c 1179s |      18 |   504884 |   428752 |     5117    131 |        0 |        0
1181.46/1181.87	c 1181s |      18 |   505526 |   429352 |     5117    131 |        0 |        0
1183.56/1183.95	c 1183s |      18 |   506045 |   429852 |     5117    132 |        0 |        0
1185.76/1186.17	c 1186s |      18 |   506903 |   430552 |     5117    132 |        0 |        0
1188.06/1188.44	c 1188s |      18 |   507939 |   431452 |     5117    132 |        0 |        0
1190.26/1190.64	c 1190s |      18 |   508803 |   432252 |     5117    132 |        0 |        0
1192.35/1192.71	c 1192s |      18 |   509578 |   432952 |     5117    132 |        0 |        0
1194.55/1194.95	c 1194s |      18 |   510378 |   433652 |     5117    133 |        0 |        0
1196.65/1197.03	c 1196s |      18 |   511160 |   434352 |     5117    133 |        0 |        0
1198.85/1199.28	c 1199s |      18 |   511985 |   435052 |     5117    133 |        0 |        0
1201.15/1201.55	c 1201s |      18 |   512775 |   435752 |     5117    133 |        0 |        0
1203.45/1203.87	c 1203s |      18 |   513532 |   436452 |     5117    133 |        0 |        0
1205.65/1206.08	c 1205s |      18 |   514213 |   437052 |     5117    134 |        0 |        0
1207.74/1208.12	c 1207s |      18 |   514850 |   437652 |     5117    134 |        0 |        0
1209.94/1210.35	c 1210s |      18 |   515601 |   438352 |     5117    134 |        0 |        0
1212.24/1212.65	c 1212s |      18 |   516362 |   439052 |     5117    134 |        0 |        0
1214.34/1214.74	c 1214s |      18 |   517028 |   439652 |     5117    134 |        0 |        0
1216.74/1217.10	c 1216s |      18 |   517822 |   440352 |     5117    134 |        0 |        0
1219.23/1219.64	c 1219s |      18 |   518464 |   440952 |     5117    135 |        0 |        0
1221.54/1221.91	c 1221s |      18 |   519243 |   441652 |     5629    135 |        0 |        0
1223.84/1224.20	c 1224s |      18 |   519984 |   442352 |     5629    135 |        0 |        0
1225.84/1226.26	c 1226s |      18 |   520606 |   442952 |     5629    135 |        0 |        0
1228.04/1228.42	c 1228s |      18 |   521417 |   443652 |     5629    135 |        0 |        0
1230.03/1230.44	c 1230s |      18 |   522091 |   444252 |     5629    135 |        0 |        0
1230.83/1231.25	c 1231s |      19 |   522356 |   444482 |     5629    135 |        0 |        0
1232.84/1233.29	c 1233s |      19 |   524849 |   445482 |     5629    136 |        0 |        0
1235.04/1235.48	c 1235s |      19 |   526001 |   446482 |     5629    136 |        0 |        0
1237.03/1237.49	c 1237s |      19 |   527071 |   447382 |     5629    136 |        0 |        0
1239.22/1239.64	c 1239s |      19 |   528177 |   448282 |     5629    136 |        0 |        0
1241.32/1241.79	c 1241s |      19 |   529108 |   449082 |     5629    137 |        0 |        0
1243.53/1243.98	c 1243s |      19 |   530168 |   449982 |     5629    137 |        0 |        0
1245.73/1246.15	c 1246s |      19 |   531086 |   450782 |     5629    137 |        0 |        0
1248.02/1248.49	c 1248s |      19 |   531968 |   451582 |     5629    137 |        0 |        0
1250.22/1250.60	c 1250s |      19 |   532625 |   452182 |     5629    137 |        0 |        0
1252.42/1252.81	c 1252s |      19 |   533431 |   452882 |     5629    137 |        0 |        0
1254.52/1254.99	c 1254s |      19 |   534229 |   453582 |     5629    138 |        0 |        0
1256.62/1257.06	c 1256s |      19 |   534988 |   454282 |     5629    138 |        0 |        0
1258.81/1259.24	c 1259s |      19 |   535765 |   454982 |     5629    138 |        0 |        0
1261.11/1261.53	c 1261s |      19 |   536560 |   455682 |     5629    138 |        0 |        0
1263.11/1263.57	c 1263s |      19 |   537218 |   456282 |     5629    138 |        0 |        0
1265.51/1265.92	c 1265s |      19 |   538007 |   456982 |     5629    139 |        0 |        0
1267.60/1268.01	c 1267s |      19 |   538961 |   457882 |     5629    139 |        0 |        0
1269.60/1270.03	c 1269s |      19 |   539892 |   458682 |     5629    139 |        0 |        0
1271.80/1272.25	c 1272s |      19 |   540750 |   459482 |     5629    139 |        0 |        0
1273.80/1274.27	c 1274s |      19 |   541524 |   460182 |     5629    139 |        0 |        0
1276.00/1276.48	c 1276s |      19 |   542302 |   460882 |     5629    139 |        0 |        0
1278.09/1278.59	c 1278s |      19 |   543249 |   461682 |     5629    140 |        0 |        0
1280.39/1280.81	c 1280s |      19 |   544057 |   462382 |     5629    140 |        0 |        0
1282.59/1283.08	c 1282s |      19 |   545163 |   463282 |     5629    140 |        0 |        0
1284.90/1285.40	c 1285s |      19 |   546042 |   463982 |     5629    140 |        0 |        0
1287.00/1287.47	c 1287s |      19 |   546740 |   464582 |     5629    140 |        0 |        0
1289.19/1289.63	c 1289s |      19 |   547312 |   465082 |     5629    141 |        0 |        0
1291.39/1291.88	c 1291s |      19 |   548161 |   465782 |     5629    141 |        0 |        0
1293.49/1293.95	c 1293s |      19 |   548955 |   466482 |     5629    141 |        0 |        0
1295.69/1296.18	c 1296s |      19 |   549892 |   467282 |     5629    141 |        0 |        0
1297.79/1298.21	c 1298s |      19 |   550551 |   467882 |     5629    141 |        0 |        0
1299.79/1300.26	c 1300s |      19 |   551260 |   468482 |     5629    141 |        0 |        0
1301.88/1302.37	c 1302s |      19 |   551923 |   469082 |     5629    141 |        0 |        0
1304.29/1304.75	c 1304s |      19 |   552586 |   469682 |     5629    142 |        0 |        0
1306.49/1306.96	c 1306s |      19 |   553269 |   470282 |     5629    142 |        0 |        0
1308.58/1309.01	c 1308s |      19 |   554094 |   470982 |     5629    142 |        0 |        0
1310.89/1311.31	c 1311s |      19 |   554967 |   471782 |     5629    142 |        0 |        0
1313.09/1313.54	c 1313s |      19 |   555771 |   472482 |     5629    142 |        0 |        0
1315.68/1316.15	c 1316s |      19 |   556563 |   473182 |     5629    143 |        0 |        0
1317.67/1318.16	c 1318s |      19 |   557248 |   473782 |     5629    143 |        0 |        0
1319.87/1320.33	c 1320s |      19 |   558157 |   474582 |     5629    143 |        0 |        0
1322.07/1322.54	c 1322s |      19 |   558934 |   475282 |     5629    143 |        0 |        0
1324.37/1324.82	c 1324s |      19 |   559716 |   475982 |     5629    143 |        0 |        0
1326.37/1326.88	c 1326s |      19 |   560396 |   476582 |     5629    143 |        0 |        0
1328.76/1329.28	c 1329s |      19 |   561057 |   477182 |     5629    144 |        0 |        0
1330.96/1331.49	c 1331s |      19 |   561830 |   477882 |     5629    144 |        0 |        0
1333.17/1333.66	c 1333s |      19 |   562499 |   478482 |     5629    144 |        0 |        0
1335.57/1336.02	c 1335s |      19 |   563150 |   479082 |     5629    144 |        0 |        0
1337.86/1338.31	c 1338s |      19 |   563806 |   479682 |     5629    144 |        0 |        0
1339.96/1340.43	c 1340s |      19 |   564508 |   480282 |     5629    144 |        0 |        0
1342.05/1342.57	c 1342s |      19 |   565191 |   480882 |     5629    144 |        0 |        0
1344.15/1344.60	c 1344s |      19 |   565750 |   481382 |     5629    145 |        0 |        0
1346.35/1346.84	c 1346s |      19 |   566520 |   482082 |     5629    145 |        0 |        0
1348.35/1348.88	c 1348s |      19 |   567220 |   482682 |     5629    145 |        0 |        0
1350.45/1350.99	c 1350s |      19 |   567881 |   483282 |     5629    145 |        0 |        0
1352.94/1353.42	c 1353s |      19 |   568555 |   483882 |     5629    145 |        0 |        0
1355.24/1355.75	c 1355s |      19 |   569115 |   484382 |     5629    145 |        0 |        0
1357.65/1358.16	c 1358s |      19 |   569787 |   484982 |     5629    145 |        0 |        0
1359.95/1360.46	c 1360s |      19 |   570353 |   485482 |     5629    146 |        0 |        0
1362.04/1362.59	c 1362s |      19 |   570998 |   486082 |     5629    146 |        0 |        0
1364.34/1364.83	c 1364s |      19 |   571812 |   486782 |     5629    146 |        0 |        0
1366.54/1367.03	c 1366s |      19 |   572736 |   487582 |     5629    146 |        0 |        0
1368.83/1369.33	c 1369s |      19 |   573606 |   488282 |     5629    146 |        0 |        0
1371.13/1371.60	c 1371s |      19 |   574269 |   488882 |     5629    146 |        0 |        0
1373.13/1373.63	c 1373s |      19 |   574836 |   489382 |     5629    147 |        0 |        0
1375.34/1375.83	c 1375s |      19 |   575667 |   490082 |     5629    147 |        0 |        0
1377.53/1378.07	c 1377s |      19 |   576449 |   490782 |     5629    147 |        0 |        0
1379.73/1380.20	c 1380s |      19 |   577122 |   491382 |     5629    147 |        0 |        0
1381.73/1382.23	c 1382s |      19 |   577713 |   491882 |     5629    147 |        0 |        0
1383.83/1384.34	c 1384s |      19 |   578704 |   492582 |     5629    147 |        0 |        0
1386.13/1386.61	c 1386s |      19 |   579508 |   493282 |     5629    147 |        0 |        0
1388.43/1388.94	c 1388s |      19 |   580169 |   493882 |     5629    148 |        0 |        0
1390.52/1391.01	c 1390s |      19 |   580976 |   494582 |     5629    148 |        0 |        0
1392.72/1393.21	c 1393s |      19 |   581806 |   495282 |     5629    148 |        0 |        0
1394.72/1395.25	c 1395s |      19 |   582637 |   495982 |     5629    148 |        0 |        0
1397.02/1397.58	c 1397s |      19 |   583424 |   496682 |     5629    148 |        0 |        0
1399.32/1399.84	c 1399s |      19 |   584223 |   497382 |     5629    148 |        0 |        0
1401.32/1401.89	c 1401s |      19 |   584876 |   497982 |     5629    149 |        0 |        0
1403.42/1403.96	c 1403s |      19 |   585655 |   498682 |     5629    149 |        0 |        0
1405.72/1406.25	c 1406s |      19 |   586668 |   499482 |     5629    149 |        0 |        0
1407.82/1408.33	c 1408s |      19 |   587516 |   500182 |     5629    149 |        0 |        0
1410.02/1410.50	c 1410s |      19 |   588316 |   500882 |     5629    149 |        0 |        0
1412.22/1412.79	c 1412s |      19 |   589114 |   501582 |     5629    150 |        0 |        0
1414.33/1414.82	c 1414s |      19 |   589964 |   502282 |     5629    150 |        0 |        0
1416.33/1416.87	c 1416s |      19 |   590653 |   502882 |     5629    150 |        0 |        0
1418.53/1419.00	c 1418s |      19 |   591304 |   503482 |     5629    150 |        0 |        0
1420.73/1421.24	c 1421s |      19 |   592016 |   504082 |     5629    150 |        0 |        0
1423.03/1423.57	c 1423s |      19 |   592694 |   504682 |     5629    150 |        0 |        0
1425.23/1425.78	c 1425s |      19 |   593361 |   505282 |     5629    150 |        0 |        0
1427.33/1427.90	c 1427s |      19 |   593907 |   505782 |     5629    151 |        0 |        0
1429.53/1430.06	c 1429s |      19 |   594589 |   506382 |     5629    151 |        0 |        0
1431.62/1432.10	c 1431s |      19 |   595472 |   507082 |     5629    151 |        0 |        0
1433.72/1434.28	c 1434s |      19 |   596167 |   507682 |     5629    151 |        0 |        0
1436.02/1436.52	c 1436s |      19 |   596842 |   508282 |     5629    151 |        0 |        0
1438.12/1438.68	c 1438s |      19 |   597532 |   508882 |     5629    151 |        0 |        0
1440.22/1440.76	c 1440s |      19 |   598198 |   509482 |     5629    151 |        0 |        0
1442.52/1443.06	c 1442s |      19 |   598924 |   510082 |     5629    152 |        0 |        0
1444.82/1445.39	c 1445s |      19 |   599627 |   510682 |     5629    152 |        0 |        0
1446.92/1447.41	c 1447s |      19 |   600234 |   511182 |     5629    152 |        0 |        0
1449.22/1449.77	c 1449s |      19 |   600930 |   511782 |     5629    152 |        0 |        0
1451.42/1451.94	c 1451s |      19 |   601553 |   512282 |     5629    152 |        0 |        0
1453.61/1454.20	c 1454s |      19 |   602253 |   512882 |     5629    152 |        0 |        0
1456.11/1456.61	c 1456s |      19 |   602965 |   513482 |     5629    152 |        0 |        0
1458.22/1458.78	c 1458s |      19 |   603570 |   513982 |     5629    153 |        0 |        0
1460.32/1460.85	c 1460s |      19 |   604171 |   514482 |     5629    153 |        0 |        0
1462.62/1463.16	c 1463s |      19 |   604843 |   515082 |     5629    153 |        0 |        0
1464.73/1465.24	c 1465s |      19 |   605426 |   515582 |     5629    153 |        0 |        0
1466.82/1467.37	c 1467s |      19 |   606016 |   516082 |     5629    153 |        0 |        0
1469.02/1469.55	c 1469s |      19 |   606671 |   516582 |     5629    153 |        0 |        0
1471.02/1471.56	c 1471s |      19 |   607162 |   516982 |     5629    153 |        0 |        0
1473.12/1473.62	c 1473s |      19 |   607618 |   517382 |     5629    153 |        0 |        0
1475.11/1475.65	c 1475s |      19 |   608075 |   517782 |     5629    154 |        0 |        0
1477.41/1477.97	c 1477s |      19 |   608757 |   518382 |     5629    154 |        0 |        0
1479.61/1480.12	c 1479s |      19 |   609294 |   518882 |     5629    154 |        0 |        0
1481.91/1482.44	c 1482s |      19 |   609928 |   519382 |     5629    154 |        0 |        0
1484.11/1484.69	c 1484s |      19 |   610665 |   519982 |     5629    154 |        0 |        0
1486.32/1486.84	c 1486s |      19 |   611230 |   520482 |     5629    154 |        0 |        0
1488.51/1489.06	c 1488s |      19 |   612142 |   521182 |     5629    154 |        0 |        0
1491.01/1491.56	c 1491s |      19 |   612849 |   521782 |     5629    155 |        0 |        0
1493.21/1493.73	c 1493s |      19 |   613576 |   522382 |     5629    155 |        0 |        0
1495.52/1496.06	c 1495s |      19 |   614236 |   522982 |     5629    155 |        0 |        0
1497.61/1498.10	c 1497s |      19 |   614917 |   523582 |     5629    155 |        0 |        0
1499.92/1500.46	c 1500s |      19 |   615567 |   524182 |     5629    155 |        0 |        0
1502.01/1502.55	c 1502s |      19 |   616109 |   524682 |     5629    155 |        0 |        0
1504.21/1504.72	c 1504s |      19 |   616649 |   525182 |     5629    155 |        0 |        0
1506.41/1506.99	c 1506s |      19 |   617200 |   525682 |     5629    155 |        0 |        0
1508.81/1509.32	c 1509s |      19 |   617750 |   526182 |     5629    156 |        0 |        0
1511.02/1511.57	c 1511s |      19 |   618300 |   526682 |     5629    156 |        0 |        0
1513.12/1513.69	c 1513s |      19 |   618870 |   527182 |     5629    156 |        0 |        0
1515.42/1515.99	c 1515s |      19 |   619620 |   527882 |     5629    156 |        0 |        0
1517.81/1518.31	c 1518s |      19 |   620339 |   528482 |     5629    156 |        0 |        0
1520.11/1520.68	c 1520s |      19 |   621035 |   529082 |     5629    156 |        0 |        0
1522.20/1522.73	c 1522s |      19 |   621604 |   529582 |     5629    156 |        0 |        0
1524.50/1525.06	c 1524s |      19 |   622174 |   530082 |     5629    157 |        0 |        0
1526.80/1527.38	c 1527s |      19 |   622839 |   530682 |     5629    157 |        0 |        0
1529.10/1529.61	c 1529s |      19 |   623497 |   531282 |     5629    157 |        0 |        0
1531.20/1531.78	c 1531s |      19 |   624041 |   531782 |     5629    157 |        0 |        0
1533.50/1534.06	c 1533s |      19 |   624671 |   532382 |     5629    157 |        0 |        0
1535.60/1536.10	c 1535s |      19 |   625215 |   532882 |     5629    157 |        0 |        0
1537.70/1538.24	c 1538s |      19 |   625766 |   533382 |     5629    157 |        0 |        0
1540.00/1540.51	c 1540s |      19 |   626326 |   533882 |     5629    158 |        0 |        0
1542.01/1542.58	c 1542s |      19 |   626873 |   534382 |     5629    158 |        0 |        0
1544.31/1544.87	c 1544s |      19 |   627547 |   534982 |     5629    158 |        0 |        0
1546.40/1546.90	c 1546s |      19 |   628101 |   535482 |     5629    158 |        0 |        0
1548.50/1549.04	c 1548s |      19 |   628638 |   535982 |     5629    158 |        0 |        0
1550.80/1551.32	c 1551s |      19 |   629217 |   536482 |     5629    158 |        0 |        0
1553.10/1553.64	c 1553s |      19 |   629764 |   536982 |     5629    158 |        0 |        0
1555.20/1555.71	c 1555s |      19 |   630189 |   537382 |     5629    158 |        0 |        0
1557.21/1557.74	c 1557s |      19 |   630599 |   537782 |     5629    158 |        0 |        0
1559.30/1559.81	c 1559s |      19 |   631095 |   538182 |     5629    159 |        0 |        0
1561.50/1562.09	c 1561s |      19 |   631763 |   538782 |     5629    159 |        0 |        0
1563.81/1564.38	c 1564s |      19 |   632418 |   539382 |     5629    159 |        0 |        0
1566.01/1566.53	c 1566s |      19 |   633158 |   539982 |     5629    159 |        0 |        0
1568.30/1568.82	c 1568s |      19 |   633904 |   540582 |     5629    159 |        0 |        0
1570.50/1571.05	c 1570s |      19 |   634484 |   541082 |     5629    159 |        0 |        0
1572.70/1573.26	c 1573s |      19 |   635197 |   541682 |     5629    159 |        0 |        0
1575.10/1575.60	c 1575s |      19 |   636134 |   542282 |     5629    160 |        0 |        0
1577.19/1577.77	c 1577s |      19 |   636947 |   542982 |     5629    160 |        0 |        0
1579.70/1580.20	c 1580s |      19 |   637694 |   543582 |     5629    160 |        0 |        0
1581.90/1582.45	c 1582s |      19 |   638240 |   544082 |     5629    160 |        0 |        0
1584.10/1584.67	c 1584s |      19 |   638951 |   544682 |     5629    160 |        0 |        0
1586.50/1587.07	c 1586s |      19 |   639636 |   545282 |     5629    160 |        0 |        0
1588.49/1589.09	c 1588s |      19 |   640189 |   545782 |     5629    160 |        0 |        0
1590.79/1591.37	c 1591s |      19 |   640738 |   546282 |     5629    161 |        0 |        0
1592.89/1593.47	c 1593s |      19 |   641272 |   546782 |     5629    161 |        0 |        0
1594.90/1595.48	c 1595s |      19 |   641891 |   547282 |     5629    161 |        0 |        0
1597.30/1597.84	c 1597s |      19 |   642621 |   547882 |     5629    161 |        0 |        0
1599.50/1600.08	c 1599s |      19 |   643165 |   548382 |     5629    161 |        0 |        0
1601.69/1602.21	c 1602s |      19 |   643738 |   548882 |     5629    161 |        0 |        0
1603.79/1604.35	c 1604s |      19 |   644537 |   549582 |     5629    161 |        0 |        0
1606.09/1606.62	c 1606s |      19 |   645095 |   550082 |     5629    162 |        0 |        0
1608.39/1608.92	c 1608s |      19 |   645885 |   550782 |     5629    162 |        0 |        0
1610.69/1611.22	c 1611s |      19 |   646680 |   551482 |     5629    162 |        0 |        0
1612.99/1613.54	c 1613s |      19 |   647323 |   552082 |     5629    162 |        0 |        0
1615.09/1615.68	c 1615s |      19 |   647991 |   552682 |     5629    162 |        0 |        0
1617.39/1617.91	c 1617s |      19 |   648640 |   553282 |     5629    162 |        0 |        0
1619.49/1620.02	c 1619s |      19 |   649194 |   553782 |     5629    162 |        0 |        0
1621.79/1622.39	c 1622s |      19 |   649760 |   554282 |     5629    163 |        0 |        0
1624.09/1624.62	c 1624s |      19 |   650625 |   554982 |     5629    163 |        0 |        0
1626.40/1626.98	c 1626s |      19 |   651501 |   555682 |     5629    163 |        0 |        0
1628.49/1629.09	c 1628s |      19 |   652267 |   556282 |     5629    163 |        0 |        0
1630.49/1631.09	c 1630s |      19 |   653114 |   556882 |     5629    163 |        0 |        0
1632.79/1633.39	c 1633s |      19 |   653804 |   557482 |     5629    163 |        0 |        0
1635.09/1635.67	c 1635s |      19 |   654504 |   558082 |     5629    163 |        0 |        0
1637.40/1637.98	c 1637s |      19 |   655184 |   558682 |     5629    164 |        0 |        0
1639.49/1640.02	c 1639s |      19 |   655745 |   559182 |     5629    164 |        0 |        0
1641.59/1642.19	c 1642s |      19 |   656480 |   559782 |     5629    164 |        0 |        0
1643.89/1644.40	c 1644s |      19 |   657147 |   560382 |     5629    164 |        0 |        0
1645.98/1646.55	c 1646s |      19 |   657690 |   560882 |     5629    164 |        0 |        0
1648.18/1648.79	c 1648s |      19 |   658391 |   561482 |     5629    164 |        0 |        0
1650.29/1650.81	c 1650s |      19 |   658945 |   561982 |     5629    164 |        0 |        0
1652.59/1653.16	c 1653s |      19 |   659517 |   562482 |     5629    165 |        0 |        0
1654.69/1655.21	c 1655s |      19 |   660049 |   562982 |     5629    165 |        0 |        0
1656.88/1657.45	c 1657s |      19 |   660768 |   563582 |     5629    165 |        0 |        0
1658.98/1659.60	c 1659s |      19 |   661442 |   564182 |     5629    165 |        0 |        0
1661.18/1661.79	c 1661s |      19 |   662010 |   564682 |     5629    165 |        0 |        0
1663.29/1663.81	c 1663s |      19 |   662550 |   565182 |     5629    165 |        0 |        0
1665.39/1665.99	c 1665s |      19 |   663079 |   565682 |     5629    165 |        0 |        0
1667.69/1668.27	c 1668s |      19 |   663622 |   566182 |     5629    165 |        0 |        0
1670.19/1670.70	c 1670s |      19 |   664294 |   566782 |     5629    166 |        0 |        0
1672.18/1672.75	c 1672s |      19 |   664851 |   567282 |     5629    166 |        0 |        0
1674.28/1674.88	c 1674s |      19 |   665484 |   567782 |     5629    166 |        0 |        0
1676.58/1677.19	c 1677s |      19 |   666175 |   568382 |     5629    166 |        0 |        0
1678.88/1679.43	c 1679s |      19 |   666974 |   569082 |     5629    166 |        0 |        0
1680.88/1681.48	c 1681s |      19 |   667806 |   569782 |     5629    166 |        0 |        0
1682.98/1683.56	c 1683s |      19 |   668358 |   570282 |     5629    167 |        0 |        0
1685.08/1685.67	c 1685s |      19 |   669147 |   570982 |     5629    167 |        0 |        0
1687.19/1687.78	c 1687s |      19 |   669802 |   571582 |     5629    167 |        0 |        0
1689.29/1689.88	c 1689s |      19 |   670477 |   572182 |     5629    167 |        0 |        0
1691.58/1692.11	c 1691s |      19 |   671154 |   572782 |     5629    167 |        0 |        0
1693.98/1694.52	c 1694s |      19 |   671819 |   573382 |     5629    167 |        0 |        0
1696.08/1696.61	c 1696s |      19 |   672370 |   573882 |     5629    167 |        0 |        0
1698.18/1698.77	c 1698s |      19 |   672970 |   574382 |     5629    168 |        0 |        0
1700.28/1700.87	c 1700s |      19 |   673758 |   575082 |     5629    168 |        0 |        0
1702.68/1703.22	c 1703s |      19 |   674536 |   575782 |     5629    168 |        0 |        0
1704.88/1705.48	c 1705s |      19 |   675332 |   576482 |     5629    168 |        0 |        0
1707.18/1707.78	c 1707s |      19 |   676148 |   577182 |     5629    168 |        0 |        0
1709.18/1709.79	c 1709s |      19 |   676836 |   577782 |     5629    168 |        0 |        0
1711.78/1712.38	c 1712s |      19 |   677504 |   578382 |     5629    169 |        0 |        0
1714.18/1714.71	c 1714s |      19 |   678168 |   578982 |     5629    169 |        0 |        0
1716.48/1717.00	c 1716s |      19 |   678831 |   579582 |     5629    169 |        0 |        0
1718.78/1719.36	c 1719s |      19 |   679504 |   580182 |     5629    169 |        0 |        0
1721.18/1721.75	c 1721s |      19 |   680183 |   580782 |     5629    169 |        0 |        0
1723.38/1723.99	c 1723s |      19 |   680868 |   581382 |     5629    169 |        0 |        0
1725.57/1726.12	c 1725s |      19 |   681588 |   581982 |     5629    169 |        0 |        0
1727.87/1728.41	c 1728s |      19 |   682154 |   582482 |     5629    170 |        0 |        0
1729.88/1730.46	c 1730s |      19 |   682703 |   582982 |     5629    170 |        0 |        0
1732.08/1732.65	c 1732s |      19 |   683385 |   583582 |     5629    170 |        0 |        0
1734.28/1734.84	c 1734s |      19 |   684057 |   584182 |     5629    170 |        0 |        0
1736.77/1737.30	c 1737s |      19 |   684727 |   584782 |     5629    170 |        0 |        0
1739.08/1739.66	c 1739s |      19 |   685417 |   585382 |     5629    170 |        0 |        0
1741.18/1741.78	c 1741s |      19 |   685979 |   585882 |     5629    170 |        0 |        0
1743.17/1743.78	c 1743s |      19 |   686522 |   586382 |     5629    170 |        0 |        0
1745.28/1745.89	c 1745s |      19 |   687080 |   586882 |     5629    171 |        0 |        0
1747.57/1748.13	c 1747s |      19 |   687722 |   587482 |     5629    171 |        0 |        0
1749.68/1750.25	c 1750s |      19 |   688404 |   588082 |     5629    171 |        0 |        0
1751.77/1752.35	c 1752s |      19 |   689110 |   588682 |     5629    171 |        0 |        0
1753.87/1754.48	c 1754s |      19 |   689778 |   589282 |     5629    171 |        0 |        0
1756.18/1756.75	c 1756s |      19 |   690444 |   589882 |     5629    171 |        0 |        0
1758.27/1758.84	c 1758s |      19 |   690997 |   590382 |     5629    171 |        0 |        0
1760.68/1761.26	c 1761s |      19 |   691553 |   590882 |     5629    172 |        0 |        0
1762.78/1763.37	c 1763s |      19 |   692139 |   591382 |     5629    172 |        0 |        0
1764.87/1765.46	c 1765s |      19 |   692935 |   592082 |     5629    172 |        0 |        0
1767.07/1767.66	c 1767s |      19 |   693630 |   592682 |     5629    172 |        0 |        0
1769.27/1769.90	c 1769s |      19 |   694297 |   593282 |     5629    172 |        0 |        0
1771.77/1772.30	c 1772s |      19 |   695007 |   593882 |     5629    172 |        0 |        0
1773.88/1774.49	c 1774s |      19 |   695590 |   594382 |     5629    172 |        0 |        0
1776.17/1776.78	c 1776s |      19 |   696136 |   594882 |     5629    173 |        0 |        0
1778.47/1779.01	c 1778s |      19 |   696832 |   595482 |     5629    173 |        0 |        0
1780.48/1781.09	c 1780s |      19 |   697553 |   596082 |     5629    173 |        0 |        0
1782.77/1783.35	c 1783s |      19 |   698356 |   596782 |     5629    173 |        0 |        0
1784.87/1785.46	c 1785s |      19 |   699056 |   597382 |     5629    173 |        0 |        0
1787.26/1787.84	c 1787s |      19 |   699720 |   597982 |     5629    173 |        0 |        0
1789.46/1790.02	c 1789s |      19 |   700270 |   598482 |     5629    173 |        0 |        0
1791.67/1792.26	c 1792s |      19 |   700706 |   598882 |     5629    174 |        0 |        0
1793.77/1794.37	c 1794s |      19 |   701288 |   599382 |     5629    174 |        0 |        0
1795.96/1796.59	c 1796s |      19 |   701813 |   599882 |     5629    174 |        0 |        0
1798.17/1798.72	c 1798s |      19 |   702402 |   600382 |     5629    174 |        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-4093714-1466093252/watcher-4093714-1466093252 -o /tmp/evaluation-result-4093714-1466093252/solver-4093714-1466093252 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093714-1466093252.wbo 

pid=16693
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.20 2.14 2.10 3/179 16696
/proc/meminfo: memFree=30754836/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 2833 0 0 0 0 0 0 0 20 0 4 0 11370890 775352320 2682 33554432000 4194304 16246674 140734445310032 140734445309456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 190063 2691 441 2943 0 186957 0
[pid=16696/tid=16697] ppid=16693 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 794226688 2753 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 799469568 2772 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11370890 803663872 2788 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 16696
/proc/meminfo: memFree=30754836/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 25356 0 0 0 6 3 0 0 20 0 4 0 11370890 1247350784 25199 33554432000 4194304 16246674 140734445310032 140734445309456 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 304529 25207 604 2943 0 301423 0
[pid=16696/tid=16697] ppid=16693 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1247350784 25213 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1247350784 25218 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11370890 1247350784 25224 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20054 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 16696
/proc/meminfo: memFree=30754836/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 48243 0 0 0 13 6 0 0 20 0 4 0 11370890 1247350784 48078 33554432000 4194304 16246674 140734445310032 140734445309456 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 304529 48084 806 2943 0 301423 0
[pid=16696/tid=16697] ppid=16693 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1247350784 48088 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1247350784 48091 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11370890 1247350784 48095 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300506 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 16696
/proc/meminfo: memFree=30754836/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1221188 CPUtime=0.28 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 69187 0 0 0 20 8 0 0 20 0 4 0 11370890 1250496512 69000 33554432000 4194304 16246674 140734445310032 140734445309344 13949905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 305297 69000 866 2943 0 302191 0
[pid=16696/tid=16697] ppid=16693 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1250496512 69000 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1250496512 69000 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1250496512 69000 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1221188

[startup+0.700429 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 16696
/proc/meminfo: memFree=30754836/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1306180 CPUtime=0.69 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 89188 0 0 0 58 11 0 0 20 0 4 0 11370890 1337528320 89001 33554432000 4194304 16246674 140734445310032 140734445309344 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 326545 89001 866 2943 0 323439 0
[pid=16696/tid=16697] ppid=16693 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1337528320 89001 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1337528320 89001 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1337528320 89001 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.5003 s]
/proc/loadavg: 2.20 2.14 2.10 4/183 16700
/proc/meminfo: memFree=30075144/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 267803 0 0 0 115 34 0 0 20 0 4 0 11370890 1338576896 267616 33554432000 4194304 16246674 140734445310032 140734445291904 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 326801 267616 866 2943 0 323695 0
[pid=16696/tid=16697] ppid=16693 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1338576896 267616 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1338576896 267616 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1338576896 267616 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 16700
/proc/meminfo: memFree=29642632/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 268113 0 0 0 275 34 0 0 20 0 4 0 11370890 1339625472 267926 33554432000 4194304 16246674 140734445310032 140734445291904 7276448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 327057 267926 869 2943 0 323951 0
[pid=16696/tid=16697] ppid=16693 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1339625472 267926 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1339625472 267926 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1339625472 267926 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30044 s]
/proc/loadavg: 2.19 2.14 2.10 4/183 16700
/proc/meminfo: memFree=29353360/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 268178 0 0 0 595 34 0 0 20 0 4 0 11370890 1339625472 267991 33554432000 4194304 16246674 140734445310032 140734445291904 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 327057 267991 871 2943 0 323951 0
[pid=16696/tid=16697] ppid=16693 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1339625472 267991 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1339625472 267991 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1339625472 267991 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.17 2.14 2.10 3/183 16700
/proc/meminfo: memFree=29353296/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 268320 0 0 0 1234 34 0 0 20 0 4 0 11370890 1340674048 268133 33554432000 4194304 16246674 140734445310032 140734445291904 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 327313 268133 873 2943 0 324207 0
[pid=16696/tid=16697] ppid=16693 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1340674048 268133 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1340674048 268133 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1340674048 268133 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 16700
/proc/meminfo: memFree=29286292/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 269353 0 0 0 2513 35 0 0 20 0 4 0 11370890 1344868352 269166 33554432000 4194304 16246674 140734445310032 140734445291904 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 328337 269166 874 2943 0 325231 0
[pid=16696/tid=16697] ppid=16693 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1344868352 269166 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1344868352 269166 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1344868352 269166 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.28 2.17 2.10 4/183 16700
/proc/meminfo: memFree=29278636/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 269461 0 0 0 5073 35 0 0 20 0 4 0 11370890 1344868352 269274 33554432000 4194304 16246674 140734445310032 140734445291904 13928739 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 328337 269274 874 2943 0 325231 0
[pid=16696/tid=16697] ppid=16693 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1344868352 269274 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1344868352 269274 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1344868352 269274 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.18 2.16 2.10 3/183 16701
/proc/meminfo: memFree=29263888/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 270485 0 0 0 10190 38 0 0 20 0 4 0 11370890 1349062656 270298 33554432000 4194304 16246674 140734445310032 140734445291904 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 329361 270298 874 2943 0 326255 0
[pid=16696/tid=16697] ppid=16693 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1349062656 270298 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1349062656 270298 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1349062656 270298 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1329732

[startup+1302.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 16731
/proc/meminfo: memFree=29237064/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1301.88 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273870 0 0 0 130111 77 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445291904 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/184 16735
/proc/meminfo: memFree=29236436/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1361.84 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273917 0 0 0 136104 80 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445291904 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.07 2.09 2.08 3/183 16737
/proc/meminfo: memFree=29237292/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1421.83 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273932 0 0 0 142101 82 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445291904 6010408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/183 16738
/proc/meminfo: memFree=29237536/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1481.81 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273932 0 0 0 148097 84 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445291904 5673837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1329732

[startup+1542.31 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 16739
/proc/meminfo: memFree=29237536/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1541.82 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273932 0 0 0 154095 87 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445291904 6012051 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 16740
/proc/meminfo: memFree=29237656/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1601.79 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273932 0 0 0 160089 90 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445309208 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1329732

[startup+1662.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 16741
/proc/meminfo: memFree=29237540/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1661.78 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273932 0 0 0 166085 93 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445291904 5546233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/183 16743
/proc/meminfo: memFree=29237412/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1721.78 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273932 0 0 0 172083 95 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445291904 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1329732

[startup+1782.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 16744
/proc/meminfo: memFree=29237096/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1781.77 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273932 0 0 0 178079 98 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445291904 12474768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1329732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.23 2.12 2.10 3/183 16793
/proc/meminfo: memFree=29602840/32872528 swapFree=532956/565660
[pid=16696] ppid=16693 vsize=1329732 CPUtime=1800.07 cores=1,3,5,7
/proc/16696/stat : 16696 (toysat) R 16693 16696 11130 0 -1 4202496 273932 0 0 0 179907 100 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 140734445309208 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 332433 273626 874 2943 0 329327 0
[pid=16696/tid=16697] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16697/stat : 16697 (toysat) S 16693 16696 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963770318064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16696/tid=16698] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16698/stat : 16698 (toysat) S 16693 16696 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963759828208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16696/tid=16699] ppid=16693 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16696/task/16699/stat : 16699 (toysat) S 16693 16696 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11370890 1361645568 273626 33554432000 4194304 16246674 140734445310032 139963749354672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1329732

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 16696 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.08
CPU user time (s): 1799.08
CPU system time (s): 1.00285
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.00285
maximum resident set size= 1094504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273932
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= 389
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.93625 second user time and 7.29089 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 18:07:33
IDJOB=4093714
IDBENCH=79180
IDSOLVER=2553
FILE ID=node138/4093714-1466093252
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
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-51-50--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-4093714-1466093252/watcher-4093714-1466093252 -o /tmp/evaluation-result-4093714-1466093252/solver-4093714-1466093252 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093714-1466093252.wbo

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

MD5SUM BENCH= cff5777a0058b9c867497918edde4ff2
RANDOM SEED=625545068

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30755464 kB
Buffers:           47204 kB
Cached:           117680 kB
SwapCached:         1380 kB
Active:           761000 kB
Inactive:          87816 kB
Active(anon):     684512 kB
Inactive(anon):     1664 kB
Active(file):      76488 kB
Inactive(file):    86152 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             33044 kB
Writeback:             0 kB
AnonPages:       1248396 kB
Mapped:            10576 kB
Shmem:                 0 kB
Slab:             568632 kB
SReclaimable:      11988 kB
SUnreclaim:       556644 kB
KernelStack:        1504 kB
PageTables:         6732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1785312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node138 at 2016-06-16 18:37:33