Trace number 4100417

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb
MD5SUMf1062f0a31768badc14bf5e03feddb4c
Bench CategoryOPT-SMALLINT (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 benchmark875.798
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables103872
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 1116
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 555552
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 555552
Number of bits of the biggest sum of numbers20
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-18T03:31:24+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-4100417-1466213484.opb"]
0.00/0.01	c use --random-gen="3960171196 3448830846 3590296595 3618729899 1867029895 3810534652 2182590783 3593049566 1257854581 826856541 1754957203 934152036 740667373 3449059081 51660511 2830948942 2271559833 1447494561 2686769898 3830429873 2702097133 1541263572 3236563382 546647211 2803577394 1299585870 2084239997 3330244165 3835143896 2756958788 2018980959 137010516 772509793 1068455574 1807443286 667275964 3794208381 1260870435 3377032681 3786340639 2655786607 694877890 2150109014 1126453133 797672921 2698604146 1778412398 495574402 1231049370 655460521 1361937746 3023056690 3358593754 730696652 957479397 253981739 2695401562 88267570 2785975409 2867164584 342610869 3613615645 1838141251 3477477105 3648109433 2140280827 118744954 3675885557 770442812 4275410713 2891387911 3987380718 4054314767 3742872609 1722412007 2806676380 695937645 4220850272 304790062 221325776 3813499172 1147833882 1636074207 2420487334 632032972 1701099077 4112830365 848632014 3083157275 1216208782 3621305697 3923245027 2121298418 2967741969 2508954229 1047935049 3438486932 3425772189 30602536 956491264 594526923 453070537 3157535857 2305416713 2442483581 1332286657 3474649926 1557898355 4294580313 2105937319 3990820805 505699986 4008143202 74805107 3604107257 565137304 3976787674 2521190294 1214559316 2839892026 1706513050 1568423503 1576249827 1263121867 3090951534 1561619651 3679509331 2481466122 184263222 1656682762 2291279188 1684522648 2392734897 3903246072 3282971424 4760259 2784583249 25532148 2500894581 3045622060 162134833 1706525461 349412259 987158504 4281747385 1836501670 1334244966 1165019430 372327363 1692756143 887339634 2007585542 2121368356 3428138687 2353254357 54220450 2333520208 1607426984 1471315303 2265924881 3070131551 1718402789 2664845637 3215918234 1494124520 3991423341 3242136924 699537 3867594191 387987351 1247911422 3848207706 2266613665 2456001529 3700498363 187325181 300387214 1052749674 3964561369 4166749613 2599002462 1530729553 3105224754 3771149784 2053442261 2804134371 149835302 674125448 1566335871 1176353638 1712323606 62679964 1490413948 1281678951 2604383229 2910311187 3397569248 954941120 3771376622 3968769153 2167546582 3410751198 808473822 1829490402 3181071972 1024420784 1647920066 3125915002 2586671799 3818687641 408842218 2972598361 418107084 3163203636 777894891 2798802927 1205969873 1689900468 296454149 3603339687 3482986722 1631190309 1496774079 839819398 2928363254 1912295127 2786826459 2013468928 2583527461 3074401783 2644953438 3123898450 590033420 336833729 603481570 1659769162 870551978 4282484508 2539958023 311394988 361294867 3829925026 821742143 1702072514 2747329714 1038653438 2928402845 2862802310 786484084 212796336 1258134696 994370413 3610862785 4212552616 2568960104 905761076 255 362436" option to reproduce the execution
0.49/0.58	c #vars 103872
0.49/0.58	c #constraints 3312
2.09/2.17	c BCD2: Hardening is enabled.
2.09/2.17	c BCD2: BiasedSearch is enabled.
2.09/2.17	c Solving starts ...
2.09/2.17	c ============================[ Search Statistics ]============================
2.09/2.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.09/2.17	c       |         |          |          |    Limit     GC | Var      | Constra 
2.09/2.17	c =============================================================================
2.09/2.20	c  0.0s |       0 |        0 |        0 |    36144      0 |    34932 |        0
2.29/2.36	c  0.2s |       1 |     1252 |      100 |    36144      0 |    34932 |        0
2.39/2.45	c  0.2s |       2 |     1539 |      250 |    39759      0 |    34932 |        0
2.59/2.67	c  0.5s |       3 |     3759 |      475 |    43735      0 |    34932 |        0
2.79/2.90	c  0.7s |       4 |     9070 |      813 |    48109      0 |    34932 |        0
3.09/3.16	c  1.0s |       5 |    10464 |     1320 |    52920      0 |    34932 |        0
3.59/3.62	c  1.4s |       6 |    11378 |     2081 |    64035      0 |    34932 |        0
4.49/4.59	c  2.4s |       7 |    14546 |     3223 |    70439      0 |    34946 |        0
5.39/5.45	c  3.2s |       8 |    16609 |     4936 |    77483      0 |    34946 |        0
6.19/6.24	c  4.0s |       9 |    19996 |     7506 |    85232      0 |    34947 |        0
8.18/8.29	c  6.1s |       9 |    30488 |    10306 |    85232      0 |    34947 |        0
8.68/8.72	c  6.5s |      10 |    32800 |    11361 |    93756      0 |    34947 |        0
10.68/10.78	c  8.6s |      10 |    45242 |    14761 |    93756      0 |    34947 |        0
12.48/12.52	c 10.3s |      11 |    53266 |    17144 |   103132      0 |    34947 |        0
14.58/14.66	c 12.5s |      11 |    55994 |    18044 |   103132      0 |    34947 |        0
16.68/16.76	c 14.6s |      11 |    57328 |    18944 |   103132      0 |    34947 |        0
18.79/18.85	c 16.7s |      11 |    59248 |    20044 |   103132      0 |    34947 |        0
20.78/20.88	c 18.7s |      11 |    64145 |    20944 |   103132      0 |    34947 |        0
22.98/23.04	c 20.8s |      11 |    66626 |    21744 |   103132      0 |    34947 |        0
24.98/25.09	c 22.9s |      11 |    68859 |    22644 |   103132      0 |    34947 |        0
27.18/27.24	c 25.0s |      11 |    75723 |    24144 |   103132      0 |    34947 |        0
29.28/29.35	c 27.2s |      11 |    79208 |    25044 |   103132      0 |    34947 |        0
31.08/31.16	c 29.0s |      12 |    85047 |    25819 |   113446      0 |    34976 |        0
33.28/33.33	c 31.1s |      12 |    91926 |    27119 |   113446      0 |    34976 |        0
35.29/35.33	c 33.1s |      12 |    96952 |    28419 |   113446      0 |    34976 |        0
37.28/37.35	c 35.1s |      12 |   101864 |    29819 |   113446      0 |    34976 |        0
39.28/39.37	c 37.2s |      12 |   107120 |    31419 |   113446      0 |    34976 |        0
41.28/41.38	c 39.2s |      12 |   110995 |    32719 |   113446      0 |    34976 |        0
43.38/43.43	c 41.2s |      12 |   115411 |    33919 |   113446      0 |    34976 |        0
45.38/45.44	c 43.2s |      12 |   120009 |    35019 |   113446      0 |    34976 |        0
47.39/47.46	c 45.3s |      12 |   124226 |    36119 |   113446      0 |    34976 |        0
49.49/49.59	c 47.4s |      12 |   128435 |    37319 |   113446      0 |    34976 |        0
51.69/51.76	c 49.6s |      12 |   131500 |    38419 |   113446      0 |    34976 |        0
52.49/52.56	c 50.4s |      13 |   132547 |    38832 |   124791      0 |    34976 |        0
54.79/54.84	c 52.6s |      13 |   136746 |    39532 |   124791      0 |    34976 |        0
57.09/57.12	c 54.9s |      13 |   140252 |    40332 |   124791      0 |    34976 |        0
59.19/59.28	c 57.1s |      13 |   142965 |    41032 |   124791      0 |    34976 |        0
61.19/61.29	c 59.1s |      13 |   145873 |    41732 |   124791      0 |    34976 |        0
63.59/63.60	c 61.4s |      13 |   149006 |    42532 |   124791      0 |    34976 |        0
65.69/65.71	c 63.5s |      13 |   151583 |    43232 |   124791      0 |    34976 |        0
67.68/67.72	c 65.5s |      13 |   154661 |    43932 |   124791      0 |    34976 |        0
69.88/69.99	c 67.8s |      13 |   157501 |    44732 |   124791      0 |    34976 |        0
72.08/72.16	c 70.0s |      13 |   159797 |    45432 |   124791      0 |    34976 |        0
74.18/74.20	c 72.0s |      13 |   162392 |    46132 |   124791      0 |    34976 |        0
76.28/76.35	c 74.1s |      13 |   164920 |    46832 |   124791      0 |    34976 |        0
78.48/78.58	c 76.4s |      13 |   167103 |    47532 |   124791      0 |    34976 |        0
80.78/80.83	c 78.6s |      13 |   169213 |    48232 |   124791      0 |    34976 |        0
82.98/83.00	c 80.8s |      13 |   170538 |    48832 |   124791      0 |    34976 |        0
85.28/85.37	c 83.2s |      13 |   172149 |    49432 |   124791      0 |    34976 |        0
87.68/87.74	c 85.5s |      13 |   173551 |    50032 |   124791      0 |    34976 |        0
89.68/89.78	c 87.6s |      13 |   176153 |    50632 |   124791      0 |    34976 |        0
92.08/92.10	c 89.9s |      13 |   179572 |    51332 |   124791      0 |    34976 |        0
94.18/94.26	c 92.1s |      13 |   183299 |    52032 |   124791      0 |    34976 |        0
96.38/96.43	c 94.2s |      13 |   185457 |    52632 |   124791      0 |    34976 |        0
98.38/98.46	c 96.3s |      13 |   186607 |    53132 |   124791      0 |    34976 |        0
100.38/100.49	c 98.3s |      13 |   187986 |    53532 |   124791      0 |    34976 |        0
102.58/102.66	c  100s |      13 |   189502 |    54032 |   124791      0 |    34976 |        0
104.68/104.74	c  102s |      13 |   191448 |    54732 |   124791      0 |    34976 |        0
106.78/106.85	c  104s |      13 |   192602 |    55232 |   124791      0 |    34976 |        0
108.88/108.96	c  106s |      13 |   193971 |    55732 |   124791      0 |    34976 |        0
111.18/111.24	c  109s |      13 |   195547 |    56232 |   124791      0 |    34976 |        0
113.28/113.35	c  111s |      13 |   197219 |    56732 |   124791      0 |    34976 |        0
115.38/115.46	c  113s |      13 |   198755 |    57232 |   124791      0 |    34976 |        0
117.48/117.51	c  115s |      13 |   200644 |    57732 |   124791      0 |    34976 |        0
119.57/119.64	c  117s |      13 |   202298 |    58232 |   137271      0 |    34976 |        0
120.07/120.13	c  117s |      14 |   202661 |    58352 |   137271      0 |    34976 |        0
122.18/122.21	c  120s |      14 |   205857 |    58552 |   137271      0 |    34991 |        0
124.17/124.26	c  122s |      14 |   210054 |    59652 |   137271      0 |    34991 |        0
126.27/126.39	c  124s |      14 |   215010 |    60952 |   137271      0 |    34991 |        0
128.37/128.46	c  126s |      14 |   219860 |    62152 |   137271      0 |    34991 |        0
130.47/130.57	c  128s |      14 |   223566 |    63352 |   137271      0 |    34991 |        0
132.57/132.64	c  130s |      14 |   227576 |    64452 |   137271      0 |    34991 |        0
134.67/134.77	c  132s |      14 |   231264 |    65652 |   137271      0 |    34991 |        0
136.67/136.77	c  134s |      14 |   234256 |    66752 |   137271      0 |    34991 |        0
138.77/138.84	c  136s |      14 |   237168 |    67952 |   137271      0 |    34991 |        0
140.97/141.06	c  138s |      14 |   240533 |    68952 |   137271      0 |    34991 |        0
143.37/143.47	c  141s |      14 |   243864 |    69852 |   137271      0 |    34991 |        0
145.47/145.54	c  143s |      14 |   247253 |    70652 |   137271      0 |    34991 |        0
147.48/147.56	c  145s |      14 |   250202 |    71352 |   137271      0 |    34991 |        0
149.58/149.64	c  147s |      14 |   253384 |    72052 |   137271      0 |    34991 |        0
151.78/151.84	c  149s |      14 |   257052 |    72852 |   137271      0 |    34991 |        0
153.98/154.06	c  151s |      14 |   260384 |    73652 |   137271      0 |    34991 |        0
156.07/156.15	c  153s |      14 |   263307 |    74452 |   137271      0 |    34991 |        0
158.27/158.39	c  156s |      14 |   266169 |    75252 |   137271      0 |    34991 |        0
160.57/160.64	c  158s |      14 |   268932 |    75952 |   137271      0 |    34991 |        0
162.77/162.84	c  160s |      14 |   271471 |    76752 |   137271      0 |    34991 |        0
165.07/165.13	c  162s |      14 |   273716 |    77552 |   137271      0 |    34991 |        0
167.17/167.21	c  165s |      14 |   276025 |    78252 |   137271      0 |    34991 |        0
169.27/169.36	c  167s |      14 |   279073 |    78952 |   137271      0 |    34991 |        0
171.37/171.42	c  169s |      14 |   281092 |    79652 |   137271      0 |    34991 |        0
173.46/173.57	c  171s |      14 |   283853 |    80352 |   137271      0 |    34991 |        0
175.56/175.61	c  173s |      14 |   285308 |    80952 |   137271      0 |    34991 |        0
177.76/177.80	c  175s |      14 |   288060 |    81652 |   137271      0 |    34991 |        0
179.96/180.04	c  177s |      14 |   291320 |    82352 |   137271      0 |    34991 |        0
182.16/182.26	c  180s |      14 |   293621 |    83052 |   137271      0 |    34991 |        0
184.36/184.45	c  182s |      14 |   295611 |    83652 |   137271      0 |    34991 |        0
186.66/186.72	c  184s |      14 |   298007 |    84352 |   137271      0 |    34991 |        0
188.96/189.04	c  186s |      14 |   299839 |    84952 |   137271      0 |    34991 |        0
191.06/191.14	c  188s |      14 |   302103 |    85652 |   137271      0 |    34991 |        0
193.06/193.16	c  190s |      14 |   304448 |    86252 |   137271      0 |    34991 |        0
195.26/195.32	c  193s |      14 |   306275 |    86952 |   137271      0 |    34991 |        0
197.26/197.35	c  195s |      14 |   307825 |    87552 |   150999      0 |    34991 |        0
197.56/197.66	c  195s |      15 |   307959 |    87632 |   150999      0 |    34991 |        0
199.86/199.99	c  197s |      15 |   310497 |    88232 |   150999      0 |    34991 |        0
201.96/202.03	c  199s |      15 |   313333 |    88932 |   150999      0 |    34991 |        0
203.96/204.07	c  201s |      15 |   316959 |    89632 |   150999      0 |    34991 |        0
206.16/206.28	c  204s |      15 |   320422 |    90432 |   150999      0 |    34991 |        0
208.26/208.36	c  206s |      15 |   322747 |    91132 |   150999      0 |    34991 |        0
210.46/210.51	c  208s |      15 |   325195 |    91832 |   150999      0 |    34991 |        0
212.76/212.86	c  210s |      15 |   328239 |    92632 |   150999      0 |    34991 |        0
214.96/215.08	c  212s |      15 |   330789 |    93332 |   150999      0 |    34991 |        0
217.06/217.15	c  214s |      15 |   333510 |    94032 |   150999      0 |    34991 |        0
219.16/219.28	c  217s |      15 |   336200 |    94732 |   150999      0 |    34991 |        0
221.16/221.29	c  219s |      15 |   338771 |    95432 |   150999      0 |    34991 |        0
223.46/223.50	c  221s |      15 |   341234 |    96132 |   150999      0 |    34991 |        0
225.46/225.55	c  223s |      15 |   343738 |    96832 |   150999      0 |    34991 |        0
227.66/227.77	c  225s |      15 |   345934 |    97532 |   150999      0 |    34991 |        0
229.96/230.02	c  227s |      15 |   348276 |    98232 |   150999      0 |    34991 |        0
232.06/232.19	c  229s |      15 |   350648 |    98932 |   150999      0 |    34991 |        0
234.26/234.34	c  232s |      15 |   353275 |    99632 |   150999      0 |    34991 |        0
236.56/236.61	c  234s |      15 |   355406 |   100332 |   150999      0 |    34991 |        0
238.55/238.67	c  236s |      15 |   357304 |   100932 |   150999      0 |    34991 |        0
240.55/240.69	c  238s |      15 |   359535 |   101532 |   150999      0 |    34991 |        0
242.75/242.82	c  240s |      15 |   362897 |   102032 |   150999      0 |    34991 |        0
245.15/245.20	c  242s |      15 |   365881 |   102632 |   150999      0 |    34991 |        0
247.25/247.32	c  245s |      15 |   367667 |   103132 |   150999      0 |    34991 |        0
249.35/249.48	c  247s |      15 |   369467 |   103632 |   150999      0 |    34991 |        0
251.55/251.65	c  249s |      15 |   371192 |   104132 |   150999      0 |    34991 |        0
253.95/254.06	c  251s |      15 |   373121 |   104632 |   150999      0 |    34991 |        0
256.45/256.55	c  254s |      15 |   374642 |   105132 |   150999      0 |    34991 |        0
258.75/258.83	c  256s |      15 |   376609 |   105632 |   150999      0 |    34991 |        0
261.15/261.23	c  259s |      15 |   378729 |   106132 |   150999      0 |    34991 |        0
263.55/263.65	c  261s |      15 |   380706 |   106632 |   150999      0 |    34991 |        0
265.95/266.08	c  263s |      15 |   382877 |   107132 |   150999      0 |    34991 |        0
268.05/268.15	c  265s |      15 |   384417 |   107532 |   150999      0 |    34991 |        0
270.56/270.62	c  268s |      15 |   386610 |   108032 |   150999      0 |    34991 |        0
272.65/272.70	c  270s |      15 |   388023 |   108432 |   150999      0 |    34991 |        0
274.65/274.70	c  272s |      15 |   389306 |   108832 |   150999      0 |    34991 |        0
276.65/276.76	c  274s |      15 |   391167 |   109232 |   150999      0 |    34991 |        0
278.75/278.80	c  276s |      15 |   392778 |   109632 |   150999      0 |    34991 |        0
280.75/280.84	c  278s |      15 |   394146 |   110032 |   150999      0 |    34991 |        0
282.75/282.89	c  280s |      15 |   395689 |   110432 |   150999      0 |    34991 |        0
284.85/284.97	c  282s |      15 |   397005 |   110832 |   150999      0 |    34991 |        0
287.25/287.31	c  285s |      15 |   398580 |   111332 |   150999      0 |    34991 |        0
289.55/289.65	c  287s |      15 |   400625 |   111832 |   150999      0 |    34991 |        0
291.94/292.01	c  289s |      15 |   402243 |   112332 |   150999      0 |    34991 |        0
294.14/294.21	c  292s |      15 |   403696 |   112832 |   150999      0 |    34991 |        0
296.54/296.63	c  294s |      15 |   404998 |   113332 |   150999      0 |    34991 |        0
298.54/298.68	c  296s |      15 |   406252 |   113732 |   150999      0 |    34991 |        0
300.64/300.74	c  298s |      15 |   407395 |   114132 |   150999      0 |    34991 |        0
303.14/303.21	c  301s |      15 |   409311 |   114632 |   150999      0 |    34991 |        0
305.64/305.70	c  303s |      15 |   411245 |   115132 |   150999      0 |    34991 |        0
307.74/307.81	c  305s |      15 |   412936 |   115532 |   150999      0 |    34991 |        0
309.84/309.95	c  307s |      15 |   414486 |   115932 |   150999      0 |    34991 |        0
312.35/312.42	c  310s |      15 |   415963 |   116432 |   150999      0 |    34991 |        0
314.74/314.82	c  312s |      15 |   417206 |   116932 |   150999      0 |    34991 |        0
316.75/316.85	c  314s |      15 |   418713 |   117332 |   150999      0 |    34991 |        0
318.95/319.01	c  316s |      15 |   420155 |   117732 |   150999      0 |    34991 |        0
321.15/321.23	c  319s |      15 |   421717 |   118132 |   150999      0 |    34991 |        0
323.24/323.40	c  321s |      15 |   423155 |   118532 |   150999      0 |    34991 |        0
325.44/325.59	c  323s |      15 |   424596 |   118932 |   150999      0 |    34991 |        0
327.64/327.79	c  325s |      15 |   426098 |   119332 |   150999      0 |    34991 |        0
329.84/329.90	c  327s |      15 |   427648 |   119732 |   150999      0 |    34991 |        0
331.84/331.91	c  329s |      15 |   429179 |   120132 |   150999      0 |    34991 |        0
333.84/333.92	c  331s |      15 |   430799 |   120532 |   150999      0 |    34991 |        0
336.34/336.41	c  334s |      15 |   432618 |   121032 |   150999      0 |    34991 |        0
338.34/338.46	c  336s |      15 |   433984 |   121432 |   150999      0 |    34991 |        0
340.54/340.67	c  338s |      15 |   435290 |   121832 |   150999      0 |    34991 |        0
342.64/342.73	c  340s |      15 |   436642 |   122232 |   150999      0 |    34991 |        0
344.64/344.75	c  342s |      15 |   437852 |   122632 |   150999      0 |    34991 |        0
346.84/346.92	c  344s |      15 |   438928 |   123032 |   150999      0 |    34991 |        0
349.33/349.40	c  347s |      15 |   440527 |   123532 |   150999      0 |    34991 |        0
351.43/351.58	c  349s |      15 |   441913 |   123932 |   150999      0 |    34991 |        0
353.73/353.80	c  351s |      15 |   443478 |   124332 |   150999      0 |    34991 |        0
355.83/355.94	c  353s |      15 |   445046 |   124732 |   150999      0 |    34991 |        0
358.43/358.59	c  356s |      15 |   446530 |   125132 |   150999      0 |    34991 |        0
360.63/360.71	c  358s |      15 |   448122 |   125532 |   150999      0 |    34991 |        0
362.94/363.04	c  360s |      15 |   449361 |   125932 |   150999      0 |    34991 |        0
365.24/365.31	c  363s |      15 |   450118 |   126332 |   150999      0 |    34991 |        0
367.63/367.73	c  365s |      15 |   450889 |   126732 |   150999      0 |    34991 |        0
369.83/369.92	c  367s |      15 |   452504 |   127132 |   150999      0 |    34991 |        0
372.23/372.34	c  370s |      15 |   454518 |   127632 |   150999      0 |    34991 |        0
374.33/374.48	c  372s |      15 |   456267 |   128032 |   150999      0 |    34991 |        0
376.83/376.99	c  374s |      15 |   458170 |   128532 |   150999      0 |    34991 |        0
378.93/379.06	c  376s |      15 |   459592 |   128932 |   150999      0 |    34991 |        0
381.43/381.55	c  379s |      15 |   461549 |   129432 |   150999      0 |    34991 |        0
383.53/383.61	c  381s |      15 |   462719 |   129832 |   150999      0 |    34991 |        0
386.03/386.12	c  383s |      15 |   464734 |   130332 |   150999      0 |    34991 |        0
388.53/388.62	c  386s |      15 |   466360 |   130832 |   166099      0 |    34991 |        0
390.63/390.73	c  388s |      15 |   467576 |   131232 |   166099      0 |    34991 |        0
392.33/392.44	c  390s |      16 |   468606 |   131552 |   166099      0 |    34991 |        0
394.33/394.47	c  392s |      16 |   475654 |   136352 |   166099      0 |    34991 |        0
396.43/396.51	c  394s |      16 |   480594 |   140852 |   166099      0 |    34991 |        0
398.43/398.53	c  396s |      16 |   484012 |   144052 |   166099      0 |    34991 |        0
400.43/400.54	c  398s |      16 |   487233 |   146952 |   166099      0 |    34991 |        0
402.43/402.55	c  400s |      16 |   489620 |   149252 |   166099      0 |    34991 |        0
404.53/404.62	c  402s |      16 |   492137 |   151552 |   166099      0 |    34991 |        0
406.53/406.67	c  404s |      16 |   494398 |   153652 |   166099      0 |    34991 |        0
408.63/408.72	c  406s |      16 |   496149 |   155352 |   166099      0 |    34991 |        0
410.63/410.73	c  408s |      16 |   498164 |   157152 |   166099      0 |    34991 |        0
412.63/412.73	c  410s |      16 |   499722 |   158652 |   166099      0 |    34991 |        0
414.64/414.74	c  412s |      16 |   501266 |   160152 |   166099      0 |    34991 |        0
416.63/416.74	c  414s |      16 |   502712 |   161552 |   166099      0 |    34991 |        0
418.73/418.81	c  416s |      16 |   504228 |   162952 |   166099      0 |    34991 |        0
420.73/420.86	c  418s |      16 |   505595 |   164252 |   166099      0 |    34991 |        0
422.83/422.97	c  420s |      16 |   506960 |   165552 |   166099      0 |    34991 |        0
425.03/425.11	c  422s |      16 |   508206 |   166752 |   166099      0 |    34991 |        0
427.23/427.30	c  425s |      16 |   509617 |   168052 |   166099      0 |    34991 |        0
429.33/429.47	c  427s |      16 |   510864 |   169252 |   166099      0 |    34991 |        0
431.43/431.58	c  429s |      16 |   511977 |   170352 |   166099      0 |    34991 |        0
433.63/433.72	c  431s |      16 |   513109 |   171452 |   166099      0 |    34991 |        0
435.73/435.81	c  433s |      16 |   514329 |   172652 |   166099      0 |    34991 |        0
437.73/437.82	c  435s |      16 |   516692 |   174552 |   166099      0 |    34991 |        0
439.73/439.86	c  437s |      16 |   518832 |   176552 |   166099      0 |    34991 |        0
441.73/441.89	c  439s |      16 |   521931 |   179352 |   166099      0 |    34991 |        0
443.83/443.93	c  441s |      16 |   525170 |   182352 |   166099      0 |    34991 |        0
445.93/446.03	c  443s |      16 |   527610 |   184752 |   166099      0 |    34991 |        0
448.02/448.12	c  445s |      16 |   529342 |   186352 |   166099      0 |    34991 |        0
450.12/450.29	c  448s |      16 |   530490 |   187252 |   166099      0 |    34991 |        0
452.52/452.66	c  450s |      16 |   531435 |   188152 |   166099      0 |    34991 |        0
454.62/454.78	c  452s |      16 |   532771 |   189352 |   166099      0 |    34991 |        0
456.72/456.85	c  454s |      16 |   534330 |   190852 |   166099      0 |    34991 |        0
458.73/458.87	c  456s |      16 |   536072 |   192552 |   166099      0 |    34991 |        0
460.72/460.88	c  458s |      16 |   536831 |   193252 |   166099      0 |    34991 |        0
463.03/463.12	c  460s |      16 |   537592 |   193952 |   166099      0 |    34991 |        0
465.02/465.13	c  462s |      16 |   538225 |   194552 |   166099      0 |    34991 |        0
467.02/467.19	c  464s |      16 |   547099 |   195852 |   166099      0 |    34991 |        0
469.12/469.28	c  467s |      17 |   550063 |   197432 |   182709      0 |    34991 |        0
471.22/471.31	c  469s |      17 |   554681 |   199732 |   182709      0 |    34991 |        0
473.22/473.35	c  471s |      17 |   558655 |   203232 |   182709      0 |    34991 |        0
475.23/475.36	c  473s |      17 |   562086 |   206232 |   182709      0 |    34991 |        0
477.33/477.43	c  475s |      17 |   565074 |   209132 |   182709      0 |    34991 |        0
479.32/479.44	c  477s |      17 |   567917 |   211732 |   182709      0 |    34991 |        0
481.42/481.56	c  479s |      17 |   570624 |   214332 |   182709      0 |    34991 |        0
483.52/483.63	c  481s |      17 |   572708 |   216132 |   182709      0 |    34991 |        0
485.52/485.66	c  483s |      17 |   575061 |   218432 |   182709      0 |    34991 |        0
487.72/487.81	c  485s |      17 |   576060 |   219432 |   182709      1 |    34991 |        0
489.72/489.85	c  487s |      17 |   578281 |   221532 |   182709      1 |    34991 |        0
491.82/491.94	c  489s |      17 |   579822 |   222832 |   182709      1 |    34991 |        0
493.82/493.99	c  491s |      17 |   581913 |   224832 |   182709      1 |    34991 |        0
496.02/496.12	c  493s |      17 |   583611 |   226532 |   182709      1 |    34991 |        0
498.01/498.14	c  495s |      17 |   585262 |   228132 |   182709      1 |    34991 |        0
500.11/500.25	c  498s |      17 |   586909 |   229732 |   182709      1 |    34991 |        0
502.31/502.46	c  500s |      17 |   588408 |   231032 |   182709      1 |    34991 |        0
504.41/504.55	c  502s |      17 |   589522 |   232032 |   182709      1 |    34991 |        0
506.61/506.73	c  504s |      17 |   591006 |   233432 |   182709      1 |    34991 |        0
508.71/508.86	c  506s |      17 |   592413 |   234832 |   182709      1 |    34991 |        0
510.81/510.99	c  508s |      17 |   593511 |   235932 |   182709      1 |    34991 |        0
513.01/513.11	c  510s |      17 |   594659 |   237032 |   182709      1 |    34991 |        0
515.11/515.20	c  512s |      17 |   595804 |   238132 |   182709      1 |    34991 |        0
517.11/517.25	c  515s |      17 |   597000 |   239332 |   182709      1 |    34991 |        0
519.31/519.44	c  517s |      17 |   598259 |   240532 |   182709      1 |    34991 |        0
521.42/521.52	c  519s |      17 |   599357 |   241632 |   182709      1 |    34991 |        0
523.71/523.82	c  521s |      17 |   600390 |   242432 |   182709      1 |    34991 |        0
525.72/525.87	c  523s |      17 |   601076 |   243032 |   182709      1 |    34991 |        0
527.71/527.89	c  525s |      17 |   602322 |   244232 |   182709      1 |    34991 |        0
529.81/529.97	c  527s |      17 |   603869 |   245732 |   182709      1 |    34991 |        0
531.81/531.99	c  529s |      17 |   604969 |   246832 |   182709      1 |    34991 |        0
533.91/534.01	c  531s |      17 |   606119 |   247932 |   182709      1 |    34991 |        0
536.11/536.21	c  534s |      17 |   607460 |   249232 |   182709      1 |    34991 |        0
538.11/538.25	c  536s |      17 |   608669 |   250432 |   182709      1 |    34991 |        0
540.21/540.30	c  538s |      17 |   609820 |   251532 |   182709      1 |    34991 |        0
542.31/542.47	c  540s |      17 |   611124 |   252832 |   182709      1 |    34991 |        0
544.41/544.53	c  542s |      17 |   612077 |   253732 |   182709      1 |    34991 |        0
546.50/546.69	c  544s |      17 |   613273 |   254932 |   182709      1 |    34991 |        0
549.00/549.14	c  546s |      17 |   614324 |   255832 |   182709      1 |    34991 |        0
551.50/551.69	c  549s |      17 |   614955 |   256332 |   182709      1 |    34991 |        0
553.70/553.84	c  551s |      17 |   615800 |   257132 |   182709      1 |    34991 |        0
555.80/555.94	c  553s |      17 |   616737 |   258032 |   182709      1 |    34991 |        0
557.90/558.06	c  555s |      17 |   617778 |   259032 |   182709      1 |    34991 |        0
559.91/560.07	c  557s |      17 |   618582 |   259832 |   182709      1 |    34991 |        0
562.20/562.36	c  560s |      17 |   619282 |   260532 |   182709      1 |    34991 |        0
564.40/564.52	c  562s |      17 |   620017 |   261232 |   182709      1 |    34991 |        0
566.51/566.65	c  564s |      17 |   620827 |   262032 |   182709      1 |    34991 |        0
568.50/568.68	c  566s |      17 |   621645 |   262832 |   182709      1 |    34991 |        0
570.70/570.83	c  568s |      17 |   622375 |   263532 |   182709      1 |    34991 |        0
573.01/573.11	c  570s |      17 |   623177 |   264332 |   182709      1 |    34991 |        0
575.00/575.11	c  572s |      17 |   623826 |   264932 |   182709      1 |    34991 |        0
577.10/577.27	c  575s |      17 |   624635 |   265732 |   182709      1 |    34991 |        0
579.30/579.48	c  577s |      17 |   625336 |   266432 |   182709      1 |    34991 |        0
581.60/581.74	c  579s |      17 |   626079 |   267132 |   182709      1 |    34991 |        0
583.60/583.78	c  581s |      17 |   626781 |   267832 |   182709      1 |    34991 |        0
585.80/585.96	c  583s |      17 |   627480 |   268532 |   182709      1 |    34991 |        0
587.90/588.03	c  585s |      17 |   628182 |   269232 |   182709      1 |    34991 |        0
590.10/590.30	c  588s |      17 |   628831 |   269832 |   182709      1 |    34991 |        0
592.20/592.31	c  590s |      17 |   629527 |   270532 |   182709      1 |    34991 |        0
594.40/594.54	c  592s |      17 |   630225 |   271232 |   182709      1 |    34991 |        0
596.40/596.57	c  594s |      17 |   630825 |   271832 |   182709      1 |    34991 |        0
598.60/598.70	c  596s |      17 |   631243 |   272232 |   182709      1 |    34991 |        0
601.00/601.16	c  598s |      17 |   631667 |   272632 |   182709      1 |    34991 |        0
603.20/603.37	c  601s |      17 |   632083 |   273032 |   182709      1 |    34991 |        0
605.30/605.46	c  603s |      17 |   632508 |   273432 |   182709      1 |    34991 |        0
607.80/607.92	c  605s |      17 |   633051 |   273932 |   182709      1 |    34991 |        0
610.00/610.18	c  607s |      17 |   633566 |   274432 |   182709      1 |    34991 |        0
612.29/612.40	c  610s |      17 |   634076 |   274932 |   182709      1 |    34991 |        0
614.39/614.50	c  612s |      17 |   634504 |   275332 |   182709      1 |    34991 |        0
616.39/616.52	c  614s |      17 |   634927 |   275732 |   182709      1 |    34991 |        0
618.59/618.70	c  616s |      17 |   635361 |   276132 |   182709      1 |    34991 |        0
620.69/620.82	c  618s |      17 |   635893 |   276632 |   182709      1 |    34991 |        0
622.99/623.13	c  620s |      17 |   636517 |   277232 |   182709      1 |    34991 |        0
625.09/625.23	c  623s |      17 |   637042 |   277732 |   182709      1 |    34991 |        0
627.39/627.56	c  625s |      17 |   637669 |   278332 |   182709      1 |    34991 |        0
629.79/629.96	c  627s |      17 |   638188 |   278832 |   182709      1 |    34991 |        0
632.40/632.51	c  630s |      17 |   638709 |   279332 |   182709      1 |    34991 |        0
634.79/634.95	c  632s |      17 |   639332 |   279932 |   182709      1 |    34991 |        0
636.90/637.05	c  634s |      17 |   639854 |   280432 |   182709      1 |    34991 |        0
643.40/643.52	c  641s |      17 |   646391 |   281032 |   182709      1 |    35006 |        0
654.19/654.30	c  652s |      17 |   651108 |   281332 |   182709      1 |    35030 |        0
660.39/660.54	c  658s |      17 |   651489 |   281432 |   182709      1 |    35037 |        0
662.79/662.96	c  660s |      17 |   653314 |   282932 |   182709      1 |    35047 |        0
668.19/668.33	c  666s |      17 |   654827 |   283132 |   182709      1 |    35053 |        0
670.19/670.37	c  668s |      17 |   659471 |   286832 |   182709      1 |    35053 |        0
672.18/672.39	c  670s |      17 |   662815 |   290132 |   182709      1 |    35053 |        0
674.19/674.40	c  672s |      17 |   666436 |   293732 |   182709      1 |    35053 |        0
675.68/675.84	c  673s |      18 |   669108 |   296252 |   200980      1 |    35053 |        0
677.78/677.91	c  675s |      18 |   670931 |   297852 |   200980      1 |    35053 |        0
679.80/679.95	c  677s |      18 |   673305 |   299852 |   200980      1 |    35053 |        0
681.79/682.00	c  679s |      18 |   676313 |   302152 |   200980      1 |    35053 |        0
683.89/684.04	c  681s |      18 |   678943 |   304452 |   200980      1 |    35053 |        0
685.89/686.07	c  683s |      18 |   681384 |   306552 |   200980      1 |    35053 |        0
687.99/688.12	c  685s |      18 |   683616 |   308252 |   200980      1 |    35053 |        0
690.09/690.23	c  688s |      18 |   685811 |   310052 |   200980      1 |    35053 |        0
692.19/692.33	c  690s |      18 |   687535 |   311652 |   200980      1 |    35053 |        0
694.29/694.47	c  692s |      18 |   689656 |   313352 |   200980      1 |    35053 |        0
696.39/696.50	c  694s |      18 |   691450 |   314852 |   200980      1 |    35053 |        0
698.39/698.51	c  696s |      18 |   693331 |   316352 |   200980      1 |    35053 |        0
700.39/700.58	c  698s |      18 |   695097 |   317752 |   200980      1 |    35053 |        0
702.49/702.65	c  700s |      18 |   696847 |   319052 |   200980      1 |    35053 |        0
704.69/704.83	c  702s |      18 |   698411 |   320352 |   200980      1 |    35053 |        0
706.79/706.90	c  704s |      18 |   699922 |   321552 |   200980      1 |    35053 |        0
708.99/709.11	c  706s |      18 |   701666 |   322752 |   200980      1 |    35053 |        0
711.08/711.24	c  709s |      18 |   703091 |   323952 |   200980      1 |    35053 |        0
713.08/713.25	c  711s |      18 |   704575 |   325052 |   200980      1 |    35053 |        0
715.18/715.36	c  713s |      18 |   705990 |   326152 |   200980      1 |    35053 |        0
717.28/717.48	c  715s |      18 |   707591 |   327352 |   200980      1 |    35053 |        0
719.48/719.65	c  717s |      18 |   709084 |   328652 |   200980      1 |    35053 |        0
721.59/721.71	c  719s |      18 |   710331 |   329752 |   200980      1 |    35053 |        0
723.58/723.79	c  721s |      18 |   712319 |   330952 |   200980      1 |    35053 |        0
725.78/725.92	c  723s |      18 |   713674 |   332152 |   200980      1 |    35053 |        0
727.88/728.04	c  725s |      18 |   715138 |   333552 |   200980      1 |    35053 |        0
729.98/730.12	c  727s |      18 |   716286 |   334552 |   200980      1 |    35053 |        0
732.08/732.26	c  730s |      18 |   717562 |   335552 |   200980      1 |    35053 |        0
734.08/734.28	c  732s |      18 |   718698 |   336452 |   200980      1 |    35053 |        0
736.28/736.42	c  734s |      18 |   719902 |   337352 |   200980      1 |    35053 |        0
738.28/738.45	c  736s |      18 |   721071 |   338252 |   200980      1 |    35053 |        0
740.38/740.54	c  738s |      18 |   722206 |   339152 |   200980      1 |    35053 |        0
742.39/742.58	c  740s |      18 |   723366 |   340152 |   200980      1 |    35053 |        0
744.48/744.67	c  742s |      18 |   724696 |   341252 |   200980      1 |    35053 |        0
746.58/746.74	c  744s |      18 |   725945 |   342352 |   200980      1 |    35053 |        0
748.68/748.80	c  746s |      18 |   727105 |   343352 |   200980      1 |    35053 |        0
750.78/750.99	c  748s |      18 |   728350 |   344352 |   200980      1 |    35053 |        0
752.88/753.03	c  750s |      18 |   729373 |   345352 |   200980      1 |    35053 |        0
754.88/755.04	c  752s |      18 |   730280 |   346252 |   200980      1 |    35053 |        0
757.08/757.23	c  755s |      18 |   731282 |   347252 |   200980      1 |    35053 |        0
759.98/760.17	c  757s |      18 |   731903 |   347852 |   200980      2 |    35053 |        0
762.18/762.32	c  760s |      18 |   732661 |   348452 |   200980      2 |    35053 |        0
764.38/764.52	c  762s |      18 |   733407 |   349052 |   200980      2 |    35053 |        0
766.58/766.71	c  764s |      18 |   734157 |   349652 |   200980      2 |    35053 |        0
768.67/768.85	c  766s |      18 |   734907 |   350252 |   200980      2 |    35053 |        0
770.87/771.00	c  768s |      18 |   735599 |   350852 |   200980      2 |    35053 |        0
772.87/773.06	c  770s |      18 |   736442 |   351552 |   200980      2 |    35053 |        0
774.97/775.19	c  772s |      18 |   737314 |   352252 |   200980      2 |    35053 |        0
777.07/777.28	c  775s |      18 |   738361 |   353052 |   200980      2 |    35053 |        0
779.27/779.47	c  777s |      18 |   739253 |   353752 |   200980      2 |    35053 |        0
781.27/781.48	c  779s |      18 |   740408 |   354652 |   200980      2 |    35053 |        0
783.47/783.62	c  781s |      18 |   741290 |   355252 |   200980      2 |    35053 |        0
785.47/785.67	c  783s |      18 |   742083 |   355852 |   200980      2 |    35053 |        0
787.58/787.79	c  785s |      18 |   743193 |   356752 |   200980      2 |    35053 |        0
789.78/789.91	c  787s |      18 |   744494 |   357752 |   200980      2 |    35053 |        0
791.77/791.99	c  789s |      18 |   745294 |   358452 |   200980      2 |    35053 |        0
793.97/794.10	c  791s |      18 |   746159 |   359152 |   200980      2 |    35053 |        0
795.97/796.14	c  793s |      18 |   746888 |   359752 |   200980      2 |    35053 |        0
798.17/798.38	c  796s |      18 |   747850 |   360552 |   200980      2 |    35053 |        0
800.27/800.49	c  798s |      18 |   748680 |   361252 |   200980      2 |    35053 |        0
802.57/802.73	c  800s |      18 |   749709 |   362052 |   200980      2 |    35053 |        0
804.57/804.73	c  802s |      18 |   750537 |   362752 |   200980      2 |    35053 |        0
806.77/806.93	c  804s |      18 |   751469 |   363452 |   200980      2 |    35053 |        0
808.87/809.08	c  806s |      18 |   752543 |   364252 |   200980      2 |    35053 |        0
810.97/811.11	c  808s |      18 |   753342 |   365052 |   200980      2 |    35053 |        0
813.17/813.33	c  811s |      18 |   754295 |   365852 |   200980      2 |    35053 |        0
815.47/815.60	c  813s |      18 |   755388 |   366652 |   200980      2 |    35053 |        0
817.57/817.72	c  815s |      18 |   756234 |   367352 |   200980      2 |    35053 |        0
819.67/819.87	c  817s |      18 |   757242 |   368152 |   200980      2 |    35053 |        0
821.67/821.87	c  819s |      18 |   761269 |   371552 |   200980      2 |    35053 |        0
826.36/826.50	c  824s |      18 |   764482 |   371752 |   200980      2 |    35067 |        0
828.36/828.59	c  826s |      18 |   772574 |   372252 |   200980      2 |    35069 |        0
830.37/830.59	c  828s |      18 |   775684 |   373752 |   200980      2 |    35069 |        0
832.36/832.59	c  830s |      18 |   785430 |   380552 |   200980      2 |    35069 |        0
834.46/834.61	c  832s |      18 |   793763 |   386852 |   200980      2 |    35069 |        0
836.46/836.64	c  834s |      18 |   799130 |   391252 |   200980      2 |    35069 |        0
838.56/838.75	c  836s |      18 |   803931 |   394752 |   200980      2 |    35069 |        0
840.56/840.77	c  838s |      18 |   808726 |   398152 |   200980      2 |    35069 |        0
842.57/842.77	c  840s |      18 |   813123 |   401352 |   200980      2 |    35069 |        0
844.67/844.83	c  842s |      18 |   815531 |   403352 |   200980      2 |    35069 |        0
846.66/846.87	c  844s |      18 |   818559 |   405852 |   200980      2 |    35069 |        0
848.76/848.98	c  846s |      18 |   821023 |   407852 |   200980      2 |    35069 |        0
850.86/851.03	c  848s |      18 |   823754 |   410152 |   200980      2 |    35069 |        0
852.96/853.10	c  850s |      18 |   825799 |   411952 |   200980      2 |    35069 |        0
854.96/855.11	c  852s |      18 |   828223 |   413852 |   200980      2 |    35069 |        0
856.95/857.16	c  854s |      18 |   830197 |   415752 |   200980      2 |    35069 |        0
859.06/859.29	c  857s |      18 |   832290 |   417552 |   200980      2 |    35069 |        0
861.16/861.36	c  859s |      18 |   834328 |   419152 |   200980      2 |    35069 |        0
863.25/863.49	c  861s |      18 |   836102 |   420752 |   200980      2 |    35069 |        0
865.25/865.49	c  863s |      18 |   837897 |   422052 |   200980      2 |    35069 |        0
867.45/867.61	c  865s |      18 |   839484 |   423152 |   200980      2 |    35069 |        0
869.55/869.75	c  867s |      18 |   840821 |   424352 |   200980      2 |    35069 |        0
871.55/871.77	c  869s |      18 |   841954 |   425352 |   200980      2 |    35069 |        0
873.55/873.79	c  871s |      18 |   843102 |   426352 |   200980      2 |    35069 |        0
875.65/875.83	c  873s |      18 |   844823 |   427652 |   200980      2 |    35069 |        0
877.66/877.90	c  875s |      18 |   846557 |   428952 |   200980      2 |    35069 |        0
879.75/879.96	c  877s |      18 |   848153 |   430052 |   200980      2 |    35069 |        0
881.95/882.11	c  879s |      18 |   849825 |   431352 |   200980      2 |    35069 |        0
884.05/884.25	c  882s |      18 |   851400 |   432552 |   200980      2 |    35069 |        0
886.15/886.32	c  884s |      18 |   852798 |   433652 |   200980      2 |    35069 |        0
888.15/888.34	c  886s |      18 |   854210 |   434652 |   200980      2 |    35069 |        0
890.15/890.35	c  888s |      18 |   855494 |   435752 |   200980      2 |    35069 |        0
892.34/892.57	c  890s |      18 |   856736 |   436752 |   200980      2 |    35069 |        0
894.44/894.62	c  892s |      18 |   858098 |   437652 |   200980      2 |    35069 |        0
896.54/896.72	c  894s |      18 |   859521 |   438752 |   200980      2 |    35069 |        0
898.75/898.97	c  896s |      18 |   860654 |   439552 |   200980      2 |    35069 |        0
900.75/900.98	c  898s |      18 |   862294 |   440752 |   200980      2 |    35069 |        0
902.84/903.06	c  900s |      18 |   863839 |   441952 |   221079      2 |    35069 |        0
904.94/905.19	c  902s |      18 |   865374 |   443152 |   221079      2 |    35069 |        0
907.14/907.31	c  905s |      18 |   866953 |   444452 |   221079      2 |    35069 |        0
907.14/907.36	c  905s |      19 |   866984 |   444482 |   221079      2 |    35069 |        0
993.13/993.39	c  991s |      19 |   872165 |   444882 |   221079      2 |    35073 |        0
995.22/995.41	c  993s |      19 |   881668 |   451682 |   221079      2 |    35073 |        0
997.23/997.45	c  995s |      19 |   887680 |   456582 |   221079      2 |    35073 |        0
999.23/999.46	c  997s |      19 |   893879 |   461382 |   221079      2 |    35073 |        0
1001.23/1001.49	c  999s |      19 |   898979 |   465682 |   221079      2 |    35073 |        0
1003.23/1003.50	c 1001s |      19 |   902751 |   469082 |   221079      2 |    35073 |        0
1005.33/1005.53	c 1003s |      19 |   906612 |   472482 |   221079      2 |    35073 |        0
1007.32/1007.59	c 1005s |      19 |   910563 |   475682 |   221079      2 |    35073 |        0
1009.32/1009.59	c 1007s |      19 |   913816 |   478282 |   221079      2 |    35073 |        0
1011.42/1011.69	c 1009s |      19 |   915746 |   479782 |   221079      2 |    35073 |        0
1013.52/1013.70	c 1011s |      19 |   917403 |   481382 |   221079      2 |    35073 |        0
1015.52/1015.73	c 1013s |      19 |   919163 |   483082 |   221079      2 |    35073 |        0
1017.52/1017.75	c 1015s |      19 |   920876 |   484782 |   221079      2 |    35073 |        0
1020.12/1020.38	c 1018s |      19 |   921476 |   485382 |   221079      3 |    35073 |        0
1022.21/1022.46	c 1020s |      19 |   923085 |   486982 |   221079      3 |    35073 |        0
1024.21/1024.47	c 1022s |      19 |   924590 |   488482 |   221079      3 |    35073 |        0
1026.31/1026.50	c 1024s |      19 |   926749 |   490182 |   221079      3 |    35073 |        0
1028.32/1028.51	c 1026s |      19 |   928866 |   492082 |   221079      3 |    35073 |        0
1030.31/1030.56	c 1028s |      19 |   930919 |   494082 |   221079      3 |    35073 |        0
1032.41/1032.61	c 1030s |      19 |   932842 |   495582 |   221079      3 |    35073 |        0
1034.41/1034.67	c 1032s |      19 |   935032 |   497682 |   221079      3 |    35073 |        0
1036.51/1036.73	c 1034s |      19 |   937163 |   499782 |   221079      3 |    35073 |        0
1038.51/1038.73	c 1036s |      19 |   939613 |   501582 |   221079      3 |    35073 |        0
1040.52/1040.79	c 1038s |      19 |   941456 |   503182 |   221079      3 |    35073 |        0
1042.72/1042.93	c 1040s |      19 |   942919 |   504582 |   221079      3 |    35073 |        0
1044.92/1045.13	c 1042s |      19 |   945126 |   506482 |   221079      3 |    35073 |        0
1047.02/1047.23	c 1045s |      19 |   946638 |   507682 |   221079      3 |    35073 |        0
1049.01/1049.25	c 1047s |      19 |   948660 |   509682 |   221079      3 |    35073 |        0
1051.11/1051.34	c 1049s |      19 |   950624 |   511582 |   221079      3 |    35073 |        0
1053.21/1053.40	c 1051s |      19 |   952770 |   513682 |   221079      3 |    35073 |        0
1055.21/1055.48	c 1053s |      19 |   954709 |   515582 |   221079      3 |    35073 |        0
1057.31/1057.55	c 1055s |      19 |   956614 |   517382 |   221079      3 |    35073 |        0
1059.51/1059.75	c 1057s |      19 |   957873 |   518582 |   221079      3 |    35073 |        0
1061.50/1061.77	c 1059s |      19 |   959334 |   519982 |   221079      3 |    35073 |        0
1063.80/1064.00	c 1061s |      19 |   960777 |   521382 |   221079      3 |    35073 |        0
1065.81/1066.06	c 1063s |      19 |   962481 |   523082 |   221079      3 |    35073 |        0
1067.80/1068.09	c 1065s |      19 |   963920 |   524482 |   221079      3 |    35073 |        0
1069.90/1070.13	c 1067s |      19 |   964672 |   525182 |   221079      3 |    35073 |        0
1071.99/1072.24	c 1070s |      19 |   965844 |   526282 |   221079      3 |    35073 |        0
1074.29/1074.50	c 1072s |      19 |   967376 |   527782 |   221079      3 |    35073 |        0
1076.49/1076.77	c 1074s |      19 |   968218 |   528582 |   221079      3 |    35073 |        0
1078.59/1078.83	c 1076s |      19 |   969671 |   529982 |   221079      3 |    35073 |        0
1080.69/1080.91	c 1078s |      19 |   971109 |   531382 |   221079      3 |    35073 |        0
1082.69/1082.93	c 1080s |      19 |   972442 |   532682 |   221079      3 |    35073 |        0
1084.79/1085.03	c 1082s |      19 |   973577 |   533782 |   221079      3 |    35073 |        0
1087.09/1087.34	c 1085s |      19 |   974392 |   534482 |   221079      3 |    35073 |        0
1089.19/1089.40	c 1087s |      19 |   975446 |   535482 |   221079      3 |    35073 |        0
1091.29/1091.60	c 1089s |      19 |   975978 |   535982 |   221079      3 |    35073 |        0
1093.48/1093.74	c 1091s |      19 |   976912 |   536882 |   221079      3 |    35073 |        0
1095.49/1095.79	c 1093s |      19 |   977843 |   537782 |   221079      3 |    35073 |        0
1097.59/1097.88	c 1095s |      19 |   978378 |   538282 |   221079      3 |    35073 |        0
1100.08/1100.31	c 1098s |      19 |   979024 |   538882 |   221079      3 |    35073 |        0
1102.18/1102.45	c 1100s |      19 |   980395 |   540182 |   221079      3 |    35073 |        0
1104.18/1104.47	c 1102s |      19 |   981593 |   541382 |   221079      3 |    35073 |        0
1106.28/1106.58	c 1104s |      19 |   982826 |   542582 |   221079      3 |    35073 |        0
1108.68/1108.97	c 1106s |      19 |   983859 |   543582 |   221079      3 |    35073 |        0
1110.88/1111.17	c 1108s |      19 |   984564 |   544082 |   221079      3 |    35073 |        0
1113.17/1113.41	c 1111s |      19 |   985713 |   544982 |   221079      3 |    35073 |        0
1115.47/1115.74	c 1113s |      19 |   986615 |   545682 |   221079      3 |    35073 |        0
1117.48/1117.78	c 1115s |      19 |   987198 |   546182 |   221079      3 |    35073 |        0
1119.58/1119.83	c 1117s |      19 |   988049 |   546982 |   221079      3 |    35073 |        0
1121.78/1122.04	c 1119s |      19 |   988721 |   547582 |   221079      3 |    35073 |        0
1123.77/1124.06	c 1121s |      19 |   989251 |   548082 |   221079      3 |    35073 |        0
1125.77/1126.06	c 1123s |      19 |   989877 |   548682 |   221079      3 |    35073 |        0
1127.87/1128.12	c 1125s |      19 |   991075 |   549782 |   221079      3 |    35073 |        0
1129.87/1130.17	c 1127s |      19 |   992169 |   550582 |   221079      3 |    35073 |        0
1131.96/1132.22	c 1130s |      19 |   992858 |   551082 |   221079      3 |    35073 |        0
1134.06/1134.39	c 1132s |      19 |   993810 |   551982 |   221079      3 |    35073 |        0
1136.17/1136.45	c 1134s |      19 |   994923 |   553082 |   221079      3 |    35073 |        0
1138.27/1138.54	c 1136s |      19 |   995567 |   553682 |   221079      3 |    35073 |        0
1140.36/1140.68	c 1138s |      19 |   996417 |   554482 |   221079      3 |    35073 |        0
1142.66/1143.00	c 1140s |      19 |   997543 |   555582 |   221079      3 |    35073 |        0
1144.96/1145.25	c 1143s |      19 |   998348 |   556382 |   221079      3 |    35073 |        0
1147.26/1147.52	c 1145s |      19 |   999264 |   557282 |   221079      3 |    35073 |        0
1149.36/1149.69	c 1147s |      19 |  1000283 |   558282 |   221079      3 |    35073 |        0
1151.46/1151.77	c 1149s |      19 |  1001004 |   558982 |   221079      3 |    35073 |        0
1153.76/1154.05	c 1151s |      19 |  1001818 |   559782 |   221079      3 |    35073 |        0
1155.86/1156.14	c 1153s |      19 |  1002620 |   560582 |   221079      3 |    35073 |        0
1157.85/1158.15	c 1155s |      19 |  1003244 |   561182 |   221079      3 |    35073 |        0
1160.05/1160.32	c 1158s |      19 |  1004055 |   561982 |   221079      3 |    35073 |        0
1162.45/1162.74	c 1160s |      19 |  1004814 |   562682 |   221079      3 |    35073 |        0
1164.55/1164.83	c 1162s |      19 |  1005555 |   563382 |   221079      3 |    35073 |        0
1166.75/1167.00	c 1164s |      19 |  1006169 |   563982 |   221079      3 |    35073 |        0
1168.85/1169.15	c 1166s |      19 |  1006905 |   564682 |   221079      3 |    35073 |        0
1170.95/1171.22	c 1169s |      19 |  1007611 |   565382 |   221079      3 |    35073 |        0
1172.94/1173.29	c 1171s |      19 |  1008207 |   565982 |   221079      3 |    35073 |        0
1175.24/1175.52	c 1173s |      19 |  1008921 |   566682 |   221079      3 |    35073 |        0
1177.54/1177.86	c 1175s |      19 |  1009560 |   567282 |   221079      3 |    35073 |        0
1179.64/1179.93	c 1177s |      19 |  1010177 |   567882 |   221079      3 |    35073 |        0
1181.64/1181.99	c 1179s |      19 |  1010889 |   568582 |   221079      3 |    35073 |        0
1183.74/1184.07	c 1181s |      19 |  1011786 |   569482 |   221079      3 |    35073 |        0
1185.94/1186.24	c 1184s |      19 |  1012526 |   570182 |   221079      3 |    35073 |        0
1188.04/1188.36	c 1186s |      19 |  1013221 |   570882 |   221079      3 |    35073 |        0
1190.14/1190.40	c 1188s |      19 |  1013836 |   571482 |   221079      3 |    35073 |        0
1192.25/1192.55	c 1190s |      19 |  1014455 |   572082 |   221079      3 |    35073 |        0
1194.45/1194.74	c 1192s |      19 |  1015155 |   572782 |   221079      3 |    35073 |        0
1196.65/1196.91	c 1194s |      19 |  1015782 |   573382 |   221079      3 |    35073 |        0
1198.94/1199.21	c 1197s |      19 |  1016485 |   574082 |   221079      3 |    35073 |        0
1201.34/1201.65	c 1199s |      19 |  1017128 |   574682 |   221079      3 |    35073 |        0
1203.44/1203.74	c 1201s |      19 |  1017563 |   575082 |   221079      3 |    35073 |        0
1205.74/1206.05	c 1203s |      19 |  1018093 |   575582 |   221079      3 |    35073 |        0
1207.94/1208.23	c 1206s |      19 |  1018715 |   576182 |   221079      3 |    35073 |        0
1209.94/1210.23	c 1208s |      19 |  1019331 |   576782 |   221079      3 |    35073 |        0
1212.13/1212.42	c 1210s |      19 |  1019965 |   577382 |   221079      3 |    35073 |        0
1214.33/1214.64	c 1212s |      19 |  1020570 |   577982 |   221079      3 |    35073 |        0
1216.34/1216.69	c 1214s |      19 |  1021186 |   578582 |   221079      3 |    35073 |        0
1218.43/1218.79	c 1216s |      19 |  1021680 |   579082 |   221079      3 |    35073 |        0
1220.74/1221.09	c 1218s |      19 |  1022297 |   579682 |   221079      3 |    35073 |        0
1222.94/1223.30	c 1221s |      19 |  1022917 |   580282 |   221079      3 |    35073 |        0
1225.13/1225.42	c 1223s |      19 |  1023555 |   580882 |   221079      3 |    35073 |        0
1227.53/1227.85	c 1225s |      19 |  1024158 |   581482 |   221079      3 |    35073 |        0
1229.53/1229.86	c 1227s |      19 |  1024655 |   581982 |   221079      3 |    35073 |        0
1231.63/1231.98	c 1229s |      19 |  1025270 |   582582 |   221079      3 |    35073 |        0
1234.03/1234.37	c 1232s |      19 |  1025910 |   583182 |   221079      3 |    35073 |        0
1236.33/1236.66	c 1234s |      19 |  1026524 |   583782 |   221079      3 |    35073 |        0
1238.53/1238.85	c 1236s |      19 |  1027025 |   584282 |   221079      3 |    35073 |        0
1241.23/1241.51	c 1239s |      19 |  1027347 |   584582 |   221079      3 |    35073 |        0
1243.43/1243.75	c 1241s |      19 |  1027553 |   584782 |   221079      3 |    35073 |        0
1245.82/1246.12	c 1243s |      19 |  1027759 |   584982 |   221079      3 |    35073 |        0
1247.82/1248.17	c 1245s |      19 |  1028075 |   585282 |   221079      3 |    35073 |        0
1250.12/1250.43	c 1248s |      19 |  1029084 |   586282 |   221079      3 |    35073 |        0
1252.22/1252.55	c 1250s |      19 |  1030341 |   587482 |   221079      3 |    35073 |        0
1254.22/1254.57	c 1252s |      19 |  1031361 |   588482 |   221079      3 |    35073 |        0
1256.32/1256.61	c 1254s |      19 |  1033356 |   590082 |   221079      3 |    35073 |        0
1258.72/1259.02	c 1256s |      19 |  1034884 |   591182 |   221079      3 |    35073 |        0
1260.72/1261.05	c 1258s |      19 |  1037783 |   593682 |   221079      3 |    35073 |        0
1262.82/1263.12	c 1260s |      19 |  1040786 |   596182 |   221079      3 |    35073 |        0
1264.83/1265.18	c 1262s |      19 |  1043225 |   598282 |   221079      3 |    35073 |        0
1266.93/1267.24	c 1265s |      19 |  1045628 |   600382 |   221079      3 |    35073 |        0
1268.92/1269.29	c 1267s |      19 |  1046809 |   601282 |   221079      3 |    35085 |        0
1271.33/1271.61	c 1269s |      19 |  1047171 |   601382 |   221079      3 |    35086 |        0
1273.31/1273.62	c 1271s |      19 |  1051893 |   605182 |   221079      3 |    35086 |        0
1275.32/1275.63	c 1273s |      19 |  1058166 |   611182 |   221079      3 |    35086 |        0
1277.32/1277.64	c 1275s |      19 |  1060989 |   613882 |   221079      3 |    35086 |        0
1279.32/1279.66	c 1277s |      19 |  1064075 |   616882 |   221079      3 |    35086 |        0
1281.42/1281.72	c 1279s |      19 |  1066584 |   619082 |   221079      3 |    35086 |        0
1283.42/1283.73	c 1281s |      19 |  1068867 |   621082 |   221079      3 |    35086 |        0
1285.41/1285.74	c 1283s |      19 |  1072545 |   624482 |   221079      3 |    35086 |        0
1287.41/1287.78	c 1285s |      19 |  1077563 |   629082 |   221079      3 |    35086 |        0
1289.51/1289.87	c 1287s |      19 |  1079487 |   630882 |   221079      3 |    35086 |        0
1291.51/1291.89	c 1289s |      19 |  1082917 |   634082 |   221079      3 |    35086 |        0
1293.61/1293.92	c 1291s |      19 |  1086971 |   637882 |   221079      3 |    35086 |        0
1295.62/1295.97	c 1293s |      19 |  1088777 |   639582 |   221079      3 |    35086 |        0
1297.72/1298.01	c 1295s |      19 |  1090969 |   641582 |   221079      3 |    35086 |        0
1299.71/1300.04	c 1297s |      19 |  1094707 |   645082 |   221079      3 |    35086 |        0
1301.81/1302.10	c 1299s |      19 |  1097907 |   648082 |   221079      3 |    35086 |        0
1303.81/1304.10	c 1301s |      19 |  1100865 |   650882 |   221079      3 |    35086 |        0
1306.01/1306.32	c 1304s |      19 |  1102362 |   652282 |   221079      3 |    35086 |        0
1308.01/1308.39	c 1306s |      19 |  1103961 |   653782 |   221079      3 |    35086 |        0
1310.11/1310.45	c 1308s |      19 |  1106783 |   656382 |   221079      3 |    35086 |        0
1312.12/1312.49	c 1310s |      19 |  1109237 |   658682 |   221079      3 |    35086 |        0
1314.22/1314.50	c 1312s |      19 |  1111565 |   660882 |   221079      3 |    35086 |        0
1316.21/1316.59	c 1314s |      19 |  1113800 |   662982 |   243187      3 |    35086 |        0
1318.31/1318.65	c 1316s |      19 |  1115895 |   664982 |   243187      3 |    35086 |        0
1320.01/1320.33	c 1318s |      20 |  1117842 |   666827 |   243187      3 |    35086 |        0
1353.70/1354.07	c 1351s |      20 |  1124499 |   666927 |   243187      3 |    35086 |        0
1356.80/1357.11	c 1354s |      20 |  1126291 |   667127 |   243187      3 |    35086 |        0
1358.91/1359.20	c 1357s |      20 |  1133240 |   668227 |   243187      3 |    35086 |        0
1361.10/1361.40	c 1359s |      20 |  1136375 |   669127 |   243187      3 |    35086 |        0
1363.10/1363.45	c 1361s |      20 |  1139896 |   670027 |   243187      3 |    35086 |        0
1365.30/1365.60	c 1363s |      20 |  1142910 |   670727 |   243187      3 |    35086 |        0
1367.40/1367.70	c 1365s |      20 |  1146463 |   671627 |   243187      3 |    35086 |        0
1369.60/1369.91	c 1367s |      20 |  1151025 |   672727 |   243187      3 |    35086 |        0
1371.70/1372.00	c 1369s |      20 |  1153865 |   673427 |   243187      3 |    35086 |        0
1373.71/1374.07	c 1371s |      20 |  1157218 |   674327 |   243187      3 |    35086 |        0
1375.80/1376.13	c 1373s |      20 |  1158781 |   675127 |   243187      3 |    35086 |        0
1377.89/1378.21	c 1376s |      20 |  1159894 |   675727 |   243187      3 |    35086 |        0
1379.90/1380.25	c 1378s |      20 |  1161229 |   676227 |   243187      3 |    35086 |        0
1382.00/1382.39	c 1380s |      20 |  1163028 |   676827 |   243187      3 |    35086 |        0
1384.10/1384.45	c 1382s |      20 |  1164647 |   677227 |   243187      3 |    35086 |        0
1386.30/1386.69	c 1384s |      20 |  1165201 |   677527 |   243187      3 |    35086 |        0
1388.40/1388.75	c 1386s |      20 |  1165992 |   677827 |   243187      3 |    35086 |        0
1390.70/1391.08	c 1388s |      20 |  1169003 |   678427 |   243187      3 |    35086 |        0
1393.30/1393.65	c 1391s |      20 |  1171563 |   678927 |   243187      3 |    35086 |        0
1395.61/1395.97	c 1393s |      20 |  1173322 |   679327 |   243187      3 |    35086 |        0
1397.91/1398.24	c 1396s |      20 |  1175336 |   679827 |   243187      3 |    35086 |        0
1399.90/1400.27	c 1398s |      20 |  1177316 |   680427 |   243187      3 |    35086 |        0
1402.00/1402.39	c 1400s |      20 |  1180056 |   681027 |   243187      3 |    35086 |        0
1404.10/1404.42	c 1402s |      20 |  1182394 |   681527 |   243187      3 |    35086 |        0
1406.20/1406.57	c 1404s |      20 |  1184367 |   682127 |   243187      3 |    35086 |        0
1408.80/1409.17	c 1406s |      20 |  1186263 |   682627 |   243187      3 |    35086 |        0
1411.40/1411.75	c 1409s |      20 |  1187958 |   683127 |   243187      3 |    35086 |        0
1413.90/1414.27	c 1412s |      20 |  1190666 |   683727 |   243187      3 |    35086 |        0
1415.90/1416.27	c 1414s |      20 |  1192684 |   684327 |   243187      3 |    35086 |        0
1418.10/1418.45	c 1416s |      20 |  1194591 |   684827 |   243187      3 |    35086 |        0
1420.40/1420.76	c 1418s |      20 |  1196517 |   685327 |   243187      3 |    35086 |        0
1422.80/1423.13	c 1420s |      20 |  1198827 |   685927 |   243187      3 |    35086 |        0
1425.30/1425.65	c 1423s |      20 |  1200589 |   686427 |   243187      3 |    35086 |        0
1427.60/1427.98	c 1425s |      20 |  1202193 |   686927 |   243187      3 |    35086 |        0
1429.59/1430.00	c 1427s |      20 |  1203815 |   687427 |   243187      3 |    35086 |        0
1432.09/1432.46	c 1430s |      20 |  1206542 |   688127 |   243187      3 |    35086 |        0
1434.69/1435.03	c 1432s |      20 |  1207996 |   688527 |   243187      3 |    35086 |        0
1436.69/1437.07	c 1434s |      20 |  1209800 |   688927 |   243187      3 |    35086 |        0
1438.89/1439.21	c 1437s |      20 |  1212582 |   689527 |   243187      3 |    35086 |        0
1440.89/1441.22	c 1439s |      20 |  1217932 |   690527 |   243187      3 |    35086 |        0
1443.09/1443.40	c 1441s |      20 |  1221447 |   691327 |   243187      3 |    35086 |        0
1445.20/1445.59	c 1443s |      20 |  1224100 |   692227 |   243187      3 |    35086 |        0
1448.19/1448.54	c 1446s |      20 |  1226993 |   693027 |   243187      3 |    35086 |        0
1450.49/1450.85	c 1448s |      20 |  1229501 |   693827 |   243187      3 |    35086 |        0
1452.49/1452.86	c 1450s |      20 |  1230851 |   694327 |   243187      3 |    35086 |        0
1455.10/1455.42	c 1453s |      20 |  1234489 |   695327 |   243187      3 |    35086 |        0
1457.39/1457.76	c 1455s |      20 |  1235585 |   695727 |   243187      3 |    35086 |        0
1459.59/1459.94	c 1457s |      20 |  1238619 |   696527 |   243187      3 |    35086 |        0
1461.79/1462.19	c 1459s |      20 |  1239870 |   697127 |   243187      3 |    35086 |        0
1464.09/1464.46	c 1462s |      20 |  1241641 |   697727 |   243187      3 |    35086 |        0
1466.49/1466.83	c 1464s |      20 |  1243808 |   698327 |   243187      3 |    35086 |        0
1468.49/1468.88	c 1466s |      20 |  1245377 |   698827 |   243187      3 |    35086 |        0
1470.59/1470.99	c 1468s |      20 |  1246286 |   699327 |   243187      3 |    35086 |        0
1472.89/1473.21	c 1471s |      20 |  1247473 |   699827 |   243187      3 |    35086 |        0
1474.89/1475.22	c 1473s |      20 |  1248217 |   700227 |   243187      3 |    35086 |        0
1477.29/1477.61	c 1475s |      20 |  1248878 |   700627 |   243187      3 |    35086 |        0
1479.39/1479.76	c 1477s |      20 |  1251432 |   701227 |   243187      3 |    35086 |        0
1481.69/1482.09	c 1479s |      20 |  1253117 |   701827 |   243187      3 |    35086 |        0
1484.29/1484.62	c 1482s |      20 |  1254014 |   702327 |   243187      3 |    35086 |        0
1486.49/1486.84	c 1484s |      20 |  1255970 |   702827 |   243187      3 |    35086 |        0
1488.88/1489.24	c 1487s |      20 |  1256971 |   703327 |   243187      3 |    35086 |        0
1491.68/1492.00	c 1489s |      20 |  1257706 |   703727 |   243187      3 |    35086 |        0
1493.68/1494.00	c 1491s |      20 |  1259167 |   704127 |   243187      3 |    35086 |        0
1495.88/1496.25	c 1494s |      20 |  1261761 |   704727 |   243187      3 |    35086 |        0
1497.98/1498.33	c 1496s |      20 |  1263277 |   705227 |   243187      3 |    35086 |        0
1500.28/1500.60	c 1498s |      20 |  1267191 |   706427 |   243187      3 |    35086 |        0
1502.47/1502.87	c 1500s |      20 |  1269810 |   707227 |   243187      3 |    35086 |        0
1504.67/1505.00	c 1502s |      20 |  1273215 |   708127 |   243187      3 |    35086 |        0
1506.87/1507.20	c 1504s |      20 |  1274620 |   708627 |   243187      3 |    35086 |        0
1509.27/1509.68	c 1507s |      20 |  1275243 |   708927 |   243187      3 |    35086 |        0
1511.57/1511.93	c 1509s |      20 |  1278183 |   709627 |   243187      3 |    35086 |        0
1514.07/1514.46	c 1512s |      20 |  1279534 |   710127 |   243187      3 |    35086 |        0
1516.37/1516.77	c 1514s |      20 |  1281317 |   710727 |   243187      3 |    35086 |        0
1518.47/1518.86	c 1516s |      20 |  1284128 |   711327 |   243187      3 |    35086 |        0
1520.87/1521.25	c 1519s |      20 |  1285523 |   711927 |   243187      3 |    35086 |        0
1522.86/1523.27	c 1521s |      20 |  1287275 |   712427 |   243187      3 |    35086 |        0
1524.96/1525.38	c 1523s |      20 |  1291234 |   713127 |   243187      3 |    35086 |        0
1526.96/1527.39	c 1525s |      20 |  1293514 |   713727 |   243187      3 |    35086 |        0
1529.16/1529.51	c 1527s |      20 |  1295343 |   714527 |   243187      3 |    35086 |        0
1531.36/1531.71	c 1529s |      20 |  1298504 |   715427 |   243187      3 |    35086 |        0
1533.56/1533.96	c 1531s |      20 |  1302055 |   716227 |   243187      3 |    35086 |        0
1535.76/1536.16	c 1533s |      20 |  1305452 |   717027 |   243187      3 |    35086 |        0
1538.16/1538.50	c 1536s |      20 |  1308263 |   717627 |   243187      3 |    35086 |        0
1540.16/1540.57	c 1538s |      20 |  1310382 |   718227 |   243187      3 |    35086 |        0
1542.26/1542.61	c 1540s |      20 |  1313310 |   718827 |   243187      3 |    35086 |        0
1544.46/1544.82	c 1542s |      20 |  1315875 |   719427 |   243187      3 |    35086 |        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-4100417-1466213484/watcher-4100417-1466213484 -o /tmp/evaluation-result-4100417-1466213484/solver-4100417-1466213484 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100417-1466213484.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.25 2.16 3/179 2885
/proc/meminfo: memFree=30117776/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 3046 0 0 0 0 0 0 0 20 0 4 0 23397611 831975424 3406 33554432000 4194304 16246674 140735102242288 140735102241712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 203631 3415 441 2943 0 200525 0
[pid=2885/tid=2886] ppid=2882 vsize=830908 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 850849792 3478 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=835004 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 855044096 3496 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=840124 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23397612 860286976 3512 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.22 2.25 2.16 3/179 2885
/proc/meminfo: memFree=30117776/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1300036 CPUtime=0.09 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 27505 0 0 0 5 4 0 0 20 0 4 0 23397611 1331236864 27803 33554432000 4194304 16246674 140735102242288 140735102241600 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 325009 27820 798 2943 0 321903 0
[pid=2885/tid=2886] ppid=2882 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1331236864 27831 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1331236864 27843 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1331236864 27855 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1300036

[startup+0.200522 s]
/proc/loadavg: 2.22 2.25 2.16 3/179 2885
/proc/meminfo: memFree=30117776/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 45768 0 0 0 13 6 0 0 20 0 4 0 23397611 1342771200 46577 33554432000 4194304 16246674 140735102242288 140735102241600 8055574 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 327825 46577 801 2943 0 324719 0
[pid=2885/tid=2886] ppid=2882 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1342771200 46577 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1342771200 46577 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1342771200 46577 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300507 s]
/proc/loadavg: 2.22 2.25 2.16 3/179 2885
/proc/meminfo: memFree=30117776/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 52781 0 0 0 22 7 0 0 20 0 4 0 23397611 1343819776 53590 33554432000 4194304 16246674 140735102242288 140735102241600 4221116 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 328081 53590 801 2943 0 324975 0
[pid=2885/tid=2886] ppid=2882 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1343819776 53590 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1343819776 53590 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1343819776 53590 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700428 s]
/proc/loadavg: 2.22 2.25 2.16 3/179 2885
/proc/meminfo: memFree=30117776/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1348164 CPUtime=0.69 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 68712 0 0 0 60 9 0 0 20 0 4 0 23397611 1380519936 69521 33554432000 4194304 16246674 140735102242288 140735102225280 4222282 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 337041 69527 812 2943 0 333935 0
[pid=2885/tid=2886] ppid=2882 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1380519936 69530 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1380519936 69534 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1380519936 69538 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1348164

[startup+1.50042 s]
/proc/loadavg: 2.20 2.24 2.16 3/183 2889
/proc/meminfo: memFree=29770292/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1355332 CPUtime=1.49 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 200557 0 0 0 121 28 0 0 20 0 4 0 23397611 1387859968 201366 33554432000 4194304 16246674 140735102242288 140735102241600 6757956 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 338833 201381 837 2943 0 335727 0
[pid=2885/tid=2886] ppid=2882 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1387859968 201392 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1387859968 201398 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1387859968 201404 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1355332

[startup+3.10041 s]
/proc/loadavg: 2.20 2.24 2.16 3/183 2889
/proc/meminfo: memFree=28987356/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1365572 CPUtime=3.09 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 282068 0 0 0 271 38 0 0 20 0 4 0 23397611 1398345728 282877 33554432000 4194304 16246674 140735102242288 140735102224192 5599964 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 341393 282877 889 2943 0 338287 0
[pid=2885/tid=2886] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282877 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282877 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282877 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1365572

[startup+6.30043 s]
/proc/loadavg: 2.20 2.24 2.16 4/183 2889
/proc/meminfo: memFree=28986860/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1365572 CPUtime=6.29 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 282073 0 0 0 591 38 0 0 20 0 4 0 23397611 1398345728 282882 33554432000 4194304 16246674 140735102242288 140735102241464 13006049 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 341393 282882 894 2943 0 338287 0
[pid=2885/tid=2886] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282882 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282882 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282882 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1365572

[startup+12.7004 s]
/proc/loadavg: 2.24 2.25 2.16 3/183 2889
/proc/meminfo: memFree=28987168/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1365572 CPUtime=12.68 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 282073 0 0 0 1230 38 0 0 20 0 4 0 23397611 1398345728 282882 33554432000 4194304 16246674 140735102242288 140735102224192 5712600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 341393 282882 894 2943 0 338287 0
[pid=2885/tid=2886] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282882 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282882 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282882 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1365572

[startup+25.5005 s]
/proc/loadavg: 2.29 2.26 2.17 3/183 2889
/proc/meminfo: memFree=28987456/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1365572 CPUtime=25.48 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 282078 0 0 0 2510 38 0 0 20 0 4 0 23397611 1398345728 282887 33554432000 4194304 16246674 140735102242288 140735102224192 6022388 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 341393 282887 898 2943 0 338287 0
[pid=2885/tid=2886] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282887 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282887 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282887 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1365572

[startup+51.1005 s]
/proc/loadavg: 2.19 2.24 2.16 3/183 2889
/proc/meminfo: memFree=28987336/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1365572 CPUtime=51.09 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 282079 0 0 0 5070 39 0 0 20 0 4 0 23397611 1398345728 282888 33554432000 4194304 16246674 140735102242288 140735102224192 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 341393 282888 899 2943 0 338287 0
[pid=2885/tid=2886] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282888 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282888 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282888 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1365572

[startup+102.301 s]
/proc/loadavg: 2.14 2.21 2.16 3/183 2890
/proc/meminfo: memFree=28987084/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=1365572 CPUtime=102.28 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 282081 0 0 0 10189 39 0 0 20 0 4 0 23397611 1398345728 282890 33554432000 4194304 16246674 140735102242288 140735102224192 5677422 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 341393 282890 901 2943 0 338287 0
[pid=2885/tid=2886] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282890 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282890 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=1365572 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1398345728 282890 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1365572


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

/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 1873350656 398863 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1829444

[startup+1302.3 s]
/proc/loadavg: 2.17 2.18 2.14 3/183 2920
/proc/meminfo: memFree=28269768/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2063940 CPUtime=1302.01 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 456829 0 0 0 130126 75 0 0 20 0 4 0 23397611 2113474560 457487 33554432000 4194304 16246674 140735102242288 140735102225288 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 515985 457487 903 2943 0 512879 0
[pid=2885/tid=2886] ppid=2882 vsize=2063940 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2113474560 457487 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2063940 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2113474560 457487 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2063940 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2113474560 457487 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 2063940

[startup+1362.3 s]
/proc/loadavg: 2.32 2.22 2.16 3/183 2921
/proc/meminfo: memFree=28175536/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2158148 CPUtime=1362 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 480383 0 0 0 136115 85 0 0 20 0 4 0 23397611 2209943552 481039 33554432000 4194304 16246674 140735102242288 140735102224192 13943668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 539537 481039 903 2943 0 536431 0
[pid=2885/tid=2886] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2158148

[startup+1422.3 s]
/proc/loadavg: 2.17 2.20 2.15 3/183 2922
/proc/meminfo: memFree=28175284/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2158148 CPUtime=1422 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 480386 0 0 0 142110 90 0 0 20 0 4 0 23397611 2209943552 481039 33554432000 4194304 16246674 140735102242288 140735102224192 5711980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 539537 481039 903 2943 0 536431 0
[pid=2885/tid=2886] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2158148

[startup+1482.3 s]
/proc/loadavg: 2.15 2.19 2.15 3/183 2924
/proc/meminfo: memFree=28175704/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2158148 CPUtime=1481.99 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 480387 0 0 0 148109 90 0 0 20 0 4 0 23397611 2209943552 481039 33554432000 4194304 16246674 140735102242288 140735102224192 6837194 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 539537 481039 903 2943 0 536431 0
[pid=2885/tid=2886] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2158148

[startup+1542.31 s]
/proc/loadavg: 2.31 2.22 2.16 3/183 2925
/proc/meminfo: memFree=28175336/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2158148 CPUtime=1541.97 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 480407 0 0 0 154107 90 0 0 20 0 4 0 23397611 2209943552 481039 33554432000 4194304 16246674 140735102242288 140735102224192 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 539537 481039 903 2943 0 536431 0
[pid=2885/tid=2886] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2158148 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2209943552 481039 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 2158148

[startup+1602.3 s]
/proc/loadavg: 2.24 2.23 2.17 3/183 2926
/proc/meminfo: memFree=28148584/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2184772 CPUtime=1601.95 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 487063 0 0 0 160098 97 0 0 20 0 4 0 23397611 2237206528 487695 33554432000 4194304 16246674 140735102242288 140735102241600 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2885/statm: 546193 487695 903 2943 0 543087 0
[pid=2885/tid=2886] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 2184772

[startup+1662.3 s]
/proc/loadavg: 2.22 2.23 2.17 3/183 2927
/proc/meminfo: memFree=28148108/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2184772 CPUtime=1661.94 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 487063 0 0 0 166091 103 0 0 20 0 4 0 23397611 2237206528 487695 33554432000 4194304 16246674 140735102242288 140735102241384 4220965 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2885/statm: 546193 487695 903 2943 0 543087 0
[pid=2885/tid=2886] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 2184772

[startup+1722.3 s]
/proc/loadavg: 2.27 2.24 2.18 3/184 2979
/proc/meminfo: memFree=28099448/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2184772 CPUtime=1721.92 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 487063 0 0 0 172084 108 0 0 20 0 4 0 23397611 2237206528 487695 33554432000 4194304 16246674 140735102242288 140735102240128 4208384 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2885/statm: 546193 487695 903 2943 0 543087 0
[pid=2885/tid=2886] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 2184772

[startup+1782.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/184 3003
/proc/meminfo: memFree=28098644/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2184772 CPUtime=1781.91 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 487065 0 0 0 178075 116 0 0 20 0 4 0 23397611 2237206528 487695 33554432000 4194304 16246674 140735102242288 140735102241600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2885/statm: 546193 487695 903 2943 0 543087 0
[pid=2885/tid=2886] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 2184772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.24 2.18 3/184 3004
/proc/meminfo: memFree=28099636/32872528 swapFree=681964/737152
[pid=2885] ppid=2882 vsize=2184772 CPUtime=1800.01 cores=1,3,5,7
/proc/2885/stat : 2885 (toysat) R 2882 2885 1377 0 -1 4202496 487065 0 0 0 179884 117 0 0 20 0 4 0 23397611 2237206528 487695 33554432000 4194304 16246674 140735102242288 140735102240192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2885/statm: 546193 487695 903 2943 0 543087 0
[pid=2885/tid=2886] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2886/stat : 2886 (toysat) S 2882 2885 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218248178928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2885/tid=2887] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2887/stat : 2887 (toysat) S 2882 2885 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218237689072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2885/tid=2888] ppid=2882 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/2885/task/2888/stat : 2888 (toysat) S 2882 2885 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23397612 2237206528 487695 33554432000 4194304 16246674 140735102242288 140218227215536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2184772

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.04
CPU user time (s): 1798.85
CPU system time (s): 1.19282
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 2184772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.19282
maximum resident set size= 1950780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487065
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= 739
involuntary context switches= 2071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42633 second user time and 7.07492 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 03:31:24
IDJOB=4100417
IDBENCH=1614
IDSOLVER=2542
FILE ID=node112/4100417-1466213484
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100417-1466213484/watcher-4100417-1466213484 -o /tmp/evaluation-result-4100417-1466213484/solver-4100417-1466213484 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100417-1466213484.opb

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

MD5SUM BENCH= f1062f0a31768badc14bf5e03feddb4c
RANDOM SEED=1577029065

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30117948 kB
Buffers:           85292 kB
Cached:           115024 kB
SwapCached:         1916 kB
Active:          1177220 kB
Inactive:         105504 kB
Active(anon):    1082804 kB
Inactive(anon):     1572 kB
Active(file):      94416 kB
Inactive(file):   103932 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096988 kB
Dirty:             19492 kB
Writeback:             4 kB
AnonPages:       1818260 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             600056 kB
SReclaimable:      43904 kB
SUnreclaim:       556152 kB
KernelStack:        1488 kB
PageTables:         7328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1964384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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= 71676 MiB
End job on node112 at 2016-06-18 04:01:24