Trace number 4093100

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.45

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12027_7-unsat--soft-66-100-0.wbo
MD5SUM61b09c52aa606f2c067f4a84aa85b64f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark9191
Best CPU time to get the best result obtained on this benchmark197.384
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables27588
Total number of constraints91561
Number of soft constraints30956
Number of constraints which are clauses91109
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints452
Minimum length of a constraint1
Maximum length of a constraint66
Top cost 1560468
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1560467
Biggest number in a constraint 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 415
Number of bits of the biggest sum of numbers9
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-16T13:32:39+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093100-1466076759.wbo"]
0.00/0.01	c use --random-gen="2121005834 208219678 2856886349 1796584591 3746383071 1656806429 3609193393 2050344966 1460510670 2724083922 2469046241 2323902772 811433913 624038197 587585754 387214774 287462482 2497655890 4047448836 1396051966 304848200 223550990 535131544 29338402 2515376641 3582610583 2330101418 4167148082 1988954468 1230737248 1874877959 2064931522 3328377279 790000261 680246199 3082510427 4294713065 1895283913 2452123850 3138141645 2955540199 1429447724 226857046 331692519 4035350291 3988433423 520803825 1929143771 1024921698 154045382 573092724 891411003 587754668 1325438753 1345573622 198243852 1048853421 1583940698 4001704797 2786217024 1690080953 4019692948 986924706 3691336627 8215244 1417851273 1208910196 197932596 2650807267 1461516982 3232743303 3840529124 2192153038 1179266526 2715907196 316762949 466979390 768801527 502343745 1318555821 3752145760 1712564607 868138997 3108963235 1995396010 833675346 2460194525 4276413815 2720396936 2775736763 1573823965 2903172368 2356797517 1889882953 3315190418 1787225551 1189819390 100886723 1545761638 3734562878 2416540596 1420519612 1892232739 2087707485 2541302161 1475311729 2329636403 1432767511 3448890716 2857624691 2057202045 3835140139 2168033966 1819479776 1412806050 3933173557 3685302008 2493226738 231815008 3639762747 2716303022 424662989 2099704659 2296433266 247824665 2248290461 4048824657 3489329197 1852558263 2825923848 1145082164 1694527668 747576702 780691597 1348152903 2852054835 2122324427 684809003 199655273 2507224062 3793610178 4234559911 2664338855 1255961626 512321866 954264325 1141466313 452592360 4186944315 2116380434 1230949195 107161306 762060223 1265766600 1847345939 4287436752 2085334135 1755213198 2523537795 1786077676 2019538865 3341822640 3277367130 2201089265 1284521146 3313381266 4093178285 936375311 2216852072 1875848599 3575112626 3130438335 3816684843 2545528616 3132713455 2136725127 799183860 1845670252 3098261429 3498035649 1854980708 1407270491 824080982 2120168861 3500750648 2107233064 2027215153 2019138042 1734117338 3601274174 2898186554 2903541106 2373791171 60106976 4064284296 2782236850 2551227191 2578085399 2110975961 2406713982 3014923927 2072901767 1717288045 181129750 267532537 2740066017 353076557 2785533544 797109702 4143203806 3482454948 1218473866 3454027401 3787177507 1041312532 1166998579 1500651733 3731052927 3018326446 2498048420 1979547536 1038874256 2436124217 4051343044 925361088 2853842199 787435467 704165113 3672633757 568472951 1961917610 1676017006 693211082 3179552215 1758342532 676606327 1353063188 998531535 1906588925 1781765602 1920120127 3218825473 2660525117 211636471 977368743 1090103073 3511406573 2718281489 3038685458 141913652 3027854932 715141494 3003803475 1212617600 1246546287 3969156398 255 362436" option to reproduce the execution
9.49/9.51	c #vars 27588
9.49/9.51	c #constraints 91561
10.58/10.67	c BCD2: Hardening is enabled.
10.58/10.67	c BCD2: BiasedSearch is enabled.
10.58/10.67	c Solving starts ...
10.58/10.67	c ============================[ Search Statistics ]============================
10.58/10.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.58/10.67	c       |         |          |          |    Limit     GC | Var      | Constra 
10.58/10.67	c =============================================================================
10.58/10.67	c  0.0s |       0 |        0 |        0 |    39796      0 |    10728 |        0
10.88/10.97	c  0.3s |       1 |    22563 |      100 |    39796      0 |    10728 |    20317
10.99/11.10	c  0.4s |       1 |    53455 |      100 |    39796      0 |    10728 |    20317
10.99/11.10	c #cpu_time = 0.393s
10.99/11.10	c #wall_clock_time = 0.394s
10.99/11.10	c #decision = 53455
10.99/11.10	c #random_decision = 153
10.99/11.10	c #conflict = 100
10.99/11.10	c #restart = 1
11.09/11.11	o 17673
11.18/11.21	c BCD2: updating upper bound: 1568173 -> 25378
11.28/11.37	c BCD2: 0 <= obj <= 25378
11.28/11.38	c BCD2: #cores=0, #unrelaxed=30885, #relaxed=0, #hardened=0
11.28/11.38	c BCD2: #sat=1 #unsat=1 bias=1/2
11.28/11.39	c Solving starts ...
11.28/11.39	c ============================[ Search Statistics ]============================
11.28/11.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.28/11.39	c       |         |          |          |    Limit     GC | Var      | Constra 
11.28/11.39	c =============================================================================
11.28/11.39	c  0.0s |       0 |        0 |        0 |    39796      0 |    10728 |    20317
11.38/11.43	c  0.0s |       0 |        0 |        0 |    39796      0 |    10728 |    20317
11.38/11.43	c #cpu_time = 0.038s
11.38/11.43	c #wall_clock_time = 0.038s
11.38/11.43	c #decision = 0
11.38/11.43	c #random_decision = 0
11.38/11.43	c #conflict = 0
11.38/11.43	c #restart = 0
11.38/11.43	c BCD2: found a new core of size 1: cost of the new core is >=7706
11.38/11.43	c lower bound updated to 0
11.38/11.44	c BCD2: 7706 <= obj <= 25378
11.38/11.44	c BCD2: #cores=1, #unrelaxed=30884, #relaxed=1, #hardened=0
11.38/11.44	c BCD2: #sat=1 #unsat=2 bias=2/3
11.38/11.44	c Solving starts ...
11.38/11.44	c ============================[ Search Statistics ]============================
11.38/11.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.38/11.44	c       |         |          |          |    Limit     GC | Var      | Constra 
11.38/11.44	c =============================================================================
11.38/11.45	c  0.0s |       0 |        0 |        0 |    39796      0 |    10728 |    20317
11.68/11.72	c  0.3s |       1 |    30871 |      100 |    43776      0 |    10728 |    20317
11.98/12.08	c  0.6s |       2 |    61814 |      250 |    48154      0 |    10728 |    20317
12.58/12.65	c  1.2s |       3 |   117608 |      475 |    52970      0 |    10728 |    20317
13.38/13.49	c  2.0s |       4 |   148814 |      813 |    58268      0 |    10728 |    20317
14.58/14.63	c  3.2s |       5 |   180283 |     1320 |    64095      0 |    10728 |    20317
16.60/16.62	c  5.2s |       6 |   211988 |     2081 |    70505      0 |    10728 |    20317
18.59/18.68	c  7.2s |       6 |   243814 |     2881 |    70505      0 |    10728 |    20317
19.59/19.69	c  8.2s |       7 |   244232 |     3223 |    77556      0 |    10728 |    20317
21.69/21.77	c 10.3s |       7 |   275858 |     3923 |    77556      0 |    10728 |    20317
23.29/23.33	c 11.9s |       7 |   276332 |     4283 |    77556      0 |    10728 |    20317
23.29/23.33	c #cpu_time = 11.838s
23.29/23.33	c #wall_clock_time = 11.868s
23.29/23.33	c #decision = 276332
23.29/23.33	c #random_decision = 6
23.29/23.33	c #conflict = 4283
23.29/23.33	c #restart = 7
23.29/23.33	c BCD2: found a new core of size 1500: cost of the new core is >=1
23.29/23.33	c lower bound updated to 1
23.29/23.35	c BCD2: 7707 <= obj <= 25378
23.29/23.35	c BCD2: #cores=2, #unrelaxed=29384, #relaxed=1501, #hardened=0
23.29/23.35	c BCD2: #sat=1 #unsat=3 bias=3/4
23.29/23.35	c Solving starts ...
23.29/23.35	c ============================[ Search Statistics ]============================
23.29/23.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.29/23.35	c       |         |          |          |    Limit     GC | Var      | Constra 
23.29/23.35	c =============================================================================
23.29/23.35	c  0.0s |       0 |        0 |        0 |    77556      0 |    10728 |    20317
23.69/23.70	c  0.3s |       1 |    30539 |      100 |    77556      0 |    10728 |    20317
23.89/23.97	c  0.6s |       1 |    61988 |      124 |    77556      0 |    10728 |    20317
23.89/23.97	c #cpu_time = 0.571s
23.89/23.97	c #wall_clock_time = 0.572s
23.89/23.97	c #decision = 61988
23.89/23.97	c #random_decision = 0
23.89/23.97	c #conflict = 124
23.89/23.97	c #restart = 1
23.89/23.97	o 4100
23.99/24.01	c BCD2: updating upper bound: 25378 -> 11805
24.19/24.21	c BCD2: 7707 <= obj <= 11805
24.19/24.21	c BCD2: #cores=2, #unrelaxed=29384, #relaxed=1501, #hardened=0
24.19/24.21	c BCD2: #sat=2 #unsat=3 bias=3/5
24.19/24.23	c Solving starts ...
24.19/24.23	c ============================[ Search Statistics ]============================
24.19/24.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.19/24.23	c       |         |          |          |    Limit     GC | Var      | Constra 
24.19/24.23	c =============================================================================
24.19/24.23	c  0.0s |       0 |        0 |        0 |    77556      0 |    10728 |    20318
24.49/24.53	c  0.3s |       1 |    30066 |      100 |    77556      0 |    10728 |    20318
25.19/25.28	c  1.0s |       2 |    59650 |      250 |    77556      0 |    10728 |    20318
26.69/26.71	c  2.5s |       3 |    89363 |      475 |    85312      0 |    10728 |    20318
28.78/28.80	c  4.6s |       4 |   119174 |      813 |    85312      0 |    10728 |    20318
30.89/30.95	c  6.7s |       4 |   148920 |     1113 |    85312      0 |    10728 |    20318
32.28/32.31	c  8.1s |       5 |   149201 |     1320 |    85312      0 |    10728 |    20318
34.58/34.67	c 10.4s |       5 |   178985 |     1620 |    85312      0 |    10728 |    20318
36.68/36.75	c 12.5s |       5 |   179446 |     1920 |    85312      0 |    10728 |    20318
37.49/37.55	c 13.3s |       6 |   179677 |     2081 |    85312      0 |    10728 |    20318
39.69/39.72	c 15.5s |       6 |   209388 |     2381 |    85312      0 |    10728 |    20318
41.68/41.78	c 17.6s |       6 |   209767 |     2681 |    85312      0 |    10728 |    20318
44.28/44.37	c 20.1s |       6 |   210260 |     3081 |    93844      0 |    10728 |    20318
45.38/45.43	c 21.2s |       7 |   210450 |     3223 |    93844      0 |    10728 |    20318
47.98/48.04	c 23.8s |       7 |   240203 |     3523 |    93844      0 |    10728 |    20318
50.28/50.32	c 26.1s |       7 |   240559 |     3823 |    93844      0 |    10728 |    20318
52.89/52.95	c 28.7s |       7 |   240955 |     4123 |    93844      0 |    10728 |    20318
55.28/55.33	c 31.1s |       7 |   241343 |     4423 |    93844      0 |    10728 |    20318
57.88/57.96	c 33.7s |       7 |   241771 |     4723 |    93844      0 |    10728 |    20318
59.58/59.65	c 35.4s |       8 |   242059 |     4936 |    93844      0 |    10728 |    20318
61.78/61.84	c 37.6s |       8 |   271770 |     5236 |    93844      0 |    10728 |    20318
64.58/64.61	c 40.4s |       8 |   272313 |     5636 |    93844      0 |    10728 |    20318
66.88/66.95	c 42.7s |       8 |   272729 |     5936 |    93844      0 |    10728 |    20318
69.39/69.42	c 45.2s |       8 |   273072 |     6236 |    93844      0 |    10728 |    20318
71.98/72.03	c 47.8s |       8 |   273447 |     6536 |    93844      0 |    10728 |    20318
74.68/74.75	c 50.5s |       8 |   273840 |     6836 |   103229      0 |    10728 |    20318
77.48/77.58	c 53.3s |       8 |   274236 |     7136 |   103229      0 |    10728 |    20318
80.18/80.29	c 56.1s |       8 |   274615 |     7436 |   103229      0 |    10728 |    20318
80.98/81.03	c 56.8s |       9 |   274697 |     7506 |   103229      0 |    10728 |    20318
83.38/83.41	c 59.2s |       9 |   304268 |     7706 |   103229      0 |    10728 |    20318
85.88/85.98	c 61.7s |       9 |   304500 |     7906 |   103229      0 |    10728 |    20318
89.18/89.21	c 65.0s |       9 |   304717 |     8106 |   103229      0 |    10728 |    20318
92.57/92.65	c 68.4s |       9 |   304940 |     8306 |   103229      0 |    10728 |    20318
94.97/95.01	c 70.8s |       9 |   305169 |     8506 |   103229      0 |    10728 |    20318
97.67/97.73	c 73.5s |       9 |   305553 |     8806 |   103229      0 |    10728 |    20318
99.97/100.00	c 75.8s |       9 |   305804 |     9006 |   103229      0 |    10728 |    20318
103.07/103.10	c 78.9s |       9 |   306181 |     9306 |   103229      0 |    10728 |    20318
105.17/105.21	c 81.0s |       9 |   306421 |     9506 |   103229      0 |    10728 |    20318
107.27/107.30	c 83.1s |       9 |   306728 |     9706 |   103229      0 |    10728 |    20318
109.57/109.65	c 85.4s |       9 |   306978 |     9906 |   103229      0 |    10728 |    20318
111.57/111.69	c 87.5s |       9 |   307242 |    10106 |   103229      0 |    10728 |    20318
113.67/113.78	c 89.6s |       9 |   307469 |    10306 |   103229      0 |    10728 |    20318
116.47/116.57	c 92.3s |       9 |   307848 |    10606 |   103229      0 |    10728 |    20318
119.07/119.15	c 94.9s |       9 |   308204 |    10906 |   103229      0 |    10728 |    20318
121.27/121.36	c 97.1s |       9 |   308418 |    11106 |   103229      0 |    10728 |    20318
123.37/123.48	c 99.2s |       9 |   308654 |    11306 |   103229      0 |    10728 |    20318
123.97/124.08	c 99.8s |      10 |   308714 |    11361 |   103229      0 |    10728 |    20318
126.37/126.43	c  102s |      10 |   338294 |    11561 |   103229      0 |    10728 |    20318
128.87/128.94	c  104s |      10 |   338715 |    11861 |   103229      0 |    10728 |    20318
131.07/131.14	c  106s |      10 |   338956 |    12061 |   103229      0 |    10728 |    20318
134.07/134.10	c  109s |      10 |   339175 |    12261 |   103229      0 |    10728 |    20318
136.97/137.04	c  112s |      10 |   339424 |    12461 |   103229      0 |    10728 |    20318
140.37/140.41	c  116s |      10 |   339676 |    12661 |   113552      0 |    10728 |    20318
142.47/142.58	c  118s |      10 |   339915 |    12861 |   113552      0 |    10728 |    20318
144.57/144.67	c  120s |      10 |   340161 |    13061 |   113552      0 |    10728 |    20318
147.87/147.91	c  123s |      10 |   340434 |    13261 |   113552      0 |    10728 |    20318
150.07/150.14	c  125s |      10 |   340694 |    13461 |   113552      0 |    10728 |    20318
152.06/152.16	c  127s |      10 |   340946 |    13661 |   113552      0 |    10728 |    20318
154.56/154.66	c  130s |      10 |   341353 |    13961 |   113552      0 |    10728 |    20318
156.66/156.72	c  132s |      10 |   341577 |    14161 |   113552      0 |    10728 |    20318
159.16/159.24	c  135s |      10 |   341835 |    14361 |   113552      0 |    10728 |    20318
161.46/161.55	c  137s |      10 |   342089 |    14561 |   113552      0 |    10728 |    20318
163.76/163.86	c  139s |      10 |   342335 |    14761 |   113552      0 |    10728 |    20318
166.07/166.18	c  141s |      10 |   342575 |    14961 |   113552      0 |    10728 |    20318
168.76/168.89	c  144s |      10 |   342800 |    15161 |   113552      0 |    10728 |    20318
171.26/171.40	c  147s |      10 |   343047 |    15361 |   113552      0 |    10728 |    20318
173.87/173.93	c  149s |      10 |   343284 |    15561 |   113552      0 |    10728 |    20318
176.66/176.72	c  152s |      10 |   343676 |    15861 |   113552      0 |    10728 |    20318
179.76/179.85	c  155s |      10 |   344035 |    16161 |   113552      0 |    10728 |    20318
181.86/181.97	c  157s |      10 |   344305 |    16361 |   113552      0 |    10728 |    20318
184.66/184.70	c  160s |      10 |   344665 |    16661 |   113552      0 |    10728 |    20318
186.86/186.96	c  162s |      10 |   344914 |    16861 |   113552      0 |    10728 |    20318
188.86/189.00	c  164s |      10 |   345182 |    17061 |   113552      0 |    10728 |    20318
189.76/189.86	c  165s |      11 |   345294 |    17144 |   113552      0 |    10728 |    20318
192.47/192.57	c  168s |      11 |   374911 |    17344 |   113552      0 |    10728 |    20318
194.86/194.95	c  170s |      11 |   375174 |    17544 |   113552      0 |    10728 |    20318
197.46/197.54	c  173s |      11 |   375415 |    17744 |   113552      0 |    10728 |    20318
200.06/200.16	c  175s |      11 |   375670 |    17944 |   113552      0 |    10728 |    20318
202.76/202.82	c  178s |      11 |   376085 |    18244 |   113552      0 |    10728 |    20318
205.56/205.66	c  181s |      11 |   376489 |    18544 |   113552      0 |    10728 |    20318
208.56/208.62	c  184s |      11 |   376871 |    18844 |   113552      0 |    10728 |    20318
210.56/210.67	c  186s |      11 |   377121 |    19044 |   113552      0 |    10728 |    20318
213.16/213.20	c  188s |      11 |   377526 |    19344 |   113552      0 |    10728 |    20318
215.66/215.74	c  191s |      11 |   377900 |    19644 |   113552      0 |    10728 |    20318
218.15/218.28	c  194s |      11 |   378260 |    19944 |   113552      0 |    10728 |    20318
220.15/220.29	c  196s |      11 |   378494 |    20144 |   113552      0 |    10728 |    20318
222.95/223.05	c  198s |      11 |   378872 |    20444 |   113552      0 |    10728 |    20318
224.95/225.07	c  200s |      11 |   379142 |    20644 |   113552      0 |    10728 |    20318
226.95/227.08	c  202s |      11 |   379379 |    20844 |   113552      0 |    10728 |    20318
229.25/229.32	c  205s |      11 |   379608 |    21044 |   113552      0 |    10728 |    20318
231.55/231.69	c  207s |      11 |   379849 |    21244 |   124908      0 |    10728 |    20318
233.75/233.80	c  209s |      11 |   380112 |    21444 |   124908      0 |    10728 |    20318
236.46/236.56	c  212s |      11 |   380482 |    21744 |   124908      0 |    10728 |    20318
239.45/239.56	c  215s |      11 |   380702 |    21944 |   124908      0 |    10728 |    20318
241.55/241.65	c  217s |      11 |   380944 |    22144 |   124908      0 |    10728 |    20318
244.55/244.65	c  220s |      11 |   381320 |    22444 |   124908      0 |    10728 |    20318
247.65/247.71	c  223s |      11 |   381612 |    22644 |   124908      0 |    10728 |    20318
250.35/250.44	c  226s |      11 |   381982 |    22944 |   124908      0 |    10728 |    20318
253.06/253.16	c  228s |      11 |   382349 |    23244 |   124908      0 |    10728 |    20318
255.05/255.19	c  230s |      11 |   382605 |    23444 |   124908      0 |    10728 |    20318
257.35/257.42	c  233s |      11 |   382866 |    23644 |   124908      0 |    10728 |    20318
259.85/259.96	c  235s |      11 |   383149 |    23844 |   124908      0 |    10728 |    20318
261.95/262.07	c  237s |      11 |   383412 |    24044 |   124908      0 |    10728 |    20318
264.25/264.37	c  240s |      11 |   383679 |    24244 |   124908      0 |    10728 |    20318
266.55/266.63	c  242s |      11 |   383922 |    24444 |   124908      0 |    10728 |    20318
268.55/268.63	c  244s |      11 |   384201 |    24644 |   124908      0 |    10728 |    20318
270.84/270.92	c  246s |      11 |   384473 |    24844 |   124908      0 |    10728 |    20318
273.34/273.43	c  249s |      11 |   384715 |    25044 |   124908      0 |    10728 |    20318
275.34/275.50	c  251s |      11 |   384961 |    25244 |   124908      0 |    10728 |    20318
278.04/278.17	c  253s |      11 |   385327 |    25544 |   124908      0 |    10728 |    20318
280.74/280.80	c  256s |      12 |   385673 |    25819 |   124908      0 |    10728 |    20318
282.94/283.03	c  258s |      12 |   415280 |    26019 |   124908      0 |    10728 |    20318
285.74/285.86	c  261s |      12 |   415675 |    26319 |   124908      0 |    10728 |    20318
287.95/288.00	c  263s |      12 |   415927 |    26519 |   124908      0 |    10728 |    20318
290.25/290.39	c  266s |      12 |   416172 |    26719 |   124908      0 |    10728 |    20318
292.45/292.51	c  268s |      12 |   416408 |    26919 |   124908      0 |    10728 |    20318
294.86/294.92	c  270s |      12 |   416675 |    27119 |   124908      0 |    10728 |    20318
296.85/296.95	c  272s |      12 |   416929 |    27319 |   124908      0 |    10728 |    20318
300.15/300.23	c  276s |      12 |   417305 |    27619 |   124908      0 |    10728 |    20318
303.05/303.16	c  278s |      12 |   417699 |    27919 |   124908      0 |    10728 |    20318
305.35/305.44	c  281s |      12 |   417926 |    28119 |   124908      0 |    10728 |    20318
307.44/307.59	c  283s |      12 |   418198 |    28319 |   124908      0 |    10728 |    20318
310.04/310.12	c  285s |      12 |   418429 |    28519 |   124908      0 |    10728 |    20318
312.94/313.03	c  288s |      12 |   418667 |    28719 |   124908      0 |    10728 |    20318
315.24/315.37	c  291s |      12 |   418928 |    28919 |   124908      0 |    10728 |    20318
317.54/317.69	c  293s |      12 |   419157 |    29119 |   124908      0 |    10728 |    20318
319.74/319.84	c  295s |      12 |   419385 |    29319 |   124908      0 |    10728 |    20318
322.74/322.86	c  298s |      12 |   419620 |    29519 |   124908      0 |    10728 |    20318
325.34/325.41	c  301s |      12 |   419874 |    29719 |   124908      0 |    10728 |    20318
328.44/328.51	c  304s |      12 |   420117 |    29919 |   124908      0 |    10728 |    20318
330.44/330.52	c  306s |      12 |   420382 |    30119 |   124908      0 |    10728 |    20318
333.35/333.41	c  309s |      12 |   420814 |    30419 |   124908      0 |    10728 |    20318
335.94/336.01	c  311s |      12 |   421210 |    30719 |   124908      0 |    10728 |    20318
338.64/338.77	c  314s |      12 |   421603 |    31019 |   124908      0 |    10728 |    20318
341.05/341.11	c  316s |      12 |   421843 |    31219 |   124908      0 |    10728 |    20318
343.24/343.32	c  319s |      12 |   422122 |    31419 |   124908      0 |    10728 |    20318
345.94/346.00	c  321s |      12 |   422539 |    31719 |   124908      0 |    10728 |    20318
348.14/348.20	c  323s |      12 |   422794 |    31919 |   124908      0 |    10728 |    20318
350.14/350.22	c  325s |      12 |   423051 |    32119 |   124908      0 |    10728 |    20318
352.14/352.28	c  328s |      12 |   423300 |    32319 |   124908      0 |    10728 |    20318
355.34/355.44	c  331s |      12 |   423724 |    32619 |   124908      0 |    10728 |    20318
357.54/357.64	c  333s |      12 |   423966 |    32819 |   124908      0 |    10728 |    20318
360.04/360.11	c  335s |      12 |   424211 |    33019 |   124908      0 |    10728 |    20318
362.23/362.39	c  338s |      12 |   424471 |    33219 |   124908      0 |    10728 |    20318
364.53/364.65	c  340s |      12 |   424711 |    33419 |   124908      0 |    10728 |    20318
366.63/366.72	c  342s |      12 |   425033 |    33619 |   124908      0 |    10728 |    20318
368.83/368.97	c  344s |      12 |   425269 |    33819 |   124908      0 |    10728 |    20318
371.93/372.02	c  347s |      12 |   425660 |    34119 |   137399      0 |    10728 |    20318
375.14/375.28	c  351s |      12 |   426017 |    34419 |   137399      0 |    10728 |    20318
377.93/378.02	c  353s |      12 |   426258 |    34619 |   137399      0 |    10728 |    20318
380.54/380.62	c  356s |      12 |   426530 |    34819 |   137399      0 |    10728 |    20318
382.84/382.91	c  358s |      12 |   426788 |    35019 |   137399      0 |    10728 |    20318
385.04/385.15	c  360s |      12 |   427087 |    35219 |   137399      0 |    10728 |    20318
387.53/387.69	c  363s |      12 |   427353 |    35419 |   137399      0 |    10728 |    20318
390.23/390.33	c  366s |      12 |   427608 |    35619 |   137399      0 |    10728 |    20318
392.74/392.85	c  368s |      12 |   427836 |    35819 |   137399      0 |    10728 |    20318
395.13/395.21	c  370s |      12 |   428091 |    36019 |   137399      0 |    10728 |    20318
397.53/397.66	c  373s |      12 |   428331 |    36219 |   137399      0 |    10728 |    20318
399.83/399.90	c  375s |      12 |   428566 |    36419 |   137399      0 |    10728 |    20318
402.03/402.10	c  377s |      12 |   428822 |    36619 |   137399      0 |    10728 |    20318
404.33/404.48	c  380s |      12 |   429072 |    36819 |   137399      0 |    10728 |    20318
406.83/406.97	c  382s |      12 |   429308 |    37019 |   137399      0 |    10728 |    20318
409.63/409.77	c  385s |      12 |   429545 |    37219 |   137399      0 |    10728 |    20318
412.43/412.56	c  388s |      12 |   429794 |    37419 |   137399      0 |    10728 |    20318
415.02/415.16	c  390s |      12 |   430025 |    37619 |   137399      0 |    10728 |    20318
417.62/417.75	c  393s |      12 |   430295 |    37819 |   137399      0 |    10728 |    20318
420.02/420.13	c  395s |      12 |   430526 |    38019 |   137399      0 |    10728 |    20318
422.72/422.83	c  398s |      12 |   430796 |    38219 |   137399      0 |    10728 |    20318
425.12/425.23	c  401s |      12 |   431042 |    38419 |   137399      0 |    10728 |    20318
427.62/427.71	c  403s |      12 |   431311 |    38619 |   137399      0 |    10728 |    20318
430.03/430.14	c  405s |      12 |   431564 |    38819 |   137399      0 |    10728 |    20318
430.22/430.30	c  406s |      13 |   431587 |    38832 |   137399      0 |    10728 |    20318
433.52/433.62	c  409s |      13 |   461177 |    39032 |   137399      0 |    10728 |    20318
436.22/436.31	c  412s |      13 |   461410 |    39232 |   137399      0 |    10728 |    20318
438.62/438.76	c  414s |      13 |   461640 |    39432 |   137399      0 |    10728 |    20318
441.13/441.27	c  417s |      13 |   461881 |    39632 |   137399      0 |    10728 |    20318
444.02/444.10	c  419s |      13 |   462117 |    39832 |   137399      0 |    10728 |    20318
446.92/447.03	c  422s |      13 |   462361 |    40032 |   137399      0 |    10728 |    20318
449.72/449.85	c  425s |      13 |   462625 |    40232 |   137399      0 |    10728 |    20318
453.32/453.48	c  429s |      13 |   462843 |    40432 |   137399      0 |    10728 |    20318
456.32/456.46	c  432s |      13 |   463094 |    40632 |   137399      0 |    10728 |    20318
459.22/459.33	c  435s |      13 |   463347 |    40832 |   137399      0 |    10728 |    20318
461.32/461.43	c  437s |      13 |   463585 |    41032 |   137399      0 |    10728 |    20318
463.72/463.88	c  439s |      13 |   463846 |    41232 |   137399      0 |    10728 |    20318
466.42/466.59	c  442s |      13 |   464076 |    41432 |   137399      0 |    10728 |    20318
469.22/469.30	c  445s |      13 |   464314 |    41632 |   137399      0 |    10728 |    20318
471.62/471.75	c  447s |      13 |   464551 |    41832 |   137399      0 |    10728 |    20318
474.31/474.41	c  450s |      13 |   464797 |    42032 |   137399      0 |    10728 |    20318
477.32/477.48	c  453s |      13 |   465037 |    42232 |   137399      0 |    10728 |    20318
480.01/480.18	c  455s |      13 |   465283 |    42432 |   137399      0 |    10728 |    20318
482.21/482.30	c  458s |      13 |   465416 |    42532 |   137399      0 |    10728 |    20318
484.31/484.49	c  460s |      13 |   465532 |    42632 |   137399      0 |    10728 |    20318
487.32/487.41	c  463s |      13 |   465774 |    42832 |   137399      0 |    10728 |    20318
490.01/490.10	c  465s |      13 |   466026 |    43032 |   137399      0 |    10728 |    20318
492.31/492.45	c  468s |      13 |   466275 |    43232 |   137399      0 |    10728 |    20318
494.41/494.53	c  470s |      13 |   466522 |    43432 |   137399      0 |    10728 |    20318
496.61/496.71	c  472s |      13 |   466762 |    43632 |   137399      0 |    10728 |    20318
499.11/499.28	c  475s |      13 |   467007 |    43832 |   137399      0 |    10728 |    20318
502.21/502.37	c  478s |      13 |   467266 |    44032 |   137399      0 |    10728 |    20318
505.21/505.35	c  481s |      13 |   467483 |    44232 |   137399      0 |    10728 |    20318
508.01/508.10	c  483s |      13 |   467738 |    44432 |   137399      0 |    10728 |    20318
511.11/511.28	c  487s |      13 |   467960 |    44632 |   137399      0 |    10728 |    20318
514.62/514.75	c  490s |      13 |   468184 |    44832 |   137399      0 |    10728 |    20318
518.02/518.18	c  493s |      13 |   468413 |    45032 |   137399      0 |    10728 |    20318
521.51/521.65	c  497s |      13 |   468637 |    45232 |   137399      0 |    10728 |    20318
524.91/525.03	c  500s |      13 |   468867 |    45432 |   137399      0 |    10728 |    20318
528.11/528.21	c  503s |      13 |   469075 |    45632 |   137399      0 |    10728 |    20318
530.91/531.04	c  506s |      13 |   469328 |    45832 |   137399      0 |    10728 |    20318
534.41/534.50	c  510s |      13 |   469572 |    46032 |   137399      0 |    10728 |    20318
538.01/538.16	c  513s |      13 |   469798 |    46232 |   137399      0 |    10728 |    20318
540.11/540.28	c  516s |      13 |   469896 |    46332 |   137399      0 |    10728 |    20318
543.91/544.04	c  519s |      13 |   470138 |    46532 |   137399      0 |    10728 |    20318
547.21/547.40	c  523s |      13 |   470363 |    46732 |   137399      0 |    10728 |    20318
550.11/550.20	c  525s |      13 |   470628 |    46932 |   137399      0 |    10728 |    20318
552.71/552.85	c  528s |      13 |   470891 |    47132 |   137399      0 |    10728 |    20318
555.51/555.69	c  531s |      13 |   471129 |    47332 |   137399      0 |    10728 |    20318
558.90/559.00	c  534s |      13 |   471368 |    47532 |   137399      0 |    10728 |    20318
562.31/562.46	c  538s |      13 |   471607 |    47732 |   137399      0 |    10728 |    20318
565.51/565.66	c  541s |      13 |   471829 |    47932 |   137399      0 |    10728 |    20318
568.41/568.55	c  544s |      13 |   472055 |    48132 |   137399      0 |    10728 |    20318
571.11/571.25	c  547s |      13 |   472302 |    48332 |   137399      0 |    10728 |    20318
573.51/573.64	c  549s |      13 |   472570 |    48532 |   137399      0 |    10728 |    20318
576.41/576.58	c  552s |      13 |   472824 |    48732 |   137399      0 |    10728 |    20318
579.21/579.35	c  555s |      13 |   473049 |    48932 |   137399      0 |    10728 |    20318
582.00/582.16	c  557s |      13 |   473295 |    49132 |   137399      0 |    10728 |    20318
585.21/585.36	c  561s |      13 |   473552 |    49332 |   137399      0 |    10728 |    20318
587.90/588.08	c  563s |      13 |   473790 |    49532 |   137399      0 |    10728 |    20318
590.40/590.52	c  566s |      13 |   474041 |    49732 |   137399      0 |    10728 |    20318
593.30/593.46	c  569s |      13 |   474278 |    49932 |   137399      0 |    10728 |    20318
596.40/596.54	c  572s |      13 |   474531 |    50132 |   137399      0 |    10728 |    20318
599.20/599.35	c  575s |      13 |   474780 |    50332 |   137399      0 |    10728 |    20318
602.71/602.89	c  578s |      13 |   475026 |    50532 |   137399      0 |    10728 |    20318
605.80/605.95	c  581s |      13 |   475261 |    50732 |   137399      0 |    10728 |    20318
609.41/609.59	c  585s |      13 |   475494 |    50932 |   137399      0 |    10728 |    20318
611.51/611.63	c  587s |      13 |   475632 |    51032 |   137399      0 |    10728 |    20318
613.50/613.69	c  589s |      13 |   475746 |    51132 |   137399      0 |    10728 |    20318
616.40/616.55	c  592s |      13 |   476010 |    51332 |   137399      0 |    10728 |    20318
619.90/620.00	c  595s |      13 |   476296 |    51532 |   137399      0 |    10728 |    20318
623.00/623.11	c  598s |      13 |   476549 |    51732 |   137399      0 |    10728 |    20318
626.40/626.57	c  602s |      13 |   476792 |    51932 |   137399      0 |    10728 |    20318
629.20/629.39	c  605s |      13 |   477023 |    52132 |   137399      0 |    10728 |    20318
632.09/632.24	c  608s |      13 |   477285 |    52332 |   137399      0 |    10728 |    20318
634.99/635.17	c  610s |      13 |   477527 |    52532 |   137399      0 |    10728 |    20318
638.09/638.29	c  614s |      13 |   477778 |    52732 |   137399      0 |    10728 |    20318
641.30/641.42	c  617s |      13 |   478033 |    52932 |   137399      0 |    10728 |    20318
644.60/644.77	c  620s |      13 |   478270 |    53132 |   137399      0 |    10728 |    20318
646.59/646.80	c  622s |      13 |   478379 |    53232 |   137399      0 |    10728 |    20318
650.19/650.34	c  626s |      13 |   478609 |    53432 |   137399      0 |    10728 |    20318
653.79/653.93	c  629s |      13 |   478851 |    53632 |   151139      0 |    10728 |    20318
655.89/656.01	c  631s |      13 |   478967 |    53732 |   151139      0 |    10728 |    20318
657.99/658.17	c  633s |      13 |   479087 |    53832 |   151139      0 |    10728 |    20318
661.79/661.98	c  637s |      13 |   479321 |    54032 |   151139      0 |    10728 |    20318
665.40/665.57	c  641s |      13 |   479578 |    54232 |   151139      0 |    10728 |    20318
669.09/669.24	c  645s |      13 |   479804 |    54432 |   151139      0 |    10728 |    20318
672.49/672.60	c  648s |      13 |   480047 |    54632 |   151139      0 |    10728 |    20318
674.69/674.88	c  650s |      13 |   480166 |    54732 |   151139      0 |    10728 |    20318
677.69/677.81	c  653s |      13 |   480421 |    54932 |   151139      0 |    10728 |    20318
681.19/681.32	c  657s |      13 |   480675 |    55132 |   151139      0 |    10728 |    20318
684.68/684.81	c  660s |      13 |   480905 |    55332 |   151139      0 |    10728 |    20318
687.18/687.35	c  663s |      13 |   481161 |    55532 |   151139      0 |    10728 |    20318
690.18/690.37	c  666s |      13 |   481429 |    55732 |   151139      0 |    10728 |    20318
692.89/693.06	c  668s |      13 |   481666 |    55932 |   151139      0 |    10728 |    20318
695.88/696.05	c  671s |      13 |   481926 |    56132 |   151139      0 |    10728 |    20318
698.88/699.09	c  674s |      13 |   482164 |    56332 |   151139      0 |    10728 |    20318
701.88/702.06	c  677s |      13 |   482388 |    56532 |   151139      0 |    10728 |    20318
704.68/704.87	c  680s |      13 |   482635 |    56732 |   151139      0 |    10728 |    20318
707.98/708.12	c  683s |      13 |   482889 |    56932 |   151139      0 |    10728 |    20318
711.38/711.52	c  687s |      13 |   483115 |    57132 |   151139      0 |    10728 |    20318
714.68/714.84	c  690s |      13 |   483336 |    57332 |   151139      0 |    10728 |    20318
717.68/717.89	c  693s |      13 |   483604 |    57532 |   151139      0 |    10728 |    20318
721.38/721.51	c  697s |      13 |   483842 |    57732 |   151139      0 |    10728 |    20318
724.98/725.16	c  700s |      13 |   484081 |    57932 |   151139      0 |    10728 |    20318
728.68/728.89	c  704s |      13 |   484348 |    58132 |   151139      0 |    10728 |    20318
732.18/732.31	c  708s |      13 |   484590 |    58332 |   151139      0 |    10728 |    20318
732.48/732.62	c  708s |      14 |   484639 |    58352 |   151139      0 |    10728 |    20318
735.28/735.47	c  711s |      14 |   514116 |    58452 |   151139      0 |    10728 |    20318
738.97/739.18	c  714s |      14 |   514376 |    58652 |   151139      0 |    10728 |    20318
742.38/742.57	c  718s |      14 |   514614 |    58852 |   151139      0 |    10728 |    20318
746.07/746.28	c  722s |      14 |   514853 |    59052 |   151139      0 |    10728 |    20318
749.57/749.76	c  725s |      14 |   515110 |    59252 |   151139      0 |    10728 |    20318
752.77/752.93	c  728s |      14 |   515368 |    59452 |   151139      0 |    10728 |    20318
756.87/757.01	c  732s |      14 |   515601 |    59652 |   151139      0 |    10728 |    20318
760.08/760.28	c  736s |      14 |   515845 |    59852 |   151139      0 |    10728 |    20318
763.57/763.76	c  739s |      14 |   516090 |    60052 |   151139      0 |    10728 |    20318
767.07/767.23	c  742s |      14 |   516323 |    60252 |   151139      0 |    10728 |    20318
770.57/770.79	c  746s |      14 |   516563 |    60452 |   151139      0 |    10728 |    20318
773.87/774.05	c  749s |      14 |   516822 |    60652 |   151139      0 |    10728 |    20318
777.88/778.03	c  753s |      14 |   517054 |    60852 |   151139      0 |    10728 |    20318
781.28/781.43	c  757s |      14 |   517292 |    61052 |   151139      0 |    10728 |    20318
784.67/784.83	c  760s |      14 |   517565 |    61252 |   151139      0 |    10728 |    20318
788.37/788.54	c  764s |      14 |   517807 |    61452 |   151139      0 |    10728 |    20318
791.88/792.05	c  767s |      14 |   518055 |    61652 |   151139      0 |    10728 |    20318
795.37/795.55	c  771s |      14 |   518306 |    61852 |   151139      0 |    10728 |    20318
797.77/797.92	c  773s |      14 |   518421 |    61952 |   151139      0 |    10728 |    20318
801.37/801.50	c  777s |      14 |   518648 |    62152 |   151139      0 |    10728 |    20318
804.37/804.59	c  780s |      14 |   518961 |    62352 |   151139      0 |    10728 |    20318
808.17/808.39	c  784s |      14 |   519198 |    62552 |   151139      0 |    10728 |    20318
811.47/811.64	c  787s |      14 |   519467 |    62752 |   151139      0 |    10728 |    20318
813.57/813.71	c  789s |      14 |   519586 |    62852 |   151139      0 |    10728 |    20318
816.47/816.69	c  792s |      14 |   519840 |    63052 |   151139      0 |    10728 |    20318
819.27/819.47	c  795s |      14 |   520242 |    63252 |   151139      0 |    10728 |    20318
821.87/822.08	c  797s |      14 |   520591 |    63452 |   151139      0 |    10728 |    20318
824.87/825.00	c  800s |      14 |   520851 |    63652 |   151139      0 |    10728 |    20318
827.57/827.79	c  803s |      14 |   521154 |    63852 |   151139      0 |    10728 |    20318
830.47/830.68	c  806s |      14 |   521446 |    64052 |   151139      0 |    10728 |    20318
833.37/833.55	c  809s |      14 |   521677 |    64252 |   151139      0 |    10728 |    20318
836.97/837.10	c  812s |      14 |   521941 |    64452 |   151139      0 |    10728 |    20318
840.16/840.36	c  816s |      14 |   522198 |    64652 |   151139      0 |    10728 |    20318
843.36/843.58	c  819s |      14 |   522480 |    64852 |   151139      0 |    10728 |    20318
846.56/846.71	c  822s |      14 |   522725 |    65052 |   151139      0 |    10728 |    20318
850.17/850.40	c  826s |      14 |   522959 |    65252 |   151139      0 |    10728 |    20318
853.96/854.16	c  829s |      14 |   523199 |    65452 |   151139      0 |    10728 |    20318
857.56/857.70	c  833s |      14 |   523427 |    65652 |   151139      0 |    10728 |    20318
860.66/860.84	c  836s |      14 |   523716 |    65852 |   151139      0 |    10728 |    20318
864.36/864.56	c  840s |      14 |   523969 |    66052 |   151139      0 |    10728 |    20318
867.96/868.13	c  843s |      14 |   524215 |    66252 |   151139      0 |    10728 |    20318
869.96/870.19	c  845s |      14 |   524337 |    66352 |   151139      0 |    10728 |    20318
874.16/874.30	c  850s |      14 |   524584 |    66552 |   151139      0 |    10728 |    20318
877.55/877.78	c  853s |      14 |   524842 |    66752 |   151139      0 |    10728 |    20318
879.96/880.19	c  855s |      14 |   524971 |    66852 |   151139      0 |    10728 |    20318
883.26/883.46	c  859s |      14 |   525233 |    67052 |   151139      0 |    10728 |    20318
887.15/887.38	c  863s |      14 |   525461 |    67252 |   151139      0 |    10728 |    20318
890.86/891.09	c  866s |      14 |   525710 |    67452 |   151139      0 |    10728 |    20318
893.75/893.90	c  869s |      14 |   525972 |    67652 |   151139      0 |    10728 |    20318
896.85/897.07	c  872s |      14 |   526228 |    67852 |   151139      0 |    10728 |    20318
900.36/900.57	c  876s |      14 |   526487 |    68052 |   151139      0 |    10728 |    20318
904.06/904.28	c  880s |      14 |   526738 |    68252 |   151139      0 |    10728 |    20318
907.66/907.84	c  883s |      14 |   526952 |    68452 |   151139      0 |    10728 |    20318
909.66/909.87	c  885s |      14 |   527068 |    68552 |   151139      0 |    10728 |    20318
911.66/911.90	c  887s |      14 |   527182 |    68652 |   151139      0 |    10728 |    20318
914.95/915.19	c  890s |      14 |   527417 |    68852 |   151139      0 |    10728 |    20318
919.25/919.41	c  895s |      14 |   527628 |    69052 |   151139      0 |    10728 |    20318
921.45/921.63	c  897s |      14 |   527761 |    69152 |   151139      0 |    10728 |    20318
923.75/923.91	c  899s |      14 |   527875 |    69252 |   151139      0 |    10728 |    20318
926.06/926.21	c  901s |      14 |   527995 |    69352 |   151139      0 |    10728 |    20318
929.85/930.00	c  905s |      14 |   528244 |    69552 |   151139      0 |    10728 |    20318
933.86/934.05	c  909s |      14 |   528474 |    69752 |   151139      0 |    10728 |    20318
937.85/938.06	c  913s |      14 |   528703 |    69952 |   151139      0 |    10728 |    20318
941.25/941.47	c  917s |      14 |   528960 |    70152 |   151139      0 |    10728 |    20318
944.65/944.85	c  920s |      14 |   529244 |    70352 |   151139      0 |    10728 |    20318
948.45/948.69	c  924s |      14 |   529491 |    70552 |   151139      0 |    10728 |    20318
950.55/950.77	c  926s |      14 |   529623 |    70652 |   151139      0 |    10728 |    20318
954.45/954.60	c  930s |      14 |   529891 |    70852 |   151139      0 |    10728 |    20318
957.45/957.60	c  933s |      14 |   530138 |    71052 |   151139      0 |    10728 |    20318
961.54/961.73	c  937s |      14 |   530384 |    71252 |   151139      0 |    10728 |    20318
963.74/963.96	c  939s |      14 |   530511 |    71352 |   151139      0 |    10728 |    20318
967.85/968.05	c  943s |      14 |   530765 |    71552 |   151139      0 |    10728 |    20318
969.94/970.17	c  945s |      14 |   530900 |    71652 |   151139      0 |    10728 |    20318
974.04/974.21	c  949s |      14 |   531136 |    71852 |   151139      0 |    10728 |    20318
976.14/976.34	c  952s |      14 |   531248 |    71952 |   151139      0 |    10728 |    20318
978.44/978.62	c  954s |      14 |   531366 |    72052 |   151139      0 |    10728 |    20318
980.54/980.71	c  956s |      14 |   531482 |    72152 |   151139      0 |    10728 |    20318
984.24/984.46	c  960s |      14 |   531724 |    72352 |   151139      0 |    10728 |    20318
987.44/987.68	c  963s |      14 |   531973 |    72552 |   151139      0 |    10728 |    20318
990.34/990.58	c  966s |      14 |   532225 |    72752 |   151139      0 |    10728 |    20318
992.44/992.60	c  968s |      14 |   532363 |    72852 |   151139      0 |    10728 |    20318
995.93/996.19	c  971s |      14 |   532624 |    73052 |   151139      0 |    10728 |    20318
999.93/1000.10	c  975s |      14 |   532896 |    73252 |   151139      0 |    10728 |    20318
1003.43/1003.65	c  979s |      14 |   533163 |    73452 |   151139      0 |    10728 |    20318
1006.34/1006.55	c  982s |      14 |   533405 |    73652 |   151139      0 |    10728 |    20318
1009.53/1009.74	c  985s |      14 |   533649 |    73852 |   151139      0 |    10728 |    20318
1013.14/1013.33	c  989s |      14 |   533912 |    74052 |   151139      0 |    10728 |    20318
1016.94/1017.10	c  992s |      14 |   534179 |    74252 |   151139      0 |    10728 |    20318
1020.54/1020.78	c  996s |      14 |   534413 |    74452 |   151139      0 |    10728 |    20318
1024.24/1024.43	c 1000s |      14 |   534648 |    74652 |   151139      0 |    10728 |    20318
1026.44/1026.69	c 1002s |      14 |   534757 |    74752 |   151139      0 |    10728 |    20318
1028.64/1028.82	c 1004s |      14 |   534859 |    74852 |   151139      0 |    10728 |    20318
1031.04/1031.24	c 1007s |      14 |   534988 |    74952 |   151139      0 |    10728 |    20318
1034.83/1035.02	c 1010s |      14 |   535212 |    75152 |   151139      0 |    10728 |    20318
1036.83/1037.04	c 1012s |      14 |   535341 |    75252 |   151139      0 |    10728 |    20318
1039.03/1039.27	c 1015s |      14 |   535449 |    75352 |   151139      0 |    10728 |    20318
1041.73/1041.95	c 1017s |      14 |   535564 |    75452 |   151139      0 |    10728 |    20318
1043.84/1044.02	c 1019s |      14 |   535668 |    75552 |   151139      0 |    10728 |    20318
1046.23/1046.49	c 1022s |      14 |   535788 |    75652 |   151139      0 |    10728 |    20318
1048.73/1048.96	c 1024s |      14 |   535905 |    75752 |   151139      0 |    10728 |    20318
1052.13/1052.30	c 1028s |      14 |   536159 |    75952 |   151139      0 |    10728 |    20318
1055.83/1056.04	c 1031s |      14 |   536393 |    76152 |   151139      0 |    10728 |    20318
1058.03/1058.25	c 1034s |      14 |   536533 |    76252 |   151139      0 |    10728 |    20318
1060.23/1060.48	c 1036s |      14 |   536647 |    76352 |   151139      0 |    10728 |    20318
1064.93/1065.18	c 1040s |      14 |   536881 |    76552 |   151139      0 |    10728 |    20318
1067.52/1067.79	c 1043s |      14 |   537008 |    76652 |   151139      0 |    10728 |    20318
1071.92/1072.12	c 1047s |      14 |   537242 |    76852 |   151139      0 |    10728 |    20318
1074.12/1074.35	c 1050s |      14 |   537368 |    76952 |   151139      0 |    10728 |    20318
1076.22/1076.49	c 1052s |      14 |   537503 |    77052 |   151139      0 |    10728 |    20318
1080.14/1080.38	c 1056s |      14 |   537758 |    77252 |   151139      0 |    10728 |    20318
1083.43/1083.64	c 1059s |      14 |   538010 |    77452 |   151139      0 |    10728 |    20318
1086.32/1086.55	c 1062s |      14 |   538253 |    77652 |   151139      0 |    10728 |    20318
1089.62/1089.87	c 1065s |      14 |   538513 |    77852 |   151139      0 |    10728 |    20318
1092.92/1093.18	c 1068s |      14 |   538761 |    78052 |   151139      0 |    10728 |    20318
1096.02/1096.26	c 1072s |      14 |   539036 |    78252 |   151139      0 |    10728 |    20318
1099.42/1099.62	c 1075s |      14 |   539330 |    78452 |   151139      0 |    10728 |    20318
1102.13/1102.36	c 1078s |      14 |   539601 |    78652 |   151139      0 |    10728 |    20318
1104.62/1104.86	c 1080s |      14 |   539880 |    78852 |   151139      0 |    10728 |    20318
1107.63/1107.83	c 1083s |      14 |   540135 |    79052 |   151139      0 |    10728 |    20318
1110.22/1110.42	c 1086s |      14 |   540437 |    79252 |   151139      0 |    10728 |    20318
1113.42/1113.66	c 1089s |      14 |   540665 |    79452 |   151139      0 |    10728 |    20318
1116.72/1116.92	c 1092s |      14 |   540949 |    79652 |   151139      0 |    10728 |    20318
1120.22/1120.41	c 1096s |      14 |   541190 |    79852 |   151139      0 |    10728 |    20318
1123.52/1123.75	c 1099s |      14 |   541445 |    80052 |   151139      0 |    10728 |    20318
1126.42/1126.66	c 1102s |      14 |   541681 |    80252 |   151139      0 |    10728 |    20318
1129.63/1129.84	c 1105s |      14 |   541956 |    80452 |   151139      0 |    10728 |    20318
1133.02/1133.21	c 1108s |      14 |   542216 |    80652 |   151139      0 |    10728 |    20318
1135.82/1136.07	c 1111s |      14 |   542463 |    80852 |   151139      0 |    10728 |    20318
1138.92/1139.16	c 1114s |      14 |   542728 |    81052 |   151139      0 |    10728 |    20318
1142.12/1142.33	c 1118s |      14 |   543005 |    81252 |   151139      0 |    10728 |    20318
1145.03/1145.29	c 1121s |      14 |   543269 |    81452 |   151139      0 |    10728 |    20318
1148.02/1148.22	c 1123s |      14 |   543551 |    81652 |   151139      0 |    10728 |    20318
1151.62/1151.85	c 1127s |      14 |   543821 |    81852 |   151139      0 |    10728 |    20318
1155.52/1155.72	c 1131s |      14 |   544073 |    82052 |   151139      0 |    10728 |    20318
1159.22/1159.41	c 1135s |      14 |   544314 |    82252 |   151139      0 |    10728 |    20318
1161.31/1161.58	c 1137s |      14 |   544429 |    82352 |   151139      0 |    10728 |    20318
1165.11/1165.37	c 1141s |      14 |   544672 |    82552 |   166253      0 |    10728 |    20318
1168.31/1168.51	c 1144s |      14 |   544905 |    82752 |   166253      0 |    10728 |    20318
1171.71/1171.99	c 1147s |      14 |   545180 |    82952 |   166253      0 |    10728 |    20318
1175.01/1175.29	c 1151s |      14 |   545420 |    83152 |   166253      0 |    10728 |    20318
1178.41/1178.64	c 1154s |      14 |   545696 |    83352 |   166253      0 |    10728 |    20318
1180.51/1180.71	c 1156s |      14 |   545828 |    83452 |   166253      0 |    10728 |    20318
1184.11/1184.37	c 1160s |      14 |   546074 |    83652 |   166253      0 |    10728 |    20318
1186.21/1186.42	c 1162s |      14 |   546205 |    83752 |   166253      0 |    10728 |    20318
1188.81/1189.06	c 1164s |      14 |   546325 |    83852 |   166253      0 |    10728 |    20318
1190.91/1191.10	c 1166s |      14 |   546453 |    83952 |   166253      0 |    10728 |    20318
1194.70/1194.96	c 1170s |      14 |   546747 |    84152 |   166253      0 |    10728 |    20318
1197.00/1197.24	c 1173s |      14 |   546847 |    84252 |   166253      0 |    10728 |    20318
1201.02/1201.30	c 1177s |      14 |   547065 |    84452 |   166253      0 |    10728 |    20318
1205.01/1205.25	c 1181s |      14 |   547316 |    84652 |   166253      0 |    10728 |    20318
1207.41/1207.61	c 1183s |      14 |   547443 |    84752 |   166253      0 |    10728 |    20318
1211.41/1211.65	c 1187s |      14 |   547713 |    84952 |   166253      0 |    10728 |    20318
1214.91/1215.18	c 1190s |      14 |   547977 |    85152 |   166253      0 |    10728 |    20318
1218.41/1218.68	c 1194s |      14 |   548231 |    85352 |   166253      0 |    10728 |    20318
1220.51/1220.72	c 1196s |      14 |   548381 |    85452 |   166253      0 |    10728 |    20318
1222.61/1222.83	c 1198s |      14 |   548499 |    85552 |   166253      0 |    10728 |    20318
1224.71/1224.98	c 1200s |      14 |   548613 |    85652 |   166253      0 |    10728 |    20318
1228.51/1228.80	c 1204s |      14 |   548861 |    85852 |   166253      0 |    10728 |    20318
1232.10/1232.38	c 1208s |      14 |   549107 |    86052 |   166253      0 |    10728 |    20318
1234.40/1234.65	c 1210s |      14 |   549214 |    86152 |   166253      0 |    10728 |    20318
1236.60/1236.81	c 1212s |      14 |   549349 |    86252 |   166253      0 |    10728 |    20318
1240.10/1240.37	c 1216s |      14 |   549610 |    86452 |   166253      0 |    10728 |    20318
1243.80/1244.07	c 1219s |      14 |   549874 |    86652 |   166253      0 |    10728 |    20318
1246.50/1246.76	c 1222s |      14 |   550007 |    86752 |   166253      0 |    10728 |    20318
1248.50/1248.76	c 1224s |      14 |   550143 |    86852 |   166253      0 |    10728 |    20318
1250.51/1250.79	c 1226s |      14 |   550271 |    86952 |   166253      0 |    10728 |    20318
1253.80/1254.01	c 1229s |      14 |   550573 |    87152 |   166253      0 |    10728 |    20318
1257.30/1257.55	c 1233s |      14 |   550804 |    87352 |   166253      0 |    10728 |    20318
1261.00/1261.24	c 1237s |      14 |   551081 |    87552 |   166253      0 |    10728 |    20318
1262.60/1262.82	c 1238s |      15 |   551180 |    87632 |   166253      0 |    10728 |    20318
1265.80/1266.00	c 1241s |      15 |   580668 |    87732 |   166253      0 |    10728 |    20318
1268.10/1268.34	c 1244s |      15 |   580811 |    87832 |   166253      0 |    10728 |    20318
1270.40/1270.64	c 1246s |      15 |   580920 |    87932 |   166253      0 |    10728 |    20318
1272.79/1273.01	c 1248s |      15 |   581056 |    88032 |   166253      0 |    10728 |    20318
1274.89/1275.17	c 1250s |      15 |   581181 |    88132 |   166253      0 |    10728 |    20318
1277.19/1277.46	c 1253s |      15 |   581291 |    88232 |   166253      0 |    10728 |    20318
1279.79/1280.00	c 1255s |      15 |   581397 |    88332 |   166253      0 |    10728 |    20318
1282.29/1282.56	c 1258s |      15 |   581516 |    88432 |   166253      0 |    10728 |    20318
1284.89/1285.10	c 1260s |      15 |   581630 |    88532 |   166253      0 |    10728 |    20318
1287.29/1287.54	c 1263s |      15 |   581747 |    88632 |   166253      0 |    10728 |    20318
1290.00/1290.28	c 1266s |      15 |   581848 |    88732 |   166253      0 |    10728 |    20318
1292.50/1292.78	c 1268s |      15 |   581964 |    88832 |   166253      0 |    10728 |    20318
1294.60/1294.84	c 1270s |      15 |   582086 |    88932 |   166253      0 |    10728 |    20318
1298.30/1298.50	c 1274s |      15 |   582335 |    89132 |   166253      0 |    10728 |    20318
1300.39/1300.62	c 1276s |      15 |   582453 |    89232 |   166253      0 |    10728 |    20318
1302.49/1302.74	c 1278s |      15 |   582602 |    89332 |   166253      0 |    10728 |    20318
1304.50/1304.77	c 1280s |      15 |   582743 |    89432 |   166253      0 |    10728 |    20318
1306.99/1307.21	c 1282s |      15 |   582880 |    89532 |   166253      0 |    10728 |    20318
1309.09/1309.31	c 1285s |      15 |   582992 |    89632 |   166253      0 |    10728 |    20318
1311.49/1311.71	c 1287s |      15 |   583109 |    89732 |   166253      0 |    10728 |    20318
1313.89/1314.15	c 1289s |      15 |   583258 |    89832 |   166253      0 |    10728 |    20318
1316.29/1316.58	c 1292s |      15 |   583378 |    89932 |   166253      0 |    10728 |    20318
1318.39/1318.67	c 1294s |      15 |   583511 |    90032 |   166253      0 |    10728 |    20318
1320.49/1320.77	c 1296s |      15 |   583630 |    90132 |   166253      0 |    10728 |    20318
1324.08/1324.32	c 1300s |      15 |   583909 |    90332 |   166253      0 |    10728 |    20318
1326.49/1326.77	c 1302s |      15 |   584231 |    90532 |   166253      0 |    10728 |    20318
1329.79/1330.06	c 1305s |      15 |   584488 |    90732 |   166253      0 |    10728 |    20318
1332.88/1333.10	c 1308s |      15 |   584776 |    90932 |   166253      0 |    10728 |    20318
1335.68/1335.91	c 1311s |      15 |   585027 |    91132 |   166253      0 |    10728 |    20318
1338.59/1338.83	c 1314s |      15 |   585303 |    91332 |   166253      0 |    10728 |    20318
1341.79/1342.07	c 1317s |      15 |   585555 |    91532 |   166253      0 |    10728 |    20318
1344.78/1345.07	c 1320s |      15 |   585808 |    91732 |   166253      0 |    10728 |    20318
1346.88/1347.11	c 1322s |      15 |   585929 |    91832 |   166253      0 |    10728 |    20318
1349.08/1349.33	c 1325s |      15 |   586031 |    91932 |   166253      0 |    10728 |    20318
1351.08/1351.34	c 1327s |      15 |   586162 |    92032 |   166253      0 |    10728 |    20318
1354.99/1355.22	c 1330s |      15 |   586381 |    92232 |   166253      0 |    10728 |    20318
1358.69/1358.90	c 1334s |      15 |   586621 |    92432 |   166253      0 |    10728 |    20318
1362.49/1362.78	c 1338s |      15 |   586842 |    92632 |   166253      0 |    10728 |    20318
1364.79/1365.04	c 1340s |      15 |   586962 |    92732 |   166253      0 |    10728 |    20318
1368.59/1368.87	c 1344s |      15 |   587214 |    92932 |   166253      0 |    10728 |    20318
1370.68/1370.93	c 1346s |      15 |   587331 |    93032 |   166253      0 |    10728 |    20318
1372.69/1372.96	c 1348s |      15 |   587438 |    93132 |   166253      0 |    10728 |    20318
1374.79/1375.06	c 1350s |      15 |   587546 |    93232 |   166253      0 |    10728 |    20318
1377.09/1377.37	c 1353s |      15 |   587682 |    93332 |   166253      0 |    10728 |    20318
1379.48/1379.73	c 1355s |      15 |   587785 |    93432 |   166253      0 |    10728 |    20318
1382.18/1382.45	c 1358s |      15 |   587891 |    93532 |   166253      0 |    10728 |    20318
1384.88/1385.13	c 1360s |      15 |   587998 |    93632 |   166253      0 |    10728 |    20318
1388.38/1388.60	c 1364s |      15 |   588280 |    93832 |   166253      0 |    10728 |    20318
1391.58/1391.83	c 1367s |      15 |   588542 |    94032 |   166253      0 |    10728 |    20318
1394.78/1395.00	c 1370s |      15 |   588811 |    94232 |   166253      0 |    10728 |    20318
1398.28/1398.50	c 1374s |      15 |   589083 |    94432 |   166253      0 |    10728 |    20318
1401.68/1401.90	c 1377s |      15 |   589333 |    94632 |   166253      0 |    10728 |    20318
1405.08/1405.36	c 1381s |      15 |   589587 |    94832 |   166253      0 |    10728 |    20318
1408.78/1409.03	c 1384s |      15 |   589804 |    95032 |   166253      0 |    10728 |    20318
1412.58/1412.87	c 1388s |      15 |   590063 |    95232 |   166253      0 |    10728 |    20318
1416.68/1416.97	c 1392s |      15 |   590301 |    95432 |   166253      0 |    10728 |    20318
1418.88/1419.11	c 1394s |      15 |   590410 |    95532 |   166253      0 |    10728 |    20318
1422.47/1422.70	c 1398s |      15 |   590643 |    95732 |   166253      0 |    10728 |    20318
1426.58/1426.87	c 1402s |      15 |   590888 |    95932 |   166253      0 |    10728 |    20318
1430.88/1431.11	c 1406s |      15 |   591138 |    96132 |   166253      0 |    10728 |    20318
1433.27/1433.59	c 1409s |      15 |   591257 |    96232 |   166253      0 |    10728 |    20318
1436.97/1437.27	c 1413s |      15 |   591504 |    96432 |   166253      0 |    10728 |    20318
1440.17/1440.44	c 1416s |      15 |   591758 |    96632 |   166253      0 |    10728 |    20318
1444.18/1444.42	c 1420s |      15 |   592025 |    96832 |   166253      0 |    10728 |    20318
1447.38/1447.65	c 1423s |      15 |   592296 |    97032 |   166253      0 |    10728 |    20318
1451.27/1451.56	c 1427s |      15 |   592537 |    97232 |   166253      0 |    10728 |    20318
1453.47/1453.75	c 1429s |      15 |   592682 |    97332 |   166253      0 |    10728 |    20318
1457.07/1457.38	c 1433s |      15 |   592991 |    97532 |   166253      0 |    10728 |    20318
1459.27/1459.55	c 1435s |      15 |   593130 |    97632 |   166253      0 |    10728 |    20318
1462.97/1463.24	c 1439s |      15 |   593418 |    97832 |   166253      0 |    10728 |    20318
1464.97/1465.25	c 1441s |      15 |   593541 |    97932 |   166253      0 |    10728 |    20318
1467.37/1467.63	c 1443s |      15 |   593647 |    98032 |   166253      0 |    10728 |    20318
1469.67/1469.90	c 1445s |      15 |   593776 |    98132 |   166253      0 |    10728 |    20318
1471.77/1472.01	c 1447s |      15 |   593878 |    98232 |   166253      0 |    10728 |    20318
1475.97/1476.21	c 1451s |      15 |   594122 |    98432 |   166253      0 |    10728 |    20318
1477.96/1478.29	c 1454s |      15 |   594229 |    98532 |   166253      0 |    10728 |    20318
1480.26/1480.56	c 1456s |      15 |   594360 |    98632 |   166253      0 |    10728 |    20318
1482.36/1482.65	c 1458s |      15 |   594463 |    98732 |   166253      0 |    10728 |    20318
1484.96/1485.29	c 1461s |      15 |   594594 |    98832 |   166253      0 |    10728 |    20318
1488.86/1489.13	c 1464s |      15 |   594850 |    99032 |   166253      0 |    10728 |    20318
1492.66/1492.93	c 1468s |      15 |   595151 |    99232 |   166253      0 |    10728 |    20318
1496.66/1496.95	c 1472s |      15 |   595366 |    99432 |   166253      0 |    10728 |    20318
1500.86/1501.12	c 1476s |      15 |   595616 |    99632 |   166253      0 |    10728 |    20318
1502.86/1503.18	c 1478s |      15 |   595754 |    99732 |   166253      0 |    10728 |    20318
1505.06/1505.33	c 1481s |      15 |   595865 |    99832 |   166253      0 |    10728 |    20318
1507.26/1507.56	c 1483s |      15 |   595975 |    99932 |   166253      0 |    10728 |    20318
1510.76/1511.07	c 1486s |      15 |   596230 |   100132 |   166253      0 |    10728 |    20318
1514.46/1514.74	c 1490s |      15 |   596490 |   100332 |   166253      0 |    10728 |    20318
1516.66/1516.95	c 1492s |      15 |   596607 |   100432 |   166253      0 |    10728 |    20318
1520.35/1520.67	c 1496s |      15 |   596899 |   100632 |   166253      0 |    10728 |    20318
1522.65/1522.93	c 1498s |      15 |   597022 |   100732 |   166253      0 |    10728 |    20318
1526.15/1526.44	c 1502s |      15 |   597295 |   100932 |   166253      0 |    10728 |    20318
1528.15/1528.46	c 1504s |      15 |   597422 |   101032 |   166253      0 |    10728 |    20318
1531.75/1532.01	c 1507s |      15 |   597692 |   101232 |   166253      0 |    10728 |    20318
1535.36/1535.70	c 1511s |      15 |   597922 |   101432 |   166253      0 |    10728 |    20318
1538.85/1539.16	c 1514s |      15 |   598155 |   101632 |   166253      0 |    10728 |    20318
1542.75/1543.01	c 1518s |      15 |   598375 |   101832 |   166253      0 |    10728 |    20318
1544.75/1545.08	c 1520s |      15 |   598572 |   101932 |   166253      0 |    10728 |    20318
1549.05/1549.30	c 1525s |      15 |   598824 |   102132 |   166253      0 |    10728 |    20318
1552.75/1553.05	c 1528s |      15 |   599075 |   102332 |   166253      0 |    10728 |    20318
1556.75/1557.06	c 1532s |      15 |   599362 |   102532 |   166253      0 |    10728 |    20318
1559.05/1559.33	c 1535s |      15 |   599496 |   102632 |   166253      0 |    10728 |    20318
1562.85/1563.12	c 1538s |      15 |   599748 |   102832 |   166253      0 |    10728 |    20318
1565.05/1565.34	c 1541s |      15 |   599882 |   102932 |   166253      0 |    10728 |    20318
1567.05/1567.36	c 1543s |      15 |   599992 |   103032 |   166253      0 |    10728 |    20318
1570.95/1571.22	c 1546s |      15 |   600276 |   103232 |   166253      0 |    10728 |    20318
1574.45/1574.70	c 1550s |      15 |   600516 |   103432 |   166253      0 |    10728 |    20318
1576.65/1576.92	c 1552s |      15 |   600647 |   103532 |   166253      0 |    10728 |    20318
1579.95/1580.21	c 1555s |      15 |   600950 |   103732 |   166253      0 |    10728 |    20318
1584.04/1584.34	c 1560s |      15 |   601203 |   103932 |   166253      0 |    10728 |    20318
1587.94/1588.26	c 1564s |      15 |   601442 |   104132 |   166253      0 |    10728 |    20318
1589.94/1590.29	c 1566s |      15 |   601563 |   104232 |   166253      0 |    10728 |    20318
1592.35/1592.66	c 1568s |      15 |   601673 |   104332 |   166253      0 |    10728 |    20318
1594.44/1594.73	c 1570s |      15 |   601822 |   104432 |   166253      0 |    10728 |    20318
1597.05/1597.33	c 1573s |      15 |   601936 |   104532 |   166253      0 |    10728 |    20318
1599.44/1599.77	c 1575s |      15 |   602061 |   104632 |   166253      0 |    10728 |    20318
1603.74/1604.07	c 1579s |      15 |   602377 |   104832 |   166253      0 |    10728 |    20318
1605.94/1606.25	c 1582s |      15 |   602507 |   104932 |   166253      0 |    10728 |    20318
1608.24/1608.50	c 1584s |      15 |   602620 |   105032 |   166253      0 |    10728 |    20318
1611.04/1611.34	c 1587s |      15 |   602724 |   105132 |   166253      0 |    10728 |    20318
1613.24/1613.53	c 1589s |      15 |   602863 |   105232 |   166253      0 |    10728 |    20318
1615.24/1615.53	c 1591s |      15 |   602987 |   105332 |   166253      0 |    10728 |    20318
1617.64/1617.98	c 1593s |      15 |   603099 |   105432 |   166253      0 |    10728 |    20318
1619.73/1620.00	c 1595s |      15 |   603228 |   105532 |   166253      0 |    10728 |    20318
1621.73/1622.09	c 1597s |      15 |   603350 |   105632 |   166253      0 |    10728 |    20318
1623.83/1624.10	c 1599s |      15 |   603465 |   105732 |   166253      0 |    10728 |    20318
1627.43/1627.77	c 1603s |      15 |   603730 |   105932 |   166253      0 |    10728 |    20318
1629.63/1629.99	c 1605s |      15 |   603871 |   106032 |   166253      0 |    10728 |    20318
1632.02/1632.40	c 1608s |      15 |   604000 |   106132 |   166253      0 |    10728 |    20318
1634.43/1634.72	c 1610s |      15 |   604123 |   106232 |   166253      0 |    10728 |    20318
1638.62/1639.00	c 1614s |      15 |   604371 |   106432 |   166253      0 |    10728 |    20318
1640.93/1641.26	c 1617s |      15 |   604486 |   106532 |   166253      0 |    10728 |    20318
1643.13/1643.46	c 1619s |      15 |   604618 |   106632 |   166253      0 |    10728 |    20318
1645.52/1645.81	c 1621s |      15 |   604728 |   106732 |   166253      0 |    10728 |    20318
1649.92/1650.25	c 1626s |      15 |   604952 |   106932 |   166253      0 |    10728 |    20318
1652.32/1652.62	c 1628s |      15 |   605076 |   107032 |   166253      0 |    10728 |    20318
1654.62/1654.96	c 1630s |      15 |   605203 |   107132 |   166253      0 |    10728 |    20318
1656.92/1657.22	c 1632s |      15 |   605321 |   107232 |   166253      0 |    10728 |    20318
1658.91/1659.29	c 1635s |      15 |   605448 |   107332 |   166253      0 |    10728 |    20318
1661.11/1661.48	c 1637s |      15 |   605562 |   107432 |   166253      0 |    10728 |    20318
1663.21/1663.54	c 1639s |      15 |   605683 |   107532 |   166253      0 |    10728 |    20318
1665.51/1665.85	c 1641s |      15 |   605796 |   107632 |   166253      0 |    10728 |    20318
1670.01/1670.37	c 1646s |      15 |   606026 |   107832 |   166253      0 |    10728 |    20318
1672.61/1672.93	c 1648s |      15 |   606133 |   107932 |   166253      0 |    10728 |    20318
1675.01/1675.40	c 1651s |      15 |   606240 |   108032 |   166253      0 |    10728 |    20318
1677.32/1677.69	c 1653s |      15 |   606357 |   108132 |   166253      0 |    10728 |    20318
1679.41/1679.74	c 1655s |      15 |   606500 |   108232 |   166253      0 |    10728 |    20318
1681.91/1682.30	c 1658s |      15 |   606625 |   108332 |   166253      0 |    10728 |    20318
1684.10/1684.48	c 1660s |      15 |   606758 |   108432 |   166253      0 |    10728 |    20318
1687.00/1687.33	c 1663s |      15 |   606880 |   108532 |   166253      0 |    10728 |    20318
1689.00/1689.35	c 1665s |      15 |   607027 |   108632 |   166253      0 |    10728 |    20318
1691.40/1691.75	c 1667s |      15 |   607127 |   108732 |   166253      0 |    10728 |    20318
1693.40/1693.76	c 1669s |      15 |   607302 |   108832 |   166253      0 |    10728 |    20318
1695.70/1696.09	c 1671s |      15 |   607428 |   108932 |   166253      0 |    10728 |    20318
1698.00/1698.30	c 1674s |      15 |   607556 |   109032 |   166253      0 |    10728 |    20318
1700.31/1700.69	c 1676s |      15 |   607667 |   109132 |   166253      0 |    10728 |    20318
1702.80/1703.18	c 1678s |      15 |   607791 |   109232 |   166253      0 |    10728 |    20318
1705.50/1705.80	c 1681s |      15 |   607905 |   109332 |   166253      0 |    10728 |    20318
1707.50/1707.83	c 1683s |      15 |   608018 |   109432 |   166253      0 |    10728 |    20318
1709.60/1709.97	c 1685s |      15 |   608148 |   109532 |   166253      0 |    10728 |    20318
1712.09/1712.49	c 1688s |      15 |   608266 |   109632 |   166253      0 |    10728 |    20318
1714.49/1714.85	c 1690s |      15 |   608376 |   109732 |   166253      0 |    10728 |    20318
1716.59/1716.94	c 1692s |      15 |   608494 |   109832 |   166253      0 |    10728 |    20318
1718.79/1719.17	c 1694s |      15 |   608608 |   109932 |   166253      0 |    10728 |    20318
1720.99/1721.30	c 1697s |      15 |   608808 |   110032 |   166253      0 |    10728 |    20318
1723.19/1723.58	c 1699s |      15 |   608939 |   110132 |   166253      0 |    10728 |    20318
1725.39/1725.78	c 1701s |      15 |   609067 |   110232 |   166253      0 |    10728 |    20318
1729.09/1729.48	c 1705s |      15 |   609308 |   110432 |   166253      0 |    10728 |    20318
1733.18/1733.52	c 1709s |      15 |   609584 |   110632 |   166253      0 |    10728 |    20318
1735.38/1735.77	c 1711s |      15 |   609716 |   110732 |   166253      0 |    10728 |    20318
1737.88/1738.21	c 1713s |      15 |   609844 |   110832 |   166253      0 |    10728 |    20318
1741.88/1742.27	c 1718s |      15 |   610115 |   111032 |   166253      0 |    10728 |    20318
1743.98/1744.31	c 1720s |      15 |   610224 |   111132 |   166253      0 |    10728 |    20318
1746.48/1746.89	c 1722s |      15 |   610338 |   111232 |   166253      0 |    10728 |    20318
1748.78/1749.17	c 1724s |      15 |   610452 |   111332 |   166253      0 |    10728 |    20318
1750.78/1751.17	c 1726s |      15 |   610559 |   111432 |   166253      0 |    10728 |    20318
1752.87/1753.29	c 1729s |      15 |   610671 |   111532 |   166253      0 |    10728 |    20318
1755.47/1755.81	c 1731s |      15 |   610795 |   111632 |   166253      0 |    10728 |    20318
1759.17/1759.59	c 1735s |      15 |   611042 |   111832 |   166253      0 |    10728 |    20318
1761.27/1761.60	c 1737s |      15 |   611167 |   111932 |   166253      0 |    10728 |    20318
1763.77/1764.12	c 1739s |      15 |   611276 |   112032 |   166253      0 |    10728 |    20318
1765.97/1766.34	c 1742s |      15 |   611385 |   112132 |   166253      0 |    10728 |    20318
1769.47/1769.88	c 1745s |      15 |   611648 |   112332 |   166253      0 |    10728 |    20318
1773.16/1773.58	c 1749s |      15 |   611887 |   112532 |   166253      0 |    10728 |    20318
1776.86/1777.26	c 1753s |      15 |   612109 |   112732 |   166253      0 |    10728 |    20318
1778.86/1779.27	c 1755s |      15 |   612231 |   112832 |   166253      0 |    10728 |    20318
1782.86/1783.22	c 1758s |      15 |   612442 |   113032 |   166253      0 |    10728 |    20318
1787.16/1787.58	c 1763s |      15 |   612707 |   113232 |   166253      0 |    10728 |    20318
1789.36/1789.75	c 1765s |      15 |   612822 |   113332 |   166253      0 |    10728 |    20318
1792.66/1793.10	c 1768s |      15 |   613084 |   113532 |   166253      0 |    10728 |    20318
1796.35/1796.71	c 1772s |      15 |   613331 |   113732 |   166253      0 |    10728 |    20318
1799.65/1800.06	c 1775s |      15 |   613610 |   113932 |   166253      0 |    10728 |    20318

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-4093100-1466076759/watcher-4093100-1466076759 -o /tmp/evaluation-result-4093100-1466076759/solver-4093100-1466076759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9713 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093100-1466076759.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10015
/proc/meminfo: memFree=30609800/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 2738 0 0 0 0 0 0 0 20 0 4 0 9725913 751235072 2588 33554432000 4194304 16246674 140735649520064 140735649519488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 183919 2598 441 2943 0 180813 0
[pid=10015/tid=10016] ppid=10012 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 769060864 2658 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 773255168 2674 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9725913 777449472 2690 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10015
/proc/meminfo: memFree=30609800/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 27541 0 0 0 6 3 0 0 20 0 4 0 9725913 1333334016 27331 33554432000 4194304 16246674 140735649520064 140735649519376 7372353 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 325521 27345 801 2943 0 322415 0
[pid=10015/tid=10016] ppid=10012 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1333334016 27356 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1333334016 27367 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1333334016 27377 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200515 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10015
/proc/meminfo: memFree=30609800/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 48790 0 0 0 13 6 0 0 20 0 4 0 9725913 1345916928 49091 33554432000 4194304 16246674 140735649520064 140735649519376 7374583 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 328593 49091 801 2943 0 325487 0
[pid=10015/tid=10016] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 49091 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 49091 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 49091 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300485 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10015
/proc/meminfo: memFree=30609800/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 55462 0 0 0 22 7 0 0 20 0 4 0 9725913 1345916928 55763 33554432000 4194304 16246674 140735649520064 140735649519376 8055451 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 328593 55763 801 2943 0 325487 0
[pid=10015/tid=10016] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 55763 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 55763 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 55763 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700393 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10015
/proc/meminfo: memFree=30609800/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 65379 0 0 0 61 8 0 0 20 0 4 0 9725913 1345916928 65680 33554432000 4194304 16246674 140735649520064 140735649503056 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 328593 65680 824 2943 0 325487 0
[pid=10015/tid=10016] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 65680 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 65680 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 65680 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 10019
/proc/meminfo: memFree=30347172/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 107369 0 0 0 135 14 0 0 20 0 4 0 9725913 1345916928 107670 33554432000 4194304 16246674 140735649520064 140735649519376 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 328593 107674 839 2943 0 325487 0
[pid=10015/tid=10016] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 107681 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 107686 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1345916928 107689 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 10019
/proc/meminfo: memFree=29691584/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1335876 CPUtime=3.09 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 274390 0 0 0 270 39 0 0 20 0 4 0 9725913 1367937024 274691 33554432000 4194304 16246674 140735649520064 140735649501952 6171032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 333969 274691 839 2943 0 330863 0
[pid=10015/tid=10016] ppid=10012 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1367937024 274691 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1367937024 274691 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1367937024 274691 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1335876

[startup+6.30041 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 10019
/proc/meminfo: memFree=29511052/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1335876 CPUtime=6.29 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 274592 0 0 0 590 39 0 0 20 0 4 0 9725913 1367937024 274893 33554432000 4194304 16246674 140735649520064 140735649517888 6132640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 333969 274893 839 2943 0 330863 0
[pid=10015/tid=10016] ppid=10012 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1367937024 274893 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1367937024 274893 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1367937024 274893 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1335876

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 10019
/proc/meminfo: memFree=29504384/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=12.68 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276221 0 0 0 1229 39 0 0 20 0 4 0 9725913 1374228480 276522 33554432000 4194304 16246674 140735649520064 140735649501952 13927509 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276522 932 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276522 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276522 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276522 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1342020

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 10019
/proc/meminfo: memFree=29505124/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=25.49 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276227 0 0 0 2509 40 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 140735649501952 12483624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276528 938 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1342020

[startup+51.1005 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 10019
/proc/meminfo: memFree=29505100/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=51.08 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276227 0 0 0 5068 40 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 140735649501952 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276528 938 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1342020

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 10020
/proc/meminfo: memFree=29456408/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=102.28 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276227 0 0 0 10188 40 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 140735649501952 12460484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276528 938 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276528 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1342020


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

/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1342020

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 10051
/proc/meminfo: memFree=27959692/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1302.09 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276228 0 0 0 130158 51 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 140735649501952 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276529 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1342020

[startup+1362.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/183 10052
/proc/meminfo: memFree=27862232/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1362.09 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276228 0 0 0 136157 52 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 140735649501952 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276529 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 10054
/proc/meminfo: memFree=27799412/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1422.08 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276228 0 0 0 142156 52 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 140735649501952 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276529 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/183 10055
/proc/meminfo: memFree=27734484/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1482.06 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276228 0 0 0 148154 52 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 140735649501952 5545984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276529 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1342020

[startup+1542.31 s]
/proc/loadavg: 2.13 2.08 2.01 3/183 10056
/proc/meminfo: memFree=27638516/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1542.06 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276228 0 0 0 154154 52 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 140735649501952 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276529 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276529 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 10105
/proc/meminfo: memFree=29584996/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1602.04 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276243 0 0 0 160151 53 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 140735649501952 5677884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276785 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/184 10109
/proc/meminfo: memFree=29582640/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1662.01 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276266 0 0 0 166148 53 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 140735649501952 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276785 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/184 10134
/proc/meminfo: memFree=29581660/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1721.99 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276284 0 0 0 172146 53 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 140735649501952 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276785 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 10135
/proc/meminfo: memFree=29578352/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1781.96 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276323 0 0 0 178143 53 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 140735649501952 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276785 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 10136
/proc/meminfo: memFree=29578336/32872528 swapFree=240572/273276
[pid=10015] ppid=10012 vsize=1342020 CPUtime=1800.05 cores=0,2,4,6
/proc/10015/stat : 10015 (toysat) R 10012 10015 7549 0 -1 4202496 276328 0 0 0 179952 53 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 140735649501952 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 335505 276785 939 2943 0 332399 0
[pid=10015/tid=10016] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10016/stat : 10016 (toysat) S 10012 10015 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708104420592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10015/tid=10017] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10017/stat : 10017 (toysat) S 10012 10015 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708093930736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10015/tid=10018] ppid=10012 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/10015/task/10018/stat : 10018 (toysat) S 10012 10015 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9725913 1374228480 276785 33554432000 4194304 16246674 140735649520064 139708083457200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1342020

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 10015 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.45
CPU time (s): 1800.1
CPU user time (s): 1799.53
CPU system time (s): 0.575912
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.575912
maximum resident set size= 1107140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276328
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= 115
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.32119 second user time and 6.76297 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 13:32:39
IDJOB=4093100
IDBENCH=78635
IDSOLVER=2553
FILE ID=node107/4093100-1466076759
RUNJOBID= node107-1466074715-9713
PBS_JOBID= 19904025
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/normalized-j12027_7-unsat--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093100-1466076759/watcher-4093100-1466076759 -o /tmp/evaluation-result-4093100-1466076759/solver-4093100-1466076759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9713 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093100-1466076759.wbo

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

MD5SUM BENCH= 61b09c52aa606f2c067f4a84aa85b64f
RANDOM SEED=861678004

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
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.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30610080 kB
Buffers:           19772 kB
Cached:           119900 kB
SwapCached:         2508 kB
Active:          1234192 kB
Inactive:          54440 kB
Active(anon):    1149332 kB
Inactive(anon):     2156 kB
Active(file):      84860 kB
Inactive(file):    52284 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             19088 kB
Writeback:             0 kB
AnonPages:       1424968 kB
Mapped:            10852 kB
Shmem:                 0 kB
Slab:             566976 kB
SReclaimable:      10640 kB
SUnreclaim:       556336 kB
KernelStack:        1472 kB
PageTables:         6504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1564648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    276480 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= 71680 MiB
End job on node107 at 2016-06-16 14:02:39