Trace number 4117303

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.51

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
EmployeeScheduling/normalized-may4.5.opb
MD5SUM5df2f0f62556e5bcc8e09b41e417f46e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2110
Best CPU time to get the best result obtained on this benchmark20.4259
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27556
Number of constraints which are cardinality constraints (but not clauses)244
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2110
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2110
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T16:05:16+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-4117303-1467209088.opb"]
0.00/0.01	c use --random-gen="1770199164 553422096 3129392829 3102285170 164866854 4156578868 1527130582 4251819709 3512497445 1084718749 3887526714 1930638778 329490491 2548525070 1071076324 2385849794 106432161 2476583042 641268727 4259002343 3049387479 3613056311 3111638196 567681034 181096919 2081089951 2599393437 2305379120 1153209988 2797079814 1210432142 2154787577 4291915869 2145121485 1391696675 82713497 897117282 3252154602 3734977275 139097326 2945696716 1045992573 685626802 3443717865 2125347089 1540992002 2903773869 4040611156 2488662447 1280841369 3125873547 687870619 1376412134 534150283 491667279 426714110 1443193121 1511509785 3034595641 3909203546 528106920 3598116884 3059479458 2588938628 1836285132 493753619 3032728634 1398046453 808888855 2401273406 4173022032 3904539822 4172769324 3007270168 3105454188 3491276277 3847931616 1679675219 2415055157 1676523242 482590498 3343661126 3841017509 3093187252 3669382045 1704071269 1982789418 3505861457 1815012783 2092268216 500267769 1615372187 2556562963 1993336521 494243712 3229609 2630666462 62970913 3763731862 1100173051 4230319562 3336246639 2411874894 2962722554 2080607709 2632273084 1723966476 3324577162 1243144429 1098256920 94204597 2633701201 2649593968 2409682272 157920644 149497339 1326102847 547482868 1462472879 2634256790 3316671986 2040995539 2048434859 237214133 4240497388 2607688843 3181638987 3111633647 31031416 870875309 916806107 3543459807 1587454833 2890953308 631650370 4015513315 2855357819 3221048053 1405846705 936657382 4269884439 3086002371 3710906501 2100569921 2345305827 1125502711 1768250175 1887698169 3322069368 1568218447 4257117232 1213945041 736175712 1191852460 1482636802 429323004 729549833 311499553 2801859063 2483816430 2567345753 1901736777 2011461698 3873496851 1682736782 3316488147 3708774579 2244246168 3944705852 3229835697 3642768455 2149512107 3528423686 2857807145 3096596434 1208306368 730531550 31393090 3330580640 177234299 4133782948 2706812339 2911907258 2866985963 2047476645 1024660538 3917567490 3137103626 4136039035 22601010 1257024311 2617113691 1809860173 2443988102 1129750377 1997362612 1251466814 4284489201 3034550877 1034121617 4266362901 2663091403 3502812381 580727131 1057885101 3129552944 945318124 3198139009 1903997605 4181629442 4165276398 1519007543 3925214341 3194250561 4191867073 1055612120 1888890325 702568949 2303636659 1482674529 3359068843 2823223881 1686996763 4158070559 737432293 466389806 2223943002 2455248094 2419992584 3080421735 146415935 2848669053 721517060 3005349792 915409725 1102097045 1322764729 643722993 1990829055 2700811799 2647786614 1495246947 3184205155 3908489862 3866896251 973915296 1442032697 158965055 2949243932 1199686877 147294645 1816968514 3385063147 3857400899 4108409232 160949734 255 362436" option to reproduce the execution
0.19/0.23	c #vars 9632
0.19/0.23	c #constraints 29620
0.58/0.66	c BCD2: Hardening is enabled.
0.58/0.66	c BCD2: BiasedSearch is enabled.
0.58/0.66	c Solving starts ...
0.58/0.66	c ============================[ Search Statistics ]============================
0.58/0.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.58/0.66	c       |         |          |          |    Limit     GC | Var      | Constra 
0.58/0.67	c =============================================================================
0.58/0.67	c  0.0s |       0 |        0 |        0 |    13084      0 |        0 |        0
0.78/0.87	c  0.2s |       1 |    13384 |      100 |    13084      0 |        0 |        0
0.89/0.95	c  0.3s |       2 |    16587 |      250 |    14393      0 |        0 |        0
0.98/1.10	c  0.4s |       3 |    25393 |      475 |    15833      0 |        0 |        0
1.38/1.42	c  0.8s |       4 |    48796 |      813 |    17417      0 |        0 |        0
1.59/1.68	c  1.0s |       5 |    57693 |     1320 |    19159      0 |        0 |        0
2.19/2.29	c  1.6s |       6 |   101260 |     2081 |    23183      0 |        0 |        0
2.58/2.68	c  2.0s |       7 |   111324 |     3223 |    25502      0 |        0 |        0
4.68/4.78	c  4.1s |       7 |   270190 |     4623 |    25502      0 |        0 |        0
4.88/4.97	c  4.3s |       7 |   286570 |     4701 |    25502      0 |        0 |        0
4.88/4.97	c #cpu_time = 4.290s
4.88/4.97	c #wall_clock_time = 4.293s
4.88/4.97	c #decision = 286570
4.88/4.97	c #random_decision = 841
4.88/4.97	c #conflict = 4701
4.88/4.97	c #restart = 7
4.88/4.97	o 2110
4.88/4.97	c BCD2: refineUB: 2109 -> 2090
4.88/4.97	c BCD2: updating upper bound: 2110 -> 2090
4.88/4.97	c BCD2: 0 <= obj <= 2090
4.88/4.97	c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0
4.88/4.97	c BCD2: #sat=1 #unsat=1 bias=1/2
4.88/4.97	c Solving starts ...
4.88/4.97	c ============================[ Search Statistics ]============================
4.88/4.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.88/4.97	c       |         |          |          |    Limit     GC | Var      | Constra 
4.88/4.97	c =============================================================================
4.88/4.97	c  0.0s |       0 |        0 |        0 |    25502      0 |        0 |        0
4.98/5.02	c  0.1s |       1 |      176 |      100 |    25502      0 |        0 |        0
4.98/5.08	c  0.1s |       2 |      368 |      250 |    28053      0 |        0 |        0
5.08/5.17	c  0.2s |       3 |      640 |      475 |    28053      0 |        0 |        0
5.18/5.28	c  0.3s |       4 |     1017 |      813 |    28053      0 |        0 |        0
5.38/5.46	c  0.5s |       5 |     1585 |     1320 |    28053      0 |        0 |        0
5.68/5.71	c  0.7s |       6 |     2434 |     2081 |    28053      0 |        0 |        0
5.98/6.07	c  1.1s |       7 |     3673 |     3223 |    30859      0 |        0 |        0
6.59/6.68	c  1.7s |       8 |     5536 |     4936 |    30859      0 |        0 |        0
7.58/7.64	c  2.7s |       9 |     8351 |     7506 |    33945      0 |        0 |        0
8.28/8.39	c  3.4s |       9 |    10255 |     9258 |    33945      0 |        0 |        0
8.28/8.39	c #cpu_time = 3.422s
8.28/8.39	c #wall_clock_time = 3.422s
8.28/8.39	c #decision = 10255
8.28/8.39	c #random_decision = 30
8.28/8.39	c #conflict = 9258
8.28/8.39	c #restart = 9
8.28/8.39	c BCD2: found a new core of size 13: cost of the new core is >=20
8.28/8.39	c lower bound updated to 20
8.28/8.39	c BCD2: refineUB: 2109 -> 2090
8.28/8.39	c BCD2: 20 <= obj <= 2090
8.28/8.39	c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0
8.28/8.39	c BCD2: #sat=1 #unsat=2 bias=2/3
8.28/8.39	c Solving starts ...
8.28/8.39	c ============================[ Search Statistics ]============================
8.28/8.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.28/8.39	c       |         |          |          |    Limit     GC | Var      | Constra 
8.28/8.39	c =============================================================================
8.28/8.39	c  0.0s |       0 |        0 |        0 |    33945      0 |        0 |        0
8.38/8.46	c  0.1s |       0 |       13 |        0 |    33945      0 |        0 |        0
8.38/8.46	c #cpu_time = 0.066s
8.38/8.46	c #wall_clock_time = 0.066s
8.38/8.46	c #decision = 13
8.38/8.46	c #random_decision = 0
8.38/8.46	c #conflict = 0
8.38/8.46	c #restart = 0
8.38/8.46	c BCD2: found a new core of size 13: cost of the new core is >=50
8.38/8.46	c lower bound updated to 70
8.38/8.46	c BCD2: refineUB: 2109 -> 2090
8.38/8.46	c BCD2: 70 <= obj <= 2090
8.38/8.46	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
8.38/8.46	c BCD2: #sat=1 #unsat=3 bias=3/4
8.38/8.46	c Solving starts ...
8.38/8.46	c ============================[ Search Statistics ]============================
8.38/8.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.38/8.46	c       |         |          |          |    Limit     GC | Var      | Constra 
8.38/8.46	c =============================================================================
8.38/8.46	c  0.0s |       0 |        0 |        0 |    33945      0 |        0 |        0
8.48/8.55	c  0.1s |       1 |      171 |      100 |    33945      0 |        0 |        0
8.58/8.66	c  0.2s |       2 |      383 |      250 |    33945      0 |        0 |        0
8.68/8.77	c  0.3s |       3 |     1070 |      475 |    33945      0 |        0 |        0
8.79/8.88	c  0.4s |       4 |     1496 |      813 |    33945      0 |        0 |        0
9.38/9.45	c  1.0s |       5 |     2762 |     1320 |    33945      0 |        0 |        0
9.99/10.05	c  1.6s |       6 |     3666 |     2081 |    33945      0 |        0 |        0
10.78/10.86	c  2.4s |       7 |     4943 |     3223 |    37340      0 |        0 |        0
12.09/12.17	c  3.7s |       8 |     6929 |     4936 |    37340      0 |        0 |        0
14.18/14.21	c  5.8s |       8 |     9748 |     7436 |    37340      0 |        0 |        0
14.18/14.28	c  5.8s |       9 |     9816 |     7506 |    37340      0 |        0 |        0
16.28/16.34	c  7.9s |       9 |    12433 |    10006 |    37340      0 |        0 |        0
17.28/17.40	c  8.9s |      10 |    13862 |    11361 |    37340      0 |        0 |        0
19.48/19.52	c 11.1s |      10 |    16125 |    13261 |    41074      0 |        0 |        0
21.48/21.54	c 13.1s |      10 |    18183 |    15061 |    41074      0 |        0 |        0
23.58/23.63	c 15.2s |      10 |    20184 |    16761 |    41074      0 |        0 |        0
23.98/24.06	c 15.6s |      11 |    20618 |    17144 |    41074      0 |        0 |        0
26.08/26.13	c 17.7s |      11 |    22402 |    18744 |    41074      0 |        0 |        0
28.18/28.21	c 19.7s |      11 |    24738 |    20744 |    41074      0 |        0 |        0
30.18/30.21	c 21.8s |      11 |    27052 |    22844 |    41074      0 |        0 |        0
32.18/32.27	c 23.8s |      11 |    30101 |    25444 |    45182      0 |        0 |        0
32.58/32.65	c 24.2s |      12 |    30538 |    25819 |    45182      0 |        0 |        0
34.58/34.67	c 26.2s |      12 |    32335 |    27019 |    45182      0 |        0 |        0
36.68/36.76	c 28.3s |      12 |    34083 |    28619 |    45182      0 |        0 |        0
38.78/38.88	c 30.4s |      12 |    35662 |    29919 |    45182      0 |        0 |        0
40.88/40.95	c 32.5s |      12 |    37187 |    31219 |    45182      0 |        0 |        0
42.98/43.07	c 34.6s |      12 |    38332 |    32219 |    45182      1 |        0 |        0
45.08/45.15	c 36.7s |      12 |    40623 |    34019 |    45182      1 |        0 |        0
47.17/47.25	c 38.8s |      12 |    42211 |    35519 |    45182      1 |        0 |        0
49.17/49.25	c 40.8s |      12 |    44144 |    37119 |    45182      1 |        0 |        0
51.17/51.26	c 42.8s |      12 |    46013 |    38719 |    45182      1 |        0 |        0
51.37/51.43	c 43.0s |      13 |    46175 |    38832 |    45182      1 |        0 |        0
53.37/53.44	c 45.0s |      13 |    47493 |    40032 |    45182      1 |        0 |        0
55.47/55.58	c 47.1s |      13 |    48863 |    41332 |    45182      1 |        0 |        0
57.47/57.59	c 49.1s |      13 |    50259 |    42432 |    45182      1 |        0 |        0
59.57/59.67	c 51.2s |      13 |    51595 |    43632 |    45182      1 |        0 |        0
61.77/61.84	c 53.4s |      13 |    53087 |    44932 |    49701      1 |        0 |        0
63.88/63.99	c 55.5s |      13 |    54616 |    46232 |    49701      1 |        0 |        0
66.08/66.14	c 57.7s |      13 |    56021 |    47532 |    49701      1 |        0 |        0
68.28/68.34	c 59.9s |      13 |    57313 |    48632 |    49701      1 |        0 |        0
70.38/70.41	c 62.0s |      13 |    58517 |    49732 |    49701      1 |        0 |        0
72.47/72.52	c 64.1s |      13 |    59804 |    50932 |    49701      1 |        0 |        0
74.57/74.64	c 66.2s |      13 |    61263 |    52332 |    49701      1 |        0 |        0
76.57/76.66	c 68.2s |      13 |    62434 |    53432 |    49701      1 |        0 |        0
78.57/78.68	c 70.2s |      13 |    63585 |    54432 |    49701      1 |        0 |        0
80.67/80.72	c 72.3s |      13 |    64782 |    55532 |    49701      1 |        0 |        0
82.67/82.77	c 74.3s |      13 |    65725 |    56432 |    49701      1 |        0 |        0
84.87/84.92	c 76.5s |      13 |    66600 |    57232 |    49701      1 |        0 |        0
86.87/86.92	c 78.5s |      13 |    67541 |    58132 |    49701      1 |        0 |        0
87.37/87.46	c 79.0s |      14 |    67773 |    58352 |    49701      1 |        0 |        0
94.07/94.15	c 85.7s |      14 |    68132 |    58552 |    49701      2 |        0 |        0
96.78/96.89	c 88.4s |      14 |    69962 |    60052 |    49701      2 |        0 |        0
98.77/98.90	c 90.4s |      14 |    72668 |    62452 |    49701      2 |        0 |        0
100.87/100.93	c 92.5s |      14 |    77197 |    66252 |    49701      2 |        0 |        0
102.87/102.96	c 94.5s |      14 |    81300 |    69752 |    49701      2 |        0 |        0
104.87/104.97	c 96.5s |      14 |    85424 |    73252 |    54672      2 |        0 |        0
106.87/106.98	c 98.5s |      14 |    90327 |    77452 |    54672      2 |        0 |        0
108.97/109.08	c  100s |      14 |    94245 |    80752 |    54672      2 |        0 |        0
111.07/111.13	c  102s |      14 |    97214 |    83352 |    54672      2 |        0 |        0
113.06/113.17	c  104s |      14 |   101291 |    86852 |    54672      2 |        0 |        0
113.66/113.71	c  105s |      15 |   102183 |    87632 |    54672      2 |        0 |        0
116.87/116.94	c  108s |      15 |   103257 |    88332 |    54672      3 |        0 |        0
118.87/118.95	c  110s |      15 |   103357 |    88432 |    54672      3 |        0 |        0
122.66/122.74	c  114s |      15 |   105502 |    89932 |    54672      3 |        0 |        0
125.37/125.42	c  116s |      15 |   105672 |    90032 |    54672      3 |        0 |        0
127.36/127.49	c  119s |      15 |   108676 |    91732 |    54672      3 |        0 |        0
129.46/129.51	c  121s |      15 |   110354 |    93232 |    54672      3 |        0 |        0
131.46/131.57	c  123s |      15 |   111848 |    94632 |    54672      3 |        0 |        0
133.56/133.60	c  125s |      15 |   113220 |    95932 |    54672      3 |        0 |        0
135.66/135.70	c  127s |      15 |   114818 |    97432 |    54672      3 |        0 |        0
137.76/137.84	c  129s |      15 |   116175 |    98732 |    54672      3 |        0 |        0
139.96/140.05	c  131s |      15 |   117490 |    99832 |    54672      3 |        0 |        0
141.97/142.06	c  133s |      15 |   118593 |   100832 |    54672      3 |        0 |        0
144.06/144.17	c  135s |      15 |   119725 |   101932 |    54672      3 |        0 |        0
146.06/146.19	c  137s |      15 |   120910 |   103032 |    54672      3 |        0 |        0
148.26/148.36	c  139s |      15 |   122361 |   104332 |    54672      3 |        0 |        0
150.26/150.37	c  141s |      15 |   123647 |   105532 |    54672      3 |        0 |        0
152.46/152.56	c  144s |      15 |   124889 |   106732 |    54672      3 |        0 |        0
154.56/154.68	c  146s |      15 |   126026 |   107832 |    54672      3 |        0 |        0
156.66/156.76	c  148s |      15 |   127509 |   109232 |    54672      3 |        0 |        0
158.76/158.83	c  150s |      15 |   128874 |   110532 |    54672      3 |        0 |        0
160.76/160.84	c  152s |      15 |   130174 |   111732 |    54672      3 |        0 |        0
162.87/162.94	c  154s |      15 |   131489 |   112932 |    54672      3 |        0 |        0
164.86/164.97	c  156s |      15 |   132649 |   114032 |    54672      3 |        0 |        0
167.06/167.19	c  158s |      15 |   133594 |   114932 |    54672      3 |        0 |        0
172.06/172.15	c  163s |      15 |   134420 |   115732 |    54672      4 |        0 |        0
174.06/174.18	c  165s |      15 |   135597 |   116832 |    60140      4 |        0 |        0
176.36/176.44	c  167s |      15 |   136820 |   118032 |    60140      4 |        0 |        0
178.35/178.46	c  170s |      15 |   138049 |   119232 |    60140      4 |        0 |        0
180.46/180.53	c  172s |      15 |   139162 |   120332 |    60140      4 |        0 |        0
182.45/182.59	c  174s |      15 |   140303 |   121432 |    60140      4 |        0 |        0
184.55/184.60	c  176s |      15 |   141196 |   122232 |    60140      4 |        0 |        0
186.65/186.76	c  178s |      15 |   142466 |   123332 |    60140      4 |        0 |        0
188.65/188.77	c  180s |      15 |   143671 |   124432 |    60140      4 |        0 |        0
190.85/190.95	c  182s |      15 |   144934 |   125632 |    60140      4 |        0 |        0
192.95/193.07	c  184s |      15 |   146245 |   126832 |    60140      4 |        0 |        0
195.35/195.46	c  186s |      15 |   147418 |   127832 |    60140      4 |        0 |        0
246.35/246.45	c  237s |      15 |   147631 |   128032 |    60140      4 |        0 |        0
248.55/248.69	c  240s |      15 |   148380 |   128732 |    60140      4 |        0 |        0
250.54/250.69	c  242s |      15 |   149205 |   129532 |    60140      4 |        0 |        0
252.64/252.78	c  244s |      15 |   150015 |   130332 |    60140      4 |        0 |        0
254.84/254.93	c  246s |      15 |   150915 |   131232 |    60140      4 |        0 |        0
255.64/255.76	c  247s |      16 |   151239 |   131552 |    60140      4 |        0 |        0
257.84/257.98	c  249s |      16 |   152224 |   132452 |    60140      4 |        0 |        0
259.94/260.00	c  251s |      16 |   153537 |   133552 |    60140      4 |        0 |        0
261.94/262.05	c  253s |      16 |   154995 |   134852 |    60140      4 |        0 |        0
264.05/264.14	c  255s |      16 |   156328 |   136052 |    60140      4 |        0 |        0
266.15/266.22	c  257s |      16 |   157528 |   137152 |    60140      4 |        0 |        0
268.35/268.44	c  259s |      16 |   158881 |   138352 |    60140      4 |        0 |        0
270.55/270.70	c  262s |      16 |   159784 |   139152 |    60140      4 |        0 |        0
272.75/272.88	c  264s |      16 |   160688 |   139952 |    60140      4 |        0 |        0
274.84/274.99	c  266s |      16 |   161674 |   140752 |    60140      4 |        0 |        0
276.94/277.02	c  268s |      16 |   162533 |   141452 |    60140      4 |        0 |        0
279.24/279.30	c  270s |      16 |   163580 |   142352 |    60140      4 |        0 |        0
281.34/281.45	c  272s |      16 |   164460 |   143152 |    60140      4 |        0 |        0
283.44/283.59	c  275s |      16 |   165375 |   143952 |    60140      4 |        0 |        0
285.74/285.80	c  277s |      16 |   166286 |   144752 |    60140      4 |        0 |        0
287.84/287.99	c  279s |      16 |   167433 |   145752 |    60140      4 |        0 |        0
289.94/290.06	c  281s |      16 |   168565 |   146652 |    60140      4 |        0 |        0
292.14/292.23	c  283s |      16 |   169577 |   147452 |    60140      4 |        0 |        0
294.24/294.34	c  285s |      16 |   170510 |   148252 |    60140      4 |        0 |        0
305.23/305.36	c  296s |      16 |   171293 |   148952 |    60140      5 |        0 |        0
308.64/308.78	c  300s |      16 |   172008 |   149552 |    60140      5 |        0 |        0
310.94/311.02	c  302s |      16 |   173186 |   150652 |    60140      5 |        0 |        0
312.94/313.07	c  304s |      16 |   174168 |   151552 |    60140      5 |        0 |        0
314.94/315.08	c  306s |      16 |   175165 |   152452 |    60140      5 |        0 |        0
317.04/317.19	c  308s |      16 |   176279 |   153452 |    60140      5 |        0 |        0
319.14/319.28	c  310s |      16 |   177215 |   154252 |    60140      5 |        0 |        0
321.34/321.46	c  313s |      16 |   178236 |   155152 |    60140      5 |        0 |        0
323.53/323.62	c  315s |      16 |   179254 |   156052 |    60140      5 |        0 |        0
325.54/325.63	c  317s |      16 |   180256 |   156952 |    60140      5 |        0 |        0
327.74/327.81	c  319s |      16 |   181267 |   157852 |    60140      5 |        0 |        0
329.83/329.90	c  321s |      16 |   182125 |   158652 |    60140      5 |        0 |        0
332.03/332.12	c  323s |      16 |   182986 |   159452 |    60140      5 |        0 |        0
334.13/334.23	c  325s |      16 |   183808 |   160252 |    60140      5 |        0 |        0
336.23/336.35	c  327s |      16 |   184706 |   161052 |    60140      5 |        0 |        0
338.23/338.39	c  329s |      16 |   185612 |   161852 |    60140      5 |        0 |        0
340.33/340.45	c  331s |      16 |   186549 |   162652 |    60140      5 |        0 |        0
342.53/342.62	c  334s |      16 |   187538 |   163552 |    60140      5 |        0 |        0
344.73/344.84	c  336s |      16 |   188503 |   164352 |    60140      5 |        0 |        0
346.73/346.88	c  338s |      16 |   189129 |   164952 |    60140      5 |        0 |        0
348.93/349.01	c  340s |      16 |   189880 |   165652 |    60140      5 |        0 |        0
351.03/351.19	c  342s |      16 |   190827 |   166452 |    60140      5 |        0 |        0
353.23/353.34	c  344s |      16 |   191702 |   167252 |    60140      5 |        0 |        0
355.34/355.45	c  346s |      16 |   192511 |   167952 |    60140      5 |        0 |        0
357.54/357.70	c  349s |      16 |   193341 |   168652 |    60140      5 |        0 |        0
359.64/359.79	c  351s |      16 |   194123 |   169352 |    60140      5 |        0 |        0
364.83/364.94	c  356s |      16 |   195063 |   170152 |    60140      5 |        0 |        0
367.13/367.21	c  358s |      16 |   195969 |   170952 |    60140      5 |        0 |        0
369.23/369.37	c  360s |      16 |   196911 |   171752 |    60140      5 |        0 |        0
371.33/371.46	c  363s |      16 |   197825 |   172552 |    60140      5 |        0 |        0
373.43/373.54	c  365s |      16 |   198742 |   173352 |    60140      5 |        0 |        0
375.53/375.60	c  367s |      16 |   199981 |   174352 |    60140      5 |        0 |        0
377.73/377.83	c  369s |      16 |   201184 |   175252 |    60140      5 |        0 |        0
379.83/379.91	c  371s |      16 |   202122 |   176052 |    60140      5 |        0 |        0
382.03/382.11	c  373s |      16 |   203070 |   176852 |    60140      5 |        0 |        0
384.13/384.27	c  375s |      16 |   204013 |   177652 |    60140      5 |        0 |        0
386.33/386.41	c  377s |      16 |   204985 |   178452 |    60140      5 |        0 |        0
391.22/391.38	c  382s |      16 |   205580 |   178952 |    60140      6 |        0 |        0
393.32/393.41	c  384s |      16 |   207089 |   180152 |    60140      6 |        0 |        0
395.32/395.45	c  386s |      16 |   207660 |   180652 |    60140      6 |        0 |        0
397.42/397.53	c  389s |      16 |   208598 |   181552 |    60140      6 |        0 |        0
399.42/399.54	c  391s |      16 |   209710 |   182552 |    66154      6 |        0 |        0
401.43/401.56	c  393s |      16 |   210923 |   183452 |    66154      6 |        0 |        0
403.52/403.64	c  395s |      16 |   211955 |   184352 |    66154      6 |        0 |        0
405.62/405.73	c  397s |      16 |   212890 |   185252 |    66154      6 |        0 |        0
407.82/408.00	c  399s |      16 |   213885 |   186152 |    66154      6 |        0 |        0
410.02/410.17	c  401s |      16 |   215063 |   187152 |    66154      6 |        0 |        0
412.12/412.24	c  403s |      16 |   215958 |   187952 |    66154      6 |        0 |        0
414.22/414.33	c  405s |      16 |   216977 |   188852 |    66154      6 |        0 |        0
416.32/416.40	c  407s |      16 |   217960 |   189752 |    66154      6 |        0 |        0
432.42/432.50	c  424s |      16 |   218211 |   189952 |    66154      6 |        0 |        0
434.43/434.56	c  426s |      16 |   219071 |   190752 |    66154      6 |        0 |        0
436.63/436.79	c  428s |      16 |   220108 |   191652 |    66154      6 |        0 |        0
438.83/438.98	c  430s |      16 |   221303 |   192652 |    66154      6 |        0 |        0
440.92/441.07	c  432s |      16 |   222282 |   193552 |    66154      6 |        0 |        0
443.02/443.12	c  434s |      16 |   223150 |   194352 |    66154      6 |        0 |        0
445.22/445.37	c  436s |      16 |   223918 |   195052 |    66154      6 |        0 |        0
447.22/447.37	c  438s |      16 |   224642 |   195752 |    66154      6 |        0 |        0
449.32/449.48	c  441s |      16 |   225426 |   196452 |    66154      6 |        0 |        0
451.72/451.80	c  443s |      16 |   225979 |   196952 |    66154      6 |        0 |        0
453.42/453.57	c  445s |      17 |   226480 |   197432 |    66154      6 |        0 |        0
465.62/465.73	c  457s |      17 |   226948 |   197832 |    66154      6 |        0 |        0
467.61/467.78	c  459s |      17 |   227910 |   198732 |    66154      6 |        0 |        0
469.72/469.81	c  461s |      17 |   229343 |   200032 |    66154      6 |        0 |        0
471.71/471.82	c  463s |      17 |   230327 |   200932 |    66154      6 |        0 |        0
474.02/474.12	c  465s |      17 |   231371 |   201932 |    66154      6 |        0 |        0
476.11/476.24	c  467s |      17 |   232383 |   202932 |    66154      6 |        0 |        0
478.31/478.42	c  469s |      17 |   233896 |   204332 |    66154      6 |        0 |        0
480.41/480.52	c  472s |      17 |   235461 |   205632 |    66154      6 |        0 |        0
482.41/482.56	c  474s |      17 |   236487 |   206632 |    66154      6 |        0 |        0
484.61/484.71	c  476s |      17 |   237631 |   207732 |    66154      6 |        0 |        0
486.71/486.87	c  478s |      17 |   238776 |   208832 |    66154      6 |        0 |        0
488.81/488.93	c  480s |      17 |   240196 |   210132 |    66154      6 |        0 |        0
490.81/490.95	c  482s |      17 |   241684 |   211432 |    66154      6 |        0 |        0
492.91/493.00	c  484s |      17 |   242903 |   212532 |    66154      6 |        0 |        0
495.02/495.12	c  486s |      17 |   244300 |   213732 |    66154      6 |        0 |        0
497.01/497.18	c  488s |      17 |   245667 |   214932 |    66154      6 |        0 |        0
503.31/503.40	c  494s |      17 |   246298 |   215432 |    66154      7 |        0 |        0
505.41/505.52	c  497s |      17 |   247509 |   216532 |    66154      7 |        0 |        0
524.71/524.87	c  516s |      17 |   249061 |   217832 |    66154      7 |        0 |        0
526.81/526.91	c  518s |      17 |   250237 |   218932 |    66154      7 |        0 |        0
529.01/529.10	c  520s |      17 |   251313 |   219932 |    66154      7 |        0 |        0
531.00/531.13	c  522s |      17 |   252273 |   220832 |    66154      7 |        0 |        0
533.10/533.26	c  524s |      17 |   253520 |   221932 |    66154      7 |        0 |        0
535.20/535.38	c  526s |      17 |   254757 |   223032 |    66154      7 |        0 |        0
537.30/537.45	c  528s |      17 |   255588 |   223832 |    66154      7 |        0 |        0
539.40/539.55	c  531s |      17 |   256584 |   224732 |    66154      7 |        0 |        0
541.60/541.74	c  533s |      17 |   257458 |   225532 |    66154      7 |        0 |        0
543.80/543.90	c  535s |      17 |   258728 |   226632 |    66154      7 |        0 |        0
545.80/545.96	c  537s |      17 |   259713 |   227532 |    66154      7 |        0 |        0
548.00/548.16	c  539s |      17 |   260780 |   228532 |    66154      7 |        0 |        0
550.10/550.26	c  541s |      17 |   261545 |   229232 |    66154      7 |        0 |        0
552.20/552.35	c  543s |      17 |   262635 |   230132 |    66154      7 |        0 |        0
554.20/554.39	c  545s |      17 |   263969 |   231232 |    66154      7 |        0 |        0
556.40/556.56	c  548s |      17 |   265303 |   232432 |    66154      7 |        0 |        0
558.40/558.57	c  550s |      17 |   266496 |   233432 |    66154      7 |        0 |        0
560.49/560.67	c  552s |      17 |   267629 |   234432 |    66154      7 |        0 |        0
562.59/562.77	c  554s |      17 |   269084 |   235632 |    66154      7 |        0 |        0
564.69/564.80	c  556s |      17 |   270141 |   236532 |    66154      7 |        0 |        0
566.89/567.02	c  558s |      17 |   271291 |   237532 |    66154      7 |        0 |        0
568.89/569.07	c  560s |      17 |   272212 |   238332 |    66154      7 |        0 |        0
570.99/571.11	c  562s |      17 |   273470 |   239332 |    66154      7 |        0 |        0
573.29/573.45	c  564s |      17 |   274410 |   240132 |    66154      7 |        0 |        0
575.49/575.67	c  567s |      17 |   275312 |   240932 |    66154      7 |        0 |        0
577.69/577.82	c  569s |      17 |   276171 |   241732 |    66154      7 |        0 |        0
579.99/580.12	c  571s |      17 |   276843 |   242332 |    66154      7 |        0 |        0
581.99/582.15	c  573s |      17 |   277509 |   242932 |    66154      7 |        0 |        0
584.10/584.27	c  575s |      17 |   278536 |   243832 |    66154      7 |        0 |        0
586.39/586.50	c  578s |      17 |   279682 |   244832 |    66154      7 |        0 |        0
588.50/588.65	c  580s |      17 |   280564 |   245632 |    66154      7 |        0 |        0
590.49/590.67	c  582s |      17 |   281663 |   246532 |    66154      7 |        0 |        0
592.59/592.75	c  584s |      17 |   282876 |   247532 |    66154      7 |        0 |        0
596.60/596.76	c  588s |      17 |   283859 |   248332 |    66154      8 |        0 |        0
621.09/621.21	c  612s |      17 |   283963 |   248432 |    66154      8 |        0 |        0
623.09/623.29	c  614s |      17 |   284976 |   249332 |    66154      8 |        0 |        0
625.19/625.30	c  616s |      17 |   286518 |   250732 |    66154      8 |        0 |        0
627.29/627.43	c  618s |      17 |   287866 |   251932 |    66154      8 |        0 |        0
629.39/629.58	c  621s |      17 |   289029 |   252932 |    66154      8 |        0 |        0
631.59/631.72	c  623s |      17 |   290529 |   254232 |    66154      8 |        0 |        0
633.68/633.88	c  625s |      17 |   292011 |   255532 |    66154      8 |        0 |        0
635.88/636.03	c  627s |      17 |   292880 |   256332 |    66154      8 |        0 |        0
637.99/638.15	c  629s |      17 |   294292 |   257532 |    66154      8 |        0 |        0
640.09/640.24	c  631s |      17 |   295893 |   258832 |    66154      8 |        0 |        0
647.49/647.65	c  639s |      17 |   296860 |   259632 |    66154      8 |        0 |        0
649.49/649.66	c  641s |      17 |   297783 |   260432 |    66154      8 |        0 |        0
651.59/651.74	c  643s |      17 |   298840 |   261332 |    66154      8 |        0 |        0
653.59/653.76	c  645s |      17 |   299961 |   262232 |    66154      8 |        0 |        0
655.69/655.87	c  647s |      17 |   301186 |   263232 |    66154      8 |        0 |        0
657.79/657.92	c  649s |      17 |   302426 |   264232 |    66154      8 |        0 |        0
659.89/660.04	c  651s |      17 |   303605 |   265232 |    66154      8 |        0 |        0
661.99/662.11	c  653s |      17 |   304852 |   266232 |    66154      8 |        0 |        0
664.09/664.28	c  655s |      17 |   306053 |   267232 |    66154      8 |        0 |        0
666.18/666.36	c  657s |      17 |   306997 |   268032 |    66154      8 |        0 |        0
668.18/668.37	c  659s |      17 |   308223 |   269032 |    66154      8 |        0 |        0
670.48/670.63	c  662s |      17 |   309126 |   269832 |    66154      8 |        0 |        0
672.48/672.69	c  664s |      17 |   310359 |   270832 |    66154      8 |        0 |        0
674.78/674.95	c  666s |      17 |   311601 |   271832 |    66154      8 |        0 |        0
676.88/677.07	c  668s |      17 |   312375 |   272532 |    66154      8 |        0 |        0
679.28/679.41	c  670s |      17 |   313329 |   273332 |    66154      8 |        0 |        0
681.48/681.60	c  673s |      17 |   314385 |   274232 |    66154      8 |        0 |        0
683.58/683.76	c  675s |      17 |   315080 |   274832 |    66154      8 |        0 |        0
685.88/686.02	c  677s |      17 |   316164 |   275732 |    66154      8 |        0 |        0
687.88/688.06	c  679s |      17 |   316814 |   276332 |    66154      8 |        0 |        0
689.98/690.12	c  681s |      17 |   317793 |   277132 |    66154      8 |        0 |        0
692.08/692.21	c  683s |      17 |   318353 |   277632 |    66154      8 |        0 |        0
694.18/694.32	c  685s |      17 |   319023 |   278232 |    66154      8 |        0 |        0
696.58/696.79	c  688s |      17 |   319687 |   278832 |    66154      8 |        0 |        0
698.68/698.86	c  690s |      17 |   320231 |   279332 |    66154      8 |        0 |        0
701.08/701.27	c  692s |      17 |   320915 |   279932 |    66154      8 |        0 |        0
703.28/703.45	c  694s |      17 |   321586 |   280532 |    72770      8 |        0 |        0
705.38/705.57	c  697s |      17 |   322117 |   281032 |    72770      8 |        0 |        0
707.48/707.62	c  699s |      17 |   322735 |   281632 |    72770      8 |        0 |        0
709.58/709.75	c  701s |      17 |   323776 |   282532 |    72770      8 |        0 |        0
711.68/711.83	c  703s |      17 |   324958 |   283532 |    72770      8 |        0 |        0
713.67/713.87	c  705s |      17 |   325976 |   284432 |    72770      8 |        0 |        0
715.87/716.05	c  707s |      17 |   327037 |   285332 |    72770      8 |        0 |        0
717.97/718.18	c  709s |      17 |   328328 |   286332 |    72770      8 |        0 |        0
720.17/720.32	c  711s |      17 |   329299 |   287132 |    72770      8 |        0 |        0
722.27/722.46	c  714s |      17 |   330387 |   288032 |    72770      8 |        0 |        0
725.57/725.79	c  717s |      17 |   330503 |   288132 |    72770      9 |        0 |        0
733.47/733.64	c  725s |      17 |   330759 |   288332 |    72770      9 |        0 |        0
735.57/735.70	c  727s |      17 |   331446 |   288932 |    72770      9 |        0 |        0
737.57/737.76	c  729s |      17 |   333002 |   290232 |    72770      9 |        0 |        0
739.67/739.89	c  731s |      17 |   334296 |   291332 |    72770      9 |        0 |        0
741.87/742.03	c  733s |      17 |   335847 |   292632 |    72770      9 |        0 |        0
744.07/744.27	c  735s |      17 |   337220 |   293732 |    72770      9 |        0 |        0
746.17/746.37	c  737s |      17 |   338284 |   294632 |    72770      9 |        0 |        0
748.27/748.49	c  740s |      17 |   339788 |   295932 |    72770      9 |        0 |        0
748.87/749.07	c  740s |      18 |   340157 |   296252 |    72770      9 |        0 |        0
804.56/804.73	c  796s |      18 |   340409 |   296452 |    72770      9 |        0 |        0
815.56/815.75	c  807s |      18 |   340515 |   296552 |    72770      9 |        0 |        0
817.66/817.83	c  809s |      18 |   341583 |   297552 |    72770      9 |        0 |        0
819.66/819.88	c  811s |      18 |   342483 |   298352 |    72770      9 |        0 |        0
821.76/821.93	c  813s |      18 |   343392 |   299152 |    72770      9 |        0 |        0
823.86/824.07	c  815s |      18 |   344586 |   300152 |    72770      9 |        0 |        0
825.96/826.18	c  817s |      18 |   345590 |   301052 |    72770      9 |        0 |        0
828.06/828.30	c  819s |      18 |   346566 |   301952 |    72770      9 |        0 |        0
830.16/830.34	c  821s |      18 |   347644 |   302852 |    72770      9 |        0 |        0
832.16/832.35	c  823s |      18 |   348710 |   303752 |    72770      9 |        0 |        0
834.36/834.59	c  826s |      18 |   349461 |   304452 |    72770      9 |        0 |        0
836.55/836.75	c  828s |      18 |   350338 |   305252 |    72770      9 |        0 |        0
838.65/838.85	c  830s |      18 |   351282 |   306152 |    72770      9 |        0 |        0
840.95/841.10	c  832s |      18 |   352129 |   306952 |    72770      9 |        0 |        0
843.05/843.22	c  834s |      18 |   352968 |   307752 |    72770      9 |        0 |        0
845.05/845.23	c  836s |      18 |   353725 |   308452 |    72770      9 |        0 |        0
847.25/847.46	c  838s |      18 |   354589 |   309252 |    72770      9 |        0 |        0
849.35/849.55	c  841s |      18 |   355414 |   310052 |    72770      9 |        0 |        0
851.55/851.71	c  843s |      18 |   356380 |   310952 |    72770      9 |        0 |        0
853.56/853.73	c  845s |      18 |   357285 |   311752 |    72770      9 |        0 |        0
855.66/855.80	c  847s |      18 |   358112 |   312552 |    72770      9 |        0 |        0
857.65/857.84	c  849s |      18 |   358845 |   313252 |    72770      9 |        0 |        0
859.85/860.10	c  851s |      18 |   359823 |   314152 |    72770      9 |        0 |        0
862.05/862.21	c  853s |      18 |   360662 |   314952 |    72770      9 |        0 |        0
864.05/864.27	c  855s |      18 |   361421 |   315652 |    72770      9 |        0 |        0
866.45/866.62	c  858s |      18 |   362257 |   316352 |    72770      9 |        0 |        0
868.75/868.93	c  860s |      18 |   362965 |   317052 |    72770      9 |        0 |        0
870.74/870.94	c  862s |      18 |   363668 |   317652 |    72770      9 |        0 |        0
872.74/872.94	c  864s |      18 |   364310 |   318252 |    72770      9 |        0 |        0
874.84/875.06	c  866s |      18 |   365084 |   318952 |    72770      9 |        0 |        0
877.04/877.25	c  868s |      18 |   365981 |   319752 |    72770      9 |        0 |        0
879.14/879.30	c  870s |      18 |   366763 |   320452 |    72770      9 |        0 |        0
881.23/881.45	c  872s |      18 |   367501 |   321152 |    72770      9 |        0 |        0
883.43/883.61	c  875s |      18 |   368422 |   321952 |    72770      9 |        0 |        0
885.63/885.80	c  877s |      18 |   369222 |   322652 |    72770      9 |        0 |        0
887.93/888.11	c  879s |      18 |   369859 |   323252 |    72770      9 |        0 |        0
890.13/890.36	c  881s |      18 |   370655 |   323952 |    72770      9 |        0 |        0
901.32/901.55	c  893s |      18 |   371279 |   324552 |    72770     10 |        0 |        0
903.32/903.56	c  895s |      18 |   372007 |   325252 |    72770     10 |        0 |        0
905.42/905.68	c  897s |      18 |   372943 |   326152 |    72770     10 |        0 |        0
907.52/907.70	c  899s |      18 |   373839 |   326952 |    72770     10 |        0 |        0
909.42/909.70	c  901s |      18 |   374828 |   327752 |    72770     10 |        0 |        0
911.62/911.89	c  903s |      18 |   375743 |   328652 |    72770     10 |        0 |        0
913.71/913.92	c  905s |      18 |   376552 |   329352 |    72770     10 |        0 |        0
915.71/915.93	c  907s |      18 |   377552 |   330252 |    72770     10 |        0 |        0
917.81/918.06	c  909s |      18 |   378479 |   331052 |    72770     10 |        0 |        0
920.11/920.31	c  911s |      18 |   379312 |   331852 |    72770     10 |        0 |        0
922.21/922.49	c  914s |      18 |   380169 |   332652 |    72770     10 |        0 |        0
924.31/924.57	c  916s |      18 |   381007 |   333452 |    72770     10 |        0 |        0
926.41/926.62	c  918s |      18 |   381975 |   334352 |    72770     10 |        0 |        0
928.51/928.74	c  920s |      18 |   382788 |   335152 |    72770     10 |        0 |        0
930.61/930.81	c  922s |      18 |   383550 |   335852 |    72770     10 |        0 |        0
932.81/933.09	c  924s |      18 |   384537 |   336752 |    72770     10 |        0 |        0
935.01/935.27	c  926s |      18 |   385379 |   337552 |    72770     10 |        0 |        0
937.12/937.39	c  928s |      18 |   386387 |   338452 |    72770     10 |        0 |        0
939.41/939.69	c  931s |      18 |   387160 |   339152 |    72770     10 |        0 |        0
941.81/942.02	c  933s |      18 |   387794 |   339752 |    72770     10 |        0 |        0
943.81/944.03	c  935s |      18 |   388536 |   340452 |    72770     10 |        0 |        0
945.81/946.08	c  937s |      18 |   389275 |   341152 |    72770     10 |        0 |        0
947.91/948.17	c  939s |      18 |   390102 |   341952 |    72770     10 |        0 |        0
950.10/950.32	c  941s |      18 |   390944 |   342652 |    72770     10 |        0 |        0
952.30/952.57	c  944s |      18 |   391571 |   343252 |    72770     10 |        0 |        0
954.50/954.73	c  946s |      18 |   392493 |   344052 |    72770     10 |        0 |        0
956.81/957.08	c  948s |      18 |   393110 |   344652 |    72770     10 |        0 |        0
959.11/959.37	c  950s |      18 |   393968 |   345452 |    72770     10 |        0 |        0
961.40/961.61	c  953s |      18 |   394599 |   346052 |    72770     10 |        0 |        0
963.41/963.65	c  955s |      18 |   395333 |   346752 |    72770     10 |        0 |        0
965.50/965.72	c  957s |      18 |   396003 |   347352 |    72770     10 |        0 |        0
967.70/967.95	c  959s |      18 |   396733 |   348052 |    72770     10 |        0 |        0
1022.39/1022.69	c 1014s |      18 |   397510 |   348652 |    72770     10 |        0 |        0
1024.89/1025.15	c 1016s |      18 |   397924 |   349052 |    72770     10 |        0 |        0
1027.09/1027.30	c 1018s |      18 |   398341 |   349452 |    72770     10 |        0 |        0
1029.69/1029.98	c 1021s |      18 |   398752 |   349852 |    72770     10 |        0 |        0
1031.79/1032.04	c 1023s |      18 |   399161 |   350252 |    72770     10 |        0 |        0
1033.89/1034.18	c 1025s |      18 |   399588 |   350652 |    72770     10 |        0 |        0
1036.29/1036.58	c 1028s |      18 |   400113 |   351152 |    72770     10 |        0 |        0
1038.39/1038.67	c 1030s |      18 |   400741 |   351752 |    72770     10 |        0 |        0
1040.68/1040.90	c 1032s |      18 |   401253 |   352252 |    72770     10 |        0 |        0
1042.78/1043.00	c 1034s |      18 |   401775 |   352752 |    72770     10 |        0 |        0
1044.98/1045.29	c 1036s |      18 |   402585 |   353452 |    72770     10 |        0 |        0
1047.38/1047.62	c 1039s |      18 |   403245 |   354052 |    72770     10 |        0 |        0
1049.48/1049.74	c 1041s |      18 |   403771 |   354552 |    72770     10 |        0 |        0
1051.87/1052.13	c 1043s |      18 |   404437 |   355152 |    72770     10 |        0 |        0
1054.07/1054.38	c 1045s |      18 |   405049 |   355752 |    72770     10 |        0 |        0
1056.47/1056.72	c 1048s |      18 |   405818 |   356452 |    72770     10 |        0 |        0
1058.67/1058.90	c 1050s |      18 |   406560 |   357052 |    72770     10 |        0 |        0
1061.07/1061.37	c 1052s |      18 |   407182 |   357652 |    72770     10 |        0 |        0
1063.17/1063.42	c 1054s |      18 |   407705 |   358152 |    72770     10 |        0 |        0
1065.27/1065.54	c 1057s |      18 |   408389 |   358752 |    72770     10 |        0 |        0
1067.57/1067.89	c 1059s |      18 |   409052 |   359352 |    72770     10 |        0 |        0
1069.96/1070.29	c 1061s |      18 |   409578 |   359852 |    72770     10 |        0 |        0
1072.16/1072.41	c 1063s |      18 |   410232 |   360452 |    72770     10 |        0 |        0
1078.97/1079.22	c 1070s |      18 |   410899 |   360952 |    72770     11 |        0 |        0
1081.06/1081.35	c 1072s |      18 |   411728 |   361752 |    72770     11 |        0 |        0
1083.05/1083.38	c 1074s |      18 |   412709 |   362652 |    72770     11 |        0 |        0
1150.64/1150.94	c 1142s |      18 |   413634 |   363452 |    72770     11 |        0 |        0
1153.04/1153.30	c 1144s |      18 |   414572 |   364252 |    72770     11 |        0 |        0
1155.04/1155.39	c 1146s |      18 |   415720 |   365252 |    72770     11 |        0 |        0
1157.24/1157.51	c 1149s |      18 |   416463 |   365952 |    72770     11 |        0 |        0
1159.34/1159.63	c 1151s |      18 |   417510 |   366852 |    72770     11 |        0 |        0
1161.34/1161.65	c 1153s |      18 |   418531 |   367752 |    72770     11 |        0 |        0
1163.44/1163.71	c 1155s |      18 |   419161 |   368352 |    72770     11 |        0 |        0
1165.74/1166.02	c 1157s |      18 |   419894 |   369052 |    72770     11 |        0 |        0
1167.94/1168.27	c 1159s |      18 |   420510 |   369652 |    72770     11 |        0 |        0
1170.14/1170.50	c 1162s |      18 |   421339 |   370452 |    72770     11 |        0 |        0
1172.23/1172.50	c 1164s |      18 |   422296 |   371352 |    72770     11 |        0 |        0
1174.44/1174.70	c 1166s |      18 |   423418 |   372352 |    72770     11 |        0 |        0
1176.44/1176.78	c 1168s |      18 |   424160 |   373052 |    72770     11 |        0 |        0
1178.64/1178.90	c 1170s |      18 |   424886 |   373752 |    72770     11 |        0 |        0
1180.63/1180.91	c 1172s |      18 |   425746 |   374552 |    72770     11 |        0 |        0
1182.93/1183.22	c 1174s |      18 |   426727 |   375452 |    72770     11 |        0 |        0
1185.03/1185.30	c 1176s |      18 |   427396 |   376052 |    72770     11 |        0 |        0
1187.13/1187.43	c 1178s |      18 |   428054 |   376652 |    72770     11 |        0 |        0
1189.33/1189.62	c 1181s |      18 |   428500 |   377052 |    72770     11 |        0 |        0
1191.53/1191.89	c 1183s |      18 |   429140 |   377652 |    72770     11 |        0 |        0
1193.73/1194.06	c 1185s |      18 |   429667 |   378152 |    72770     11 |        0 |        0
1195.73/1196.08	c 1187s |      18 |   430536 |   378952 |    72770     11 |        0 |        0
1198.03/1198.39	c 1189s |      18 |   431261 |   379652 |    72770     11 |        0 |        0
1200.22/1200.51	c 1192s |      18 |   431787 |   380152 |    72770     11 |        0 |        0
1202.52/1202.81	c 1194s |      18 |   432518 |   380852 |    72770     11 |        0 |        0
1204.92/1205.27	c 1196s |      18 |   433164 |   381452 |    72770     11 |        0 |        0
1207.12/1207.44	c 1198s |      18 |   433733 |   381952 |    72770     11 |        0 |        0
1209.42/1209.73	c 1201s |      18 |   434573 |   382752 |    72770     11 |        0 |        0
1211.62/1211.96	c 1203s |      18 |   435304 |   383452 |    72770     11 |        0 |        0
1213.72/1214.09	c 1205s |      18 |   436383 |   384452 |    72770     11 |        0 |        0
1215.82/1216.17	c 1207s |      18 |   436850 |   384852 |    72770     11 |        0 |        0
1218.32/1218.69	c 1210s |      18 |   437362 |   385352 |    72770     11 |        0 |        0
1220.51/1220.86	c 1212s |      18 |   437783 |   385752 |    72770     11 |        0 |        0
1222.71/1223.04	c 1214s |      18 |   438300 |   386252 |    72770     11 |        0 |        0
1224.71/1225.08	c 1216s |      18 |   438839 |   386752 |    72770     11 |        0 |        0
1227.01/1227.38	c 1218s |      18 |   439720 |   387552 |    72770     11 |        0 |        0
1229.62/1229.92	c 1221s |      18 |   440352 |   388152 |    72770     11 |        0 |        0
1231.82/1232.16	c 1223s |      18 |   440777 |   388552 |    72770     11 |        0 |        0
1233.92/1234.27	c 1225s |      18 |   441194 |   388952 |    72770     11 |        0 |        0
1235.91/1236.28	c 1227s |      18 |   441651 |   389352 |    72770     11 |        0 |        0
1238.31/1238.69	c 1230s |      18 |   442171 |   389852 |    72770     11 |        0 |        0
1240.51/1240.80	c 1232s |      18 |   442912 |   390452 |    72770     11 |        0 |        0
1242.71/1243.08	c 1234s |      18 |   443659 |   391152 |    72770     11 |        0 |        0
1244.80/1245.15	c 1236s |      18 |   444221 |   391652 |    72770     11 |        0 |        0
1247.11/1247.44	c 1238s |      18 |   444744 |   392152 |    72770     11 |        0 |        0
1249.50/1249.90	c 1241s |      18 |   445256 |   392652 |    72770     11 |        0 |        0
1251.60/1251.95	c 1243s |      18 |   445670 |   393052 |    72770     11 |        0 |        0
1253.90/1254.27	c 1245s |      18 |   446187 |   393552 |    72770     11 |        0 |        0
1256.10/1256.41	c 1247s |      18 |   446597 |   393952 |    72770     11 |        0 |        0
1258.39/1258.71	c 1250s |      18 |   447113 |   394452 |    72770     11 |        0 |        0
1260.79/1261.17	c 1252s |      18 |   447625 |   394952 |    72770     11 |        0 |        0
1263.19/1263.50	c 1255s |      18 |   448128 |   395452 |    72770     11 |        0 |        0
1265.19/1265.57	c 1257s |      18 |   448681 |   395952 |    72770     11 |        0 |        0
1267.79/1268.13	c 1259s |      18 |   449331 |   396552 |    72770     11 |        0 |        0
1270.08/1270.40	c 1261s |      18 |   449866 |   397052 |    72770     11 |        0 |        0
1275.79/1276.19	c 1267s |      18 |   450200 |   397352 |    72770     12 |        0 |        0
1278.98/1279.38	c 1270s |      18 |   450642 |   397752 |    72770     12 |        0 |        0
1281.18/1281.52	c 1273s |      18 |   451322 |   398352 |    72770     12 |        0 |        0
1283.27/1283.64	c 1275s |      18 |   452305 |   399252 |    72770     12 |        0 |        0
1285.47/1285.80	c 1277s |      18 |   453277 |   400152 |    72770     12 |        0 |        0
1287.57/1287.98	c 1279s |      18 |   454107 |   400952 |    72770     12 |        0 |        0
1289.67/1290.08	c 1281s |      18 |   454829 |   401652 |    72770     12 |        0 |        0
1291.97/1292.36	c 1283s |      18 |   455707 |   402452 |    72770     12 |        0 |        0
1293.97/1294.38	c 1285s |      18 |   456348 |   403052 |    72770     12 |        0 |        0
1296.17/1296.58	c 1288s |      18 |   457188 |   403852 |    72770     12 |        0 |        0
1298.27/1298.69	c 1290s |      18 |   457894 |   404552 |    72770     12 |        0 |        0
1300.46/1300.80	c 1292s |      18 |   458652 |   405252 |    72770     12 |        0 |        0
1302.56/1302.96	c 1294s |      18 |   459587 |   406052 |    72770     12 |        0 |        0
1329.86/1330.23	c 1321s |      18 |   459956 |   406352 |    72770     12 |        0 |        0
1332.16/1332.51	c 1324s |      18 |   460498 |   406852 |    72770     12 |        0 |        0
1334.36/1334.78	c 1326s |      18 |   461217 |   407552 |    72770     12 |        0 |        0
1336.46/1336.83	c 1328s |      18 |   461834 |   408152 |    72770     12 |        0 |        0
1338.76/1339.10	c 1330s |      18 |   462553 |   408852 |    72770     12 |        0 |        0
1340.95/1341.35	c 1332s |      18 |   463064 |   409352 |    72770     12 |        0 |        0
1343.45/1343.81	c 1335s |      18 |   464057 |   410052 |    72770     12 |        0 |        0
1345.55/1345.90	c 1337s |      18 |   464558 |   410552 |    72770     12 |        0 |        0
1347.65/1348.08	c 1339s |      18 |   465090 |   411052 |    72770     12 |        0 |        0
1349.85/1350.22	c 1341s |      18 |   465743 |   411652 |    72770     12 |        0 |        0
1352.25/1352.69	c 1344s |      18 |   466482 |   412352 |    72770     12 |        0 |        0
1354.55/1354.98	c 1346s |      18 |   467105 |   412952 |    72770     12 |        0 |        0
1356.95/1357.35	c 1348s |      18 |   467835 |   413652 |    72770     12 |        0 |        0
1359.26/1359.65	c 1351s |      18 |   468462 |   414252 |    72770     12 |        0 |        0
1361.34/1361.72	c 1353s |      18 |   469111 |   414852 |    72770     12 |        0 |        0
1363.44/1363.85	c 1355s |      18 |   469731 |   415452 |    72770     12 |        0 |        0
1365.64/1366.02	c 1357s |      18 |   470345 |   416052 |    72770     12 |        0 |        0
1367.74/1368.10	c 1359s |      18 |   471162 |   416752 |    72770     12 |        0 |        0
1369.84/1370.25	c 1361s |      18 |   471667 |   417252 |    72770     12 |        0 |        0
1372.14/1372.55	c 1364s |      18 |   472280 |   417852 |    72770     12 |        0 |        0
1374.34/1374.74	c 1366s |      18 |   473026 |   418552 |    72770     12 |        0 |        0
1376.64/1377.07	c 1368s |      18 |   473795 |   419252 |    72770     12 |        0 |        0
1379.15/1379.57	c 1371s |      18 |   474404 |   419852 |    72770     12 |        0 |        0
1381.34/1381.73	c 1373s |      18 |   474928 |   420352 |    72770     12 |        0 |        0
1383.54/1383.96	c 1375s |      18 |   475569 |   420952 |    72770     12 |        0 |        0
1385.83/1386.20	c 1377s |      18 |   476264 |   421552 |    72770     12 |        0 |        0
1388.13/1388.56	c 1380s |      18 |   477072 |   422252 |    72770     12 |        0 |        0
1390.14/1390.58	c 1382s |      18 |   477756 |   422852 |    72770     12 |        0 |        0
1392.53/1392.95	c 1384s |      18 |   478469 |   423452 |    72770     12 |        0 |        0
1394.63/1395.09	c 1386s |      18 |   479015 |   423952 |    72770     12 |        0 |        0
1397.03/1397.43	c 1388s |      18 |   479684 |   424552 |    72770     12 |        0 |        0
1399.23/1399.62	c 1391s |      18 |   480227 |   425052 |    72770     12 |        0 |        0
1401.32/1401.71	c 1393s |      18 |   480837 |   425652 |    72770     12 |        0 |        0
1403.62/1404.09	c 1395s |      18 |   481368 |   426152 |    72770     12 |        0 |        0
1405.72/1406.12	c 1397s |      18 |   481608 |   426352 |    72770     12 |        0 |        0
1407.92/1408.39	c 1399s |      18 |   481917 |   426652 |    72770     12 |        0 |        0
1410.42/1410.89	c 1402s |      18 |   482327 |   427052 |    72770     12 |        0 |        0
1412.72/1413.14	c 1404s |      18 |   482844 |   427552 |    80047     12 |        0 |        0
1415.33/1415.76	c 1407s |      18 |   483147 |   427852 |    80047     12 |        0 |        0
1417.42/1417.86	c 1409s |      18 |   483465 |   428152 |    80047     12 |        0 |        0
1419.92/1420.33	c 1411s |      18 |   483873 |   428552 |    80047     12 |        0 |        0
1422.12/1422.56	c 1414s |      18 |   484287 |   428952 |    80047     12 |        0 |        0
1424.32/1424.73	c 1416s |      18 |   484716 |   429352 |    80047     12 |        0 |        0
1426.62/1427.00	c 1418s |      18 |   485141 |   429752 |    80047     12 |        0 |        0
1428.92/1429.36	c 1420s |      18 |   485683 |   430252 |    80047     12 |        0 |        0
1431.02/1431.47	c 1423s |      18 |   486109 |   430652 |    80047     12 |        0 |        0
1433.22/1433.67	c 1425s |      18 |   486514 |   431052 |    80047     12 |        0 |        0
1435.71/1436.15	c 1427s |      18 |   487042 |   431552 |    80047     12 |        0 |        0
1437.71/1438.16	c 1429s |      18 |   487471 |   431952 |    80047     12 |        0 |        0
1440.11/1440.51	c 1432s |      18 |   488011 |   432452 |    80047     12 |        0 |        0
1442.51/1442.98	c 1434s |      18 |   488320 |   432752 |    80047     12 |        0 |        0
1444.91/1445.37	c 1436s |      18 |   488638 |   433052 |    80047     12 |        0 |        0
1447.01/1447.44	c 1438s |      18 |   489059 |   433452 |    80047     12 |        0 |        0
1449.31/1449.73	c 1441s |      18 |   489583 |   433952 |    80047     12 |        0 |        0
1451.31/1451.76	c 1443s |      18 |   490141 |   434452 |    80047     12 |        0 |        0
1453.32/1453.78	c 1445s |      18 |   490668 |   434952 |    80047     12 |        0 |        0
1455.52/1455.92	c 1447s |      18 |   491216 |   435452 |    80047     12 |        0 |        0
1457.82/1458.25	c 1449s |      18 |   491852 |   436052 |    80047     12 |        0 |        0
1460.02/1460.47	c 1452s |      18 |   492427 |   436552 |    80047     12 |        0 |        0
1462.32/1462.74	c 1454s |      18 |   492860 |   436952 |    80047     12 |        0 |        0
1464.72/1465.15	c 1456s |      18 |   493379 |   437452 |    80047     12 |        0 |        0
1467.12/1467.55	c 1459s |      18 |   493799 |   437852 |    80047     12 |        0 |        0
1469.71/1470.18	c 1461s |      18 |   494201 |   438252 |    80047     12 |        0 |        0
1472.41/1472.80	c 1464s |      18 |   494716 |   438752 |    80047     12 |        0 |        0
1474.41/1474.88	c 1466s |      18 |   495139 |   439152 |    80047     12 |        0 |        0
1476.61/1477.07	c 1468s |      18 |   495574 |   439552 |    80047     12 |        0 |        0
1478.91/1479.31	c 1470s |      18 |   496098 |   440052 |    80047     12 |        0 |        0
1481.32/1481.72	c 1473s |      18 |   496663 |   440552 |    80047     12 |        0 |        0
1483.62/1484.09	c 1475s |      18 |   497184 |   441052 |    80047     12 |        0 |        0
1501.70/1502.19	c 1493s |      18 |   497286 |   441152 |    80047     13 |        0 |        0
1503.90/1504.36	c 1495s |      18 |   497801 |   441652 |    80047     13 |        0 |        0
1506.10/1506.53	c 1498s |      18 |   498447 |   442252 |    80047     13 |        0 |        0
1508.30/1508.72	c 1500s |      18 |   499173 |   442952 |    80047     13 |        0 |        0
1510.40/1510.85	c 1502s |      18 |   500169 |   443852 |    80047     13 |        0 |        0
1512.11/1512.59	c 1504s |      19 |   500863 |   444482 |    80047     13 |        0 |        0
1514.31/1514.78	c 1506s |      19 |   501218 |   444782 |    80047     13 |        0 |        0
1597.19/1597.69	c 1589s |      19 |   501435 |   444982 |    80047     13 |        0 |        0
1599.50/1599.91	c 1591s |      19 |   502091 |   445582 |    80047     13 |        0 |        0
1601.50/1601.97	c 1593s |      19 |   502956 |   446282 |    80047     13 |        0 |        0
1603.50/1603.98	c 1595s |      19 |   503803 |   447082 |    80047     13 |        0 |        0
1605.60/1606.01	c 1597s |      19 |   504665 |   447882 |    80047     13 |        0 |        0
1607.90/1608.34	c 1599s |      19 |   505328 |   448482 |    80047     13 |        0 |        0
1610.10/1610.52	c 1602s |      19 |   505968 |   449082 |    80047     13 |        0 |        0
1612.49/1612.93	c 1604s |      19 |   506714 |   449782 |    80047     13 |        0 |        0
1614.69/1615.11	c 1606s |      19 |   507498 |   450482 |    80047     13 |        0 |        0
1616.70/1617.18	c 1608s |      19 |   508217 |   451082 |    80047     13 |        0 |        0
1618.80/1619.25	c 1610s |      19 |   508800 |   451582 |    80047     13 |        0 |        0
1621.10/1621.57	c 1613s |      19 |   509458 |   452182 |    80047     13 |        0 |        0
1623.20/1623.62	c 1615s |      19 |   510179 |   452882 |    80047     13 |        0 |        0
1625.50/1625.99	c 1617s |      19 |   511012 |   453682 |    80047     13 |        0 |        0
1627.79/1628.28	c 1619s |      19 |   511850 |   454282 |    80047     13 |        0 |        0
1629.80/1630.30	c 1621s |      19 |   512268 |   454682 |    80047     13 |        0 |        0
1631.89/1632.30	c 1623s |      19 |   512892 |   455282 |    80047     13 |        0 |        0
1634.09/1634.53	c 1626s |      19 |   513609 |   455982 |    80047     13 |        0 |        0
1636.29/1636.71	c 1628s |      19 |   514456 |   456782 |    80047     13 |        0 |        0
1638.49/1638.98	c 1630s |      19 |   515083 |   457382 |    80047     13 |        0 |        0
1640.69/1641.16	c 1632s |      19 |   515795 |   458082 |    80047     13 |        0 |        0
1642.89/1643.32	c 1634s |      19 |   516608 |   458882 |    80047     13 |        0 |        0
1644.99/1645.40	c 1636s |      19 |   517319 |   459482 |    80047     13 |        0 |        0
1647.29/1647.74	c 1639s |      19 |   517864 |   459982 |    80047     13 |        0 |        0
1649.59/1650.01	c 1641s |      19 |   518266 |   460382 |    80047     13 |        0 |        0
1651.89/1652.36	c 1643s |      19 |   518850 |   460882 |    80047     13 |        0 |        0
1654.09/1654.57	c 1646s |      19 |   519310 |   461282 |    80047     13 |        0 |        0
1656.09/1656.59	c 1648s |      19 |   519716 |   461682 |    80047     13 |        0 |        0
1658.19/1658.65	c 1650s |      19 |   520326 |   462282 |    80047     13 |        0 |        0
1660.39/1660.81	c 1652s |      19 |   520892 |   462782 |    80047     13 |        0 |        0
1662.69/1663.12	c 1654s |      19 |   521431 |   463282 |    80047     13 |        0 |        0
1664.89/1665.31	c 1656s |      19 |   522034 |   463882 |    80047     13 |        0 |        0
1667.08/1667.55	c 1659s |      19 |   522651 |   464482 |    80047     13 |        0 |        0
1669.49/1669.98	c 1661s |      19 |   523263 |   465082 |    80047     13 |        0 |        0
1671.59/1672.10	c 1663s |      19 |   523774 |   465582 |    80047     13 |        0 |        0
1674.08/1674.50	c 1666s |      19 |   524216 |   465982 |    80047     13 |        0 |        0
1676.28/1676.71	c 1668s |      19 |   524628 |   466382 |    80047     13 |        0 |        0
1678.58/1679.08	c 1670s |      19 |   525249 |   466982 |    80047     13 |        0 |        0
1680.98/1681.40	c 1672s |      19 |   525899 |   467582 |    80047     13 |        0 |        0
1683.28/1683.77	c 1675s |      19 |   526540 |   468182 |    80047     13 |        0 |        0
1685.58/1686.09	c 1677s |      19 |   527153 |   468782 |    80047     13 |        0 |        0
1687.98/1688.40	c 1679s |      19 |   527658 |   469282 |    80047     13 |        0 |        0
1690.08/1690.51	c 1682s |      19 |   528169 |   469782 |    80047     13 |        0 |        0
1692.18/1692.60	c 1684s |      19 |   528716 |   470282 |    80047     13 |        0 |        0
1694.18/1694.66	c 1686s |      19 |   529213 |   470782 |    80047     13 |        0 |        0
1696.38/1696.83	c 1688s |      19 |   529728 |   471282 |    80047     13 |        0 |        0
1698.38/1698.85	c 1690s |      19 |   530227 |   471782 |    80047     13 |        0 |        0
1700.38/1700.89	c 1692s |      19 |   530862 |   472382 |    80047     13 |        0 |        0
1702.39/1702.90	c 1694s |      19 |   531406 |   472882 |    80047     13 |        0 |        0
1704.69/1705.12	c 1696s |      19 |   531925 |   473382 |    80047     13 |        0 |        0
1706.98/1707.45	c 1698s |      19 |   532425 |   473882 |    80047     13 |        0 |        0
1709.38/1709.80	c 1701s |      19 |   532964 |   474382 |    80047     13 |        0 |        0
1711.58/1712.03	c 1703s |      19 |   533585 |   474982 |    80047     13 |        0 |        0
1714.08/1714.56	c 1706s |      19 |   534217 |   475582 |    80047     13 |        0 |        0
1716.08/1716.57	c 1708s |      19 |   534646 |   475982 |    80047     13 |        0 |        0
1718.28/1718.76	c 1710s |      19 |   535280 |   476582 |    80047     13 |        0 |        0
1720.48/1720.93	c 1712s |      19 |   535779 |   477082 |    80047     13 |        0 |        0
1722.68/1723.15	c 1714s |      19 |   536284 |   477582 |    80047     13 |        0 |        0
1724.98/1725.48	c 1717s |      19 |   536801 |   478082 |    80047     13 |        0 |        0
1727.38/1727.88	c 1719s |      19 |   537338 |   478582 |    80047     13 |        0 |        0
1729.58/1730.08	c 1721s |      19 |   537743 |   478982 |    80047     13 |        0 |        0
1731.87/1732.38	c 1723s |      19 |   538150 |   479382 |    80047     13 |        0 |        0
1733.87/1734.39	c 1725s |      19 |   538553 |   479782 |    80047     13 |        0 |        0
1736.07/1736.55	c 1728s |      19 |   538950 |   480182 |    80047     13 |        0 |        0
1738.47/1738.96	c 1730s |      19 |   539507 |   480682 |    80047     13 |        0 |        0
1740.47/1740.97	c 1732s |      19 |   540015 |   481182 |    80047     13 |        0 |        0
1742.77/1743.24	c 1734s |      19 |   540112 |   481282 |    80047     14 |        0 |        0
1746.57/1747.01	c 1738s |      19 |   540228 |   481382 |    80047     14 |        0 |        0
1752.97/1753.41	c 1744s |      19 |   540323 |   481482 |    80047     14 |        0 |        0
1756.97/1757.40	c 1748s |      19 |   540856 |   481982 |    80047     14 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4117303-1467209088/watcher-4117303-1467209088 -o /tmp/evaluation-result-4117303-1467209088/solver-4117303-1467209088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117303-1467209088.opb 

pid=5492
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: 0.68 0.28 1.03 4/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 2554 0 0 0 0 0 0 0 20 0 4 0 1807770 703000576 2403 33554432000 4194304 16246674 140734656691872 140734656691296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5499/statm: 172143 2414 441 2943 0 169037 0
[pid=5499/tid=5501] ppid=5492 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 721874944 2480 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 727117824 2499 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1807770 732360704 2515 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100191 s]
/proc/loadavg: 0.68 0.28 1.03 4/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 26730 0 0 0 5 3 0 0 20 0 4 0 1807770 1333334016 26517 33554432000 4194304 16246674 140734656691872 140734656691184 7376282 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5499/statm: 325521 26533 800 2943 0 322415 0
[pid=5499/tid=5501] ppid=5492 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1333334016 26545 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1333334016 26557 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1333334016 26568 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200589 s]
/proc/loadavg: 0.68 0.28 1.03 4/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 48745 0 0 0 12 7 0 0 20 0 4 0 1807770 1345916928 49043 33554432000 4194304 16246674 140734656691872 140734656691184 14073329 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5499/statm: 328593 49043 800 2943 0 325487 0
[pid=5499/tid=5501] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 49043 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 49043 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 49043 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300538 s]
/proc/loadavg: 0.68 0.28 1.03 4/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 49034 0 0 0 22 7 0 0 20 0 4 0 1807770 1345916928 49332 33554432000 4194304 16246674 140734656691872 140734656691184 13905702 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5499/statm: 328593 49332 842 2943 0 325487 0
[pid=5499/tid=5501] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 49332 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 49332 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 49332 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700444 s]
/proc/loadavg: 0.68 0.28 1.03 4/176 5499
/proc/meminfo: memFree=30409028/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 113538 0 0 0 52 17 0 0 20 0 4 0 1807770 1345916928 113837 33554432000 4194304 16246674 140734656691872 140734656673792 6843688 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5499/statm: 328593 113842 878 2943 0 325487 0
[pid=5499/tid=5501] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 113846 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 113851 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 113855 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 0.79 0.30 1.04 4/184 5507
/proc/meminfo: memFree=29050552/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 226980 0 0 0 118 31 0 0 20 0 4 0 1807770 1345916928 227279 33554432000 4194304 16246674 140734656691872 140734656673792 5674521 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5499/statm: 328593 227284 890 2943 0 325487 0
[pid=5499/tid=5501] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 227288 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 227293 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 227295 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10043 s]
/proc/loadavg: 0.79 0.30 1.04 6/184 5507
/proc/meminfo: memFree=28247636/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1314372 CPUtime=3.08 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 269276 0 0 0 271 37 0 0 20 0 4 0 1807770 1345916928 269574 33554432000 4194304 16246674 140734656691872 140734656691048 5662481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 328593 269574 896 2943 0 325487 0
[pid=5499/tid=5501] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269574 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269574 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269574 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372

[startup+6.30043 s]
/proc/loadavg: 0.79 0.30 1.04 4/184 5507
/proc/meminfo: memFree=28247520/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1314372 CPUtime=6.28 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 269287 0 0 0 591 37 0 0 20 0 4 0 1807770 1345916928 269585 33554432000 4194304 16246674 140734656691872 140734656673792 5754664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 328593 269585 906 2943 0 325487 0
[pid=5499/tid=5501] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269585 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269585 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269585 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372

[startup+12.7005 s]
/proc/loadavg: 0.97 0.36 1.05 4/184 5507
/proc/meminfo: memFree=28247296/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1314372 CPUtime=12.68 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 269295 0 0 0 1231 37 0 0 20 0 4 0 1807770 1345916928 269593 33554432000 4194304 16246674 140734656691872 140734656673792 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 328593 269593 914 2943 0 325487 0
[pid=5499/tid=5501] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269593 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269593 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269593 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 1.13 0.41 1.06 4/183 5507
/proc/meminfo: memFree=28247560/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 269295 0 0 0 2511 37 0 0 20 0 4 0 1807770 1345916928 269593 33554432000 4194304 16246674 140734656691872 140734656673792 5600176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 328593 269593 914 2943 0 325487 0
[pid=5499/tid=5501] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269593 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269593 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1345916928 269593 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 1.65 0.59 1.10 4/183 5508
/proc/meminfo: memFree=28224004/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1337924 CPUtime=51.07 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 275191 0 0 0 5069 38 0 0 20 0 4 0 1807770 1370034176 275489 33554432000 4194304 16246674 140734656691872 140734656674872 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 334481 275489 919 2943 0 331375 0
[pid=5499/tid=5501] ppid=5492 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1370034176 275489 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1370034176 275489 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1370034176 275489 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1337924

[startup+102.3 s]
/proc/loadavg: 1.86 0.82 1.15 4/183 5508
/proc/meminfo: memFree=28153888/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=102.28 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289015 0 0 0 10187 41 0 0 20 0 4 0 1807770 1426657280 289313 33554432000 4194304 16246674 140734656691872 140734656673792 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289313 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289313 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289313 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289313 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1393220


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

/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1393220

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 1.82 4/182 5536
/proc/meminfo: memFree=28065300/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1361.94 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289215 0 0 0 136108 86 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656673792 5823340 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1393220

[startup+1422.3 s]
/proc/loadavg: 2.16 2.05 1.83 4/182 5537
/proc/meminfo: memFree=28065516/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1421.92 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289244 0 0 0 142106 86 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656673792 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1393220

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 1.84 4/182 5538
/proc/meminfo: memFree=28066072/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1481.91 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289245 0 0 0 148104 87 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656673792 5823332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1393220

[startup+1542.31 s]
/proc/loadavg: 2.06 2.05 1.85 4/183 5542
/proc/meminfo: memFree=28064548/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1541.91 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289245 0 0 0 154101 90 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656691048 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1393220

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 1.86 4/182 5543
/proc/meminfo: memFree=28064680/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1601.9 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289245 0 0 0 160094 96 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656673792 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1393220

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 1.87 4/182 5544
/proc/meminfo: memFree=28064436/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1661.89 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289245 0 0 0 166093 96 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656673792 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1393220

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.87 4/182 5545
/proc/meminfo: memFree=28064432/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1721.88 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289245 0 0 0 172092 96 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656673792 5823674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1393220

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.88 4/182 5546
/proc/meminfo: memFree=28064304/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1781.86 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289245 0 0 0 178086 100 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656690968 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1393220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 1.88 4/182 5546
/proc/meminfo: memFree=28064308/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1800.06 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289245 0 0 0 179904 102 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656689728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1393220

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 1.88 4/182 5546
/proc/meminfo: memFree=28064308/32872528 swapFree=7620/7620
[pid=5499] ppid=5492 vsize=1393220 CPUtime=1800.06 cores=1,3,5,7
/proc/5499/stat : 5499 (toysat) R 5492 5499 5453 0 -1 4202496 289245 0 0 0 179904 102 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140734656689728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 348305 289569 919 2943 0 345199 0
[pid=5499/tid=5501] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5501/stat : 5501 (toysat) S 5492 5499 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556471610608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5499/tid=5502] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5502/stat : 5502 (toysat) S 5492 5499 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556461120752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5499/tid=5503] ppid=5492 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/5499/task/5503/stat : 5503 (toysat) S 5492 5499 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1807770 1426657280 289569 33554432000 4194304 16246674 140734656691872 140556450647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1393220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.05
CPU system time (s): 1.02184
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1393220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.02184
maximum resident set size= 1158276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289245
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= 245
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58215 second user time and 8.5277 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-29 16:05:03
IDJOB=4117303
IDBENCH=111560
IDSOLVER=2542
FILE ID=node106/4117303-1467209088
RUNJOBID= node106-1467209087-5470
PBS_JOBID= 19997588
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-may4.5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117303-1467209088/watcher-4117303-1467209088 -o /tmp/evaluation-result-4117303-1467209088/solver-4117303-1467209088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5470 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117303-1467209088.opb

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

MD5SUM BENCH= 5df2f0f62556e5bcc8e09b41e417f46e
RANDOM SEED=1583085343

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
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:        30410564 kB
Buffers:           92648 kB
Cached:          1592268 kB
SwapCached:            0 kB
Active:          1143404 kB
Inactive:         556520 kB
Active(anon):      17960 kB
Inactive(anon):        0 kB
Active(file):    1125444 kB
Inactive(file):   556520 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             34788 kB
Writeback:             0 kB
AnonPages:         23032 kB
Mapped:            15104 kB
Shmem:               204 kB
Slab:             625992 kB
SReclaimable:      68988 kB
SUnreclaim:       557004 kB
KernelStack:        1400 kB
PageTables:         3448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     104144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71712 MiB
End job on node106 at 2016-06-29 16:35:17