Trace number 4106208

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT3 1339.93 1340.35

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb
MD5SUMe04f59e7146720276551350f74bab120
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.067988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables96
Total number of constraints9
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-18T18:30:53+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106208-1466267453.opb"]
0.00/0.01	c use --random-gen="3955268869 129629734 3683583481 3778012203 3007058060 4002088488 2743582869 3219427153 1702265188 1765412308 2027586288 2838876284 2991748024 2348802413 2916338040 2135980064 3086971192 2011000344 129775435 110125531 1252007708 3984848083 251717955 199623952 2449796635 1896412452 1695678957 340392174 3239806174 1969725996 4024470194 1090665618 1107802259 3788085034 2092862417 1929799706 27430924 885854071 4291595332 1434272389 1619983690 1608142503 1153320221 2191743290 2830671164 1798860970 3079272683 3317543661 963965738 2543695396 3924422028 2342185078 4251318506 4018081499 784091249 3478327719 3032827951 3128309282 1669156008 3671530813 598769164 4028452425 346654732 1240717269 4196626116 683141828 1603460436 2676826387 1153445435 1973889098 2730217816 2733285856 2482874243 1901110405 3627798366 1863962620 3318105142 3349092513 871698825 2032747461 2995740651 2912014330 3416672177 2070518703 1846203167 2045781104 2466556416 3754481293 3546363091 516834939 2385943389 4117777423 2421373162 987317189 3689314265 2246747420 2046924337 4056795768 2798463326 246790927 3313247416 1629037053 1199622991 2191256449 4054934318 3495812298 1124344599 2358181557 2636176469 3575967875 3489541842 4266283880 1715948808 2798949110 2358209783 2348476321 3761796523 3415791758 2301256180 1774303983 2459459813 1129424039 3411009487 1877669694 3650154562 289459168 1913341819 4240382950 2853733053 1715562020 1278992957 2052671262 3032171021 1698048846 2873944472 264230440 3000429281 2755633486 2981995342 2982253997 3289943165 3704966485 1443019551 2027974562 3199824636 3838607209 1183263938 1235345201 3925410983 673819232 4124455363 3361320782 3879132276 2906165950 967509467 849127421 2790057030 2087726473 3286246480 2939290327 1281243390 1407167581 3034733048 471396717 160331885 986801638 2253494313 3419272040 713496251 2338975028 3790971517 1972479830 2013481747 1278136907 1846280531 3972403708 3393642268 2510588673 1963612626 1356378450 2816448435 2463750467 2949124306 2617288401 1153182733 766153661 3853223065 1804768501 363169883 2656934699 153049577 3079299127 731770330 3485814154 3393199875 2897388448 2192095447 277873056 667652940 3655546057 894867529 4216188185 3488800930 2193392423 4169408985 1064438075 2333872431 2261432819 1600096149 1131786990 3719648471 694450791 994048929 1946082286 1934798783 1855276601 209784564 1976762579 4190265711 54757158 3039570561 4267521591 68587802 1577367887 1447041525 3706712684 2548870685 3059787987 3515573955 1272470988 2960354870 3894180294 585057618 2396313507 1175160015 3991915202 78281061 2856970888 3821036941 2212651555 1698534092 2265625331 3977852805 1822852746 2423590677 3999438200 2164827948 1849551472 204242996 2782361454 1554746711 1092092520 1673113924 3106316752 3519051383 2931215184 255 362436" option to reproduce the execution
0.00/0.01	c #vars 96
0.00/0.01	c #constraints 9
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      377      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      112 |      100 |      377      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      275 |      250 |      415      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      538 |      475 |      457      0 |        0 |        0
0.19/0.20	c  0.2s |       4 |      926 |      813 |      503      1 |        0 |        0
0.39/0.49	c  0.5s |       5 |     1488 |     1320 |      554      2 |        0 |        0
0.69/0.73	c  0.7s |       6 |     2314 |     2081 |      671      5 |        0 |        0
0.69/0.76	c  0.7s |       6 |     2540 |     2192 |      671      5 |        0 |        0
0.69/0.76	c #cpu_time = 0.741s
0.69/0.76	c #wall_clock_time = 0.743s
0.69/0.76	c #decision = 2540
0.69/0.76	c #random_decision = 8
0.69/0.76	c #conflict = 2192
0.69/0.76	c #restart = 6
0.69/0.76	o 219
0.69/0.76	c BCD2: updating upper bound: 255 -> 218
0.69/0.76	c BCD2: 0 <= obj <= 218
0.69/0.76	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
0.69/0.76	c BCD2: #sat=1 #unsat=1 bias=1/2
0.69/0.76	c Solving starts ...
0.69/0.76	c ============================[ Search Statistics ]============================
0.69/0.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.76	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.76	c =============================================================================
0.69/0.76	c  0.0s |       0 |        0 |        0 |      671      0 |        0 |        0
0.69/0.76	c  0.0s |       0 |        6 |        0 |      671      0 |        0 |        0
0.69/0.76	c #cpu_time = 0.003s
0.69/0.76	c #wall_clock_time = 0.003s
0.69/0.76	c #decision = 6
0.69/0.76	c #random_decision = 0
0.69/0.76	c #conflict = 0
0.69/0.76	c #restart = 0
0.69/0.76	c BCD2: found a new core of size 7: cost of the new core is >=2
0.69/0.76	c lower bound updated to 2
0.69/0.76	c BCD2: 2 <= obj <= 218
0.69/0.76	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
0.69/0.76	c BCD2: #sat=1 #unsat=2 bias=2/3
0.69/0.76	c Solving starts ...
0.69/0.76	c ============================[ Search Statistics ]============================
0.69/0.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.76	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.76	c =============================================================================
0.69/0.76	c  0.0s |       0 |        0 |        0 |      671      0 |        0 |        0
0.69/0.79	c  0.0s |       1 |      165 |      100 |      671      0 |        0 |        0
0.79/0.86	c  0.1s |       2 |      371 |      250 |      671      0 |        0 |        0
0.89/0.97	c  0.2s |       3 |      684 |      475 |      671      1 |        0 |        0
0.99/1.07	c  0.3s |       4 |     1150 |      813 |      671      1 |        0 |        0
1.29/1.32	c  0.6s |       5 |     1771 |     1320 |      739      2 |        0 |        0
1.49/1.50	c  0.7s |       6 |     2686 |     2081 |      739      4 |        0 |        0
1.79/1.86	c  1.1s |       7 |     3952 |     3223 |      813      6 |        0 |        0
2.20/2.27	c  1.5s |       8 |     5785 |     4936 |      813     10 |        0 |        0
2.79/2.87	c  2.1s |       9 |     8526 |     7506 |      895     14 |        0 |        0
3.89/3.94	c  3.2s |      10 |    12807 |    11361 |      985     21 |        0 |        0
5.29/5.33	c  4.6s |      11 |    18930 |    17144 |     1084     29 |        0 |        0
7.29/7.35	c  6.6s |      11 |    27477 |    25244 |     1193     41 |        0 |        0
7.49/7.50	c  6.7s |      12 |    28062 |    25819 |     1193     42 |        0 |        0
9.49/9.50	c  8.7s |      12 |    38233 |    35819 |     1193     56 |        0 |        0
10.09/10.18	c  9.4s |      13 |    41288 |    38832 |     1313     60 |        0 |        0
12.19/12.21	c 11.4s |      13 |    48662 |    45832 |     1313     69 |        0 |        0
14.18/14.24	c 13.5s |      13 |    55669 |    52632 |     1313     77 |        0 |        0
15.89/15.92	c 15.2s |      14 |    61910 |    58352 |     1445     84 |        0 |        0
17.88/17.93	c 17.2s |      14 |    71720 |    67752 |     1445     95 |        0 |        0
19.89/19.94	c 19.2s |      14 |    80195 |    75952 |     1445    105 |        0 |        0
21.88/21.95	c 21.2s |      14 |    88412 |    83852 |     1445    114 |        0 |        0
22.78/22.87	c 22.1s |      15 |    92411 |    87632 |     1590    118 |        0 |        0
24.78/24.88	c 24.1s |      15 |    98899 |    93432 |     1590    124 |        0 |        0
26.88/26.90	c 26.1s |      15 |   105658 |    99832 |     1590    131 |        0 |        0
28.88/28.91	c 28.1s |      15 |   113367 |   107132 |     1590    139 |        0 |        0
30.89/30.93	c 30.2s |      15 |   121356 |   114932 |     1590    147 |        0 |        0
32.88/32.93	c 32.2s |      15 |   129993 |   123232 |     1590    156 |        0 |        0
34.88/34.95	c 34.2s |      15 |   137534 |   130432 |     1750    164 |        0 |        0
35.19/35.30	c 34.5s |      16 |   138676 |   131552 |     1750    165 |        0 |        0
37.28/37.33	c 36.6s |      16 |   147860 |   140452 |     1750    174 |        0 |        0
39.28/39.33	c 38.6s |      16 |   156774 |   149152 |     1750    182 |        0 |        0
41.29/41.35	c 40.6s |      16 |   166096 |   158252 |     1750    191 |        0 |        0
43.28/43.37	c 42.6s |      16 |   175036 |   167052 |     1750    200 |        0 |        0
45.28/45.38	c 44.6s |      16 |   184425 |   176252 |     1750    209 |        0 |        0
47.29/47.39	c 46.6s |      16 |   193795 |   185452 |     1750    218 |        0 |        0
49.38/49.41	c 48.6s |      16 |   202712 |   194252 |     1926    227 |        0 |        0
50.08/50.14	c 49.4s |      17 |   205947 |   197432 |     1926    229 |        0 |        0
52.08/52.15	c 51.4s |      17 |   212778 |   204032 |     1926    235 |        0 |        0
54.08/54.16	c 53.4s |      17 |   221038 |   212132 |     1926    243 |        0 |        0
56.09/56.16	c 55.4s |      17 |   230394 |   221232 |     1926    251 |        1 |        8
58.08/58.19	c 57.4s |      17 |   237890 |   228532 |     1926    258 |        1 |        8
60.08/60.19	c 59.4s |      17 |   247111 |   237332 |     1926    266 |        1 |        8
62.18/62.22	c 61.5s |      17 |   254404 |   244532 |     1926    273 |        1 |        8
64.18/64.22	c 63.5s |      17 |   261739 |   251632 |     1926    279 |        1 |        8
66.18/66.24	c 65.5s |      17 |   268966 |   258732 |     1926    286 |        1 |        8
68.19/68.25	c 67.5s |      17 |   278406 |   267932 |     1926    294 |        1 |        8
70.18/70.26	c 69.5s |      17 |   287285 |   276632 |     1926    302 |        1 |        8
72.18/72.28	c 71.5s |      17 |   295741 |   284932 |     1926    310 |        1 |        8
74.17/74.29	c 73.5s |      17 |   304830 |   293732 |     2119    317 |        1 |        8
74.78/74.84	c 74.1s |      18 |   307417 |   296252 |     2119    319 |        1 |        8
76.77/76.88	c 76.1s |      18 |   312613 |   300852 |     2119    323 |        1 |        8
78.87/78.90	c 78.1s |      18 |   318598 |   306452 |     2119    328 |        1 |        8
80.87/80.93	c 80.2s |      18 |   325037 |   312652 |     2119    334 |        1 |        8
82.87/82.94	c 82.2s |      18 |   331008 |   317952 |     2119    338 |        1 |        8
84.87/84.96	c 84.2s |      18 |   337025 |   323452 |     2119    343 |        1 |        8
86.88/86.99	c 86.2s |      18 |   343079 |   329352 |     2119    348 |        1 |        8
88.97/89.00	c 88.2s |      18 |   349613 |   335452 |     2119    353 |        1 |        8
90.97/91.04	c 90.3s |      18 |   355330 |   340752 |     2119    358 |        1 |        8
92.97/93.05	c 92.3s |      18 |   362890 |   348152 |     2119    364 |        1 |        8
94.98/95.07	c 94.3s |      18 |   368927 |   353752 |     2119    369 |        1 |        8
96.98/97.08	c 96.3s |      18 |   373676 |   358252 |     2119    373 |        1 |        8
99.08/99.11	c 98.3s |      18 |   379130 |   363152 |     2119    377 |        1 |        8
101.08/101.15	c  100s |      18 |   384414 |   367852 |     2119    381 |        1 |        8
103.08/103.17	c  102s |      18 |   390128 |   373452 |     2119    386 |        1 |        8
105.08/105.18	c  104s |      18 |   395569 |   378752 |     2119    391 |        1 |        8
107.08/107.19	c  106s |      18 |   401196 |   384252 |     2119    395 |        1 |        8
109.18/109.21	c  108s |      18 |   408303 |   390852 |     2119    401 |        1 |        8
111.18/111.24	c  110s |      18 |   415244 |   397352 |     2119    407 |        1 |        8
113.17/113.25	c  112s |      18 |   421574 |   403352 |     2119    412 |        1 |        8
115.17/115.26	c  114s |      18 |   428139 |   409252 |     2119    417 |        1 |        8
117.17/117.27	c  116s |      18 |   434584 |   415452 |     2119    422 |        1 |        8
119.27/119.30	c  118s |      18 |   441289 |   421752 |     2119    428 |        1 |        8
121.27/121.31	c  120s |      18 |   448136 |   428252 |     2119    433 |        1 |        8
123.28/123.32	c  122s |      18 |   455217 |   434652 |     2119    439 |        1 |        8
125.27/125.32	c  124s |      18 |   461579 |   440852 |     2331    444 |        1 |        8
126.48/126.51	c  125s |      19 |   465382 |   444482 |     2331    447 |        1 |        8
128.47/128.51	c  127s |      19 |   473696 |   452582 |     2331    453 |        1 |        8
130.47/130.53	c  129s |      19 |   481974 |   460582 |     2331    459 |        1 |        8
132.47/132.54	c  131s |      19 |   490386 |   468782 |     2331    466 |        1 |        8
134.47/134.54	c  133s |      19 |   498861 |   477082 |     2331    472 |        1 |        8
136.48/136.55	c  135s |      19 |   506684 |   484782 |     2331    478 |        1 |        8
138.47/138.55	c  137s |      19 |   514521 |   492482 |     2331    484 |        1 |        8
140.47/140.57	c  139s |      19 |   522897 |   500382 |     2331    490 |        1 |        8
142.47/142.58	c  141s |      19 |   529893 |   507082 |     2331    496 |        1 |        8
144.57/144.60	c  143s |      19 |   536896 |   513782 |     2331    501 |        1 |        8
146.57/146.62	c  145s |      19 |   544913 |   521482 |     2331    507 |        1 |        8
148.57/148.63	c  147s |      19 |   552895 |   529182 |     2331    513 |        1 |        8
150.56/150.65	c  149s |      19 |   560780 |   536882 |     2331    519 |        1 |        8
152.56/152.66	c  151s |      19 |   569327 |   545182 |     2331    525 |        1 |        8
154.56/154.69	c  153s |      19 |   577466 |   553182 |     2331    531 |        1 |        8
156.66/156.70	c  155s |      19 |   585208 |   560582 |     2331    537 |        1 |        8
158.66/158.72	c  157s |      19 |   593031 |   568182 |     2331    543 |        1 |        8
160.67/160.73	c  159s |      19 |   601429 |   576182 |     2331    549 |        1 |        8
162.66/162.74	c  161s |      19 |   609846 |   584482 |     2331    556 |        1 |        8
164.66/164.75	c  163s |      19 |   617849 |   592282 |     2331    562 |        1 |        8
166.66/166.75	c  165s |      19 |   626116 |   600082 |     2331    568 |        1 |        8
168.66/168.78	c  168s |      19 |   633674 |   607382 |     2331    574 |        1 |        8
170.66/170.79	c  170s |      19 |   641122 |   614582 |     2331    579 |        1 |        8
172.77/172.81	c  172s |      19 |   648768 |   622082 |     2331    585 |        1 |        8
174.76/174.83	c  174s |      19 |   656587 |   629682 |     2331    591 |        1 |        8
176.76/176.84	c  176s |      19 |   664266 |   637182 |     2331    597 |        1 |        8
178.76/178.86	c  178s |      19 |   672063 |   644782 |     2331    603 |        1 |        8
180.76/180.87	c  180s |      19 |   679925 |   652382 |     2331    609 |        1 |        8
182.76/182.89	c  182s |      19 |   687579 |   659782 |     2331    615 |        1 |        8
184.76/184.90	c  184s |      19 |   694701 |   666782 |     2565    620 |        1 |        8
184.86/184.91	c  184s |      20 |   694747 |   666827 |     2565    620 |        1 |        8
186.85/186.93	c  186s |      20 |   699904 |   671227 |     2565    623 |        1 |        8
188.85/188.98	c  188s |      20 |   704106 |   675127 |     2565    626 |        1 |        8
190.95/191.01	c  190s |      20 |   709273 |   679927 |     2565    629 |        1 |        8
192.95/193.02	c  192s |      20 |   714243 |   684727 |     2565    633 |        1 |        8
194.95/195.04	c  194s |      20 |   718935 |   688927 |     2565    636 |        1 |        8
196.96/197.08	c  196s |      20 |   723971 |   693827 |     2565    639 |        1 |        8
199.06/199.12	c  198s |      20 |   729028 |   698827 |     2565    643 |        1 |        8
201.05/201.14	c  200s |      20 |   734505 |   704227 |     2565    647 |        1 |        8
203.06/203.15	c  202s |      20 |   739804 |   709427 |     2565    650 |        1 |        8
205.06/205.18	c  204s |      20 |   744898 |   714227 |     2565    654 |        1 |        8
207.16/207.20	c  206s |      20 |   749486 |   718427 |     2565    657 |        1 |        8
209.16/209.22	c  208s |      20 |   755705 |   724427 |     2565    661 |        1 |        8
211.17/211.24	c  210s |      20 |   761870 |   730227 |     2565    665 |        1 |        8
213.16/213.24	c  212s |      20 |   767918 |   735727 |     2565    669 |        1 |        8
215.16/215.27	c  214s |      20 |   774523 |   742027 |     2565    674 |        1 |        8
217.16/217.28	c  216s |      20 |   780278 |   747627 |     2565    678 |        1 |        8
219.15/219.28	c  218s |      20 |   786555 |   753727 |     2565    682 |        1 |        8
221.25/221.30	c  220s |      20 |   792974 |   760027 |     2565    687 |        1 |        8
223.26/223.32	c  222s |      20 |   799592 |   766527 |     2565    692 |        1 |        8
225.25/225.33	c  224s |      20 |   805944 |   772527 |     2565    696 |        1 |        8
227.25/227.34	c  226s |      20 |   812193 |   778427 |     2565    700 |        1 |        8
229.25/229.39	c  228s |      20 |   817991 |   783627 |     2565    704 |        1 |        8
231.35/231.40	c  230s |      20 |   823868 |   789027 |     2565    708 |        1 |        8
233.35/233.43	c  232s |      20 |   829875 |   794727 |     2565    712 |        1 |        8
235.36/235.44	c  234s |      20 |   836403 |   800827 |     2565    716 |        1 |        8
237.35/237.49	c  236s |      20 |   842085 |   806127 |     2565    720 |        1 |        8
239.45/239.52	c  238s |      20 |   847896 |   811127 |     2565    724 |        1 |        8
241.45/241.54	c  240s |      20 |   853843 |   816327 |     2565    728 |        1 |        8
243.45/243.55	c  242s |      20 |   859343 |   821327 |     2565    731 |        1 |        8
245.45/245.55	c  244s |      20 |   865501 |   827027 |     2565    735 |        1 |        8
247.45/247.58	c  246s |      20 |   871845 |   832827 |     2565    739 |        1 |        8
249.45/249.58	c  248s |      20 |   877835 |   838627 |     2565    744 |        1 |        8
251.45/251.58	c  250s |      20 |   883718 |   844227 |     2565    748 |        1 |        8
253.55/253.62	c  252s |      20 |   889623 |   850027 |     2565    752 |        1 |        8
255.55/255.65	c  254s |      20 |   894955 |   854727 |     2565    755 |        1 |        8
257.54/257.68	c  256s |      20 |   899498 |   859127 |     2565    759 |        1 |        8
259.55/259.70	c  258s |      20 |   904892 |   864027 |     2565    762 |        1 |        8
261.64/261.72	c  260s |      20 |   910482 |   869327 |     2565    766 |        1 |        8
263.64/263.75	c  262s |      20 |   916581 |   875127 |     2565    770 |        1 |        8
265.64/265.75	c  264s |      20 |   923033 |   881227 |     2565    775 |        1 |        8
267.64/267.78	c  267s |      20 |   929754 |   887327 |     2565    779 |        1 |        8
269.74/269.82	c  269s |      20 |   935149 |   892427 |     2565    783 |        1 |        8
271.75/271.87	c  271s |      20 |   941479 |   898327 |     2565    787 |        1 |        8
273.74/273.90	c  273s |      20 |   947162 |   903727 |     2565    791 |        1 |        8
275.84/275.91	c  275s |      20 |   952928 |   909027 |     2565    795 |        1 |        8
277.84/277.91	c  277s |      20 |   958036 |   913927 |     2565    798 |        1 |        8
279.85/279.92	c  279s |      20 |   963184 |   918527 |     2565    802 |        1 |        8
281.85/281.93	c  281s |      20 |   969216 |   924327 |     2565    806 |        1 |        8
283.86/283.94	c  283s |      20 |   975271 |   930227 |     2565    810 |        1 |        8
285.85/285.96	c  285s |      20 |   981127 |   935527 |     2565    814 |        1 |        8
287.85/287.97	c  287s |      20 |   987342 |   941527 |     2565    818 |        1 |        8
289.85/289.98	c  289s |      20 |   994711 |   948727 |     2565    823 |        1 |        8
291.85/291.99	c  291s |      20 |  1001306 |   954627 |     2565    828 |        1 |        8
293.95/294.00	c  293s |      20 |  1007923 |   960827 |     2565    832 |        1 |        8
295.95/296.01	c  295s |      20 |  1015055 |   967527 |     2565    837 |        1 |        8
297.94/298.01	c  297s |      20 |  1020908 |   973127 |     2565    841 |        1 |        8
299.94/300.03	c  299s |      20 |  1027025 |   978927 |     2565    845 |        1 |        8
301.94/302.07	c  301s |      20 |  1032840 |   984627 |     2565    849 |        1 |        8
303.94/304.07	c  303s |      20 |  1039058 |   990627 |     2565    854 |        1 |        8
305.94/306.08	c  305s |      20 |  1045249 |   996627 |     2822    858 |        1 |        8
307.24/307.34	c  306s |      21 |  1049038 |  1000345 |     2822    860 |        1 |        8
309.24/309.35	c  308s |      21 |  1057603 |  1008645 |     2822    865 |        1 |        8
311.24/311.37	c  310s |      21 |  1065357 |  1016245 |     2822    870 |        1 |        8
313.24/313.37	c  312s |      21 |  1073319 |  1024045 |     2822    876 |        1 |        8
315.24/315.37	c  314s |      21 |  1081089 |  1031645 |     2822    881 |        1 |        8
317.24/317.38	c  316s |      21 |  1088632 |  1039045 |     2822    885 |        1 |        8
319.24/319.38	c  318s |      21 |  1096587 |  1046845 |     2822    890 |        1 |        8
321.24/321.38	c  320s |      21 |  1105237 |  1055145 |     2822    896 |        1 |        8
323.23/323.39	c  322s |      21 |  1113312 |  1063045 |     2822    901 |        1 |        8
325.33/325.41	c  324s |      21 |  1121729 |  1071345 |     2822    906 |        1 |        8
327.33/327.42	c  326s |      21 |  1130169 |  1079545 |     2822    912 |        1 |        8
329.33/329.43	c  328s |      21 |  1137959 |  1087145 |     2822    917 |        1 |        8
331.33/331.45	c  330s |      21 |  1146105 |  1095145 |     2822    922 |        1 |        8
333.34/333.47	c  332s |      21 |  1153815 |  1102745 |     2822    927 |        1 |        8
335.33/335.48	c  334s |      21 |  1161581 |  1110345 |     2822    932 |        1 |        8
337.43/337.51	c  336s |      21 |  1169122 |  1117745 |     2822    937 |        1 |        8
339.44/339.51	c  338s |      21 |  1176554 |  1124945 |     2822    942 |        1 |        8
341.44/341.52	c  340s |      21 |  1184641 |  1132845 |     2822    947 |        1 |        8
343.44/343.52	c  342s |      21 |  1191931 |  1140045 |     2822    951 |        1 |        8
345.45/345.53	c  344s |      21 |  1199406 |  1147245 |     2822    956 |        1 |        8
347.44/347.54	c  346s |      21 |  1207363 |  1154945 |     2822    961 |        1 |        8
349.43/349.56	c  348s |      21 |  1215233 |  1162445 |     2822    966 |        1 |        8
351.43/351.56	c  350s |      21 |  1222973 |  1169845 |     2822    971 |        1 |        8
353.43/353.57	c  352s |      21 |  1230690 |  1177245 |     2822    976 |        1 |        8
355.44/355.57	c  354s |      21 |  1238318 |  1184645 |     2822    981 |        1 |        8
357.44/357.60	c  356s |      21 |  1245632 |  1191845 |     2822    985 |        1 |        8
359.53/359.61	c  358s |      21 |  1252194 |  1198145 |     2822    989 |        1 |        8
361.53/361.62	c  360s |      21 |  1259772 |  1205545 |     2822    994 |        1 |        8
363.53/363.62	c  362s |      21 |  1267009 |  1212645 |     2822    999 |        1 |        8
365.53/365.64	c  364s |      21 |  1274855 |  1220145 |     2822   1004 |        1 |        8
367.53/367.64	c  366s |      21 |  1281732 |  1226545 |     2822   1008 |        1 |        8
369.54/369.66	c  368s |      21 |  1288301 |  1232745 |     2822   1012 |        1 |        8
371.53/371.67	c  370s |      21 |  1295168 |  1239245 |     2822   1017 |        1 |        8
373.53/373.69	c  372s |      21 |  1302451 |  1246045 |     2822   1021 |        1 |        8
375.53/375.69	c  374s |      21 |  1309568 |  1252645 |     2822   1026 |        1 |        8
377.63/377.70	c  376s |      21 |  1316194 |  1259145 |     2822   1030 |        1 |        8
379.63/379.71	c  378s |      21 |  1322985 |  1265745 |     2822   1034 |        1 |        8
381.63/381.72	c  380s |      21 |  1330240 |  1272845 |     2822   1039 |        1 |        8
383.63/383.73	c  382s |      21 |  1337146 |  1279545 |     2822   1043 |        1 |        8
385.63/385.77	c  385s |      21 |  1343672 |  1285945 |     2822   1048 |        1 |        8
387.63/387.78	c  387s |      21 |  1350811 |  1292945 |     2822   1052 |        1 |        8
389.62/389.79	c  389s |      21 |  1357853 |  1299745 |     2822   1057 |        1 |        8
391.72/391.80	c  391s |      21 |  1365280 |  1306945 |     2822   1061 |        1 |        8
393.62/393.80	c  393s |      21 |  1373651 |  1314745 |     2822   1066 |        1 |        8
395.72/395.83	c  395s |      21 |  1380935 |  1321845 |     2822   1071 |        1 |        8
397.72/397.86	c  397s |      21 |  1387129 |  1327945 |     2822   1075 |        1 |        8
399.72/399.87	c  399s |      21 |  1394400 |  1334945 |     2822   1080 |        1 |        8
401.72/401.90	c  401s |      21 |  1400853 |  1341045 |     2822   1084 |        1 |        8
403.82/403.92	c  403s |      21 |  1408132 |  1348145 |     2822   1088 |        1 |        8
405.83/405.93	c  405s |      21 |  1415654 |  1355445 |     2822   1093 |        1 |        8
407.82/407.95	c  407s |      21 |  1422861 |  1362545 |     2822   1098 |        1 |        8
409.82/409.96	c  409s |      21 |  1430223 |  1369545 |     2822   1102 |        1 |        8
411.82/411.98	c  411s |      21 |  1437822 |  1376945 |     2822   1107 |        1 |        8
413.93/414.00	c  413s |      21 |  1445092 |  1383745 |     2822   1112 |        1 |        8
415.93/416.01	c  415s |      21 |  1451631 |  1390045 |     2822   1116 |        1 |        8
417.94/418.04	c  417s |      21 |  1459308 |  1397245 |     2822   1121 |        1 |        8
419.93/420.06	c  419s |      21 |  1466679 |  1404345 |     2822   1125 |        1 |        8
421.93/422.07	c  421s |      21 |  1473568 |  1410945 |     2822   1130 |        1 |        8
423.93/424.08	c  423s |      21 |  1480359 |  1417645 |     2822   1134 |        1 |        8
426.03/426.11	c  425s |      21 |  1487336 |  1424445 |     2822   1139 |        1 |        8
428.03/428.12	c  427s |      21 |  1495084 |  1431845 |     2822   1143 |        1 |        8
430.03/430.14	c  429s |      21 |  1503219 |  1439545 |     2822   1149 |        1 |        8
432.02/432.16	c  431s |      21 |  1510915 |  1446745 |     2822   1153 |        1 |        8
434.02/434.16	c  433s |      21 |  1518673 |  1454145 |     2822   1158 |        1 |        8
436.02/436.17	c  435s |      21 |  1526204 |  1461145 |     2822   1163 |        1 |        8
438.02/438.18	c  437s |      21 |  1533280 |  1467945 |     2822   1168 |        1 |        8
440.03/440.18	c  439s |      21 |  1540853 |  1475245 |     2822   1173 |        1 |        8
442.02/442.19	c  441s |      21 |  1548047 |  1482145 |     2822   1177 |        1 |        8
444.12/444.21	c  443s |      21 |  1555199 |  1488945 |     3105   1182 |        1 |        8
446.12/446.23	c  445s |      21 |  1562545 |  1495945 |     3105   1186 |        1 |        8
447.52/447.66	c  446s |      22 |  1567546 |  1500622 |     3105   1189 |        1 |        8
449.62/449.71	c  448s |      22 |  1573170 |  1505922 |     3105   1192 |        1 |        8
451.62/451.73	c  450s |      22 |  1578816 |  1511422 |     3105   1195 |        1 |        8
453.62/453.76	c  453s |      22 |  1584116 |  1516422 |     3105   1198 |        1 |        8
455.62/455.78	c  455s |      22 |  1589223 |  1521422 |     3105   1201 |        1 |        8
457.72/457.81	c  457s |      22 |  1594939 |  1526722 |     3105   1204 |        1 |        8
459.73/459.83	c  459s |      22 |  1600260 |  1531722 |     3105   1208 |        1 |        8
461.72/461.83	c  461s |      22 |  1605640 |  1537022 |     3105   1211 |        1 |        8
463.72/463.85	c  463s |      22 |  1611636 |  1542922 |     3105   1214 |        1 |        8
465.72/465.87	c  465s |      22 |  1617729 |  1548922 |     3105   1218 |        1 |        8
467.71/467.88	c  467s |      22 |  1623654 |  1554722 |     3105   1221 |        1 |        8
469.81/469.91	c  469s |      22 |  1629565 |  1560222 |     3105   1225 |        1 |        8
471.82/471.94	c  471s |      22 |  1635146 |  1565622 |     3105   1228 |        1 |        8
473.81/473.96	c  473s |      22 |  1641990 |  1572322 |     3105   1232 |        1 |        8
475.81/475.98	c  475s |      22 |  1647827 |  1578022 |     3105   1236 |        1 |        8
477.81/477.98	c  477s |      22 |  1653948 |  1584022 |     3105   1239 |        1 |        8
479.91/480.02	c  479s |      22 |  1659891 |  1589622 |     3105   1243 |        1 |        8
481.91/482.04	c  481s |      22 |  1665096 |  1594122 |     3105   1245 |        1 |        8
483.92/484.05	c  483s |      22 |  1670045 |  1598622 |     3105   1248 |        1 |        8
485.91/486.09	c  485s |      22 |  1674735 |  1602922 |     3105   1251 |        1 |        8
488.01/488.11	c  487s |      22 |  1679403 |  1607422 |     3105   1253 |        1 |        8
490.01/490.12	c  489s |      22 |  1684910 |  1612822 |     3105   1257 |        1 |        8
492.01/492.13	c  491s |      22 |  1690381 |  1617822 |     3105   1260 |        1 |        8
494.01/494.14	c  493s |      22 |  1696021 |  1623322 |     3105   1263 |        1 |        8
496.02/496.16	c  495s |      22 |  1701817 |  1628722 |     3105   1266 |        1 |        8
498.11/498.20	c  497s |      22 |  1707531 |  1633922 |     3105   1269 |        1 |        8
500.11/500.23	c  499s |      22 |  1713416 |  1639622 |     3105   1273 |        1 |        8
502.11/502.26	c  501s |      22 |  1718415 |  1644422 |     3105   1276 |        1 |        8
504.11/504.26	c  503s |      22 |  1724483 |  1650422 |     3105   1279 |        1 |        8
506.11/506.26	c  505s |      22 |  1730262 |  1655922 |     3105   1283 |        1 |        8
508.11/508.26	c  507s |      22 |  1736234 |  1661622 |     3105   1286 |        1 |        8
510.11/510.27	c  509s |      22 |  1742525 |  1667822 |     3105   1290 |        1 |        8
512.21/512.30	c  511s |      22 |  1748938 |  1674122 |     3105   1294 |        1 |        8
514.21/514.33	c  513s |      22 |  1754533 |  1679122 |     3105   1297 |        1 |        8
516.21/516.35	c  515s |      22 |  1760294 |  1684722 |     3105   1300 |        1 |        8
518.21/518.37	c  517s |      22 |  1765485 |  1689622 |     3105   1303 |        1 |        8
520.22/520.38	c  519s |      22 |  1771714 |  1695522 |     3105   1307 |        1 |        8
522.31/522.40	c  521s |      22 |  1777879 |  1701422 |     3105   1310 |        1 |        8
524.31/524.42	c  523s |      22 |  1784298 |  1707722 |     3105   1314 |        1 |        8
526.31/526.42	c  525s |      22 |  1789705 |  1712722 |     3105   1317 |        1 |        8
528.31/528.46	c  527s |      22 |  1795956 |  1718322 |     3105   1320 |        1 |        8
530.31/530.49	c  529s |      22 |  1801647 |  1723522 |     3105   1323 |        1 |        8
532.42/532.51	c  531s |      22 |  1807199 |  1728922 |     3105   1327 |        1 |        8
534.41/534.54	c  533s |      22 |  1813381 |  1735022 |     3105   1330 |        1 |        8
536.41/536.54	c  535s |      22 |  1819105 |  1740522 |     3105   1334 |        1 |        8
538.41/538.57	c  537s |      22 |  1825433 |  1746722 |     3105   1338 |        1 |        8
540.50/540.62	c  539s |      22 |  1831453 |  1752422 |     3105   1341 |        1 |        8
542.50/542.65	c  541s |      22 |  1838211 |  1759022 |     3105   1345 |        1 |        8
544.51/544.65	c  543s |      22 |  1843869 |  1764522 |     3105   1348 |        1 |        8
546.50/546.66	c  545s |      22 |  1849826 |  1770022 |     3105   1352 |        1 |        8
548.50/548.68	c  547s |      22 |  1855585 |  1775322 |     3105   1355 |        1 |        8
550.60/550.70	c  549s |      22 |  1861408 |  1780722 |     3105   1358 |        1 |        8
552.60/552.71	c  551s |      22 |  1867371 |  1786422 |     3105   1361 |        1 |        8
554.60/554.72	c  553s |      22 |  1873904 |  1792822 |     3105   1365 |        1 |        8
556.61/556.75	c  555s |      22 |  1880016 |  1798822 |     3105   1369 |        1 |        8
558.60/558.77	c  558s |      22 |  1885477 |  1804122 |     3105   1372 |        1 |        8
560.70/560.80	c  560s |      22 |  1891064 |  1809622 |     3105   1375 |        1 |        8
562.70/562.83	c  562s |      22 |  1897390 |  1815822 |     3105   1379 |        1 |        8
564.70/564.85	c  564s |      22 |  1903190 |  1821322 |     3105   1383 |        1 |        8
566.70/566.86	c  566s |      22 |  1908886 |  1826722 |     3105   1386 |        1 |        8
568.80/568.92	c  568s |      22 |  1915306 |  1832922 |     3105   1390 |        1 |        8
570.81/570.94	c  570s |      22 |  1921542 |  1838922 |     3105   1393 |        1 |        8
572.80/572.98	c  572s |      22 |  1927362 |  1844522 |     3105   1397 |        1 |        8
574.80/574.99	c  574s |      22 |  1934197 |  1851022 |     3105   1400 |        1 |        8
576.90/577.01	c  576s |      22 |  1940684 |  1857422 |     3105   1404 |        1 |        8
578.90/579.02	c  578s |      22 |  1946708 |  1863322 |     3105   1408 |        1 |        8
580.90/581.03	c  580s |      22 |  1953321 |  1869822 |     3105   1412 |        1 |        8
582.91/583.06	c  582s |      22 |  1959722 |  1876022 |     3105   1416 |        1 |        8
584.90/585.06	c  584s |      22 |  1965315 |  1881522 |     3105   1419 |        1 |        8
586.90/587.09	c  586s |      22 |  1970506 |  1886622 |     3105   1422 |        1 |        8
589.00/589.13	c  588s |      22 |  1977064 |  1892022 |     3105   1425 |        1 |        8
591.00/591.15	c  590s |      22 |  1983339 |  1898022 |     3105   1429 |        1 |        8
593.00/593.17	c  592s |      22 |  1989433 |  1903822 |     3105   1432 |        1 |        8
595.00/595.19	c  594s |      22 |  1995344 |  1909522 |     3105   1436 |        1 |        8
597.10/597.21	c  596s |      22 |  2000694 |  1914822 |     3105   1439 |        1 |        8
599.10/599.23	c  598s |      22 |  2006443 |  1920122 |     3105   1442 |        1 |        8
601.09/601.24	c  600s |      22 |  2012527 |  1925922 |     3105   1446 |        1 |        8
603.09/603.27	c  602s |      22 |  2018104 |  1931422 |     3105   1449 |        1 |        8
605.19/605.32	c  604s |      22 |  2022691 |  1935622 |     3105   1451 |        1 |        8
607.20/607.35	c  606s |      22 |  2028034 |  1940722 |     3105   1455 |        1 |        8
609.19/609.36	c  608s |      22 |  2034381 |  1946922 |     3105   1458 |        1 |        8
611.19/611.38	c  610s |      22 |  2040297 |  1952622 |     3105   1462 |        1 |        8
613.19/613.39	c  612s |      22 |  2045557 |  1957522 |     3105   1465 |        1 |        8
615.29/615.40	c  614s |      22 |  2051424 |  1962922 |     3105   1468 |        1 |        8
617.29/617.41	c  616s |      22 |  2057482 |  1968722 |     3105   1472 |        1 |        8
619.30/619.46	c  618s |      22 |  2063139 |  1974022 |     3105   1475 |        1 |        8
621.29/621.50	c  620s |      22 |  2069089 |  1979622 |     3105   1478 |        1 |        8
623.39/623.51	c  622s |      22 |  2073824 |  1984122 |     3105   1481 |        1 |        8
625.39/625.54	c  624s |      22 |  2079045 |  1989222 |     3105   1484 |        1 |        8
627.39/627.57	c  626s |      22 |  2083626 |  1993422 |     3105   1486 |        1 |        8
629.39/629.59	c  628s |      22 |  2089384 |  1999022 |     3105   1490 |        1 |        8
631.49/631.61	c  630s |      22 |  2095369 |  2004922 |     3105   1493 |        1 |        8
633.50/633.63	c  632s |      22 |  2102154 |  2011522 |     3105   1497 |        1 |        8
635.49/635.65	c  634s |      22 |  2108485 |  2017722 |     3105   1501 |        1 |        8
637.49/637.67	c  636s |      22 |  2114590 |  2023722 |     3105   1505 |        1 |        8
639.49/639.68	c  638s |      22 |  2121366 |  2030322 |     3105   1509 |        1 |        8
641.49/641.69	c  640s |      22 |  2127787 |  2036622 |     3105   1513 |        1 |        8
643.60/643.71	c  642s |      22 |  2134998 |  2043722 |     3105   1517 |        1 |        8
645.60/645.71	c  644s |      22 |  2141878 |  2050522 |     3105   1521 |        1 |        8
647.59/647.74	c  646s |      22 |  2149135 |  2057522 |     3105   1526 |        2 |       16
649.59/649.76	c  648s |      22 |  2156555 |  2064622 |     3105   1530 |        2 |       16
651.59/651.78	c  651s |      22 |  2163757 |  2071722 |     3105   1534 |        2 |       16
653.59/653.79	c  653s |      22 |  2171061 |  2078822 |     3105   1538 |        2 |       16
655.69/655.80	c  655s |      22 |  2178284 |  2085922 |     3105   1542 |        2 |       16
657.70/657.83	c  657s |      22 |  2185192 |  2092722 |     3105   1546 |        2 |       16
659.69/659.84	c  659s |      22 |  2191880 |  2099322 |     3105   1550 |        2 |       16
661.69/661.86	c  661s |      22 |  2199531 |  2106822 |     3105   1555 |        2 |       16
663.69/663.88	c  663s |      22 |  2206574 |  2113722 |     3105   1559 |        2 |       16
665.69/665.89	c  665s |      22 |  2213532 |  2120622 |     3105   1563 |        2 |       16
667.79/667.90	c  667s |      22 |  2220187 |  2127122 |     3105   1567 |        2 |       16
669.80/669.90	c  669s |      22 |  2227977 |  2134722 |     3105   1571 |        2 |       16
671.79/671.91	c  671s |      22 |  2235923 |  2142522 |     3105   1576 |        2 |       16
673.79/673.93	c  673s |      22 |  2243770 |  2150222 |     3105   1580 |        2 |       16
675.79/675.94	c  675s |      22 |  2252133 |  2158322 |     3105   1585 |        2 |       16
677.78/677.94	c  677s |      22 |  2259310 |  2165322 |     3105   1589 |        2 |       16
679.79/679.95	c  679s |      22 |  2266910 |  2172822 |     3105   1594 |        2 |       16
681.78/681.96	c  681s |      22 |  2274880 |  2180622 |     3105   1598 |        2 |       16
683.78/683.97	c  683s |      22 |  2282366 |  2188022 |     3105   1603 |        2 |       16
685.78/685.99	c  685s |      22 |  2290291 |  2195822 |     3105   1607 |        2 |       16
687.78/687.99	c  687s |      22 |  2298018 |  2203422 |     3105   1612 |        2 |       16
689.88/690.01	c  689s |      22 |  2306311 |  2211622 |     3105   1617 |        2 |       16
691.88/692.03	c  691s |      22 |  2314156 |  2219322 |     3105   1621 |        2 |       16
693.88/694.04	c  693s |      22 |  2322172 |  2227222 |     3105   1626 |        2 |       16
695.88/696.05	c  695s |      22 |  2329733 |  2234622 |     3416   1630 |        2 |       16
697.87/698.06	c  697s |      22 |  2337610 |  2242322 |     3416   1634 |        2 |       16
699.87/700.08	c  699s |      22 |  2344891 |  2249522 |     3416   1638 |        2 |       16
700.27/700.45	c  699s |      23 |  2346420 |  2251038 |     3416   1639 |        2 |       16
702.27/702.47	c  701s |      23 |  2352317 |  2256538 |     3416   1642 |        2 |       16
704.27/704.48	c  703s |      23 |  2358142 |  2262138 |     3416   1645 |        2 |       16
706.27/706.49	c  705s |      23 |  2363624 |  2267338 |     3416   1648 |        2 |       16
708.27/708.50	c  707s |      23 |  2369757 |  2273238 |     3416   1652 |        2 |       16
710.37/710.51	c  709s |      23 |  2376308 |  2279438 |     3416   1655 |        2 |       16
712.37/712.54	c  711s |      23 |  2382654 |  2285438 |     3416   1659 |        2 |       16
714.37/714.57	c  713s |      23 |  2388808 |  2291338 |     3416   1662 |        2 |       16
716.36/716.57	c  715s |      23 |  2394680 |  2297138 |     3416   1665 |        2 |       16
718.36/718.59	c  717s |      23 |  2400811 |  2303138 |     3416   1669 |        2 |       16
720.37/720.60	c  719s |      23 |  2407333 |  2309538 |     3416   1672 |        2 |       16
722.46/722.60	c  721s |      23 |  2413764 |  2315838 |     3416   1676 |        2 |       16
724.46/724.61	c  723s |      23 |  2421222 |  2322938 |     3416   1680 |        2 |       16
726.46/726.64	c  725s |      23 |  2427361 |  2328538 |     3416   1683 |        2 |       16
728.46/728.64	c  727s |      23 |  2433641 |  2334638 |     3416   1687 |        2 |       16
730.45/730.68	c  729s |      23 |  2439280 |  2340138 |     3416   1690 |        2 |       16
732.57/732.71	c  731s |      23 |  2444695 |  2345138 |     3416   1692 |        2 |       16
734.56/734.73	c  733s |      23 |  2451597 |  2351838 |     3416   1696 |        2 |       16
736.56/736.75	c  735s |      23 |  2458078 |  2358038 |     3416   1700 |        2 |       16
738.56/738.78	c  738s |      23 |  2464688 |  2364338 |     3416   1703 |        2 |       16
740.66/740.81	c  740s |      23 |  2471305 |  2370738 |     3416   1707 |        2 |       16
742.66/742.84	c  742s |      23 |  2477362 |  2376538 |     3416   1710 |        2 |       16
744.67/744.85	c  744s |      23 |  2484138 |  2382738 |     3416   1714 |        2 |       16
746.65/746.87	c  746s |      23 |  2490100 |  2388438 |     3416   1717 |        2 |       16
748.65/748.89	c  748s |      23 |  2496705 |  2394938 |     3416   1721 |        2 |       16
750.75/750.91	c  750s |      23 |  2501966 |  2399938 |     3416   1723 |        2 |       16
752.75/752.92	c  752s |      23 |  2508182 |  2405838 |     3416   1727 |        2 |       16
754.75/754.95	c  754s |      23 |  2514142 |  2411638 |     3416   1730 |        2 |       16
756.76/756.98	c  756s |      23 |  2520527 |  2417638 |     3416   1733 |        2 |       16
758.75/759.00	c  758s |      23 |  2526367 |  2423338 |     3416   1737 |        2 |       16
760.85/761.02	c  760s |      23 |  2532863 |  2429538 |     3416   1740 |        2 |       16
762.85/763.03	c  762s |      23 |  2538883 |  2435238 |     3416   1743 |        2 |       16
764.85/765.04	c  764s |      23 |  2544954 |  2441238 |     3416   1747 |        2 |       16
766.85/767.07	c  766s |      23 |  2550866 |  2447038 |     3416   1750 |        2 |       16
768.85/769.09	c  768s |      23 |  2558269 |  2454038 |     3416   1754 |        2 |       16
770.84/771.09	c  770s |      23 |  2564727 |  2460238 |     3416   1758 |        2 |       16
772.94/773.10	c  772s |      23 |  2571941 |  2467238 |     3416   1762 |        2 |       16
774.94/775.13	c  774s |      23 |  2579087 |  2473938 |     3416   1765 |        2 |       16
776.94/777.14	c  776s |      23 |  2585383 |  2479938 |     3416   1769 |        2 |       16
778.94/779.16	c  778s |      23 |  2591762 |  2486138 |     3416   1772 |        2 |       16
780.95/781.17	c  780s |      23 |  2599009 |  2493138 |     3416   1776 |        2 |       16
782.94/783.20	c  782s |      23 |  2605273 |  2499138 |     3416   1780 |        2 |       16
785.04/785.23	c  784s |      23 |  2611606 |  2505238 |     3416   1783 |        2 |       16
787.04/787.26	c  786s |      23 |  2617612 |  2510938 |     3416   1786 |        2 |       16
789.04/789.27	c  788s |      23 |  2624068 |  2517038 |     3416   1790 |        2 |       16
791.03/791.29	c  790s |      23 |  2630317 |  2522838 |     3416   1793 |        2 |       16
793.13/793.31	c  792s |      23 |  2636987 |  2529238 |     3416   1797 |        2 |       16
795.14/795.34	c  794s |      23 |  2643686 |  2535638 |     3416   1800 |        2 |       16
797.13/797.34	c  796s |      23 |  2649785 |  2541538 |     3416   1804 |        2 |       16
799.13/799.36	c  798s |      23 |  2656388 |  2547738 |     3416   1807 |        2 |       16
801.13/801.39	c  800s |      23 |  2662926 |  2554138 |     3416   1811 |        2 |       16
803.13/803.39	c  802s |      23 |  2669097 |  2559438 |     3416   1814 |        2 |       16
805.14/805.39	c  804s |      23 |  2675012 |  2565038 |     3416   1817 |        2 |       16
807.13/807.39	c  806s |      23 |  2681259 |  2570838 |     3416   1820 |        2 |       16
809.23/809.43	c  808s |      23 |  2686933 |  2576338 |     3416   1824 |        2 |       16
811.22/811.44	c  810s |      23 |  2693823 |  2583038 |     3416   1827 |        2 |       16
813.22/813.46	c  812s |      23 |  2699781 |  2588638 |     3416   1830 |        2 |       16
815.22/815.49	c  814s |      23 |  2705908 |  2594638 |     3416   1834 |        2 |       16
817.32/817.53	c  816s |      23 |  2711825 |  2600438 |     3416   1837 |        2 |       16
819.33/819.54	c  818s |      23 |  2718589 |  2607038 |     3416   1841 |        2 |       16
821.32/821.55	c  820s |      23 |  2724593 |  2612938 |     3416   1844 |        2 |       16
823.32/823.59	c  822s |      23 |  2730967 |  2618838 |     3416   1848 |        2 |       16
825.42/825.61	c  824s |      23 |  2737553 |  2624738 |     3416   1851 |        2 |       16
827.41/827.65	c  826s |      23 |  2743872 |  2630638 |     3416   1854 |        2 |       16
829.41/829.67	c  828s |      23 |  2749614 |  2635838 |     3416   1857 |        2 |       16
831.42/831.69	c  830s |      23 |  2755785 |  2641438 |     3416   1860 |        2 |       16
833.51/833.71	c  832s |      23 |  2762343 |  2647538 |     3416   1864 |        2 |       16
835.51/835.73	c  834s |      23 |  2769138 |  2653738 |     3416   1867 |        2 |       16
837.51/837.74	c  836s |      23 |  2775562 |  2659938 |     3416   1871 |        2 |       16
839.51/839.74	c  838s |      23 |  2781755 |  2665538 |     3416   1874 |        2 |       16
841.51/841.75	c  840s |      23 |  2787689 |  2671338 |     3416   1877 |        2 |       16
843.52/843.75	c  842s |      23 |  2793395 |  2676338 |     3416   1880 |        2 |       16
845.51/845.76	c  844s |      23 |  2799596 |  2682238 |     3416   1884 |        2 |       16
847.51/847.79	c  847s |      23 |  2806691 |  2689238 |     3416   1888 |        2 |       16
849.61/849.82	c  849s |      23 |  2813300 |  2695738 |     3416   1891 |        2 |       16
851.61/851.85	c  851s |      23 |  2819819 |  2702138 |     3416   1895 |        2 |       16
853.61/853.87	c  853s |      23 |  2825998 |  2708038 |     3416   1898 |        2 |       16
855.61/855.89	c  855s |      23 |  2832721 |  2714438 |     3416   1902 |        2 |       16
857.70/857.91	c  857s |      23 |  2839367 |  2720738 |     3416   1905 |        2 |       16
859.70/859.92	c  859s |      23 |  2845561 |  2726838 |     3416   1909 |        2 |       16
861.70/861.96	c  861s |      23 |  2850741 |  2731738 |     3416   1912 |        2 |       16
863.70/863.99	c  863s |      23 |  2856118 |  2736838 |     3416   1915 |        2 |       16
865.80/866.01	c  865s |      23 |  2862420 |  2742938 |     3416   1918 |        2 |       16
867.81/868.02	c  867s |      23 |  2868393 |  2748538 |     3416   1921 |        2 |       16
869.80/870.04	c  869s |      23 |  2874682 |  2754638 |     3416   1925 |        2 |       16
871.80/872.05	c  871s |      23 |  2880624 |  2760438 |     3416   1928 |        2 |       16
873.80/874.05	c  873s |      23 |  2887178 |  2766838 |     3416   1932 |        2 |       16
875.80/876.08	c  875s |      23 |  2893281 |  2772738 |     3416   1935 |        2 |       16
877.89/878.11	c  877s |      23 |  2900182 |  2779338 |     3416   1939 |        2 |       16
879.90/880.12	c  879s |      23 |  2907120 |  2785638 |     3416   1942 |        2 |       16
881.89/882.14	c  881s |      23 |  2913595 |  2791738 |     3416   1946 |        2 |       16
883.89/884.17	c  883s |      23 |  2920555 |  2798338 |     3416   1949 |        2 |       16
885.89/886.18	c  885s |      23 |  2926999 |  2804438 |     3416   1953 |        2 |       16
887.89/888.18	c  887s |      23 |  2933463 |  2810638 |     3416   1956 |        2 |       16
889.89/890.19	c  889s |      23 |  2940388 |  2817138 |     3416   1960 |        2 |       16
891.99/892.22	c  891s |      23 |  2945739 |  2822038 |     3416   1963 |        2 |       16
893.99/894.23	c  893s |      23 |  2952358 |  2828238 |     3416   1966 |        2 |       16
895.98/896.26	c  895s |      23 |  2958572 |  2833838 |     3416   1970 |        2 |       16
897.98/898.29	c  897s |      23 |  2964792 |  2839738 |     3416   1973 |        2 |       16
900.08/900.30	c  899s |      23 |  2970916 |  2845638 |     3416   1976 |        2 |       16
902.08/902.33	c  901s |      23 |  2975897 |  2850238 |     3416   1979 |        2 |       16
904.09/904.34	c  903s |      23 |  2981682 |  2855738 |     3416   1982 |        2 |       16
906.08/906.38	c  905s |      23 |  2987439 |  2861438 |     3416   1985 |        2 |       16
908.17/908.41	c  907s |      23 |  2993673 |  2867338 |     3416   1989 |        2 |       16
910.17/910.42	c  909s |      23 |  2999861 |  2873238 |     3416   1992 |        2 |       16
912.17/912.44	c  911s |      23 |  3006230 |  2879238 |     3416   1995 |        2 |       16
914.17/914.47	c  913s |      23 |  3012422 |  2885338 |     3416   1999 |        2 |       16
916.27/916.50	c  915s |      23 |  3018166 |  2890738 |     3416   2002 |        2 |       16
918.27/918.52	c  917s |      23 |  3025158 |  2897238 |     3416   2005 |        2 |       16
920.27/920.53	c  919s |      23 |  3031666 |  2903138 |     3416   2009 |        2 |       16
922.26/922.57	c  921s |      23 |  3038621 |  2909738 |     3416   2013 |        2 |       16
924.26/924.59	c  923s |      23 |  3044881 |  2915538 |     3416   2016 |        2 |       16
926.36/926.61	c  925s |      23 |  3051069 |  2921038 |     3416   2019 |        2 |       16
928.36/928.65	c  927s |      23 |  3057562 |  2927238 |     3416   2022 |        2 |       16
930.36/930.68	c  929s |      23 |  3063979 |  2933038 |     3416   2026 |        2 |       16
932.46/932.70	c  931s |      23 |  3070434 |  2938938 |     3416   2029 |        2 |       16
934.46/934.71	c  933s |      23 |  3076683 |  2944838 |     3416   2032 |        2 |       16
936.45/936.74	c  935s |      23 |  3082974 |  2950838 |     3416   2036 |        2 |       16
938.45/938.75	c  937s |      23 |  3089529 |  2957238 |     3416   2039 |        2 |       16
940.45/940.75	c  939s |      23 |  3096927 |  2963838 |     3416   2043 |        2 |       16
942.46/942.76	c  941s |      23 |  3103872 |  2969938 |     3416   2047 |        2 |       16
944.45/944.77	c  944s |      23 |  3110620 |  2976038 |     3416   2050 |        2 |       16
946.45/946.79	c  946s |      23 |  3117163 |  2982038 |     3416   2053 |        2 |       16
948.55/948.80	c  948s |      23 |  3123516 |  2987938 |     3416   2057 |        2 |       16
950.55/950.82	c  950s |      23 |  3130034 |  2994338 |     3416   2060 |        2 |       16
952.55/952.83	c  952s |      23 |  3136267 |  3000338 |     3416   2064 |        2 |       16
954.55/954.85	c  954s |      23 |  3142484 |  3006438 |     3416   2067 |        2 |       16
956.54/956.86	c  956s |      23 |  3148802 |  3012638 |     3416   2071 |        2 |       16
958.54/958.86	c  958s |      23 |  3154739 |  3018438 |     3416   2074 |        2 |       16
960.54/960.89	c  960s |      23 |  3161171 |  3024438 |     3416   2077 |        2 |       16
962.65/962.90	c  962s |      23 |  3167566 |  3030538 |     3416   2081 |        2 |       16
964.65/964.90	c  964s |      23 |  3174431 |  3036938 |     3416   2084 |        2 |       16
966.65/966.91	c  966s |      23 |  3181474 |  3043338 |     3416   2088 |        2 |       16
968.65/968.93	c  968s |      23 |  3188644 |  3050138 |     3416   2092 |        2 |       16
970.65/970.94	c  970s |      23 |  3195515 |  3056738 |     3416   2096 |        2 |       16
972.65/972.95	c  972s |      23 |  3202312 |  3062738 |     3416   2099 |        2 |       16
974.65/974.95	c  974s |      23 |  3209552 |  3069538 |     3416   2103 |        2 |       16
976.65/976.96	c  976s |      23 |  3216027 |  3075838 |     3416   2107 |        2 |       16
978.64/978.98	c  978s |      23 |  3222659 |  3081938 |     3416   2110 |        2 |       16
980.64/980.99	c  980s |      23 |  3228657 |  3087438 |     3416   2113 |        2 |       16
982.64/982.99	c  982s |      23 |  3235333 |  3093738 |     3416   2117 |        2 |       16
984.74/985.03	c  984s |      23 |  3241847 |  3099638 |     3416   2120 |        2 |       16
986.74/987.04	c  986s |      23 |  3248017 |  3104838 |     3416   2123 |        2 |       16
988.75/989.04	c  988s |      23 |  3254456 |  3110938 |     3416   2126 |        2 |       16
990.74/991.04	c  990s |      23 |  3261261 |  3117338 |     3416   2130 |        2 |       16
992.74/993.04	c  992s |      23 |  3268425 |  3124238 |     3416   2134 |        2 |       16
994.74/995.06	c  994s |      23 |  3275192 |  3130838 |     3416   2138 |        2 |       16
996.73/997.08	c  996s |      23 |  3281073 |  3136638 |     3416   2141 |        2 |       16
998.73/999.08	c  998s |      23 |  3286960 |  3142438 |     3416   2144 |        2 |       16
1000.74/1001.10	c 1000s |      23 |  3294190 |  3149538 |     3416   2148 |        2 |       16
1002.83/1003.12	c 1002s |      23 |  3300444 |  3155438 |     3416   2152 |        2 |       16
1004.83/1005.14	c 1004s |      23 |  3306468 |  3160938 |     3416   2155 |        2 |       16
1006.83/1007.17	c 1006s |      23 |  3312869 |  3166538 |     3416   2158 |        2 |       16
1008.93/1009.21	c 1008s |      23 |  3319440 |  3172538 |     3416   2161 |        2 |       16
1010.93/1011.23	c 1010s |      23 |  3325925 |  3178438 |     3416   2165 |        2 |       16
1012.94/1013.27	c 1012s |      23 |  3333212 |  3184538 |     3416   2168 |        2 |       16
1014.93/1015.28	c 1014s |      23 |  3339600 |  3190238 |     3416   2171 |        2 |       16
1016.92/1017.29	c 1016s |      23 |  3346250 |  3196638 |     3416   2175 |        2 |       16
1019.02/1019.31	c 1018s |      23 |  3353211 |  3203538 |     3416   2179 |        2 |       16
1021.02/1021.33	c 1020s |      23 |  3360392 |  3210438 |     3416   2183 |        2 |       16
1023.02/1023.35	c 1022s |      23 |  3366617 |  3216338 |     3416   2186 |        2 |       16
1025.03/1025.36	c 1024s |      23 |  3373107 |  3222538 |     3416   2190 |        2 |       16
1027.02/1027.37	c 1026s |      23 |  3378790 |  3227938 |     3416   2193 |        2 |       16
1029.12/1029.40	c 1028s |      23 |  3383773 |  3232638 |     3416   2196 |        2 |       16
1031.12/1031.45	c 1030s |      23 |  3389619 |  3237938 |     3416   2199 |        2 |       16
1033.12/1033.46	c 1032s |      23 |  3395711 |  3243438 |     3416   2202 |        2 |       16
1035.12/1035.47	c 1034s |      23 |  3402051 |  3249538 |     3416   2205 |        2 |       16
1037.12/1037.48	c 1036s |      23 |  3408947 |  3255638 |     3416   2209 |        2 |       16
1039.11/1039.49	c 1038s |      23 |  3415684 |  3262138 |     3416   2212 |        2 |       16
1041.21/1041.50	c 1040s |      23 |  3422593 |  3268738 |     3416   2216 |        2 |       16
1043.21/1043.52	c 1042s |      23 |  3429071 |  3274938 |     3416   2219 |        2 |       16
1045.21/1045.55	c 1044s |      23 |  3435571 |  3281038 |     3416   2223 |        2 |       16
1047.20/1047.57	c 1046s |      23 |  3442358 |  3287438 |     3416   2227 |        2 |       16
1049.30/1049.61	c 1048s |      23 |  3449227 |  3293738 |     3416   2230 |        2 |       16
1051.31/1051.62	c 1050s |      23 |  3455798 |  3299938 |     3416   2234 |        2 |       16
1053.30/1053.65	c 1052s |      23 |  3462636 |  3306338 |     3416   2237 |        2 |       16
1055.30/1055.67	c 1054s |      23 |  3469720 |  3312938 |     3416   2241 |        2 |       16
1057.40/1057.70	c 1056s |      23 |  3476063 |  3318938 |     3416   2244 |        2 |       16
1059.40/1059.71	c 1058s |      23 |  3482465 |  3324638 |     3416   2248 |        2 |       16
1061.40/1061.73	c 1060s |      23 |  3488972 |  3330438 |     3416   2251 |        2 |       16
1063.41/1063.74	c 1062s |      23 |  3495366 |  3336538 |     3416   2254 |        2 |       16
1065.40/1065.75	c 1064s |      23 |  3502093 |  3342638 |     3416   2258 |        2 |       16
1067.40/1067.75	c 1066s |      23 |  3508727 |  3349038 |     3416   2261 |        2 |       16
1069.40/1069.79	c 1069s |      23 |  3515364 |  3355238 |     3758   2265 |        2 |       16
1071.50/1071.80	c 1071s |      23 |  3521946 |  3361338 |     3758   2268 |        2 |       16
1073.49/1073.82	c 1073s |      23 |  3527773 |  3366838 |     3758   2271 |        2 |       16
1075.50/1075.83	c 1075s |      23 |  3534814 |  3373138 |     3758   2274 |        2 |       16
1076.70/1077.02	c 1076s |      24 |  3538520 |  3376662 |     3758   2276 |        2 |       16
1078.69/1079.06	c 1078s |      24 |  3546363 |  3384362 |     3758   2280 |        2 |       16
1080.69/1081.07	c 1080s |      24 |  3553058 |  3390862 |     3758   2283 |        2 |       16
1082.69/1083.07	c 1082s |      24 |  3558666 |  3396362 |     3758   2286 |        2 |       16
1084.69/1085.09	c 1084s |      24 |  3565350 |  3402762 |     3758   2289 |        2 |       16
1086.79/1087.11	c 1086s |      24 |  3572540 |  3409862 |     3758   2293 |        2 |       16
1088.79/1089.13	c 1088s |      24 |  3579861 |  3417062 |     3758   2296 |        2 |       16
1090.79/1091.13	c 1090s |      24 |  3587000 |  3424062 |     3758   2300 |        2 |       16
1092.79/1093.13	c 1092s |      24 |  3594448 |  3431262 |     3758   2304 |        2 |       16
1094.79/1095.13	c 1094s |      24 |  3601351 |  3437862 |     3758   2307 |        2 |       16
1096.78/1097.15	c 1096s |      24 |  3606921 |  3442862 |     3758   2310 |        2 |       16
1098.78/1099.16	c 1098s |      24 |  3613452 |  3448362 |     3758   2313 |        2 |       16
1100.79/1101.18	c 1100s |      24 |  3619129 |  3453362 |     3758   2315 |        2 |       16
1102.88/1103.20	c 1102s |      24 |  3625273 |  3458662 |     3758   2318 |        2 |       16
1104.88/1105.21	c 1104s |      24 |  3630621 |  3463462 |     3758   2320 |        2 |       16
1106.88/1107.22	c 1106s |      24 |  3636752 |  3468962 |     3758   2323 |        2 |       16
1108.88/1109.23	c 1108s |      24 |  3642894 |  3474662 |     3758   2326 |        2 |       16
1110.88/1111.24	c 1110s |      24 |  3649100 |  3480162 |     3758   2329 |        2 |       16
1112.88/1113.27	c 1112s |      24 |  3655414 |  3485762 |     3758   2332 |        2 |       16
1114.98/1115.31	c 1114s |      24 |  3660515 |  3490562 |     3758   2334 |        2 |       16
1116.97/1117.35	c 1116s |      24 |  3666676 |  3495962 |     3758   2337 |        2 |       16
1118.97/1119.36	c 1118s |      24 |  3671952 |  3500862 |     3758   2340 |        2 |       16
1120.97/1121.37	c 1120s |      24 |  3678521 |  3506862 |     3758   2343 |        2 |       16
1122.97/1123.38	c 1122s |      24 |  3684705 |  3512262 |     3758   2346 |        2 |       16
1125.08/1125.41	c 1124s |      24 |  3692378 |  3519762 |     3758   2350 |        2 |       16
1127.06/1127.45	c 1126s |      24 |  3700443 |  3527662 |     3758   2354 |        2 |       16
1129.06/1129.46	c 1128s |      24 |  3708371 |  3535462 |     3758   2358 |        2 |       16
1131.06/1131.49	c 1130s |      24 |  3715858 |  3542862 |     3758   2361 |        2 |       16
1133.06/1133.49	c 1132s |      24 |  3723010 |  3549862 |     3758   2365 |        2 |       16
1135.16/1135.50	c 1134s |      24 |  3730057 |  3556762 |     3758   2369 |        2 |       16
1137.17/1137.52	c 1136s |      24 |  3736427 |  3563062 |     3758   2372 |        2 |       16
1139.26/1139.61	c 1138s |      24 |  3741780 |  3568162 |     3758   2375 |        2 |       16
1141.27/1141.61	c 1140s |      24 |  3746994 |  3573062 |     3758   2377 |        2 |       16
1143.27/1143.63	c 1142s |      24 |  3753018 |  3578262 |     3758   2380 |        2 |       16
1145.36/1145.70	c 1144s |      24 |  3759014 |  3583662 |     3758   2383 |        2 |       16
1147.36/1147.71	c 1146s |      24 |  3765542 |  3589362 |     3758   2386 |        2 |       16
1149.36/1149.71	c 1148s |      24 |  3772171 |  3595662 |     3758   2389 |        2 |       16
1151.37/1151.74	c 1150s |      24 |  3778670 |  3601662 |     3758   2392 |        2 |       16
1153.36/1153.75	c 1152s |      24 |  3785233 |  3608062 |     3758   2395 |        2 |       16
1155.36/1155.77	c 1155s |      24 |  3792916 |  3615562 |     3758   2399 |        2 |       16
1157.35/1157.79	c 1157s |      24 |  3799860 |  3622362 |     3758   2403 |        2 |       16
1159.45/1159.81	c 1159s |      24 |  3806274 |  3628362 |     3758   2406 |        2 |       16
1161.45/1161.83	c 1161s |      24 |  3812892 |  3634462 |     3758   2409 |        2 |       16
1163.46/1163.84	c 1163s |      24 |  3819940 |  3640862 |     3758   2412 |        2 |       16
1165.45/1165.84	c 1165s |      24 |  3827355 |  3648062 |     3758   2416 |        2 |       16
1167.45/1167.87	c 1167s |      24 |  3834153 |  3654662 |     3758   2419 |        2 |       16
1169.45/1169.89	c 1169s |      24 |  3841460 |  3661562 |     3758   2423 |        2 |       16
1171.54/1171.91	c 1171s |      24 |  3848760 |  3668562 |     3758   2426 |        2 |       16
1173.55/1173.92	c 1173s |      24 |  3854094 |  3673662 |     3758   2429 |        2 |       16
1175.55/1175.93	c 1175s |      24 |  3860201 |  3679062 |     3758   2432 |        2 |       16
1177.54/1177.95	c 1177s |      24 |  3867386 |  3685362 |     3758   2435 |        2 |       16
1179.54/1179.97	c 1179s |      24 |  3873864 |  3691362 |     3758   2438 |        2 |       16
1181.54/1181.97	c 1181s |      24 |  3881024 |  3698262 |     3758   2442 |        2 |       16
1183.54/1183.99	c 1183s |      24 |  3887904 |  3704862 |     3758   2445 |        2 |       16
1185.64/1186.00	c 1185s |      24 |  3894738 |  3711262 |     3758   2448 |        2 |       16
1187.64/1188.01	c 1187s |      24 |  3902045 |  3718062 |     3758   2452 |        2 |       16
1189.64/1190.02	c 1189s |      24 |  3909181 |  3725062 |     3758   2456 |        2 |       16
1191.63/1192.03	c 1191s |      24 |  3916651 |  3732162 |     3758   2459 |        2 |       16
1193.63/1194.04	c 1193s |      24 |  3923682 |  3738962 |     3758   2463 |        2 |       16
1195.63/1196.05	c 1195s |      24 |  3931273 |  3745862 |     3758   2466 |        2 |       16
1197.64/1198.08	c 1197s |      24 |  3937808 |  3751262 |     3758   2469 |        2 |       16
1199.63/1200.10	c 1199s |      24 |  3944474 |  3757162 |     3758   2472 |        2 |       16
1201.73/1202.12	c 1201s |      24 |  3950959 |  3763262 |     3758   2476 |        2 |       16
1203.73/1204.14	c 1203s |      24 |  3958289 |  3769762 |     3758   2479 |        2 |       16
1205.73/1206.15	c 1205s |      24 |  3965407 |  3776362 |     3758   2482 |        2 |       16
1207.73/1208.17	c 1207s |      24 |  3972297 |  3782562 |     3758   2486 |        2 |       16
1209.73/1210.18	c 1209s |      24 |  3979522 |  3789362 |     3758   2489 |        2 |       16
1211.72/1212.18	c 1211s |      24 |  3986479 |  3796162 |     3758   2493 |        2 |       16
1213.82/1214.20	c 1213s |      24 |  3993938 |  3803462 |     3758   2496 |        2 |       16
1215.83/1216.23	c 1215s |      24 |  4001218 |  3810562 |     3758   2500 |        2 |       16
1217.83/1218.24	c 1217s |      24 |  4007953 |  3816962 |     3758   2503 |        2 |       16
1219.83/1220.24	c 1219s |      24 |  4014657 |  3823462 |     3758   2507 |        2 |       16
1221.83/1222.26	c 1221s |      24 |  4021582 |  3830262 |     3758   2510 |        2 |       16
1223.83/1224.27	c 1223s |      24 |  4028055 |  3836662 |     3758   2514 |        2 |       16
1225.83/1226.28	c 1225s |      24 |  4035409 |  3843762 |     3758   2517 |        2 |       16
1227.92/1228.30	c 1227s |      24 |  4041821 |  3849862 |     3758   2520 |        2 |       16
1229.92/1230.34	c 1229s |      24 |  4048619 |  3855562 |     3758   2523 |        2 |       16
1231.92/1232.37	c 1231s |      24 |  4054891 |  3860862 |     3758   2526 |        2 |       16
1233.93/1234.38	c 1233s |      24 |  4060895 |  3865962 |     3758   2529 |        2 |       16
1235.92/1236.39	c 1235s |      24 |  4067634 |  3871862 |     3758   2532 |        2 |       16
1238.02/1238.40	c 1237s |      24 |  4073607 |  3876962 |     3758   2534 |        2 |       16
1240.02/1240.41	c 1239s |      24 |  4079944 |  3882462 |     3758   2537 |        2 |       16
1242.02/1242.42	c 1241s |      24 |  4086959 |  3887962 |     3758   2540 |        2 |       16
1244.02/1244.44	c 1243s |      24 |  4093041 |  3893662 |     3758   2543 |        2 |       16
1246.02/1246.45	c 1245s |      24 |  4099751 |  3899762 |     3758   2546 |        2 |       16
1248.01/1248.46	c 1247s |      24 |  4107041 |  3906562 |     3758   2550 |        2 |       16
1250.01/1250.48	c 1249s |      24 |  4114625 |  3913862 |     3758   2554 |        2 |       16
1252.01/1252.48	c 1251s |      24 |  4121075 |  3920162 |     3758   2557 |        2 |       16
1254.11/1254.51	c 1253s |      24 |  4127832 |  3926662 |     3758   2560 |        2 |       16
1256.11/1256.53	c 1255s |      24 |  4134390 |  3932362 |     3758   2563 |        2 |       16
1258.11/1258.56	c 1257s |      24 |  4141325 |  3938862 |     3758   2567 |        2 |       16
1260.10/1260.58	c 1259s |      24 |  4147953 |  3944762 |     3758   2570 |        2 |       16
1262.20/1262.61	c 1261s |      24 |  4154729 |  3951062 |     3758   2573 |        2 |       16
1264.20/1264.66	c 1263s |      24 |  4161072 |  3956662 |     3758   2576 |        2 |       16
1266.20/1266.69	c 1265s |      24 |  4167893 |  3962062 |     3758   2579 |        2 |       16
1268.20/1268.69	c 1267s |      24 |  4174399 |  3967562 |     3758   2581 |        2 |       16
1270.29/1270.71	c 1269s |      24 |  4181419 |  3973562 |     3758   2584 |        2 |       16
1272.30/1272.72	c 1271s |      24 |  4189387 |  3981362 |     3758   2589 |        2 |       16
1274.29/1274.73	c 1273s |      24 |  4197356 |  3989162 |     3758   2593 |        2 |       16
1276.29/1276.74	c 1275s |      24 |  4205032 |  3996362 |     3758   2596 |        2 |       16
1278.29/1278.75	c 1277s |      24 |  4213031 |  4004262 |     3758   2600 |        2 |       16
1280.29/1280.76	c 1279s |      24 |  4220814 |  4011962 |     3758   2604 |        2 |       16
1282.29/1282.79	c 1282s |      24 |  4228366 |  4019362 |     3758   2608 |        2 |       16
1284.29/1284.79	c 1284s |      24 |  4236531 |  4027262 |     3758   2612 |        2 |       16
1286.38/1286.80	c 1286s |      24 |  4244353 |  4034962 |     3758   2616 |        2 |       16
1288.38/1288.80	c 1288s |      24 |  4251922 |  4042462 |     3758   2620 |        2 |       16
1290.38/1290.80	c 1290s |      24 |  4259723 |  4050062 |     3758   2624 |        2 |       16
1292.38/1292.84	c 1292s |      24 |  4267087 |  4057362 |     3758   2628 |        2 |       16
1294.39/1294.88	c 1294s |      24 |  4274451 |  4064562 |     3758   2632 |        2 |       16
1296.38/1296.88	c 1296s |      24 |  4281330 |  4071362 |     3758   2635 |        2 |       16
1298.38/1298.89	c 1298s |      24 |  4288006 |  4077962 |     3758   2638 |        2 |       16
1300.48/1300.91	c 1300s |      24 |  4294947 |  4084762 |     3758   2642 |        2 |       16
1302.48/1302.92	c 1302s |      24 |  4303093 |  4092762 |     3758   2646 |        2 |       16
1304.47/1304.92	c 1304s |      24 |  4311242 |  4100762 |     3758   2650 |        2 |       16
1306.49/1306.93	c 1306s |      24 |  4318747 |  4108162 |     3758   2654 |        2 |       16
1308.48/1308.93	c 1308s |      24 |  4326157 |  4115362 |     3758   2658 |        2 |       16
1310.48/1310.95	c 1310s |      24 |  4333107 |  4122162 |     3758   2661 |        2 |       16
1312.48/1312.95	c 1312s |      24 |  4340621 |  4129562 |     3758   2665 |        2 |       16
1314.48/1314.98	c 1314s |      24 |  4346908 |  4135762 |     3758   2668 |        2 |       16
1316.48/1316.99	c 1316s |      24 |  4352585 |  4141062 |     3758   2671 |        2 |       16
1318.58/1319.01	c 1318s |      24 |  4359596 |  4147962 |     3758   2675 |        2 |       16
1320.57/1321.01	c 1320s |      24 |  4367514 |  4155762 |     3758   2679 |        2 |       16
1322.57/1323.02	c 1322s |      24 |  4375354 |  4163462 |     3758   2683 |        2 |       16
1324.57/1325.04	c 1324s |      24 |  4382798 |  4170762 |     3758   2686 |        2 |       16
1326.57/1327.04	c 1326s |      24 |  4390135 |  4177962 |     3758   2690 |        2 |       16
1328.57/1329.06	c 1328s |      24 |  4397263 |  4184762 |     3758   2694 |        2 |       16
1330.58/1331.06	c 1330s |      24 |  4404304 |  4191062 |     3758   2697 |        2 |       16
1332.57/1333.08	c 1332s |      24 |  4411149 |  4197062 |     3758   2700 |        2 |       16
1334.67/1335.10	c 1334s |      24 |  4418404 |  4203462 |     3758   2704 |        2 |       16
1336.67/1337.12	c 1336s |      24 |  4425521 |  4210362 |     3758   2707 |        2 |       16
1338.67/1339.13	c 1338s |      24 |  4432040 |  4216762 |     3758   2710 |        2 |       16
1339.17/1339.67	c 1338s |      24 |  4433774 |  4218471 |     3758   2711 |        2 |       16
1339.17/1339.67	c #cpu_time = 1335.167s
1339.17/1339.67	c #wall_clock_time = 1338.907s
1339.17/1339.67	c #decision = 4433774
1339.17/1339.67	c #random_decision = 17179
1339.17/1339.67	c #conflict = 4218471
1339.17/1339.67	c #restart = 24
1339.17/1339.67	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=3
1339.17/1339.67	c lower bound updated to 3
1339.17/1339.67	c BCD2: 3 <= obj <= 218
1339.17/1339.67	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0
1339.17/1339.67	c BCD2: #sat=1 #unsat=3 bias=3/4
1339.17/1339.67	c Solving starts ...
1339.17/1339.67	c ============================[ Search Statistics ]============================
1339.17/1339.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1339.17/1339.67	c       |         |          |          |    Limit     GC | Var      | Constra 
1339.17/1339.67	c =============================================================================
1339.17/1339.67	c  0.0s |       0 |        0 |        0 |     3758      0 |        3 |       16
1339.27/1339.72	c  0.1s |       1 |      122 |      100 |     3758      0 |        3 |       17
1339.27/1339.77	c  0.1s |       2 |      339 |      250 |     3758      0 |        3 |       17
1339.38/1339.86	c  0.2s |       3 |      706 |      475 |     3758      0 |        3 |       17
1339.48/1339.96	c  0.3s |       4 |     1083 |      813 |     3758      1 |        3 |       17
1339.67/1340.10	c  0.4s |       5 |     1672 |     1320 |     3758      1 |        3 |       17
1339.67/1340.14	c  0.5s |       5 |     1817 |     1407 |     3758      1 |        3 |       17
1339.67/1340.14	c #cpu_time = 0.466s
1339.67/1340.14	c #wall_clock_time = 0.467s
1339.67/1340.14	c #decision = 1817
1339.67/1340.14	c #random_decision = 5
1339.67/1340.14	c #conflict = 1407
1339.67/1340.14	c #restart = 5
1339.67/1340.14	o 161
1339.67/1340.14	c BCD2: updating upper bound: 218 -> 160
1339.67/1340.14	c BCD2: 3 <= obj <= 160
1339.67/1340.14	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0
1339.67/1340.14	c BCD2: #sat=2 #unsat=3 bias=3/5
1339.67/1340.14	c Solving starts ...
1339.67/1340.14	c ============================[ Search Statistics ]============================
1339.67/1340.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1339.67/1340.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1339.67/1340.14	c =============================================================================
1339.67/1340.14	c  0.0s |       0 |        0 |        0 |     3758      0 |        3 |       17
1339.67/1340.19	c  0.0s |       0 |      120 |       69 |     3758      0 |        3 |       17
1339.67/1340.19	c #cpu_time = 0.047s
1339.67/1340.19	c #wall_clock_time = 0.047s
1339.67/1340.19	c #decision = 120
1339.67/1340.19	c #random_decision = 1
1339.67/1340.19	c #conflict = 69
1339.67/1340.19	c #restart = 0
1339.67/1340.19	o 49
1339.67/1340.19	c BCD2: hardening fixes 2 literals
1339.67/1340.19	c BCD2: updating upper bound: 160 -> 48
1339.67/1340.19	c BCD2: 3 <= obj <= 48
1339.67/1340.19	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=2
1339.67/1340.19	c BCD2: #sat=3 #unsat=3 bias=3/6
1339.67/1340.19	c Solving starts ...
1339.67/1340.19	c ============================[ Search Statistics ]============================
1339.67/1340.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1339.67/1340.19	c       |         |          |          |    Limit     GC | Var      | Constra 
1339.67/1340.19	c =============================================================================
1339.67/1340.19	c  0.0s |       0 |        0 |        0 |     3758      0 |       23 |       21
1339.77/1340.20	c  0.0s |       0 |       51 |        5 |     3758      0 |       23 |       69
1339.77/1340.20	c #cpu_time = 0.016s
1339.77/1340.20	c #wall_clock_time = 0.016s
1339.77/1340.20	c #decision = 51
1339.77/1340.20	c #random_decision = 0
1339.77/1340.20	c #conflict = 5
1339.77/1340.20	c #restart = 0
1339.77/1340.20	o 17
1339.77/1340.20	c BCD2: hardening fixes 1 literals
1339.77/1340.20	c BCD2: updating upper bound: 48 -> 16
1339.77/1340.20	c BCD2: 3 <= obj <= 16
1339.77/1340.20	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=3
1339.77/1340.20	c BCD2: #sat=4 #unsat=3 bias=3/7
1339.77/1340.20	c Solving starts ...
1339.77/1340.20	c ============================[ Search Statistics ]============================
1339.77/1340.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1339.77/1340.20	c       |         |          |          |    Limit     GC | Var      | Constra 
1339.77/1340.20	c =============================================================================
1339.77/1340.20	c  0.0s |       0 |        0 |        0 |     3758      0 |       33 |       71
1339.77/1340.25	c  0.0s |       1 |      152 |      100 |     3758      0 |       33 |       95
1339.77/1340.27	c  0.1s |       1 |      267 |      142 |     3758      0 |       33 |       95
1339.77/1340.27	c #cpu_time = 0.064s
1339.77/1340.27	c #wall_clock_time = 0.064s
1339.77/1340.27	c #decision = 267
1339.77/1340.27	c #random_decision = 0
1339.77/1340.27	c #conflict = 142
1339.77/1340.27	c #restart = 1
1339.77/1340.27	o 9
1339.77/1340.27	c BCD2: hardening fixes 1 literals
1339.77/1340.27	c BCD2: updating upper bound: 16 -> 8
1339.77/1340.27	c BCD2: 3 <= obj <= 8
1339.77/1340.27	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=4
1339.77/1340.27	c BCD2: #sat=5 #unsat=3 bias=3/8
1339.77/1340.27	c Solving starts ...
1339.77/1340.27	c ============================[ Search Statistics ]============================
1339.77/1340.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1339.77/1340.27	c       |         |          |          |    Limit     GC | Var      | Constra 
1339.77/1340.27	c =============================================================================
1339.77/1340.27	c  0.0s |       0 |        0 |        0 |     3758      0 |       43 |       97
1339.77/1340.28	c  0.0s |       0 |      109 |       14 |     3758      0 |       43 |      121
1339.77/1340.28	c #cpu_time = 0.007s
1339.77/1340.28	c #wall_clock_time = 0.007s
1339.77/1340.28	c #decision = 109
1339.77/1340.28	c #random_decision = 1
1339.77/1340.28	c #conflict = 14
1339.77/1340.28	c #restart = 0
1339.77/1340.28	o 5
1339.77/1340.28	c BCD2: hardening fixes 1 literals
1339.77/1340.28	c BCD2: updating upper bound: 8 -> 4
1339.77/1340.28	c BCD2: 3 <= obj <= 4
1339.77/1340.28	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=5
1339.77/1340.28	c BCD2: #sat=6 #unsat=3 bias=3/9
1339.77/1340.28	c Solving starts ...
1339.77/1340.28	c ============================[ Search Statistics ]============================
1339.77/1340.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1339.77/1340.28	c       |         |          |          |    Limit     GC | Var      | Constra 
1339.77/1340.28	c =============================================================================
1339.77/1340.28	c  0.0s |       0 |        0 |        0 |     3758      0 |       53 |      123
1339.87/1340.31	c  0.0s |       1 |      161 |      100 |     3758      0 |       53 |      147
1339.87/1340.34	c  0.1s |       1 |      285 |      171 |     3758      0 |       53 |      147
1339.87/1340.34	c #cpu_time = 0.067s
1339.87/1340.34	c #wall_clock_time = 0.067s
1339.87/1340.34	c #decision = 285
1339.87/1340.34	c #random_decision = 0
1339.87/1340.34	c #conflict = 171
1339.87/1340.34	c #restart = 1
1339.87/1340.34	o 3
1339.87/1340.34	s OPTIMUM FOUND
1339.87/1340.34	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10
1339.87/1340.34	v x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20
1339.87/1340.34	v -x21 x22 -x23 -x24 x25 x26 -x27 x28 -x29 -x30
1339.87/1340.34	v -x31 -x32 x33 -x34 -x35 x36 x37 x38 x39 x40
1339.87/1340.34	v x41 -x42 x43 -x44 x45 x46 x47 -x48 x49 -x50
1339.87/1340.34	v x51 -x52 x53 -x54 -x55 -x56 x57 x58 x59 -x60
1339.87/1340.34	v -x61 x62 x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
1339.87/1340.34	v -x71 -x72 x73 x74 x75 x76 -x77 -x78 -x79 -x80
1339.87/1340.34	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1339.87/1340.34	v -x91 -x92 -x93 x94 x95 x96
1339.87/1340.34	c total CPU time = 1336.604s
1339.87/1340.34	c total wall clock time = 1340.348s

Verifier Data 

OK	3

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-4106208-1466267453/watcher-4106208-1466267453 -o /tmp/evaluation-result-4106208-1466267453/solver-4106208-1466267453 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106208-1466267453.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.19 1.93 3/182 21853
/proc/meminfo: memFree=28916864/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 2827 0 0 0 0 0 0 0 20 0 4 0 28791221 774303744 2678 33554432000 4194304 16246674 140736642161648 140736642161072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 189807 2686 441 2943 0 186701 0
[pid=21853/tid=21854] ppid=21850 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 793178112 2748 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 797372416 2766 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28791221 801566720 2782 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.21 2.19 1.93 3/182 21853
/proc/meminfo: memFree=28916864/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 21509 0 0 0 6 3 0 0 20 0 4 0 28791221 1247350784 21348 33554432000 4194304 16246674 140736642161648 140736642161072 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 304529 21355 759 2943 0 301423 0
[pid=21853/tid=21854] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 21363 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 21370 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 21379 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200587 s]
/proc/loadavg: 2.21 2.19 1.93 3/182 21853
/proc/meminfo: memFree=28916864/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 40528 0 0 0 13 6 0 0 20 0 4 0 28791221 1247350784 40366 33554432000 4194304 16246674 140736642161648 140736642161072 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 304529 40375 766 2943 0 301423 0
[pid=21853/tid=21854] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 40379 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 40385 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 40393 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300457 s]
/proc/loadavg: 2.21 2.19 1.93 3/182 21853
/proc/meminfo: memFree=28916864/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 56616 0 0 0 20 9 0 0 20 0 4 0 28791221 1247350784 56454 33554432000 4194304 16246674 140736642161648 140736642161072 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 304529 56457 766 2943 0 301423 0
[pid=21853/tid=21854] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 56462 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 56467 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 56474 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700415 s]
/proc/loadavg: 2.21 2.19 1.93 3/182 21853
/proc/meminfo: memFree=28916864/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 137881 0 0 0 50 19 0 0 20 0 4 0 28791221 1247350784 137719 33554432000 4194304 16246674 140736642161648 140736642143552 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 304529 137738 766 2943 0 301423 0
[pid=21853/tid=21854] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 137750 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 137755 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28791221 1247350784 137757 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.27 2.20 1.93 3/186 21857
/proc/meminfo: memFree=28033720/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 245880 0 0 0 115 34 0 0 20 0 4 0 28791221 1249447936 245695 33554432000 4194304 16246674 140736642161648 140736642144648 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 305041 245695 853 2943 0 301935 0
[pid=21853/tid=21854] ppid=21850 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1249447936 245695 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1249447936 245695 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1249447936 245695 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10044 s]
/proc/loadavg: 2.27 2.20 1.93 3/186 21857
/proc/meminfo: memFree=27849936/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 267569 0 0 0 272 37 0 0 20 0 4 0 28791221 1337528320 267384 33554432000 4194304 16246674 140736642161648 140736642144648 13780514 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 326545 267384 853 2943 0 323439 0
[pid=21853/tid=21854] ppid=21850 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1337528320 267384 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1337528320 267384 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1337528320 267384 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.33 2.21 1.94 3/186 21857
/proc/meminfo: memFree=27846968/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 267909 0 0 0 592 37 0 0 20 0 4 0 28791221 1339625472 267724 33554432000 4194304 16246674 140736642161648 140736642143552 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 327057 267724 853 2943 0 323951 0
[pid=21853/tid=21854] ppid=21850 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1339625472 267724 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1339625472 267724 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1339625472 267724 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.30 2.21 1.94 3/185 21857
/proc/meminfo: memFree=27845412/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 268081 0 0 0 1232 37 0 0 20 0 4 0 28791221 1339625472 267896 33554432000 4194304 16246674 140736642161648 140736642143552 5673443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 327057 267896 855 2943 0 323951 0
[pid=21853/tid=21854] ppid=21850 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1339625472 267896 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1339625472 267896 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1339625472 267896 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.26 2.20 1.94 3/185 21857
/proc/meminfo: memFree=27844060/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 268670 0 0 0 2511 37 0 0 20 0 4 0 28791221 1341722624 268485 33554432000 4194304 16246674 140736642161648 140736642143552 5546072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 327569 268485 855 2943 0 324463 0
[pid=21853/tid=21854] ppid=21850 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1341722624 268485 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1341722624 268485 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1341722624 268485 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.27 2.21 1.95 3/185 21857
/proc/meminfo: memFree=27843440/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 268670 0 0 0 5070 38 0 0 20 0 4 0 28791221 1341722624 268485 33554432000 4194304 16246674 140736642161648 140736642143552 6011784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 327569 268485 855 2943 0 324463 0
[pid=21853/tid=21854] ppid=21850 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1341722624 268485 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1341722624 268485 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1341722624 268485 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.21 2.21 1.96 3/185 21858
/proc/meminfo: memFree=27841164/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 269291 0 0 0 10189 39 0 0 20 0 4 0 28791221 1344868352 269106 33554432000 4194304 16246674 140736642161648 140736642143552 5723895 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 328337 269106 855 2943 0 325231 0
[pid=21853/tid=21854] ppid=21850 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1344868352 269106 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1344868352 269106 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1344868352 269106 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272108 0 0 0 124142 50 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642143552 5823905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1322564

[startup+1302.3 s]
/proc/loadavg: 2.52 2.41 2.24 3/185 21986
/proc/meminfo: memFree=27843064/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1301.88 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272151 0 0 0 130138 50 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642144648 12477791 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1322564

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

[startup+1305.6 s]
/proc/loadavg: 2.52 2.41 2.24 4/185 21986
/proc/meminfo: memFree=27843064/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1305.17 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272151 0 0 0 130467 50 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642144648 5600804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1305.17
Current children cumulated vsize (KiB) 1322564

[startup+1318.4 s]
/proc/loadavg: 2.40 2.39 2.23 3/185 21986
/proc/meminfo: memFree=27843032/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1317.97 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272164 0 0 0 131746 51 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642144648 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1317.97
Current children cumulated vsize (KiB) 1322564

[startup+1331.2 s]
/proc/loadavg: 2.39 2.39 2.23 3/185 21986
/proc/meminfo: memFree=27843204/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1330.77 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272165 0 0 0 133026 51 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642144648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1330.77
Current children cumulated vsize (KiB) 1322564

[startup+1334.41 s]
/proc/loadavg: 2.39 2.39 2.23 3/185 21987
/proc/meminfo: memFree=27842824/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1333.98 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272165 0 0 0 133347 51 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642143552 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1333.98
Current children cumulated vsize (KiB) 1322564

[startup+1337.6 s]
/proc/loadavg: 2.36 2.38 2.23 3/185 21987
/proc/meminfo: memFree=27842832/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1337.18 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272165 0 0 0 133667 51 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642144648 12483632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1337.18
Current children cumulated vsize (KiB) 1322564

[startup+1339.2 s]
/proc/loadavg: 2.36 2.38 2.23 3/185 21987
/proc/meminfo: memFree=27842832/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1338.77 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272165 0 0 0 133826 51 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642143552 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1338.77
Current children cumulated vsize (KiB) 1322564

[startup+1340 s]
/proc/loadavg: 2.36 2.38 2.23 4/185 21987
/proc/meminfo: memFree=27842944/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1339.57 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272165 0 0 0 133906 51 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140736642144648 5712192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271814 856 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271814 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1339.57
Current children cumulated vsize (KiB) 1322564

[startup+1340.2 s]
/proc/loadavg: 2.36 2.38 2.23 4/185 21987
/proc/meminfo: memFree=27842944/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1339.77 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272166 0 0 0 133926 51 0 0 20 0 4 0 28791221 1354305536 271815 33554432000 4194304 16246674 140736642161648 140736642144648 7253018 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271815 857 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271815 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271815 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271815 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1339.77
Current children cumulated vsize (KiB) 1322564

[startup+1340.3 s]
/proc/loadavg: 2.36 2.38 2.23 4/185 21987
/proc/meminfo: memFree=27842944/32872528 swapFree=1505436/1685308
[pid=21853] ppid=21850 vsize=1322564 CPUtime=1339.87 cores=1,3,5,7
/proc/21853/stat : 21853 (toysat) R 21850 21853 21389 0 -1 4202496 272166 0 0 0 133936 51 0 0 20 0 4 0 28791221 1354305536 271815 33554432000 4194304 16246674 140736642161648 140736642144648 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 330641 271815 857 2943 0 327535 0
[pid=21853/tid=21854] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21854/stat : 21854 (toysat) S 21850 21853 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271815 33554432000 4194304 16246674 140736642161648 140616404020464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21853/tid=21855] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21855/stat : 21855 (toysat) S 21850 21853 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271815 33554432000 4194304 16246674 140736642161648 140616393530608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21853/tid=21856] ppid=21850 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/21853/task/21856/stat : 21856 (toysat) S 21850 21853 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28791221 1354305536 271815 33554432000 4194304 16246674 140736642161648 140616383057072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1339.87
Current children cumulated vsize (KiB) 1322564

Child status: 0
Real time (s): 1340.35
CPU time (s): 1339.93
CPU user time (s): 1339.41
CPU system time (s): 0.514921
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1339.41
system time used= 0.514921
maximum resident set size= 1087268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272170
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= 439
involuntary context switches= 1373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36288 second user time and 11.1023 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 18:30:53
IDJOB=4106208
IDBENCH=47973
IDSOLVER=2542
FILE ID=node135/4106208-1466267453
RUNJOBID= node135-1466266561-21406
PBS_JOBID= 19918237
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106208-1466267453/watcher-4106208-1466267453 -o /tmp/evaluation-result-4106208-1466267453/solver-4106208-1466267453 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106208-1466267453.opb

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

MD5SUM BENCH= e04f59e7146720276551350f74bab120
RANDOM SEED=641284238

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28917756 kB
Buffers:          150576 kB
Cached:           280856 kB
SwapCached:          716 kB
Active:          1232620 kB
Inactive:         296728 kB
Active(anon):    1098976 kB
Inactive(anon):     1308 kB
Active(file):     133644 kB
Inactive(file):   295420 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             16620 kB
Writeback:             0 kB
AnonPages:       2784768 kB
Mapped:            10472 kB
Shmem:                 0 kB
Slab:             605164 kB
SReclaimable:      48692 kB
SUnreclaim:       556472 kB
KernelStack:        1544 kB
PageTables:         9300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2926388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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= 71672 MiB
End job on node135 at 2016-06-18 18:53:13