Trace number 4078771

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
MD5SUM277dd35641d3866b31d8fb041eb7f9fb
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.027995
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints105
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T21:02:02+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078771-1465239722.opb"]
0.00/0.01	c use --random-gen="2728605003 4040536383 928033552 646625129 240512809 4204572693 974002413 3892996636 1320449595 2258484404 2281469013 3570989601 2176804765 2346573719 2643101865 2363698800 2800890119 2806134222 3376857735 1651441703 2189289544 1866290237 4156501456 2461479962 3716056677 4203533144 1860925143 3558425834 1952047991 67724026 4112539757 4185566000 2749321403 3843833592 2367639569 834699346 2786082757 3896118304 4144426094 3257857628 1599827646 830510941 3547787248 801810680 3701614512 2143066011 2105111928 1435936266 1292509692 777372076 3817506259 2392632276 2505063163 3665193169 3563436055 3298130849 3259958095 658992374 181209803 1512136717 2689200113 2482524788 527431431 2386035633 4054697986 4263672715 3998372695 2053961661 2310163354 891069450 1253993730 1347387509 1904363348 51668997 1826700230 3472255595 2744190611 2303717741 2969632491 4063543227 3621117711 3325966872 1236381933 1938495562 2494102732 3511647046 1117590694 1211869842 1886337873 1824115421 2238713360 2973719776 4072045340 59242877 1215981717 1380496965 4113564899 2561617083 369891733 1971905110 1695902954 2581238912 1314165419 848549437 387095669 3943622352 3693346128 3467100901 3218953085 4236578867 2650192103 3977225697 2904103138 4026339985 3989370352 3241546832 1745744792 1471346559 4067910659 1478674478 3043739627 412859533 2703223656 1587243199 3864192757 2307628759 1420453066 2166987343 42505986 4065301249 1221896516 848487325 3347988469 3053433320 2905123942 320433782 4101565361 3001075318 3852082260 3445059520 2319135705 3385657697 298040137 503407005 2646471347 4119793642 3746791547 289060220 1472074585 4241568296 604391363 2983534492 776099667 4018047941 1042585863 3843022800 2541258815 1658847159 1066814379 3546761296 468996930 4057224030 4037132342 3893042628 2289166237 381954332 2985597789 3034497695 3589605597 3884586277 3918488624 1716435025 169604239 3386389620 3196834253 325488018 3924776392 4264225410 10051244 2137797632 2665490208 2179134449 1708357561 2323904323 2743180771 1747473809 2414984328 3241676947 1471689626 1333587067 2125310906 872632068 2386709120 3967131860 1009633807 3716838776 2801879540 2684919595 752691567 2117809524 3601747496 1598283328 2470198907 2856314065 2151661997 529640024 2006100595 711980869 3848658488 3225840025 588741979 3316294581 2995778540 3914167152 2238361189 625248942 2779399796 3253437515 2682628113 3778477212 2600556313 3823412201 1050917671 750073060 2049683374 3165045902 3224267892 1037443201 2618245703 650145466 4136845305 646995475 1743728825 3366289079 3941013737 1722596416 1041669272 1738847610 1131414207 153084295 4090074554 2729820016 358689525 1699482085 1662638231 845344681 1489590392 2589216424 13910675 2868281277 2301913177 1089455981 2828009046 2886807731 2155176679 4142706944 255 362436" option to reproduce the execution
0.00/0.02	c #vars 2750
0.00/0.02	c #constraints 105
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      951      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      167 |      100 |      951      0 |        0 |        0
0.19/0.27	c  0.2s |       2 |     1477 |      250 |     1047      0 |        0 |        0
0.49/0.56	c  0.5s |       3 |     2986 |      475 |     1152      0 |        0 |        0
0.99/1.03	c  1.0s |       4 |     5165 |      813 |     1268      0 |        0 |        0
1.49/1.54	c  1.5s |       5 |     7076 |     1320 |     1395      0 |        0 |        0
2.20/2.26	c  2.2s |       6 |     9384 |     2081 |     1689      0 |        0 |        0
3.49/3.57	c  3.5s |       7 |    12645 |     3223 |     1858      1 |        0 |        0
5.50/5.58	c  5.5s |       8 |    16028 |     4936 |     2044      2 |        0 |        0
7.59/7.67	c  7.6s |       8 |    19630 |     6636 |     2044      3 |        0 |        0
9.09/9.10	c  9.1s |       9 |    20574 |     7506 |     2249      3 |        0 |        0
11.10/11.11	c 11.1s |       9 |    24201 |     9106 |     2249      4 |        0 |        0
13.19/13.30	c 13.3s |       9 |    25829 |    10506 |     2249      5 |        0 |        0
14.78/14.87	c 14.8s |      10 |    26775 |    11361 |     2474      5 |        0 |        0
16.78/16.89	c 16.9s |      10 |    30103 |    13061 |     2474      6 |        0 |        0
18.88/18.90	c 18.9s |      10 |    31631 |    14461 |     2474      6 |        0 |        0
20.99/21.04	c 21.0s |      10 |    33211 |    15861 |     2474      7 |        0 |        0
23.09/23.16	c 23.1s |      10 |    34539 |    17061 |     2722      7 |        0 |        0
23.28/23.34	c 23.3s |      11 |    34626 |    17144 |     2722      7 |        0 |        0
25.40/25.47	c 25.4s |      11 |    37950 |    18644 |     2722      8 |        0 |        0
27.50/27.52	c 27.5s |      11 |    39251 |    19644 |     2722      8 |        0 |        0
29.69/29.72	c 29.7s |      11 |    40307 |    20544 |     2722      9 |        0 |        0
31.78/31.84	c 31.8s |      11 |    41214 |    21344 |     2722      9 |        0 |        0
33.78/33.86	c 33.8s |      11 |    42014 |    22044 |     2722      9 |        0 |        0
35.78/35.87	c 35.8s |      11 |    42987 |    22944 |     2722     10 |        0 |        0
37.98/38.03	c 38.0s |      11 |    44111 |    23944 |     2722     10 |        0 |        0
40.08/40.17	c 40.1s |      11 |    45257 |    24944 |     2722     10 |        0 |        0
42.19/42.22	c 42.2s |      11 |    46134 |    25744 |     2995     11 |        0 |        0
42.39/42.40	c 42.4s |      12 |    46219 |    25819 |     2995     11 |        0 |        0
44.48/44.52	c 44.5s |      12 |    48498 |    27319 |     2995     12 |        0 |        0
46.48/46.54	c 46.5s |      12 |    49948 |    28619 |     2995     13 |        0 |        0
48.49/48.54	c 48.5s |      12 |    51573 |    30019 |     2995     14 |        0 |        0
50.59/50.63	c 50.6s |      12 |    54372 |    32419 |     2995     15 |        0 |        0
52.68/52.73	c 52.7s |      12 |    56511 |    34319 |     2995     16 |        0 |        0
54.78/54.81	c 54.8s |      12 |    58528 |    36119 |     2995     17 |        0 |        0
56.78/56.82	c 56.8s |      12 |    60578 |    37919 |     2995     18 |        0 |        0
57.58/57.65	c 57.6s |      13 |    61572 |    38832 |     3295     18 |        0 |        0
59.58/59.67	c 59.6s |      13 |    64387 |    40132 |     3295     19 |        0 |        0
61.59/61.70	c 61.7s |      13 |    65636 |    41132 |     3295     19 |        0 |        0
63.89/63.96	c 63.9s |      13 |    66789 |    42032 |     3295     19 |        0 |        0
66.09/66.10	c 66.1s |      13 |    67993 |    42932 |     3295     20 |        0 |        0
68.28/68.39	c 68.4s |      13 |    69302 |    43932 |     3295     20 |        0 |        0
70.38/70.47	c 70.4s |      13 |    70377 |    44832 |     3295     20 |        0 |        0
72.68/72.72	c 72.7s |      13 |    71178 |    45532 |     3295     20 |        0 |        0
74.68/74.76	c 74.7s |      13 |    71914 |    46132 |     3295     21 |        0 |        0
76.78/76.89	c 76.9s |      13 |    73080 |    47132 |     3295     21 |        0 |        0
79.08/79.11	c 79.1s |      13 |    74151 |    48032 |     3295     21 |        0 |        0
81.27/81.35	c 81.3s |      13 |    75070 |    48832 |     3295     22 |        0 |        0
83.38/83.43	c 83.4s |      13 |    76103 |    49732 |     3295     22 |        0 |        0
85.48/85.55	c 85.5s |      13 |    77024 |    50532 |     3295     22 |        0 |        0
87.47/87.56	c 87.5s |      13 |    77797 |    51232 |     3295     22 |        0 |        0
89.67/89.71	c 89.7s |      13 |    78592 |    51932 |     3295     23 |        0 |        0
91.78/91.89	c 91.9s |      13 |    79620 |    52832 |     3295     23 |        0 |        0
93.98/94.03	c 94.0s |      13 |    80526 |    53632 |     3295     23 |        0 |        0
95.98/96.08	c 96.0s |      13 |    81358 |    54332 |     3295     23 |        0 |        0
98.17/98.28	c 98.2s |      13 |    82117 |    54932 |     3295     24 |        0 |        0
100.37/100.49	c  100s |      13 |    82877 |    55632 |     3295     24 |        0 |        0
102.48/102.54	c  102s |      13 |    83713 |    56332 |     3295     24 |        0 |        0
104.68/104.72	c  104s |      13 |    84516 |    57032 |     3295     24 |        0 |        0
106.87/106.97	c  106s |      13 |    85194 |    57632 |     3295     25 |        0 |        0
108.88/108.98	c  108s |      13 |    85953 |    58332 |     3625     25 |        0 |        0
108.98/109.05	c  109s |      14 |    85977 |    58352 |     3625     25 |        0 |        0
111.08/111.11	c  111s |      14 |    88768 |    59452 |     3625     26 |        0 |        0
113.17/113.30	c  113s |      14 |    90043 |    60552 |     3625     26 |        0 |        0
115.37/115.43	c  115s |      14 |    91095 |    61452 |     3625     26 |        0 |        0
117.37/117.49	c  117s |      14 |    92153 |    62352 |     3625     26 |        0 |        0
119.67/119.71	c  119s |      14 |    93072 |    63152 |     3625     27 |        0 |        0
121.67/121.73	c  121s |      14 |    94048 |    63952 |     3625     27 |        0 |        0
123.77/123.80	c  123s |      14 |    94962 |    64752 |     3625     27 |        0 |        0
125.77/125.83	c  125s |      14 |    95870 |    65552 |     3625     27 |        0 |        0
127.87/127.92	c  127s |      14 |    96660 |    66252 |     3625     28 |        0 |        0
129.97/130.06	c  130s |      14 |    97556 |    67052 |     3625     28 |        0 |        0
132.17/132.20	c  132s |      14 |    98339 |    67752 |     3625     28 |        0 |        0
134.27/134.37	c  134s |      14 |    99093 |    68452 |     3625     28 |        0 |        0
136.47/136.53	c  136s |      14 |    99894 |    69152 |     3625     29 |        0 |        0
138.47/138.58	c  138s |      14 |   100848 |    69952 |     3625     29 |        0 |        0
140.57/140.68	c  140s |      14 |   101732 |    70752 |     3625     29 |        0 |        0
142.67/142.77	c  142s |      14 |   102521 |    71452 |     3625     29 |        0 |        0
144.77/144.80	c  144s |      14 |   103183 |    72052 |     3625     30 |        0 |        0
146.87/146.95	c  146s |      14 |   104074 |    72852 |     3625     30 |        0 |        0
149.07/149.15	c  149s |      14 |   105005 |    73652 |     3625     30 |        0 |        0
151.17/151.20	c  151s |      14 |   105916 |    74452 |     3625     30 |        0 |        0
153.27/153.31	c  153s |      14 |   106717 |    75152 |     3625     31 |        0 |        0
155.26/155.33	c  155s |      14 |   107624 |    75952 |     3625     31 |        0 |        0
157.28/157.37	c  157s |      14 |   108408 |    76652 |     3625     31 |        0 |        0
159.27/159.39	c  159s |      14 |   109191 |    77352 |     3625     31 |        0 |        0
161.57/161.67	c  161s |      14 |   110098 |    78152 |     3625     31 |        0 |        0
163.66/163.76	c  163s |      14 |   110877 |    78852 |     3625     32 |        0 |        0
165.86/165.91	c  165s |      14 |   111645 |    79552 |     3625     32 |        0 |        0
168.06/168.12	c  168s |      14 |   112405 |    80252 |     3625     32 |        0 |        0
170.27/170.38	c  170s |      14 |   113178 |    80952 |     3625     32 |        0 |        0
172.26/172.38	c  172s |      14 |   113820 |    81552 |     3625     33 |        0 |        0
174.66/174.71	c  174s |      14 |   114683 |    82352 |     3625     33 |        0 |        0
176.96/177.00	c  176s |      14 |   115586 |    83152 |     3625     33 |        0 |        0
179.17/179.20	c  179s |      14 |   116338 |    83852 |     3625     33 |        0 |        0
181.47/181.59	c  181s |      14 |   117022 |    84452 |     3625     34 |        0 |        0
183.67/183.80	c  183s |      14 |   117790 |    85152 |     3625     34 |        0 |        0
185.97/186.09	c  186s |      14 |   118551 |    85852 |     3625     34 |        0 |        0
188.17/188.21	c  188s |      14 |   119209 |    86452 |     3625     34 |        0 |        0
190.16/190.28	c  190s |      14 |   119851 |    87052 |     3988     34 |        0 |        0
192.06/192.17	c  192s |      15 |   120491 |    87632 |     3988     34 |        0 |        0
194.16/194.21	c  194s |      15 |   124003 |    88732 |     3988     35 |        0 |        0
196.26/196.31	c  196s |      15 |   125413 |    89932 |     3988     35 |        0 |        0
198.36/198.43	c  198s |      15 |   126724 |    91032 |     3988     35 |        0 |        0
200.46/200.56	c  200s |      15 |   127776 |    91932 |     3988     36 |        0 |        0
202.66/202.75	c  202s |      15 |   128786 |    92832 |     3988     36 |        0 |        0
204.75/204.89	c  204s |      15 |   129693 |    93632 |     3988     36 |        0 |        0
206.95/207.06	c  207s |      15 |   130456 |    94332 |     3988     37 |        0 |        0
209.07/209.14	c  209s |      15 |   131357 |    95132 |     3988     37 |        0 |        0
211.36/211.40	c  211s |      15 |   132398 |    96032 |     3988     37 |        0 |        0
213.36/213.49	c  213s |      15 |   133288 |    96832 |     3988     37 |        0 |        0
215.85/215.98	c  215s |      15 |   134160 |    97632 |     3988     38 |        0 |        0
218.05/218.14	c  218s |      15 |   135321 |    98632 |     3988     38 |        0 |        0
220.06/220.18	c  220s |      15 |   136475 |    99632 |     3988     38 |        0 |        0
222.27/222.33	c  222s |      15 |   137479 |   100532 |     3988     38 |        0 |        0
224.37/224.42	c  224s |      15 |   138362 |   101332 |     3988     39 |        0 |        0
226.56/226.61	c  226s |      15 |   139362 |   102232 |     3988     39 |        0 |        0
228.65/228.73	c  228s |      15 |   140257 |   103032 |     3988     39 |        0 |        0
230.75/230.82	c  230s |      15 |   141042 |   103732 |     3988     39 |        0 |        0
232.96/233.00	c  232s |      15 |   141811 |   104432 |     3988     40 |        0 |        0
235.15/235.21	c  235s |      15 |   142691 |   105232 |     3988     40 |        0 |        0
237.36/237.44	c  237s |      15 |   143639 |   106032 |     3988     40 |        0 |        0
239.46/239.50	c  239s |      15 |   144420 |   106732 |     3988     40 |        0 |        0
241.55/241.67	c  241s |      15 |   145223 |   107432 |     3988     41 |        0 |        0
243.65/243.70	c  243s |      15 |   146128 |   108232 |     3988     41 |        0 |        0
245.75/245.88	c  245s |      15 |   147001 |   109032 |     3988     41 |        0 |        0
247.86/247.90	c  247s |      15 |   147785 |   109732 |     3988     41 |        0 |        0
250.05/250.16	c  250s |      15 |   148533 |   110432 |     3988     41 |        0 |        0
252.25/252.39	c  252s |      15 |   149299 |   111132 |     3988     42 |        0 |        0
254.55/254.63	c  254s |      15 |   150044 |   111832 |     3988     42 |        0 |        0
256.65/256.70	c  256s |      15 |   150831 |   112532 |     3988     42 |        0 |        0
258.65/258.76	c  258s |      15 |   151580 |   113232 |     3988     42 |        0 |        0
261.15/261.22	c  261s |      15 |   152333 |   113932 |     3988     43 |        0 |        0
263.25/263.36	c  263s |      15 |   153137 |   114632 |     3988     43 |        0 |        0
265.35/265.49	c  265s |      15 |   153991 |   115432 |     3988     43 |        0 |        0
267.55/267.64	c  267s |      15 |   154853 |   116232 |     3988     43 |        0 |        0
269.65/269.74	c  269s |      15 |   155734 |   117032 |     3988     43 |        0 |        0
271.65/271.75	c  271s |      15 |   156394 |   117632 |     3988     44 |        0 |        0
273.75/273.82	c  273s |      15 |   157167 |   118332 |     3988     44 |        0 |        0
275.75/275.82	c  275s |      15 |   157970 |   119032 |     3988     44 |        0 |        0
277.75/277.90	c  277s |      15 |   158754 |   119732 |     3988     44 |        0 |        0
279.95/280.04	c  280s |      15 |   159406 |   120332 |     3988     44 |        0 |        0
282.04/282.15	c  282s |      15 |   159946 |   120832 |     3988     45 |        0 |        0
284.25/284.33	c  284s |      15 |   160818 |   121632 |     3988     45 |        0 |        0
286.45/286.53	c  286s |      15 |   161788 |   122532 |     3988     45 |        0 |        0
288.45/288.59	c  288s |      15 |   162623 |   123332 |     3988     45 |        0 |        0
290.54/290.65	c  290s |      15 |   163406 |   124032 |     3988     46 |        0 |        0
292.56/292.69	c  292s |      15 |   164310 |   124832 |     3988     46 |        0 |        0
294.76/294.84	c  294s |      15 |   165080 |   125532 |     3988     46 |        0 |        0
296.84/296.94	c  296s |      15 |   165859 |   126232 |     3988     46 |        0 |        0
298.84/298.97	c  298s |      15 |   166641 |   126932 |     3988     46 |        0 |        0
301.14/301.27	c  301s |      15 |   167386 |   127632 |     3988     47 |        0 |        0
303.24/303.35	c  303s |      15 |   168263 |   128432 |     3988     47 |        0 |        0
305.54/305.67	c  305s |      15 |   169018 |   129132 |     3988     47 |        0 |        0
307.84/307.94	c  307s |      15 |   169759 |   129832 |     3988     47 |        0 |        0
310.25/310.32	c  310s |      15 |   170395 |   130432 |     3988     48 |        0 |        0
312.45/312.56	c  312s |      15 |   171257 |   131232 |     4387     48 |        0 |        0
313.34/313.40	c  313s |      16 |   171602 |   131552 |     4387     48 |        0 |        0
315.34/315.43	c  315s |      16 |   174747 |   133052 |     4387     49 |        0 |        0
317.44/317.52	c  317s |      16 |   176298 |   134352 |     4387     49 |        0 |        0
319.54/319.67	c  319s |      16 |   177652 |   135552 |     4387     49 |        0 |        0
321.64/321.79	c  321s |      16 |   178653 |   136452 |     4387     50 |        0 |        0
323.74/323.89	c  323s |      16 |   179995 |   137652 |     4387     50 |        0 |        0
325.84/325.96	c  325s |      16 |   181123 |   138652 |     4387     50 |        0 |        0
327.94/328.04	c  328s |      16 |   182302 |   139652 |     4387     50 |        0 |        0
330.05/330.12	c  330s |      16 |   183396 |   140552 |     4387     51 |        0 |        0
332.04/332.16	c  332s |      16 |   184531 |   141552 |     4387     51 |        0 |        0
334.24/334.38	c  334s |      16 |   185677 |   142552 |     4387     51 |        0 |        0
336.34/336.48	c  336s |      16 |   186699 |   143352 |     4387     52 |        0 |        0
338.44/338.58	c  338s |      16 |   187715 |   144252 |     4387     52 |        0 |        0
340.74/340.83	c  340s |      16 |   188688 |   145152 |     4387     52 |        0 |        0
342.84/342.93	c  342s |      16 |   189647 |   146052 |     4387     52 |        0 |        0
344.94/345.06	c  345s |      16 |   190529 |   146852 |     4387     53 |        0 |        0
347.04/347.13	c  347s |      16 |   191413 |   147652 |     4387     53 |        0 |        0
349.04/349.19	c  349s |      16 |   192342 |   148452 |     4387     53 |        0 |        0
351.34/351.40	c  351s |      16 |   193364 |   149352 |     4387     53 |        0 |        0
353.54/353.61	c  353s |      16 |   194249 |   150152 |     4387     54 |        0 |        0
355.54/355.69	c  355s |      16 |   195282 |   151052 |     4387     54 |        0 |        0
357.63/357.71	c  357s |      16 |   196047 |   151752 |     4387     54 |        0 |        0
359.74/359.84	c  359s |      16 |   196851 |   152452 |     4387     54 |        0 |        0
361.94/362.02	c  361s |      16 |   197748 |   153252 |     4387     54 |        0 |        0
363.94/364.10	c  364s |      16 |   198390 |   153852 |     4387     55 |        0 |        0
366.04/366.17	c  366s |      16 |   199163 |   154552 |     4387     55 |        0 |        0
368.13/368.23	c  368s |      16 |   199802 |   155152 |     4387     55 |        0 |        0
370.23/370.35	c  370s |      16 |   200455 |   155752 |     4387     55 |        0 |        0
372.23/372.38	c  372s |      16 |   201238 |   156452 |     4387     55 |        0 |        0
374.73/374.81	c  374s |      16 |   202010 |   157152 |     4387     56 |        0 |        0
376.73/376.89	c  376s |      16 |   202889 |   157952 |     4387     56 |        0 |        0
378.74/378.90	c  378s |      16 |   203666 |   158652 |     4387     56 |        0 |        0
381.03/381.19	c  381s |      16 |   204441 |   159352 |     4387     56 |        0 |        0
383.33/383.48	c  383s |      16 |   205117 |   159952 |     4387     56 |        0 |        0
385.43/385.51	c  385s |      16 |   205645 |   160452 |     4387     56 |        0 |        0
387.53/387.63	c  387s |      16 |   206244 |   160952 |     4387     57 |        0 |        0
389.63/389.78	c  389s |      16 |   207660 |   162152 |     4387     57 |        0 |        0
391.83/391.90	c  391s |      16 |   208774 |   163152 |     4387     57 |        0 |        0
394.33/394.40	c  394s |      16 |   209754 |   164052 |     4387     58 |        0 |        0
396.43/396.53	c  396s |      16 |   210759 |   164952 |     4387     58 |        0 |        0
398.43/398.54	c  398s |      16 |   211643 |   165752 |     4387     58 |        0 |        0
400.53/400.64	c  400s |      16 |   212528 |   166552 |     4387     58 |        0 |        0
402.63/402.72	c  402s |      16 |   213273 |   167252 |     4387     58 |        0 |        0
404.73/404.84	c  404s |      16 |   214121 |   167952 |     4387     59 |        0 |        0
406.93/407.08	c  407s |      16 |   215097 |   168852 |     4387     59 |        0 |        0
409.03/409.12	c  409s |      16 |   216025 |   169652 |     4387     59 |        0 |        0
411.23/411.36	c  411s |      16 |   216776 |   170352 |     4387     59 |        0 |        0
413.53/413.66	c  413s |      16 |   217555 |   171052 |     4387     60 |        0 |        0
415.74/415.89	c  415s |      16 |   218421 |   171852 |     4387     60 |        0 |        0
417.94/418.04	c  418s |      16 |   219414 |   172752 |     4387     60 |        0 |        0
420.02/420.12	c  420s |      16 |   220301 |   173552 |     4387     60 |        0 |        0
422.22/422.34	c  422s |      16 |   221176 |   174352 |     4387     60 |        0 |        0
424.32/424.40	c  424s |      16 |   222017 |   175052 |     4387     61 |        0 |        0
426.43/426.50	c  426s |      16 |   222915 |   175852 |     4387     61 |        0 |        0
428.53/428.66	c  428s |      16 |   223682 |   176552 |     4387     61 |        0 |        0
430.83/430.97	c  430s |      16 |   224434 |   177252 |     4387     61 |        0 |        0
432.82/432.97	c  432s |      16 |   225106 |   177852 |     4387     61 |        0 |        0
435.03/435.11	c  435s |      16 |   225865 |   178552 |     4387     62 |        0 |        0
437.13/437.23	c  437s |      16 |   226643 |   179252 |     4387     62 |        0 |        0
439.13/439.24	c  439s |      16 |   227411 |   179952 |     4387     62 |        0 |        0
441.42/441.55	c  441s |      16 |   228265 |   180752 |     4387     62 |        0 |        0
443.82/443.95	c  443s |      16 |   229015 |   181452 |     4387     63 |        0 |        0
446.02/446.10	c  446s |      16 |   229746 |   182152 |     4387     63 |        0 |        0
448.02/448.12	c  448s |      16 |   230497 |   182852 |     4387     63 |        0 |        0
450.12/450.30	c  450s |      16 |   231155 |   183452 |     4387     63 |        0 |        0
452.22/452.32	c  452s |      16 |   231701 |   183952 |     4387     63 |        0 |        0
454.62/454.70	c  454s |      16 |   232378 |   184552 |     4387     63 |        0 |        0
456.62/456.72	c  456s |      16 |   233380 |   185452 |     4387     64 |        0 |        0
458.73/458.85	c  458s |      16 |   234501 |   186452 |     4387     64 |        0 |        0
460.83/460.98	c  460s |      16 |   235538 |   187352 |     4387     64 |        0 |        0
463.02/463.17	c  463s |      16 |   236411 |   188152 |     4387     64 |        0 |        0
465.11/465.26	c  465s |      16 |   237169 |   188852 |     4387     65 |        0 |        0
467.32/467.47	c  467s |      16 |   238343 |   189852 |     4387     65 |        0 |        0
469.42/469.50	c  469s |      16 |   239206 |   190652 |     4387     65 |        0 |        0
471.62/471.74	c  471s |      16 |   240072 |   191452 |     4387     65 |        0 |        0
473.81/473.94	c  473s |      16 |   240832 |   192152 |     4387     66 |        0 |        0
475.91/476.09	c  476s |      16 |   241691 |   192952 |     4387     66 |        0 |        0
478.11/478.25	c  478s |      16 |   242583 |   193752 |     4387     66 |        0 |        0
480.31/480.42	c  480s |      16 |   243587 |   194652 |     4387     66 |        0 |        0
482.32/482.44	c  482s |      16 |   244347 |   195352 |     4387     67 |        0 |        0
484.42/484.53	c  484s |      16 |   245196 |   196152 |     4826     67 |        0 |        0
486.62/486.78	c  486s |      16 |   246206 |   197052 |     4826     67 |        0 |        0
487.61/487.70	c  487s |      17 |   246620 |   197432 |     4826     67 |        0 |        0
489.61/489.76	c  489s |      17 |   249892 |   198732 |     4826     68 |        0 |        0
491.72/491.86	c  491s |      17 |   251249 |   199932 |     4826     68 |        0 |        0
493.71/493.87	c  493s |      17 |   252360 |   200932 |     4826     68 |        0 |        0
495.91/496.00	c  495s |      17 |   253467 |   201932 |     4826     68 |        0 |        0
497.92/498.02	c  497s |      17 |   254343 |   202732 |     4826     69 |        0 |        0
500.01/500.17	c  500s |      17 |   255319 |   203632 |     4826     69 |        0 |        0
502.11/502.25	c  502s |      17 |   256357 |   204532 |     4826     69 |        0 |        0
504.21/504.38	c  504s |      17 |   257350 |   205432 |     4826     69 |        0 |        0
506.31/506.42	c  506s |      17 |   258098 |   206132 |     4826     70 |        0 |        0
508.32/508.42	c  508s |      17 |   258863 |   206832 |     4826     70 |        0 |        0
510.32/510.49	c  510s |      17 |   259735 |   207632 |     4826     70 |        0 |        0
512.41/512.56	c  512s |      17 |   260754 |   208532 |     4826     70 |        0 |        0
514.61/514.73	c  514s |      17 |   261674 |   209332 |     4826     70 |        0 |        0
516.81/516.91	c  516s |      17 |   262423 |   210032 |     4826     71 |        0 |        0
518.91/519.01	c  518s |      17 |   263457 |   210932 |     4826     71 |        0 |        0
521.01/521.14	c  521s |      17 |   264581 |   211932 |     4826     71 |        0 |        0
523.11/523.27	c  523s |      17 |   265591 |   212832 |     4826     71 |        0 |        0
525.21/525.31	c  525s |      17 |   266382 |   213532 |     4826     72 |        0 |        0
527.21/527.34	c  527s |      17 |   267355 |   214432 |     4826     72 |        0 |        0
529.31/529.40	c  529s |      17 |   268212 |   215232 |     4826     72 |        0 |        0
531.41/531.59	c  531s |      17 |   269221 |   216132 |     4826     72 |        0 |        0
533.52/533.62	c  533s |      17 |   269992 |   216832 |     4826     73 |        0 |        0
535.61/535.74	c  535s |      17 |   270862 |   217632 |     4826     73 |        0 |        0
537.60/537.77	c  537s |      17 |   271621 |   218332 |     4826     73 |        0 |        0
539.80/539.90	c  539s |      17 |   272604 |   219232 |     4826     73 |        0 |        0
541.90/542.07	c  542s |      17 |   273515 |   220032 |     4826     73 |        0 |        0
544.01/544.14	c  544s |      17 |   274166 |   220632 |     4826     74 |        0 |        0
546.11/546.27	c  546s |      17 |   275156 |   221532 |     4826     74 |        0 |        0
548.21/548.32	c  548s |      17 |   276012 |   222332 |     4826     74 |        0 |        0
550.21/550.36	c  550s |      17 |   276792 |   223032 |     4826     74 |        0 |        0
552.41/552.53	c  552s |      17 |   277564 |   223732 |     4826     74 |        0 |        0
554.71/554.85	c  554s |      17 |   278317 |   224432 |     4826     75 |        0 |        0
556.80/556.96	c  556s |      17 |   279081 |   225132 |     4826     75 |        0 |        0
558.90/559.00	c  558s |      17 |   279834 |   225832 |     4826     75 |        0 |        0
560.91/561.09	c  561s |      17 |   280592 |   226532 |     4826     75 |        0 |        0
563.00/563.20	c  563s |      17 |   281381 |   227232 |     4826     75 |        0 |        0
565.11/565.29	c  565s |      17 |   282284 |   228032 |     4826     76 |        0 |        0
567.21/567.36	c  567s |      17 |   283309 |   228932 |     4826     76 |        0 |        0
569.40/569.55	c  569s |      17 |   284319 |   229832 |     4826     76 |        0 |        0
571.70/571.80	c  571s |      17 |   285192 |   230632 |     4826     76 |        0 |        0
574.00/574.17	c  574s |      17 |   286072 |   231432 |     4826     77 |        0 |        0
576.20/576.30	c  576s |      17 |   287117 |   232332 |     4826     77 |        0 |        0
578.30/578.48	c  578s |      17 |   288092 |   233232 |     4826     77 |        0 |        0
580.40/580.55	c  580s |      17 |   288854 |   233932 |     4826     77 |        0 |        0
582.50/582.63	c  582s |      17 |   289749 |   234732 |     4826     77 |        0 |        0
584.70/584.80	c  584s |      17 |   290553 |   235432 |     4826     78 |        0 |        0
586.70/586.83	c  586s |      17 |   291547 |   236332 |     4826     78 |        0 |        0
588.90/589.00	c  588s |      17 |   292526 |   237232 |     4826     78 |        0 |        0
591.00/591.18	c  591s |      17 |   293393 |   238032 |     4826     78 |        0 |        0
593.40/593.55	c  593s |      17 |   294254 |   238832 |     4826     79 |        0 |        0
595.69/595.80	c  595s |      17 |   295133 |   239632 |     4826     79 |        0 |        0
597.80/597.90	c  597s |      17 |   295897 |   240332 |     4826     79 |        0 |        0
600.00/600.13	c  600s |      17 |   296933 |   241232 |     4826     79 |        0 |        0
602.00/602.14	c  602s |      17 |   297813 |   242032 |     4826     79 |        0 |        0
604.19/604.30	c  604s |      17 |   298584 |   242732 |     4826     80 |        0 |        0
606.19/606.37	c  606s |      17 |   299465 |   243532 |     4826     80 |        0 |        0
608.21/608.40	c  608s |      17 |   300226 |   244232 |     4826     80 |        0 |        0
610.30/610.48	c  610s |      17 |   300985 |   244932 |     4826     80 |        0 |        0
612.50/612.62	c  612s |      17 |   301777 |   245632 |     4826     80 |        0 |        0
614.60/614.72	c  614s |      17 |   302426 |   246232 |     4826     81 |        0 |        0
616.59/616.76	c  616s |      17 |   303450 |   247132 |     4826     81 |        0 |        0
618.69/618.80	c  618s |      17 |   304310 |   247932 |     4826     81 |        0 |        0
620.90/621.02	c  620s |      17 |   305100 |   248632 |     4826     81 |        0 |        0
623.10/623.24	c  623s |      17 |   306106 |   249532 |     4826     81 |        0 |        0
625.30/625.47	c  625s |      17 |   306982 |   250332 |     4826     82 |        0 |        0
627.39/627.59	c  627s |      17 |   307863 |   251132 |     4826     82 |        0 |        0
629.70/629.84	c  629s |      17 |   308858 |   252032 |     4826     82 |        0 |        0
631.80/631.99	c  631s |      17 |   309814 |   252932 |     4826     82 |        0 |        0
633.89/634.00	c  633s |      17 |   310491 |   253532 |     4826     83 |        0 |        0
635.99/636.19	c  636s |      17 |   311343 |   254332 |     4826     83 |        0 |        0
638.19/638.38	c  638s |      17 |   312318 |   255132 |     4826     83 |        0 |        0
640.49/640.61	c  640s |      17 |   313557 |   256232 |     4826     83 |        0 |        0
642.59/642.70	c  642s |      17 |   314439 |   257032 |     4826     83 |        0 |        0
644.59/644.75	c  644s |      17 |   315199 |   257732 |     4826     84 |        0 |        0
646.58/646.76	c  646s |      17 |   316101 |   258532 |     4826     84 |        0 |        0
648.68/648.82	c  648s |      17 |   317050 |   259332 |     4826     84 |        0 |        0
650.69/650.89	c  650s |      17 |   317854 |   260032 |     4826     84 |        0 |        0
652.99/653.13	c  653s |      17 |   318595 |   260732 |     4826     84 |        0 |        0
655.19/655.30	c  655s |      17 |   319250 |   261332 |     4826     85 |        0 |        0
657.38/657.54	c  657s |      17 |   320116 |   262132 |     4826     85 |        0 |        0
659.49/659.68	c  659s |      17 |   320884 |   262832 |     4826     85 |        0 |        0
661.79/661.91	c  661s |      17 |   321648 |   263532 |     4826     85 |        0 |        0
663.88/664.03	c  663s |      17 |   322418 |   264232 |     4826     85 |        0 |        0
665.88/666.08	c  666s |      17 |   322953 |   264732 |     4826     86 |        0 |        0
668.19/668.35	c  668s |      17 |   323720 |   265432 |     4826     86 |        0 |        0
670.19/670.36	c  670s |      17 |   324404 |   266032 |     4826     86 |        0 |        0
672.38/672.58	c  672s |      17 |   325259 |   266832 |     4826     86 |        0 |        0
674.58/674.73	c  674s |      17 |   326002 |   267532 |     4826     86 |        0 |        0
676.58/676.75	c  676s |      17 |   326654 |   268132 |     4826     86 |        0 |        0
678.78/678.99	c  678s |      17 |   327287 |   268732 |     4826     87 |        0 |        0
680.98/681.17	c  681s |      17 |   328302 |   269632 |     4826     87 |        0 |        0
682.99/683.18	c  683s |      17 |   329250 |   270432 |     4826     87 |        0 |        0
685.19/685.32	c  685s |      17 |   330014 |   271132 |     4826     87 |        0 |        0
687.39/687.58	c  687s |      17 |   330776 |   271832 |     4826     87 |        0 |        0
689.59/689.80	c  689s |      17 |   331552 |   272532 |     4826     88 |        0 |        0
691.68/691.88	c  691s |      17 |   332327 |   273232 |     4826     88 |        0 |        0
693.88/694.06	c  694s |      17 |   333105 |   273932 |     4826     88 |        0 |        0
696.08/696.27	c  696s |      17 |   334076 |   274832 |     4826     88 |        0 |        0
698.18/698.31	c  698s |      17 |   334851 |   275532 |     4826     88 |        0 |        0
700.28/700.40	c  700s |      17 |   335545 |   276132 |     4826     89 |        0 |        0
702.38/702.51	c  702s |      17 |   336297 |   276832 |     4826     89 |        0 |        0
704.38/704.55	c  704s |      17 |   337062 |   277532 |     4826     89 |        0 |        0
706.47/706.67	c  706s |      17 |   337713 |   278132 |     4826     89 |        0 |        0
708.67/708.86	c  708s |      17 |   338366 |   278732 |     4826     89 |        0 |        0
710.87/711.07	c  711s |      17 |   339180 |   279432 |     4826     90 |        0 |        0
712.97/713.18	c  713s |      17 |   340058 |   280232 |     4826     90 |        0 |        0
715.27/715.40	c  715s |      17 |   340836 |   280932 |     4826     90 |        0 |        0
717.38/717.51	c  717s |      17 |   341613 |   281632 |     4826     90 |        0 |        0
719.38/719.56	c  719s |      17 |   342380 |   282332 |     4826     90 |        0 |        0
721.58/721.73	c  721s |      17 |   343166 |   283032 |     4826     91 |        0 |        0
723.78/723.99	c  723s |      17 |   344022 |   283832 |     4826     91 |        0 |        0
726.17/726.30	c  726s |      17 |   344783 |   284532 |     4826     91 |        0 |        0
728.18/728.37	c  728s |      17 |   345461 |   285132 |     4826     91 |        0 |        0
730.28/730.41	c  730s |      17 |   346217 |   285832 |     4826     91 |        0 |        0
732.27/732.42	c  732s |      17 |   346854 |   286432 |     4826     91 |        0 |        0
734.27/734.44	c  734s |      17 |   347518 |   287032 |     4826     92 |        0 |        0
736.46/736.63	c  736s |      17 |   348188 |   287632 |     4826     92 |        0 |        0
738.57/738.79	c  738s |      17 |   348968 |   288332 |     4826     92 |        0 |        0
740.77/740.94	c  740s |      17 |   349601 |   288932 |     4826     92 |        0 |        0
742.87/743.08	c  743s |      17 |   350253 |   289532 |     4826     92 |        0 |        0
744.97/745.12	c  745s |      17 |   350802 |   290032 |     4826     92 |        0 |        0
747.16/747.30	c  747s |      17 |   351581 |   290732 |     4826     93 |        0 |        0
749.26/749.48	c  749s |      17 |   352675 |   291732 |     4826     93 |        0 |        0
751.46/751.64	c  751s |      17 |   353788 |   292732 |     4826     93 |        0 |        0
753.67/753.84	c  753s |      17 |   354763 |   293632 |     4826     93 |        0 |        0
755.67/755.87	c  755s |      17 |   355515 |   294332 |     5309     94 |        0 |        0
757.66/757.89	c  757s |      17 |   356292 |   295032 |     5309     94 |        0 |        0
759.76/759.97	c  759s |      17 |   357037 |   295732 |     5309     94 |        0 |        0
761.37/761.53	c  761s |      18 |   357606 |   296252 |     5309     94 |        0 |        0
763.37/763.59	c  763s |      18 |   361063 |   297552 |     5309     95 |        0 |        0
765.47/765.70	c  765s |      18 |   362631 |   298952 |     5309     95 |        0 |        0
767.67/767.81	c  767s |      18 |   364001 |   300152 |     5309     95 |        0 |        0
769.66/769.88	c  769s |      18 |   365110 |   301152 |     5309     96 |        0 |        0
771.65/771.89	c  771s |      18 |   366147 |   302052 |     5309     96 |        0 |        0
773.96/774.12	c  774s |      18 |   367133 |   302952 |     5309     96 |        0 |        0
776.06/776.22	c  776s |      18 |   368135 |   303852 |     5309     96 |        0 |        0
778.26/778.46	c  778s |      18 |   369058 |   304652 |     5309     96 |        0 |        0
780.36/780.51	c  780s |      18 |   369772 |   305252 |     5309     97 |        0 |        0
782.56/782.71	c  782s |      18 |   370865 |   306252 |     5309     97 |        0 |        0
784.75/784.90	c  784s |      18 |   371859 |   307152 |     5309     97 |        0 |        0
786.75/786.95	c  786s |      18 |   372941 |   308052 |     5309     97 |        0 |        0
788.86/789.06	c  789s |      18 |   373957 |   308952 |     5309     97 |        0 |        0
790.87/791.09	c  791s |      18 |   374866 |   309752 |     5309     98 |        0 |        0
793.16/793.30	c  793s |      18 |   375861 |   310652 |     5309     98 |        0 |        0
795.16/795.36	c  795s |      18 |   376882 |   311552 |     5309     98 |        0 |        0
797.25/797.48	c  797s |      18 |   377892 |   312452 |     5309     98 |        0 |        0
799.35/799.59	c  799s |      18 |   378788 |   313252 |     5309     99 |        0 |        0
801.55/801.76	c  801s |      18 |   379785 |   314152 |     5309     99 |        0 |        0
803.66/803.83	c  803s |      18 |   380660 |   314952 |     5309     99 |        0 |        0
805.86/806.04	c  806s |      18 |   381664 |   315852 |     5309     99 |        0 |        0
807.95/808.10	c  808s |      18 |   382685 |   316752 |     5309     99 |        0 |        0
810.15/810.31	c  810s |      18 |   383568 |   317552 |     5309    100 |        0 |        0
812.25/812.41	c  812s |      18 |   384633 |   318452 |     5309    100 |        0 |        0
814.25/814.50	c  814s |      18 |   385549 |   319252 |     5309    100 |        0 |        0
816.45/816.63	c  816s |      18 |   386477 |   320052 |     5309    100 |        0 |        0
818.95/819.11	c  819s |      18 |   387361 |   320852 |     5309    101 |        0 |        0
820.95/821.16	c  821s |      18 |   388258 |   321652 |     5309    101 |        0 |        0
823.05/823.26	c  823s |      18 |   389288 |   322552 |     5309    101 |        0 |        0
825.05/825.27	c  825s |      18 |   390187 |   323352 |     5309    101 |        0 |        0
827.15/827.33	c  827s |      18 |   391110 |   324152 |     5309    101 |        0 |        0
829.15/829.35	c  829s |      18 |   391904 |   324852 |     5309    102 |        0 |        0
831.46/831.63	c  831s |      18 |   392918 |   325752 |     5309    102 |        0 |        0
833.55/833.71	c  833s |      18 |   393797 |   326552 |     5309    102 |        0 |        0
835.55/835.77	c  835s |      18 |   394706 |   327352 |     5309    102 |        0 |        0
837.74/837.91	c  837s |      18 |   395586 |   328152 |     5309    102 |        0 |        0
839.84/840.03	c  839s |      18 |   396382 |   328852 |     5309    103 |        0 |        0
841.95/842.13	c  842s |      18 |   397414 |   329752 |     5309    103 |        0 |        0
844.15/844.36	c  844s |      18 |   398415 |   330652 |     5309    103 |        0 |        0
846.24/846.48	c  846s |      18 |   399307 |   331452 |     5309    103 |        0 |        0
848.34/848.57	c  848s |      18 |   400208 |   332252 |     5309    103 |        0 |        0
850.54/850.71	c  850s |      18 |   401268 |   333152 |     5309    104 |        0 |        0
852.64/852.88	c  852s |      18 |   402359 |   334152 |     5309    104 |        0 |        0
854.65/854.89	c  854s |      18 |   403339 |   335052 |     5309    104 |        0 |        0
856.75/856.92	c  856s |      18 |   404351 |   335952 |     5309    104 |        0 |        0
858.74/858.95	c  858s |      18 |   405123 |   336652 |     5309    105 |        0 |        0
860.84/861.05	c  861s |      18 |   406132 |   337552 |     5309    105 |        0 |        0
863.03/863.21	c  863s |      18 |   407314 |   338552 |     5309    105 |        0 |        0
865.03/865.27	c  865s |      18 |   408390 |   339452 |     5309    105 |        0 |        0
867.24/867.49	c  867s |      18 |   409285 |   340252 |     5309    105 |        0 |        0
869.34/869.51	c  869s |      18 |   410208 |   341052 |     5309    106 |        0 |        0
871.34/871.55	c  871s |      18 |   411240 |   341952 |     5309    106 |        0 |        0
873.44/873.64	c  873s |      18 |   412145 |   342752 |     5309    106 |        0 |        0
875.44/875.64	c  875s |      18 |   413052 |   343552 |     5309    106 |        0 |        0
877.53/877.72	c  877s |      18 |   413952 |   344352 |     5309    106 |        0 |        0
879.53/879.77	c  879s |      18 |   414836 |   345152 |     5309    107 |        0 |        0
881.53/881.78	c  881s |      18 |   415740 |   345952 |     5309    107 |        0 |        0
883.53/883.78	c  883s |      18 |   416616 |   346752 |     5309    107 |        0 |        0
885.74/885.90	c  885s |      18 |   417522 |   347552 |     5309    107 |        0 |        0
887.83/888.06	c  888s |      18 |   418414 |   348352 |     5309    107 |        0 |        0
890.03/890.20	c  890s |      18 |   419209 |   349052 |     5309    108 |        0 |        0
892.13/892.31	c  892s |      18 |   420301 |   350052 |     5309    108 |        0 |        0
894.33/894.57	c  894s |      18 |   421327 |   350952 |     5309    108 |        0 |        0
896.43/896.67	c  896s |      18 |   422219 |   351752 |     5309    108 |        0 |        0
898.54/898.72	c  898s |      18 |   423004 |   352452 |     5309    109 |        0 |        0
900.63/900.83	c  900s |      18 |   424027 |   353352 |     5309    109 |        0 |        0
902.62/902.88	c  902s |      18 |   424899 |   354152 |     5309    109 |        0 |        0
904.92/905.15	c  905s |      18 |   425800 |   354952 |     5309    109 |        0 |        0
907.02/907.24	c  907s |      18 |   426802 |   355852 |     5309    109 |        0 |        0
909.12/909.31	c  909s |      18 |   427691 |   356652 |     5309    110 |        0 |        0
911.23/911.46	c  911s |      18 |   428801 |   357652 |     5309    110 |        0 |        0
913.33/913.54	c  913s |      18 |   429800 |   358552 |     5309    110 |        0 |        0
915.32/915.55	c  915s |      18 |   430691 |   359352 |     5309    110 |        0 |        0
917.62/917.87	c  917s |      18 |   431613 |   360152 |     5309    111 |        0 |        0
919.82/920.08	c  920s |      18 |   432480 |   360952 |     5309    111 |        0 |        0
921.92/922.12	c  922s |      18 |   433538 |   361852 |     5309    111 |        0 |        0
923.93/924.15	c  924s |      18 |   434520 |   362752 |     5309    111 |        0 |        0
925.92/926.20	c  926s |      18 |   435563 |   363652 |     5309    111 |        0 |        0
928.02/928.26	c  928s |      18 |   436422 |   364452 |     5309    112 |        0 |        0
930.12/930.36	c  930s |      18 |   437399 |   365352 |     5309    112 |        0 |        0
932.42/932.60	c  932s |      18 |   438416 |   366252 |     5309    112 |        0 |        0
934.61/934.81	c  934s |      18 |   439286 |   367052 |     5309    112 |        0 |        0
936.61/936.84	c  936s |      18 |   440215 |   367852 |     5309    112 |        0 |        0
938.92/939.11	c  939s |      18 |   441003 |   368552 |     5309    113 |        0 |        0
941.01/941.23	c  941s |      18 |   441774 |   369252 |     5309    113 |        0 |        0
943.01/943.23	c  943s |      18 |   442766 |   370052 |     5309    113 |        0 |        0
945.21/945.40	c  945s |      18 |   443746 |   370952 |     5309    113 |        0 |        0
947.41/947.64	c  947s |      18 |   444747 |   371852 |     5309    113 |        0 |        0
949.51/949.71	c  949s |      18 |   445627 |   372652 |     5309    114 |        0 |        0
951.51/951.76	c  951s |      18 |   446510 |   373452 |     5309    114 |        0 |        0
953.71/953.96	c  953s |      18 |   447389 |   374252 |     5309    114 |        0 |        0
955.91/956.13	c  956s |      18 |   448485 |   375252 |     5309    114 |        0 |        0
958.01/958.26	c  958s |      18 |   449371 |   376052 |     5309    115 |        0 |        0
960.21/960.49	c  960s |      18 |   450472 |   377052 |     5309    115 |        0 |        0
962.41/962.65	c  962s |      18 |   451349 |   377852 |     5309    115 |        0 |        0
964.51/964.78	c  964s |      18 |   452451 |   378852 |     5309    115 |        0 |        0
966.71/966.97	c  966s |      18 |   453460 |   379752 |     5309    115 |        0 |        0
968.81/969.03	c  968s |      18 |   454325 |   380552 |     5309    116 |        0 |        0
971.00/971.21	c  971s |      18 |   455329 |   381452 |     5309    116 |        0 |        0
973.00/973.25	c  973s |      18 |   456206 |   382252 |     5309    116 |        0 |        0
975.20/975.48	c  975s |      18 |   457066 |   383052 |     5309    116 |        0 |        0
977.39/977.67	c  977s |      18 |   457953 |   383852 |     5309    117 |        0 |        0
979.59/979.84	c  979s |      18 |   458934 |   384752 |     5309    117 |        0 |        0
981.70/981.97	c  981s |      18 |   459811 |   385552 |     5309    117 |        0 |        0
983.80/984.01	c  983s |      18 |   460583 |   386252 |     5309    117 |        0 |        0
985.99/986.28	c  986s |      18 |   461352 |   386952 |     5309    117 |        0 |        0
988.09/988.32	c  988s |      18 |   462105 |   387652 |     5309    117 |        0 |        0
990.09/990.38	c  990s |      18 |   462912 |   388352 |     5309    118 |        0 |        0
992.19/992.49	c  992s |      18 |   463948 |   389252 |     5309    118 |        0 |        0
994.39/994.62	c  994s |      18 |   464829 |   390052 |     5309    118 |        0 |        0
996.39/996.68	c  996s |      18 |   465574 |   390752 |     5309    118 |        0 |        0
998.48/998.74	c  998s |      18 |   466339 |   391452 |     5309    118 |        0 |        0
1000.49/1000.76	c 1000s |      18 |   466987 |   392052 |     5309    119 |        0 |        0
1002.58/1002.87	c 1002s |      18 |   467732 |   392752 |     5309    119 |        0 |        0
1004.68/1004.96	c 1004s |      18 |   468499 |   393452 |     5309    119 |        0 |        0
1006.97/1007.22	c 1007s |      18 |   469268 |   394152 |     5309    119 |        0 |        0
1009.18/1009.48	c 1009s |      18 |   470051 |   394852 |     5309    119 |        0 |        0
1011.38/1011.64	c 1011s |      18 |   470690 |   395452 |     5309    119 |        0 |        0
1013.37/1013.64	c 1013s |      18 |   471226 |   395952 |     5309    120 |        0 |        0
1015.67/1015.93	c 1015s |      18 |   471975 |   396652 |     5309    120 |        0 |        0
1017.87/1018.19	c 1018s |      18 |   472745 |   397352 |     5309    120 |        0 |        0
1019.88/1020.19	c 1020s |      18 |   473397 |   397952 |     5309    120 |        0 |        0
1022.27/1022.50	c 1022s |      18 |   474050 |   398552 |     5309    120 |        0 |        0
1024.27/1024.55	c 1024s |      18 |   474604 |   399052 |     5309    120 |        0 |        0
1026.27/1026.59	c 1026s |      18 |   475404 |   399752 |     5309    121 |        0 |        0
1028.47/1028.75	c 1028s |      18 |   476632 |   400852 |     5309    121 |        0 |        0
1030.66/1030.98	c 1030s |      18 |   477721 |   401852 |     5309    121 |        0 |        0
1032.86/1033.17	c 1033s |      18 |   478667 |   402752 |     5309    121 |        0 |        0
1035.16/1035.43	c 1035s |      18 |   479539 |   403552 |     5309    122 |        0 |        0
1037.26/1037.54	c 1037s |      18 |   480515 |   404452 |     5309    122 |        0 |        0
1039.37/1039.69	c 1039s |      18 |   481627 |   405452 |     5309    122 |        0 |        0
1041.36/1041.70	c 1041s |      18 |   482600 |   406352 |     5309    122 |        0 |        0
1043.77/1044.02	c 1043s |      18 |   483466 |   407152 |     5309    122 |        0 |        0
1045.87/1046.12	c 1046s |      18 |   484250 |   407852 |     5309    123 |        0 |        0
1048.06/1048.33	c 1048s |      18 |   485102 |   408652 |     5309    123 |        0 |        0
1050.16/1050.50	c 1050s |      18 |   486112 |   409552 |     5309    123 |        0 |        0
1052.35/1052.70	c 1052s |      18 |   486970 |   410352 |     5309    123 |        0 |        0
1054.55/1054.84	c 1054s |      18 |   487736 |   411052 |     5309    123 |        0 |        0
1056.56/1056.85	c 1056s |      18 |   488483 |   411752 |     5309    124 |        0 |        0
1058.75/1059.06	c 1059s |      18 |   489354 |   412552 |     5309    124 |        0 |        0
1060.85/1061.19	c 1061s |      18 |   490220 |   413352 |     5309    124 |        0 |        0
1063.05/1063.34	c 1063s |      18 |   490964 |   414052 |     5309    124 |        0 |        0
1065.15/1065.46	c 1065s |      18 |   491722 |   414752 |     5309    124 |        0 |        0
1067.65/1067.98	c 1067s |      18 |   492501 |   415452 |     5309    125 |        0 |        0
1069.75/1070.03	c 1069s |      18 |   493253 |   416152 |     5309    125 |        0 |        0
1071.85/1072.17	c 1072s |      18 |   494242 |   417052 |     5309    125 |        0 |        0
1073.94/1074.24	c 1074s |      18 |   495223 |   417952 |     5309    125 |        0 |        0
1076.04/1076.39	c 1076s |      18 |   496088 |   418752 |     5309    125 |        0 |        0
1078.14/1078.41	c 1078s |      18 |   496843 |   419452 |     5309    126 |        0 |        0
1080.24/1080.53	c 1080s |      18 |   497813 |   420352 |     5309    126 |        0 |        0
1082.44/1082.73	c 1082s |      18 |   498681 |   421152 |     5309    126 |        0 |        0
1084.45/1084.80	c 1084s |      18 |   499423 |   421852 |     5309    126 |        0 |        0
1086.54/1086.88	c 1086s |      18 |   500268 |   422652 |     5309    126 |        0 |        0
1088.63/1088.91	c 1088s |      18 |   500930 |   423252 |     5309    127 |        0 |        0
1090.73/1091.01	c 1090s |      18 |   501799 |   424052 |     5309    127 |        0 |        0
1092.93/1093.23	c 1093s |      18 |   502661 |   424852 |     5309    127 |        0 |        0
1095.13/1095.42	c 1095s |      18 |   503400 |   425552 |     5309    127 |        0 |        0
1097.13/1097.46	c 1097s |      18 |   504174 |   426252 |     5309    127 |        0 |        0
1099.23/1099.58	c 1099s |      18 |   504962 |   426952 |     5309    127 |        0 |        0
1101.52/1101.87	c 1101s |      18 |   505730 |   427652 |     5309    128 |        0 |        0
1103.62/1103.97	c 1103s |      18 |   506495 |   428352 |     5309    128 |        0 |        0
1105.73/1106.02	c 1105s |      18 |   507374 |   429152 |     5309    128 |        0 |        0
1107.83/1108.10	c 1108s |      18 |   508261 |   429952 |     5309    128 |        0 |        0
1109.82/1110.12	c 1110s |      18 |   509016 |   430652 |     5309    128 |        0 |        0
1112.02/1112.34	c 1112s |      18 |   509660 |   431252 |     5309    129 |        0 |        0
1114.23/1114.59	c 1114s |      18 |   510609 |   432152 |     5309    129 |        0 |        0
1116.33/1116.61	c 1116s |      18 |   511251 |   432752 |     5309    129 |        0 |        0
1118.42/1118.80	c 1118s |      18 |   512138 |   433552 |     5309    129 |        0 |        0
1120.72/1121.01	c 1120s |      18 |   513164 |   434452 |     5309    129 |        0 |        0
1122.82/1123.19	c 1123s |      18 |   514035 |   435252 |     5309    130 |        0 |        0
1124.92/1125.29	c 1125s |      18 |   515130 |   436252 |     5309    130 |        0 |        0
1127.01/1127.35	c 1127s |      18 |   516232 |   437252 |     5309    130 |        0 |        0
1129.12/1129.49	c 1129s |      18 |   517244 |   438152 |     5309    130 |        0 |        0
1131.51/1131.82	c 1131s |      18 |   518098 |   438952 |     5309    131 |        0 |        0
1133.61/1133.92	c 1133s |      18 |   518979 |   439752 |     5309    131 |        0 |        0
1135.81/1136.18	c 1136s |      18 |   519828 |   440552 |     5309    131 |        0 |        0
1137.91/1138.27	c 1138s |      18 |   520604 |   441252 |     5309    131 |        0 |        0
1140.10/1140.46	c 1140s |      18 |   521471 |   442052 |     5840    131 |        0 |        0
1142.10/1142.46	c 1142s |      18 |   522235 |   442752 |     5840    131 |        0 |        0
1144.41/1144.77	c 1144s |      18 |   522998 |   443452 |     5840    132 |        0 |        0
1146.40/1146.79	c 1146s |      18 |   523734 |   444152 |     5840    132 |        0 |        0
1147.30/1147.67	c 1147s |      19 |   524082 |   444482 |     5840    132 |        0 |        0
1149.40/1149.72	c 1149s |      19 |   527285 |   445882 |     5840    132 |        0 |        0
1151.50/1151.86	c 1151s |      19 |   528500 |   446982 |     5840    132 |        0 |        0
1153.61/1153.96	c 1153s |      19 |   529518 |   447882 |     5840    133 |        0 |        0
1155.60/1155.96	c 1155s |      19 |   530529 |   448782 |     5840    133 |        0 |        0
1157.70/1158.02	c 1157s |      19 |   531678 |   449782 |     5840    133 |        0 |        0
1159.89/1160.23	c 1160s |      19 |   532680 |   450682 |     5840    133 |        0 |        0
1161.89/1162.24	c 1162s |      19 |   533559 |   451482 |     5840    133 |        0 |        0
1163.89/1164.25	c 1164s |      19 |   534328 |   452182 |     5840    134 |        0 |        0
1166.09/1166.44	c 1166s |      19 |   535375 |   453082 |     5840    134 |        0 |        0
1168.29/1168.67	c 1168s |      19 |   536255 |   453882 |     5840    134 |        0 |        0
1170.48/1170.84	c 1170s |      19 |   537263 |   454782 |     5840    134 |        0 |        0
1172.49/1172.86	c 1172s |      19 |   538280 |   455682 |     5840    134 |        0 |        0
1174.60/1174.94	c 1174s |      19 |   539160 |   456482 |     5840    135 |        0 |        0
1176.79/1177.11	c 1177s |      19 |   540389 |   457582 |     5840    135 |        0 |        0
1178.89/1179.22	c 1179s |      19 |   541522 |   458582 |     5840    135 |        0 |        0
1181.18/1181.51	c 1181s |      19 |   542404 |   459382 |     5840    135 |        0 |        0
1183.48/1183.86	c 1183s |      19 |   543294 |   460182 |     5840    136 |        0 |        0
1185.59/1185.98	c 1185s |      19 |   544207 |   460982 |     5840    136 |        0 |        0
1187.69/1188.02	c 1187s |      19 |   545229 |   461882 |     5840    136 |        0 |        0
1189.78/1190.11	c 1190s |      19 |   546288 |   462782 |     5840    136 |        0 |        0
1191.78/1192.15	c 1192s |      19 |   547221 |   463582 |     5840    136 |        0 |        0
1194.08/1194.41	c 1194s |      19 |   548103 |   464382 |     5840    137 |        0 |        0
1196.28/1196.60	c 1196s |      19 |   549272 |   465382 |     5840    137 |        0 |        0
1198.38/1198.78	c 1198s |      19 |   550172 |   466182 |     5840    137 |        0 |        0
1200.47/1200.82	c 1200s |      19 |   551082 |   466982 |     5840    137 |        0 |        0
1202.57/1202.95	c 1202s |      19 |   552132 |   467882 |     5840    137 |        0 |        0
1204.67/1205.01	c 1204s |      19 |   552929 |   468582 |     5840    138 |        0 |        0
1206.67/1207.06	c 1207s |      19 |   553931 |   469482 |     5840    138 |        0 |        0
1208.77/1209.15	c 1209s |      19 |   554942 |   470382 |     5840    138 |        0 |        0
1210.87/1211.23	c 1211s |      19 |   555980 |   471282 |     5840    138 |        0 |        0
1212.86/1213.26	c 1213s |      19 |   556878 |   472082 |     5840    138 |        0 |        0
1214.96/1215.36	c 1215s |      19 |   557786 |   472882 |     5840    139 |        0 |        0
1217.07/1217.44	c 1217s |      19 |   558935 |   473882 |     5840    139 |        0 |        0
1219.16/1219.59	c 1219s |      19 |   559933 |   474782 |     5840    139 |        0 |        0
1221.46/1221.83	c 1221s |      19 |   560989 |   475682 |     5840    139 |        0 |        0
1223.46/1223.85	c 1223s |      19 |   561748 |   476382 |     5840    139 |        0 |        0
1225.56/1225.98	c 1225s |      19 |   562535 |   477082 |     5840    140 |        0 |        0
1227.86/1228.23	c 1228s |      19 |   563700 |   478082 |     5840    140 |        0 |        0
1230.16/1230.52	c 1230s |      19 |   564729 |   478982 |     5840    140 |        0 |        0
1232.16/1232.54	c 1232s |      19 |   565808 |   479882 |     5840    140 |        0 |        0
1234.36/1234.72	c 1234s |      19 |   566837 |   480782 |     5840    140 |        0 |        0
1236.45/1236.89	c 1236s |      19 |   567781 |   481582 |     5840    141 |        0 |        0
1238.65/1239.03	c 1238s |      19 |   568803 |   482482 |     5840    141 |        0 |        0
1240.65/1241.05	c 1241s |      19 |   569721 |   483282 |     5840    141 |        0 |        0
1242.75/1243.18	c 1243s |      19 |   570609 |   484082 |     5840    141 |        0 |        0
1244.86/1245.23	c 1245s |      19 |   571415 |   484782 |     5840    141 |        0 |        0
1246.95/1247.34	c 1247s |      19 |   572238 |   485482 |     5840    142 |        0 |        0
1249.05/1249.47	c 1249s |      19 |   573522 |   486582 |     5840    142 |        0 |        0
1251.04/1251.48	c 1251s |      19 |   574657 |   487482 |     5840    142 |        0 |        0
1253.14/1253.54	c 1253s |      19 |   575783 |   488382 |     5840    142 |        0 |        0
1255.34/1255.73	c 1255s |      19 |   576850 |   489282 |     5840    142 |        0 |        0
1257.54/1257.95	c 1257s |      19 |   577725 |   490082 |     5840    143 |        0 |        0
1259.64/1260.08	c 1260s |      19 |   578804 |   490982 |     5840    143 |        0 |        0
1261.84/1262.30	c 1262s |      19 |   579708 |   491782 |     5840    143 |        0 |        0
1263.94/1264.34	c 1264s |      19 |   580512 |   492482 |     5840    143 |        0 |        0
1266.13/1266.59	c 1266s |      19 |   581470 |   493282 |     5840    143 |        0 |        0
1268.33/1268.76	c 1268s |      19 |   582381 |   494082 |     5840    144 |        0 |        0
1270.43/1270.89	c 1270s |      19 |   583438 |   494982 |     5840    144 |        0 |        0
1272.63/1273.05	c 1273s |      19 |   584448 |   495882 |     5840    144 |        0 |        0
1274.65/1275.08	c 1275s |      19 |   585353 |   496682 |     5840    144 |        0 |        0
1276.84/1277.29	c 1277s |      19 |   586235 |   497482 |     5840    144 |        0 |        0
1278.94/1279.38	c 1279s |      19 |   587038 |   498182 |     5840    145 |        0 |        0
1281.03/1281.42	c 1281s |      19 |   587990 |   498982 |     5840    145 |        0 |        0
1283.13/1283.54	c 1283s |      19 |   588982 |   499782 |     5840    145 |        0 |        0
1285.23/1285.67	c 1285s |      19 |   590056 |   500682 |     5840    145 |        0 |        0
1287.22/1287.69	c 1287s |      19 |   590962 |   501482 |     5840    145 |        0 |        0
1289.33/1289.73	c 1289s |      19 |   591736 |   502182 |     5840    146 |        0 |        0
1291.33/1291.75	c 1291s |      19 |   592765 |   503082 |     5840    146 |        0 |        0
1293.33/1293.79	c 1293s |      19 |   593657 |   503882 |     5840    146 |        0 |        0
1295.53/1295.98	c 1295s |      19 |   594693 |   504782 |     5840    146 |        0 |        0
1297.63/1298.02	c 1297s |      19 |   595586 |   505582 |     5840    146 |        0 |        0
1300.03/1300.49	c 1300s |      19 |   596357 |   506282 |     5840    147 |        0 |        0
1302.23/1302.67	c 1302s |      19 |   597249 |   507082 |     5840    147 |        0 |        0
1304.42/1304.89	c 1304s |      19 |   598142 |   507882 |     5840    147 |        0 |        0
1306.72/1307.16	c 1307s |      19 |   598993 |   508682 |     5840    147 |        0 |        0
1308.92/1309.36	c 1309s |      19 |   599873 |   509482 |     5840    147 |        0 |        0
1311.03/1311.47	c 1311s |      19 |   600643 |   510182 |     5840    147 |        0 |        0
1313.33/1313.73	c 1313s |      19 |   601308 |   510782 |     5840    148 |        0 |        0
1315.33/1315.78	c 1315s |      19 |   602093 |   511482 |     5840    148 |        0 |        0
1317.53/1317.99	c 1317s |      19 |   603143 |   512382 |     5840    148 |        0 |        0
1319.73/1320.13	c 1320s |      19 |   604168 |   513282 |     5840    148 |        0 |        0
1321.93/1322.37	c 1322s |      19 |   605049 |   514082 |     5840    148 |        0 |        0
1324.03/1324.44	c 1324s |      19 |   605827 |   514782 |     5840    149 |        0 |        0
1326.12/1326.58	c 1326s |      19 |   606854 |   515682 |     5840    149 |        0 |        0
1328.32/1328.76	c 1328s |      19 |   607773 |   516482 |     5840    149 |        0 |        0
1330.52/1330.93	c 1330s |      19 |   608899 |   517482 |     5840    149 |        0 |        0
1332.72/1333.17	c 1333s |      19 |   609929 |   518382 |     5840    149 |        0 |        0
1334.92/1335.37	c 1335s |      19 |   610816 |   519182 |     5840    150 |        0 |        0
1337.02/1337.49	c 1337s |      19 |   611692 |   519982 |     5840    150 |        0 |        0
1339.22/1339.69	c 1339s |      19 |   612585 |   520782 |     5840    150 |        0 |        0
1341.32/1341.73	c 1341s |      19 |   613338 |   521482 |     5840    150 |        0 |        0
1343.62/1344.10	c 1344s |      19 |   614221 |   522282 |     5840    150 |        0 |        0
1346.13/1346.57	c 1346s |      19 |   615230 |   523182 |     5840    151 |        0 |        0
1348.22/1348.69	c 1348s |      19 |   616527 |   524282 |     5840    151 |        0 |        0
1350.32/1350.76	c 1350s |      19 |   617744 |   525282 |     5840    151 |        0 |        0
1352.51/1352.98	c 1352s |      19 |   618744 |   526182 |     5840    151 |        0 |        0
1354.62/1355.01	c 1354s |      19 |   619656 |   526982 |     5840    151 |        0 |        0
1356.62/1357.06	c 1357s |      19 |   620453 |   527682 |     5840    152 |        0 |        0
1358.72/1359.16	c 1359s |      19 |   621344 |   528482 |     5840    152 |        0 |        0
1360.72/1361.16	c 1361s |      19 |   622138 |   529182 |     5840    152 |        0 |        0
1362.92/1363.39	c 1363s |      19 |   623043 |   529982 |     5840    152 |        0 |        0
1365.22/1365.68	c 1365s |      19 |   623964 |   530782 |     5840    152 |        0 |        0
1367.42/1367.89	c 1367s |      19 |   624772 |   531482 |     5840    153 |        0 |        0
1369.51/1369.95	c 1369s |      19 |   625569 |   532182 |     5840    153 |        0 |        0
1371.71/1372.14	c 1372s |      19 |   626384 |   532882 |     5840    153 |        0 |        0
1373.91/1374.38	c 1374s |      19 |   627330 |   533682 |     5840    153 |        0 |        0
1376.01/1376.40	c 1376s |      19 |   628276 |   534482 |     5840    153 |        0 |        0
1378.02/1378.46	c 1378s |      19 |   629057 |   535182 |     5840    153 |        0 |        0
1380.01/1380.49	c 1380s |      19 |   629749 |   535782 |     5840    154 |        0 |        0
1382.12/1382.51	c 1382s |      19 |   630598 |   536482 |     5840    154 |        0 |        0
1384.11/1384.59	c 1384s |      19 |   631384 |   537182 |     5840    154 |        0 |        0
1386.41/1386.83	c 1386s |      19 |   632161 |   537882 |     5840    154 |        0 |        0
1388.42/1388.88	c 1388s |      19 |   632955 |   538582 |     5840    154 |        0 |        0
1390.51/1390.92	c 1390s |      19 |   633862 |   539382 |     5840    154 |        0 |        0
1392.61/1393.09	c 1393s |      19 |   634778 |   540182 |     5840    155 |        0 |        0
1394.81/1395.22	c 1395s |      19 |   635818 |   541082 |     5840    155 |        0 |        0
1396.82/1397.27	c 1397s |      19 |   636748 |   541882 |     5840    155 |        0 |        0
1398.92/1399.36	c 1399s |      19 |   637510 |   542582 |     5840    155 |        0 |        0
1401.12/1401.52	c 1401s |      19 |   638422 |   543382 |     5840    155 |        0 |        0
1403.22/1403.63	c 1403s |      19 |   639529 |   544282 |     5840    156 |        0 |        0
1405.31/1405.71	c 1405s |      19 |   640672 |   545282 |     5840    156 |        0 |        0
1407.30/1407.71	c 1407s |      19 |   641711 |   546182 |     5840    156 |        0 |        0
1409.41/1409.86	c 1409s |      19 |   642705 |   547082 |     5840    156 |        0 |        0
1411.71/1412.11	c 1412s |      19 |   643697 |   547982 |     5840    156 |        0 |        0
1413.91/1414.30	c 1414s |      19 |   644578 |   548782 |     5840    157 |        0 |        0
1416.01/1416.42	c 1416s |      19 |   645580 |   549682 |     5840    157 |        0 |        0
1418.01/1418.49	c 1418s |      19 |   646630 |   550582 |     5840    157 |        0 |        0
1420.21/1420.67	c 1420s |      19 |   647734 |   551582 |     5840    157 |        0 |        0
1422.51/1422.99	c 1422s |      19 |   648757 |   552482 |     5840    158 |        0 |        0
1424.71/1425.10	c 1425s |      19 |   649922 |   553482 |     5840    158 |        0 |        0
1426.70/1427.15	c 1427s |      19 |   650940 |   554382 |     5840    158 |        0 |        0
1428.90/1429.38	c 1429s |      19 |   651916 |   555282 |     5840    158 |        0 |        0
1431.11/1431.51	c 1431s |      19 |   652933 |   556182 |     5840    158 |        0 |        0
1433.31/1433.76	c 1433s |      19 |   653808 |   556982 |     5840    159 |        0 |        0
1435.41/1435.81	c 1435s |      19 |   654669 |   557782 |     5840    159 |        0 |        0
1437.50/1437.94	c 1437s |      19 |   655568 |   558582 |     5840    159 |        0 |        0
1439.80/1440.20	c 1440s |      19 |   656573 |   559482 |     5840    159 |        0 |        0
1442.00/1442.45	c 1442s |      19 |   657475 |   560282 |     5840    159 |        0 |        0
1444.02/1444.46	c 1444s |      19 |   658141 |   560882 |     5840    160 |        0 |        0
1446.01/1446.46	c 1446s |      19 |   658999 |   561682 |     5840    160 |        0 |        0
1448.31/1448.71	c 1448s |      19 |   659998 |   562582 |     5840    160 |        0 |        0
1450.40/1450.90	c 1450s |      19 |   660897 |   563382 |     5840    160 |        0 |        0
1452.81/1453.21	c 1453s |      19 |   661770 |   564182 |     5840    160 |        0 |        0
1455.01/1455.44	c 1455s |      19 |   662672 |   564982 |     5840    160 |        0 |        0
1457.10/1457.57	c 1457s |      19 |   663465 |   565682 |     5840    161 |        0 |        0
1459.20/1459.63	c 1459s |      19 |   664512 |   566582 |     5840    161 |        0 |        0
1461.40/1461.85	c 1461s |      19 |   665387 |   567382 |     5840    161 |        0 |        0
1463.50/1463.98	c 1463s |      19 |   666264 |   568182 |     5840    161 |        0 |        0
1465.81/1466.23	c 1466s |      19 |   667163 |   568982 |     5840    161 |        0 |        0
1467.90/1468.32	c 1468s |      19 |   667934 |   569682 |     5840    162 |        0 |        0
1470.20/1470.61	c 1470s |      19 |   668926 |   570582 |     5840    162 |        0 |        0
1472.30/1472.70	c 1472s |      19 |   669701 |   571282 |     5840    162 |        0 |        0
1474.60/1475.06	c 1475s |      19 |   670483 |   571982 |     5840    162 |        0 |        0
1476.79/1477.21	c 1477s |      19 |   671397 |   572782 |     5840    162 |        0 |        0
1478.80/1479.21	c 1479s |      19 |   672197 |   573482 |     5840    163 |        0 |        0
1481.00/1481.43	c 1481s |      19 |   673372 |   574482 |     5840    163 |        0 |        0
1483.10/1483.50	c 1483s |      19 |   674280 |   575282 |     5840    163 |        0 |        0
1485.20/1485.68	c 1485s |      19 |   675064 |   575982 |     5840    163 |        0 |        0
1487.29/1487.71	c 1487s |      19 |   675727 |   576582 |     5840    163 |        0 |        0
1489.60/1490.02	c 1489s |      19 |   676408 |   577182 |     5840    163 |        0 |        0
1491.70/1492.13	c 1492s |      19 |   677200 |   577882 |     5840    164 |        0 |        0
1493.80/1494.23	c 1494s |      19 |   678124 |   578682 |     5840    164 |        0 |        0
1495.89/1496.32	c 1496s |      19 |   679004 |   579482 |     5840    164 |        0 |        0
1498.00/1498.42	c 1498s |      19 |   679921 |   580282 |     5840    164 |        0 |        0
1500.01/1500.46	c 1500s |      19 |   680701 |   580982 |     5840    164 |        0 |        0
1502.20/1502.64	c 1502s |      19 |   681546 |   581682 |     5840    164 |        0 |        0
1504.40/1504.82	c 1504s |      19 |   682332 |   582382 |     5840    165 |        0 |        0
1506.50/1506.97	c 1506s |      19 |   683222 |   583182 |     5840    165 |        0 |        0
1508.59/1509.09	c 1509s |      19 |   684003 |   583882 |     5840    165 |        0 |        0
1510.79/1511.28	c 1511s |      19 |   684917 |   584682 |     5840    165 |        0 |        0
1513.00/1513.40	c 1513s |      19 |   685708 |   585382 |     5840    165 |        0 |        0
1515.20/1515.65	c 1515s |      19 |   686497 |   586082 |     5840    166 |        0 |        0
1517.40/1517.84	c 1517s |      19 |   687392 |   586882 |     5840    166 |        0 |        0
1519.39/1519.90	c 1519s |      19 |   688297 |   587682 |     5840    166 |        0 |        0
1521.49/1521.91	c 1521s |      19 |   689077 |   588382 |     5840    166 |        0 |        0
1523.69/1524.18	c 1524s |      19 |   689851 |   589082 |     5840    166 |        0 |        0
1525.99/1526.43	c 1526s |      19 |   690720 |   589882 |     5840    166 |        0 |        0
1527.99/1528.46	c 1528s |      19 |   691378 |   590482 |     5840    167 |        0 |        0
1530.09/1530.53	c 1530s |      19 |   692156 |   591182 |     5840    167 |        0 |        0
1532.29/1532.77	c 1532s |      19 |   692923 |   591882 |     5840    167 |        0 |        0
1534.39/1534.81	c 1534s |      19 |   693691 |   592582 |     5840    167 |        0 |        0
1536.39/1536.84	c 1536s |      19 |   694373 |   593182 |     5840    167 |        0 |        0
1538.39/1538.85	c 1538s |      19 |   695035 |   593782 |     5840    167 |        0 |        0
1540.39/1540.87	c 1540s |      19 |   695683 |   594382 |     5840    167 |        0 |        0
1542.68/1543.11	c 1543s |      19 |   696580 |   595182 |     5840    168 |        0 |        0
1544.69/1545.12	c 1545s |      19 |   697345 |   595882 |     5840    168 |        0 |        0
1546.69/1547.16	c 1547s |      19 |   698124 |   596582 |     5840    168 |        0 |        0
1548.89/1549.37	c 1549s |      19 |   698896 |   597282 |     5840    168 |        0 |        0
1551.19/1551.64	c 1551s |      19 |   699658 |   597982 |     5840    168 |        0 |        0
1553.39/1553.82	c 1553s |      19 |   700311 |   598582 |     5840    168 |        0 |        0
1555.48/1555.98	c 1555s |      19 |   700981 |   599182 |     5840    169 |        0 |        0
1557.58/1558.09	c 1558s |      19 |   701986 |   600082 |     5840    169 |        0 |        0
1559.69/1560.15	c 1560s |      19 |   702887 |   600882 |     5840    169 |        0 |        0
1561.78/1562.28	c 1562s |      19 |   703656 |   601582 |     5840    169 |        0 |        0
1564.08/1564.54	c 1564s |      19 |   704426 |   602282 |     5840    169 |        0 |        0
1566.48/1566.91	c 1566s |      19 |   705217 |   602982 |     5840    170 |        0 |        0
1568.48/1568.92	c 1568s |      19 |   705992 |   603682 |     5840    170 |        0 |        0
1570.58/1571.08	c 1571s |      19 |   706741 |   604382 |     5840    170 |        0 |        0
1572.59/1573.10	c 1573s |      19 |   707411 |   604982 |     5840    170 |        0 |        0
1574.89/1575.35	c 1575s |      19 |   708193 |   605682 |     5840    170 |        0 |        0
1576.99/1577.47	c 1577s |      19 |   708835 |   606282 |     5840    170 |        0 |        0
1579.38/1579.82	c 1579s |      19 |   709487 |   606882 |     5840    170 |        0 |        0
1581.68/1582.10	c 1582s |      19 |   710067 |   607382 |     5840    171 |        0 |        0
1583.69/1584.13	c 1584s |      19 |   711197 |   608382 |     5840    171 |        0 |        0
1585.79/1586.24	c 1586s |      19 |   712187 |   609282 |     5840    171 |        0 |        0
1587.98/1588.45	c 1588s |      19 |   713242 |   610182 |     5840    171 |        0 |        0
1590.18/1590.61	c 1590s |      19 |   714217 |   611082 |     5840    171 |        0 |        0
1592.38/1592.87	c 1592s |      19 |   715133 |   611882 |     5840    172 |        0 |        0
1594.48/1594.99	c 1594s |      19 |   716151 |   612782 |     5840    172 |        0 |        0
1596.58/1597.01	c 1596s |      19 |   717047 |   613582 |     5840    172 |        0 |        0
1598.78/1599.22	c 1599s |      19 |   717909 |   614382 |     5840    172 |        0 |        0
1600.78/1601.29	c 1601s |      19 |   718646 |   615082 |     5840    172 |        0 |        0
1602.88/1603.37	c 1603s |      19 |   719281 |   615682 |     5840    173 |        0 |        0
1604.98/1605.48	c 1605s |      19 |   720212 |   616482 |     5840    173 |        0 |        0
1607.18/1607.68	c 1607s |      19 |   720989 |   617182 |     5840    173 |        0 |        0
1609.28/1609.77	c 1609s |      19 |   721732 |   617882 |     5840    173 |        0 |        0
1611.37/1611.81	c 1611s |      19 |   722390 |   618482 |     5840    173 |        0 |        0
1613.39/1613.88	c 1613s |      19 |   723149 |   619182 |     5840    173 |        0 |        0
1615.68/1616.10	c 1616s |      19 |   723814 |   619782 |     5840    174 |        0 |        0
1617.88/1618.35	c 1618s |      19 |   724695 |   620582 |     5840    174 |        0 |        0
1620.07/1620.52	c 1620s |      19 |   725705 |   621482 |     5840    174 |        0 |        0
1622.18/1622.65	c 1622s |      19 |   726875 |   622482 |     5840    174 |        0 |        0
1624.29/1624.79	c 1624s |      19 |   727895 |   623382 |     5840    174 |        0 |        0
1626.59/1627.01	c 1626s |      19 |   728788 |   624182 |     5840    175 |        0 |        0
1628.79/1629.23	c 1629s |      19 |   729772 |   625082 |     5840    175 |        0 |        0
1630.99/1631.43	c 1631s |      19 |   730893 |   626082 |     5840    175 |        0 |        0
1632.98/1633.44	c 1633s |      19 |   731780 |   626882 |     5840    175 |        0 |        0
1635.08/1635.60	c 1635s |      19 |   732655 |   627682 |     5840    175 |        0 |        0
1637.28/1637.79	c 1637s |      19 |   733510 |   628482 |     5840    176 |        0 |        0
1639.47/1639.94	c 1639s |      19 |   734360 |   629282 |     5840    176 |        0 |        0
1641.57/1642.03	c 1641s |      19 |   735584 |   630382 |     5840    176 |        0 |        0
1643.58/1644.06	c 1644s |      19 |   736581 |   631282 |     5840    176 |        0 |        0
1645.88/1646.36	c 1646s |      19 |   737587 |   632182 |     5840    177 |        0 |        0
1648.17/1648.60	c 1648s |      19 |   738746 |   633182 |     5840    177 |        0 |        0
1650.17/1650.61	c 1650s |      19 |   739624 |   633982 |     5840    177 |        0 |        0
1652.37/1652.83	c 1652s |      19 |   740490 |   634782 |     5840    177 |        0 |        0
1654.47/1654.93	c 1654s |      19 |   741371 |   635582 |     5840    177 |        0 |        0
1656.87/1657.39	c 1657s |      19 |   742249 |   636382 |     5840    178 |        0 |        0
1658.97/1659.50	c 1659s |      19 |   743232 |   637282 |     5840    178 |        0 |        0
1661.07/1661.51	c 1661s |      19 |   744005 |   637982 |     5840    178 |        0 |        0
1663.37/1663.81	c 1663s |      19 |   744806 |   638682 |     5840    178 |        0 |        0
1665.38/1665.89	c 1665s |      19 |   745586 |   639382 |     5840    178 |        0 |        0
1667.57/1668.00	c 1667s |      19 |   746395 |   640082 |     5840    178 |        0 |        0
1669.57/1670.04	c 1670s |      19 |   747055 |   640682 |     5840    179 |        0 |        0
1672.07/1672.55	c 1672s |      19 |   747934 |   641482 |     5840    179 |        0 |        0
1674.17/1674.61	c 1674s |      19 |   748672 |   642182 |     5840    179 |        0 |        0
1676.37/1676.82	c 1676s |      19 |   749666 |   643082 |     5840    179 |        0 |        0
1678.36/1678.85	c 1678s |      19 |   750590 |   643882 |     5840    179 |        0 |        0
1680.47/1680.99	c 1680s |      19 |   751469 |   644682 |     5840    179 |        0 |        0
1682.68/1683.14	c 1683s |      19 |   752231 |   645382 |     5840    180 |        0 |        0
1684.67/1685.15	c 1685s |      19 |   753105 |   646182 |     5840    180 |        0 |        0
1686.67/1687.19	c 1687s |      19 |   753881 |   646882 |     5840    180 |        0 |        0
1688.87/1689.36	c 1689s |      19 |   754644 |   647582 |     5840    180 |        0 |        0
1690.97/1691.47	c 1691s |      19 |   755419 |   648282 |     5840    180 |        0 |        0
1693.26/1693.74	c 1693s |      19 |   756224 |   648982 |     5840    181 |        0 |        0
1695.36/1695.81	c 1695s |      19 |   757397 |   650082 |     5840    181 |        0 |        0
1697.47/1697.98	c 1697s |      19 |   758380 |   650982 |     5840    181 |        0 |        0
1699.47/1699.98	c 1699s |      19 |   759377 |   651882 |     5840    181 |        0 |        0
1701.57/1702.08	c 1702s |      19 |   760386 |   652782 |     5840    181 |        0 |        0
1703.86/1704.33	c 1704s |      19 |   761280 |   653582 |     5840    182 |        0 |        0
1706.06/1706.55	c 1706s |      19 |   762255 |   654482 |     5840    182 |        0 |        0
1708.16/1708.67	c 1708s |      19 |   763105 |   655282 |     5840    182 |        0 |        0
1710.36/1710.86	c 1710s |      19 |   763994 |   656082 |     5840    182 |        0 |        0
1712.56/1713.07	c 1713s |      19 |   764839 |   656882 |     5840    182 |        0 |        0
1714.77/1715.27	c 1715s |      19 |   765599 |   657582 |     5840    183 |        0 |        0
1716.96/1717.41	c 1717s |      19 |   766475 |   658382 |     5840    183 |        0 |        0
1719.06/1719.51	c 1719s |      19 |   767465 |   659282 |     5840    183 |        0 |        0
1721.17/1721.65	c 1721s |      19 |   768343 |   660082 |     5840    183 |        0 |        0
1723.37/1723.83	c 1723s |      19 |   769205 |   660882 |     5840    183 |        0 |        0
1725.57/1726.06	c 1726s |      19 |   769985 |   661582 |     5840    184 |        0 |        0
1727.76/1728.27	c 1728s |      19 |   770871 |   662382 |     6425    184 |        0 |        0
1729.97/1730.40	c 1730s |      19 |   771752 |   663182 |     6425    184 |        0 |        0
1731.96/1732.48	c 1732s |      19 |   772620 |   663982 |     6425    184 |        0 |        0
1734.06/1734.52	c 1734s |      19 |   773384 |   664682 |     6425    184 |        0 |        0
1736.26/1736.76	c 1736s |      19 |   774266 |   665482 |     6425    184 |        0 |        0
1738.56/1739.03	c 1738s |      19 |   775028 |   666182 |     6425    184 |        0 |        0
1740.76/1741.22	c 1741s |      19 |   775696 |   666782 |     6425    185 |        0 |        0
1740.87/1741.33	c 1741s |      20 |   775751 |   666827 |     6425    185 |        0 |        0
1742.96/1743.48	c 1743s |      20 |   778633 |   668027 |     6425    185 |        0 |        0
1745.06/1745.50	c 1745s |      20 |   779896 |   669127 |     6425    185 |        0 |        0
1747.06/1747.53	c 1747s |      20 |   781032 |   670127 |     6425    185 |        0 |        0
1749.16/1749.60	c 1749s |      20 |   781921 |   670927 |     6425    186 |        0 |        0
1751.26/1751.72	c 1751s |      20 |   782782 |   671727 |     6425    186 |        0 |        0
1753.26/1753.72	c 1753s |      20 |   783721 |   672527 |     6425    186 |        0 |        0
1755.36/1755.88	c 1755s |      20 |   784917 |   673527 |     6425    186 |        0 |        0
1757.56/1758.01	c 1757s |      20 |   785943 |   674427 |     6425    186 |        0 |        0
1759.56/1760.08	c 1760s |      20 |   786844 |   675227 |     6425    186 |        0 |        0
1761.95/1762.44	c 1762s |      20 |   787699 |   676027 |     6425    187 |        0 |        0
1763.96/1764.49	c 1764s |      20 |   788715 |   676927 |     6425    187 |        0 |        0
1766.17/1766.62	c 1766s |      20 |   789738 |   677827 |     6425    187 |        0 |        0
1768.26/1768.75	c 1768s |      20 |   790616 |   678627 |     6425    187 |        0 |        0
1770.45/1770.92	c 1770s |      20 |   791465 |   679427 |     6425    187 |        0 |        0
1772.65/1773.11	c 1773s |      20 |   792239 |   680127 |     6425    188 |        0 |        0
1774.85/1775.32	c 1775s |      20 |   793255 |   681027 |     6425    188 |        0 |        0
1776.85/1777.38	c 1777s |      20 |   794143 |   681827 |     6425    188 |        0 |        0
1779.05/1779.53	c 1779s |      20 |   794900 |   682527 |     6425    188 |        0 |        0
1781.05/1781.53	c 1781s |      20 |   795653 |   683227 |     6425    188 |        0 |        0
1783.16/1783.69	c 1783s |      20 |   796450 |   683927 |     6425    188 |        0 |        0
1785.45/1785.92	c 1785s |      20 |   797255 |   684627 |     6425    189 |        0 |        0
1787.55/1788.01	c 1787s |      20 |   798391 |   685627 |     6425    189 |        0 |        0
1789.65/1790.10	c 1790s |      20 |   799424 |   686527 |     6425    189 |        0 |        0
1791.85/1792.34	c 1792s |      20 |   800318 |   687327 |     6425    189 |        0 |        0
1793.95/1794.43	c 1794s |      20 |   801147 |   688027 |     6425    189 |        0 |        0
1796.35/1796.83	c 1796s |      20 |   801925 |   688727 |     6425    189 |        0 |        0
1798.65/1799.15	c 1799s |      20 |   802604 |   689327 |     6425    190 |        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-4078771-1465239722/watcher-4078771-1465239722 -o /tmp/evaluation-result-4078771-1465239722/solver-4078771-1465239722 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078771-1465239722.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 16639
/proc/meminfo: memFree=26606288/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 2663 0 0 0 0 0 0 0 20 0 4 0 105904542 732360704 3536 33554432000 4194304 16246674 140734265611344 140734265610768 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 179311 3544 441 2943 0 176205 0
[pid=16639/tid=16640] ppid=16636 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 750186496 3607 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 755429376 3624 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 759623680 3640 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 16639
/proc/meminfo: memFree=26606288/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 29327 0 0 0 5 4 0 0 20 0 4 0 105904542 1247350784 30189 33554432000 4194304 16246674 140734265611344 140734265610768 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 304529 30209 705 2943 0 301423 0
[pid=16639/tid=16640] ppid=16636 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1247350784 30222 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1247350784 30234 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1247350784 30245 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200562 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 16639
/proc/meminfo: memFree=26606288/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 66962 0 0 0 10 9 0 0 20 0 4 0 105904542 1247350784 67824 33554432000 4194304 16246674 140734265611344 140734265610768 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 304529 67833 705 2943 0 301423 0
[pid=16639/tid=16640] ppid=16636 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1247350784 67847 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1247350784 67861 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1247350784 67875 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300512 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 16639
/proc/meminfo: memFree=26606288/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1304132 CPUtime=0.29 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 85699 0 0 0 18 11 0 0 20 0 4 0 105904542 1335431168 86540 33554432000 4194304 16246674 140734265611344 140734265593216 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 326033 86548 784 2943 0 322927 0
[pid=16639/tid=16640] ppid=16636 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1335431168 86555 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1335431168 86567 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1335431168 86572 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1304132

[startup+0.700438 s]
/proc/loadavg: 2.27 2.25 2.19 3/179 16639
/proc/meminfo: memFree=26606288/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 104998 0 0 0 55 14 0 0 20 0 4 0 105904542 1337528320 105839 33554432000 4194304 16246674 140734265611344 140734265593216 5546514 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 326545 105839 784 2943 0 323439 0
[pid=16639/tid=16640] ppid=16636 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1337528320 105839 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1337528320 105839 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1337528320 105839 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50047 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 16643
/proc/meminfo: memFree=25741692/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 215592 0 0 0 121 28 0 0 20 0 4 0 105904542 1338576896 216433 33554432000 4194304 16246674 140734265611344 140734265593216 5546190 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 326801 216433 784 2943 0 323695 0
[pid=16639/tid=16640] ppid=16636 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1338576896 216433 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1338576896 216433 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1338576896 216433 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10037 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 16643
/proc/meminfo: memFree=25532868/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 267813 0 0 0 274 35 0 0 20 0 4 0 105904542 1338576896 268654 33554432000 4194304 16246674 140734265611344 140734265594336 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 326801 268654 789 2943 0 323695 0
[pid=16639/tid=16640] ppid=16636 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1338576896 268654 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1338576896 268654 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1338576896 268654 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.25 2.24 2.19 4/183 16643
/proc/meminfo: memFree=25532300/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 267932 0 0 0 594 35 0 0 20 0 4 0 105904542 1339625472 268773 33554432000 4194304 16246674 140734265611344 140734265593216 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 327057 268773 789 2943 0 323951 0
[pid=16639/tid=16640] ppid=16636 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1339625472 268773 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1339625472 268773 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1339625472 268773 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7005 s]
/proc/loadavg: 2.28 2.25 2.20 4/183 16643
/proc/meminfo: memFree=25530972/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 268328 0 0 0 1234 35 0 0 20 0 4 0 105904542 1341722624 269169 33554432000 4194304 16246674 140734265611344 140734265593216 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 327569 269169 792 2943 0 324463 0
[pid=16639/tid=16640] ppid=16636 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1341722624 269169 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1341722624 269169 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1341722624 269169 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.32 2.26 2.20 3/182 16643
/proc/meminfo: memFree=25524652/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1316420 CPUtime=25.49 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 270079 0 0 0 2513 36 0 0 20 0 4 0 105904542 1348014080 270920 33554432000 4194304 16246674 140734265611344 140734265593216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 329105 270920 792 2943 0 325999 0
[pid=16639/tid=16640] ppid=16636 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1348014080 270920 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1348014080 270920 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1348014080 270920 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.21 2.24 2.19 4/183 16644
/proc/meminfo: memFree=25522596/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 270131 0 0 0 5071 37 0 0 20 0 4 0 105904542 1348014080 270972 33554432000 4194304 16246674 140734265611344 140734265593216 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 329105 270972 792 2943 0 325999 0
[pid=16639/tid=16640] ppid=16636 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1348014080 270972 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1348014080 270972 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1348014080 270972 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.33 2.27 2.20 3/183 16645
/proc/meminfo: memFree=25520388/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1318468 CPUtime=102.29 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 270608 0 0 0 10187 42 0 0 20 0 4 0 105904542 1350111232 271449 33554432000 4194304 16246674 140734265611344 140734265593216 5553629 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 329617 271449 792 2943 0 326511 0
[pid=16639/tid=16640] ppid=16636 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1350111232 271449 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1350111232 271449 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1350111232 271449 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1318468


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

/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.37 2.30 2.26 4/183 16725
/proc/meminfo: memFree=28067440/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1361.92 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 136046 146 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265610520 5546072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.28 2.29 2.26 4/183 16726
/proc/meminfo: memFree=28056548/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1421.91 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 142039 152 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265610520 13927391 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.15 2.25 2.25 3/183 16727
/proc/meminfo: memFree=27906908/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1481.9 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 148034 156 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265610440 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.17 2.23 2.24 4/183 16728
/proc/meminfo: memFree=27901776/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1541.89 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 154028 161 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265610520 5717716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.31 2.25 2.25 3/183 16730
/proc/meminfo: memFree=27895856/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1601.88 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 160022 166 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265593216 5861148 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.23 2.23 2.24 3/183 16731
/proc/meminfo: memFree=27764196/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1661.87 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 166017 170 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265610520 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.31 2.25 2.25 4/184 16735
/proc/meminfo: memFree=27763896/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1721.86 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 172012 174 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265610520 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.29 2.26 2.25 3/183 16736
/proc/meminfo: memFree=27763920/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1781.86 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 178008 178 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265610520 5723504 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.37 2.28 2.25 3/183 16736
/proc/meminfo: memFree=27665308/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1800.05 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 179826 179 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265593216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1331780

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

[startup+1800.5 s]
/proc/loadavg: 2.37 2.28 2.25 3/183 16736
/proc/meminfo: memFree=27665308/32872528 swapFree=16636/1570076
[pid=16639] ppid=16636 vsize=1331780 CPUtime=1800.05 cores=0,2,4,6
/proc/16639/stat : 16639 (toysat) R 16636 16639 13075 0 -1 4202496 274278 0 0 0 179826 179 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140734265593216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16639/statm: 332945 274816 792 2943 0 329839 0
[pid=16639/tid=16640] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16640/stat : 16640 (toysat) S 16636 16639 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550447541488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16639/tid=16641] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16641/stat : 16641 (toysat) S 16636 16639 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550437051632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16639/tid=16642] ppid=16636 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16639/task/16642/stat : 16642 (toysat) S 16636 16639 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105904542 1363742720 274816 33554432000 4194304 16246674 140734265611344 140550321728688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1331780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.27
CPU system time (s): 1.79173
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.27
system time used= 1.79173
maximum resident set size= 1099264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274278
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= 320
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.50755 second user time and 17.4793 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 21:02:02
IDJOB=4078771
IDBENCH=2573
IDSOLVER=2542
FILE ID=node140/4078771-1465239722
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 277dd35641d3866b31d8fb041eb7f9fb
RANDOM SEED=593360511

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26606668 kB
Buffers:           39496 kB
Cached:            88296 kB
SwapCached:         1748 kB
Active:          3919496 kB
Inactive:          66392 kB
Active(anon):    3857624 kB
Inactive(anon):     2612 kB
Active(file):      61872 kB
Inactive(file):    63780 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098604 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       5427388 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             567628 kB
SReclaimable:      11788 kB
SUnreclaim:       555840 kB
KernelStack:        1504 kB
PageTables:        14572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5570560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1558528 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= 71708 MiB
End job on node140 at 2016-06-06 21:32:03