Trace number 4106757

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_2.opb
MD5SUM493eec42e81abed935f584a4e365015a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-67
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

Solver Data 

0.00/0.00	c 2016-06-18T21:13:03+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-4106757-1466277183.opb"]
0.00/0.01	c use --random-gen="2129559781 322758269 3102316204 973520906 636957061 3407976600 4058147134 1687789973 3132317298 3842006928 29165529 1226390821 2745823570 208246922 1581324319 950276902 403825756 2358977584 2593994047 2850182002 928723052 2120303876 1926473185 3745500631 2540508888 4292300418 1165956353 614797187 3973212727 1381083478 2070602612 4097442869 1087692389 2776435872 2876616476 3173130285 2985987887 1938186357 2464301609 3662561421 119339848 1595927499 651729098 2666488312 3628471934 307792185 2056390659 936722135 370799110 3072371690 716082915 1842772500 3978189663 904145082 858545773 1514495566 1442304636 18003715 3418947712 169375593 3292100084 1552255453 191846220 3633683478 1354587518 454480561 2137140058 536523547 4274427586 120363999 2506210298 965259061 195484269 835353654 409815395 2934435972 4213600096 2568386093 33906422 1971082860 1640457244 507978608 1433834691 869483601 1700553077 1869723280 2724548375 1010128429 2153825489 393286797 1110122473 4082524997 3506425332 1362126510 1903423874 2733455961 928642801 2438665570 4253011229 42601462 2158530180 4076546780 475703949 876392504 3622978660 2244362118 1294201316 2202121282 2104835299 2023094216 985002012 3719010000 1959106852 3256363135 627253625 2873256051 3026341470 719758341 4279941479 1867280852 1591964523 3466500184 1282082215 294146881 3420184735 2643518009 4098554663 3683298911 2161537564 946256682 3946692502 2226419438 154079372 4279139568 4249614167 574006546 111379135 2708748614 2481074654 314867147 1066551282 3706417156 2856318302 780880364 1961359092 1487953109 721135788 3293256699 2622903520 3288526727 2070557408 1084332308 3184978318 408963076 1506115277 4213163735 1275231422 1191899378 3517408935 3440374261 1377433183 4027679670 2603657811 814249168 711777712 3594743345 3480690396 2865372769 3906338382 266389892 1253979868 46184922 3912410296 3385946018 1214764635 1638468019 759274257 2493238399 1541079248 399800606 2509065397 428931688 1509467382 2191816933 1328074097 2203426241 324717519 3638699024 3793884895 194854149 1389750673 1069388834 2115921881 3408688352 2242853326 2295248972 3077340224 3171608324 280023210 1979466084 1606063923 2505000726 549429806 4264478605 1002448149 201260396 1719106380 1720222885 3641509352 3372865035 4029074786 3027474421 3003943234 4279910542 1037917609 3627467270 1222607104 960099430 985800156 139739007 2304018504 2456966321 3678963429 2648539097 2165602981 916127392 3915546860 1171704171 4046870879 3912686363 2222821072 3648358512 392231896 2208829698 272290585 2983689199 1732571426 2483880267 216608840 2755690357 2861381696 1311314482 1730751355 514130499 1425422012 2075845686 289184285 2015602308 3790488641 1392852515 448987539 2058985932 3970862439 409324950 400610913 2090970117 255 362436" option to reproduce the execution
0.09/0.11	c #vars 1000
0.09/0.11	c #constraints 1501
0.38/0.48	c BCD2: Hardening is enabled.
0.38/0.48	c BCD2: BiasedSearch is enabled.
0.38/0.48	c Solving starts ...
0.38/0.48	c ============================[ Search Statistics ]============================
0.38/0.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.38/0.48	c       |         |          |          |    Limit     GC | Var      | Constra 
0.38/0.48	c =============================================================================
0.49/0.52	c  0.0s |       0 |        0 |        0 |    11280      0 |        0 |        0
0.49/0.56	c  0.0s |       0 |      547 |        1 |    11280      0 |        0 |        0
0.49/0.56	c #cpu_time = 0.030s
0.49/0.56	c #wall_clock_time = 0.030s
0.49/0.56	c #decision = 547
0.49/0.56	c #random_decision = 1
0.49/0.56	c #conflict = 1
0.49/0.56	c #restart = 0
0.49/0.56	o -44
0.49/0.56	c BCD2: updating upper bound: 500 -> 455
0.49/0.56	c BCD2: 0 <= obj <= 455
0.49/0.56	c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0
0.49/0.56	c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.56	c Solving starts ...
0.49/0.56	c ============================[ Search Statistics ]============================
0.49/0.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.56	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.56	c =============================================================================
0.49/0.56	c  0.0s |       0 |        0 |        0 |    11280      0 |        0 |        0
0.49/0.58	c  0.0s |       0 |      264 |        2 |    11280      0 |        0 |        0
0.49/0.58	c #cpu_time = 0.025s
0.49/0.58	c #wall_clock_time = 0.025s
0.49/0.58	c #decision = 264
0.49/0.58	c #random_decision = 0
0.49/0.58	c #conflict = 2
0.49/0.58	c #restart = 0
0.49/0.58	c BCD2: found a new core of size 250: cost of the new core is >=1
0.49/0.58	c lower bound updated to -499
0.49/0.59	c BCD2: 1 <= obj <= 455
0.49/0.59	c BCD2: #cores=1, #unrelaxed=250, #relaxed=250, #hardened=0
0.49/0.59	c BCD2: #sat=1 #unsat=2 bias=2/3
0.49/0.59	c Solving starts ...
0.49/0.59	c ============================[ Search Statistics ]============================
0.49/0.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.59	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.59	c =============================================================================
0.49/0.59	c  0.0s |       0 |        0 |        0 |    11280      0 |        0 |        0
0.59/0.65	c  0.1s |       0 |      251 |        1 |    11280      0 |        0 |        0
0.59/0.65	c #cpu_time = 0.065s
0.59/0.65	c #wall_clock_time = 0.065s
0.59/0.65	c #decision = 251
0.59/0.65	c #random_decision = 0
0.59/0.65	c #conflict = 1
0.59/0.65	c #restart = 0
0.59/0.65	c BCD2: relaxing 250 and merging with 1 cores into a new core of size 500: cost of the new core is >=2
0.59/0.65	c lower bound updated to -498
0.59/0.65	c BCD2: 2 <= obj <= 455
0.59/0.65	c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0
0.59/0.65	c BCD2: #sat=1 #unsat=3 bias=3/4
0.59/0.65	c Solving starts ...
0.59/0.65	c ============================[ Search Statistics ]============================
0.59/0.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.65	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.65	c =============================================================================
0.59/0.65	c  0.0s |       0 |        0 |        0 |    11280      0 |        1 |        0
0.79/0.82	c  0.2s |       1 |     7919 |      100 |    12409      0 |        1 |        1
0.99/1.06	c  0.4s |       2 |    16755 |      250 |    13650      0 |        1 |        1
2.39/2.47	c  1.8s |       3 |    36791 |      475 |    15016      0 |        1 |        1
4.69/4.71	c  4.1s |       4 |    48804 |      813 |    16518      0 |        1 |        1
6.99/7.08	c  6.4s |       4 |    75162 |     1313 |    16518      0 |        1 |        1
7.09/7.17	c  6.5s |       5 |    75336 |     1320 |    18170      0 |        1 |        1
9.59/9.60	c  8.9s |       5 |    78683 |     1520 |    18170      0 |        1 |        1
12.20/12.22	c 11.6s |       5 |    80663 |     1720 |    18170      0 |        1 |        1
16.09/16.10	c 15.4s |       5 |    81442 |     1920 |    18170      0 |        1 |        1
18.99/19.05	c 18.4s |       6 |    82087 |     2081 |    19987      0 |        1 |        1
22.89/22.93	c 22.3s |       6 |    82758 |     2281 |    19987      0 |        1 |        1
25.40/25.46	c 24.8s |       6 |    92384 |     2681 |    19987      0 |        1 |        1
28.09/28.17	c 27.5s |       6 |    99599 |     2981 |    19987      0 |        1 |        1
30.19/30.26	c 29.6s |       6 |   106526 |     3181 |    19987      0 |        1 |        1
30.39/30.42	c 29.8s |       7 |   108096 |     3223 |    21986      0 |        1 |        1
32.89/32.90	c 32.2s |       7 |   119982 |     3523 |    21986      0 |        1 |        1
34.99/35.08	c 34.4s |       7 |   121209 |     3723 |    21986      0 |        1 |        1
37.49/37.56	c 36.9s |       7 |   131343 |     4023 |    21986      0 |        1 |        1
39.69/39.74	c 39.1s |       7 |   132239 |     4223 |    21986      0 |        1 |        1
41.98/42.06	c 41.4s |       7 |   142583 |     4423 |    21986      0 |        1 |        1
45.38/45.43	c 44.8s |       7 |   144785 |     4723 |    21986      0 |        1 |        1
47.48/47.54	c 46.9s |       7 |   156965 |     4923 |    24185      0 |        1 |        1
47.58/47.61	c 47.0s |       8 |   157176 |     4936 |    24185      0 |        1 |        1
49.78/49.88	c 49.2s |       8 |   159115 |     5136 |    24185      0 |        1 |        1
52.08/52.13	c 51.5s |       8 |   175946 |     5436 |    24185      0 |        1 |        1
54.68/54.80	c 54.1s |       8 |   179556 |     5636 |    24185      0 |        1 |        1
58.29/58.37	c 57.7s |       8 |   184581 |     5836 |    24185      0 |        1 |        1
61.68/61.73	c 61.1s |       8 |   206280 |     6136 |    24185      0 |        1 |        1
65.38/65.45	c 64.8s |       8 |   206525 |     6336 |    24185      0 |        1 |        1
68.38/68.45	c 67.8s |       8 |   208365 |     6536 |    24185      0 |        1 |        1
71.88/71.98	c 71.3s |       8 |   208827 |     6736 |    24185      0 |        1 |        1
73.98/74.07	c 73.4s |       8 |   208929 |     6836 |    24185      0 |        1 |        1
76.18/76.25	c 75.6s |       8 |   209027 |     6936 |    24185      0 |        1 |        1
80.17/80.27	c 79.6s |       8 |   209227 |     7136 |    24185      0 |        1 |        1
82.17/82.29	c 81.6s |       8 |   209328 |     7236 |    24185      0 |        1 |        1
85.88/85.98	c 85.3s |       8 |   209530 |     7436 |    24185      0 |        1 |        1
87.17/87.20	c 86.6s |       9 |   209599 |     7506 |    26604      0 |        1 |        1
90.97/91.05	c 90.4s |       9 |   209984 |     7706 |    26604      0 |        1 |        1
94.97/95.04	c 94.4s |       9 |   210180 |     7906 |    26604      0 |        1 |        1
96.97/97.08	c 96.4s |       9 |   210287 |     8006 |    26604      0 |        1 |        1
99.08/99.13	c 98.5s |       9 |   210379 |     8106 |    26604      0 |        1 |        1
102.97/103.03	c  102s |       9 |   210585 |     8306 |    26604      0 |        1 |        1
105.07/105.13	c  104s |       9 |   210686 |     8406 |    26604      0 |        1 |        1
108.98/109.02	c  108s |       9 |   210877 |     8606 |    26604      0 |        1 |        1
110.97/111.05	c  110s |       9 |   210984 |     8706 |    26604      0 |        1 |        1
112.97/113.08	c  112s |       9 |   211081 |     8806 |    26604      0 |        1 |        1
116.97/117.05	c  116s |       9 |   211281 |     9006 |    26604      0 |        1 |        1
118.97/119.06	c  118s |       9 |   211382 |     9106 |    26604      0 |        1 |        1
122.77/122.83	c  122s |       9 |   211583 |     9306 |    26604      0 |        1 |        1
126.57/126.62	c  125s |       9 |   211780 |     9506 |    26604      0 |        1 |        1
130.17/130.20	c  129s |       9 |   211986 |     9706 |    26604      0 |        1 |        1
133.76/133.83	c  133s |       9 |   212183 |     9906 |    26604      0 |        1 |        1
137.47/137.53	c  136s |       9 |   212384 |    10106 |    26604      0 |        1 |        1
140.96/141.05	c  140s |       9 |   212584 |    10306 |    26604      0 |        1 |        1
144.26/144.36	c  143s |       9 |   212782 |    10506 |    26604      0 |        1 |        1
146.86/146.94	c  146s |       9 |   221389 |    10906 |    26604      0 |        1 |        1
150.46/150.54	c  149s |       9 |   221866 |    11106 |    26604      0 |        1 |        1
153.36/153.49	c  152s |      10 |   228679 |    11361 |    29265      0 |        1 |        1
155.46/155.54	c  154s |      10 |   242066 |    11661 |    29265      0 |        1 |        1
158.26/158.32	c  157s |      10 |   244484 |    11861 |    29265      0 |        1 |        1
160.36/160.44	c  159s |      10 |   253651 |    12061 |    29265      0 |        1 |        1
162.96/163.03	c  162s |      10 |   257149 |    12261 |    29265      0 |        1 |        1
165.07/165.17	c  164s |      10 |   267975 |    12461 |    29265      0 |        1 |        1
167.27/167.35	c  166s |      10 |   272350 |    12661 |    29265      0 |        1 |        1
169.47/169.51	c  168s |      10 |   288097 |    12861 |    29265      0 |        1 |        1
172.06/172.12	c  171s |      10 |   288579 |    13061 |    29265      0 |        1 |        1
175.06/175.12	c  174s |      10 |   305607 |    13361 |    29265      0 |        1 |        1
177.17/177.26	c  176s |      10 |   305607 |    13461 |    29265      0 |        1 |        1
179.27/179.35	c  178s |      10 |   318830 |    13661 |    29265      0 |        1 |        1
182.46/182.50	c  181s |      10 |   322824 |    13861 |    29265      0 |        1 |        1
184.56/184.67	c  184s |      10 |   332292 |    14161 |    29265      0 |        1 |        1
187.16/187.22	c  186s |      10 |   332918 |    14361 |    29265      0 |        1 |        1
189.86/189.98	c  189s |      10 |   347170 |    14661 |    29265      0 |        1 |        1
192.16/192.20	c  191s |      10 |   362255 |    14861 |    29265      0 |        1 |        1
194.46/194.59	c  193s |      10 |   362903 |    15061 |    29265      0 |        1 |        1
197.76/197.84	c  197s |      10 |   376207 |    15361 |    29265      0 |        1 |        1
199.96/200.02	c  199s |      10 |   394354 |    15561 |    29265      0 |        1 |        1
201.96/202.09	c  201s |      10 |   395713 |    15761 |    29265      0 |        1 |        1
205.66/205.76	c  205s |      10 |   399938 |    15961 |    29265      0 |        1 |        1
208.46/208.57	c  207s |      10 |   410157 |    16261 |    29265      0 |        1 |        1
211.76/211.87	c  211s |      10 |   421018 |    16561 |    29265      0 |        1 |        1
214.06/214.19	c  213s |      10 |   426343 |    16761 |    29265      0 |        1 |        1
216.56/216.60	c  215s |      10 |   433835 |    16961 |    29265      0 |        1 |        1
219.05/219.11	c  218s |      11 |   434391 |    17144 |    32192      0 |        1 |        1
221.45/221.55	c  220s |      11 |   434678 |    17244 |    32192      0 |        1 |        1
225.25/225.34	c  224s |      11 |   447378 |    17544 |    32192      0 |        1 |        1
227.76/227.85	c  227s |      11 |   456170 |    17744 |    32192      0 |        1 |        1
231.75/231.81	c  231s |      11 |   462899 |    17944 |    32192      0 |        1 |        1
235.75/235.80	c  235s |      11 |   469125 |    18244 |    32192      0 |        1 |        1
237.95/238.01	c  237s |      11 |   471416 |    18344 |    32192      0 |        1 |        1
242.15/242.28	c  241s |      11 |   477235 |    18644 |    32192      0 |        1 |        1
246.05/246.10	c  245s |      11 |   487567 |    18944 |    32192      0 |        1 |        1
248.35/248.42	c  247s |      11 |   493687 |    19144 |    32192      0 |        1 |        1
250.76/250.89	c  250s |      11 |   503799 |    19344 |    32192      0 |        1 |        1
254.35/254.48	c  253s |      11 |   505729 |    19544 |    32192      0 |        1 |        1
256.45/256.50	c  255s |      11 |   512008 |    19744 |    32192      0 |        1 |        1
258.65/258.72	c  258s |      11 |   520162 |    19944 |    32192      0 |        1 |        1
261.45/261.52	c  260s |      11 |   524365 |    20144 |    32192      0 |        1 |        1
263.95/264.04	c  263s |      11 |   526016 |    20344 |    32192      0 |        1 |        1
268.05/268.13	c  267s |      11 |   529007 |    20544 |    32192      0 |        1 |        1
270.85/270.91	c  270s |      11 |   532396 |    20844 |    32192      0 |        1 |        1
274.95/275.00	c  274s |      11 |   534763 |    21144 |    32192      0 |        1 |        1
277.04/277.13	c  276s |      11 |   542062 |    21344 |    32192      0 |        1 |        1
280.74/280.80	c  280s |      11 |   544617 |    21544 |    32192      0 |        1 |        1
282.75/282.84	c  282s |      11 |   549202 |    21744 |    32192      0 |        1 |        1
284.85/284.94	c  284s |      11 |   549202 |    21844 |    32192      0 |        1 |        1
287.24/287.38	c  286s |      11 |   564744 |    22144 |    32192      0 |        1 |        1
289.94/290.08	c  289s |      11 |   565419 |    22344 |    32192      0 |        1 |        1
292.55/292.62	c  291s |      11 |   572136 |    22544 |    32192      0 |        1 |        1
295.24/295.30	c  294s |      11 |   574432 |    22744 |    32192      0 |        1 |        1
299.04/299.14	c  298s |      11 |   583303 |    23044 |    32192      0 |        1 |        1
301.64/301.74	c  301s |      11 |   588939 |    23244 |    32192      0 |        1 |        1
303.65/303.77	c  303s |      11 |   588939 |    23344 |    32192      0 |        1 |        1
306.95/307.08	c  306s |      11 |   597927 |    23644 |    32192      0 |        1 |        1
309.34/309.43	c  308s |      11 |   598007 |    23744 |    32192      0 |        1 |        1
311.74/311.81	c  311s |      11 |   600369 |    23844 |    32192      0 |        1 |        1
314.04/314.15	c  313s |      11 |   601968 |    23944 |    32192      0 |        1 |        1
316.44/316.50	c  315s |      11 |   606709 |    24144 |    32192      0 |        1 |        1
319.84/319.93	c  319s |      11 |   610744 |    24444 |    32192      0 |        1 |        1
323.44/323.57	c  322s |      11 |   618299 |    24744 |    32192      0 |        1 |        1
326.14/326.24	c  325s |      11 |   623723 |    24944 |    32192      0 |        1 |        1
329.14/329.25	c  328s |      11 |   630548 |    25244 |    32192      0 |        1 |        1
331.34/331.47	c  330s |      11 |   631041 |    25444 |    32192      0 |        1 |        1
333.44/333.51	c  332s |      11 |   636785 |    25644 |    32192      0 |        1 |        1
336.23/336.40	c  335s |      12 |   643518 |    25819 |    35412      0 |        1 |        1
340.03/340.12	c  339s |      12 |   650174 |    26119 |    35412      0 |        1 |        1
342.43/342.50	c  341s |      12 |   650828 |    26219 |    35412      0 |        1 |        1
346.13/346.20	c  345s |      12 |   664308 |    26519 |    35412      0 |        1 |        1
348.93/349.00	c  348s |      12 |   665135 |    26719 |    35412      0 |        1 |        1
351.53/351.66	c  351s |      12 |   668109 |    26919 |    35412      0 |        1 |        1
354.63/354.74	c  354s |      12 |   668599 |    27119 |    35412      0 |        1 |        1
356.83/356.91	c  356s |      12 |   681188 |    27319 |    35412      0 |        1 |        1
360.14/360.26	c  359s |      12 |   684052 |    27619 |    35412      0 |        1 |        1
362.74/362.86	c  362s |      12 |   695962 |    27919 |    35412      0 |        1 |        1
365.04/365.14	c  364s |      12 |   696012 |    28019 |    35412      0 |        1 |        1
367.74/367.87	c  367s |      12 |   711997 |    28319 |    35412      0 |        1 |        1
370.54/370.67	c  370s |      12 |   722122 |    28519 |    35412      0 |        1 |        1
373.24/373.37	c  372s |      12 |   722644 |    28719 |    35412      0 |        1 |        1
375.64/375.76	c  375s |      12 |   734826 |    28919 |    35412      0 |        1 |        1
378.24/378.36	c  377s |      12 |   735932 |    29119 |    35412      0 |        1 |        1
381.44/381.55	c  380s |      12 |   750712 |    29419 |    35412      0 |        1 |        1
384.23/384.32	c  383s |      12 |   764204 |    29719 |    35412      0 |        1 |        1
386.63/386.70	c  386s |      12 |   764336 |    29919 |    35412      0 |        1 |        1
389.83/389.97	c  389s |      12 |   778083 |    30219 |    35412      0 |        1 |        1
391.93/392.00	c  391s |      12 |   783435 |    30419 |    35412      0 |        1 |        1
394.84/395.00	c  394s |      12 |   794303 |    30719 |    35412      0 |        1 |        1
397.73/397.82	c  397s |      12 |   807480 |    31019 |    35412      0 |        1 |        1
400.34/400.43	c  399s |      12 |   825408 |    31319 |    35412      0 |        1 |        1
402.64/402.72	c  402s |      12 |   830965 |    31619 |    35412      0 |        1 |        1
404.63/404.75	c  404s |      12 |   834009 |    31919 |    35412      0 |        1 |        1
408.43/408.56	c  407s |      12 |   836653 |    32119 |    35412      0 |        1 |        1
410.83/410.91	c  410s |      12 |   847825 |    32419 |    35412      0 |        1 |        1
413.64/413.79	c  413s |      12 |   848472 |    32619 |    35412      0 |        1 |        1
415.73/415.87	c  415s |      12 |   848681 |    32719 |    35412      0 |        1 |        1
418.33/418.42	c  417s |      12 |   848878 |    32819 |    35412      0 |        1 |        1
420.93/421.06	c  420s |      12 |   860688 |    33119 |    35412      0 |        1 |        1
423.23/423.34	c  422s |      12 |   860849 |    33219 |    35412      0 |        1 |        1
425.83/425.99	c  425s |      12 |   860963 |    33319 |    35412      0 |        1 |        1
428.22/428.31	c  427s |      12 |   873804 |    33619 |    35412      0 |        1 |        1
430.82/430.96	c  430s |      12 |   874609 |    33819 |    35412      0 |        1 |        1
433.82/433.95	c  433s |      12 |   875139 |    34019 |    35412      0 |        1 |        1
436.92/437.02	c  436s |      12 |   889247 |    34319 |    35412      0 |        1 |        1
440.62/440.70	c  440s |      12 |   889898 |    34519 |    35412      0 |        1 |        1
442.72/442.84	c  442s |      12 |   908456 |    34719 |    35412      0 |        1 |        1
446.12/446.28	c  445s |      12 |   910111 |    35019 |    35412      0 |        1 |        1
448.42/448.51	c  447s |      12 |   910298 |    35119 |    35412      0 |        1 |        1
450.82/450.92	c  450s |      12 |   910366 |    35219 |    35412      0 |        1 |        1
453.02/453.15	c  452s |      12 |   918586 |    35419 |    35412      0 |        1 |        1
456.02/456.12	c  455s |      12 |   919555 |    35619 |    35412      0 |        1 |        1
459.12/459.20	c  458s |      12 |   920070 |    35819 |    35412      0 |        1 |        1
461.42/461.52	c  460s |      12 |   924426 |    36019 |    35412      0 |        1 |        1
463.52/463.67	c  463s |      12 |   928062 |    36119 |    35412      0 |        1 |        1
466.22/466.32	c  465s |      12 |   931406 |    36319 |    35412      1 |        1 |        1
469.32/469.41	c  468s |      12 |   932690 |    36519 |    35412      1 |        1 |        1
472.21/472.35	c  471s |      12 |   940468 |    36819 |    35412      1 |        1 |        1
475.91/476.08	c  475s |      12 |   940849 |    37019 |    35412      1 |        1 |        1
478.01/478.17	c  477s |      12 |   948873 |    37219 |    35412      1 |        1 |        1
481.11/481.25	c  480s |      12 |   949250 |    37419 |    35412      1 |        1 |        1
483.31/483.46	c  482s |      12 |   949335 |    37519 |    35412      1 |        1 |        1
485.51/485.66	c  485s |      12 |   956903 |    37719 |    35412      1 |        1 |        1
487.81/487.90	c  487s |      12 |   956903 |    37819 |    35412      1 |        1 |        1
489.81/489.93	c  489s |      12 |   964723 |    38019 |    35412      1 |        1 |        1
492.51/492.67	c  492s |      12 |   965277 |    38219 |    35412      1 |        1 |        1
495.71/495.85	c  495s |      12 |   972568 |    38519 |    35412      1 |        1 |        1
497.91/498.08	c  497s |      12 |   972688 |    38619 |    38954      1 |        1 |        1
500.61/500.71	c  500s |      12 |   978533 |    38819 |    38954      1 |        1 |        1
500.81/500.92	c  500s |      13 |   978533 |    38832 |    38954      1 |        1 |        1
503.62/503.75	c  503s |      13 |   978872 |    38932 |    38954      1 |        1 |        1
507.52/507.66	c  507s |      13 |   981099 |    39132 |    38954      1 |        1 |        1
509.92/510.01	c  509s |      13 |   986493 |    39232 |    38954      1 |        1 |        1
512.92/513.09	c  512s |      13 |   994403 |    39532 |    38954      1 |        1 |        1
516.51/516.64	c  515s |      13 |   994799 |    39732 |    38954      1 |        1 |        1
520.22/520.38	c  519s |      13 |  1002337 |    39932 |    38954      1 |        1 |        1
523.21/523.39	c  522s |      13 |  1005019 |    40232 |    38954      1 |        1 |        1
527.31/527.47	c  526s |      13 |  1005240 |    40432 |    38954      1 |        1 |        1
529.61/529.74	c  529s |      13 |  1005491 |    40532 |    38954      1 |        1 |        1
532.01/532.11	c  531s |      13 |  1010436 |    40632 |    38954      1 |        1 |        1
535.31/535.48	c  534s |      13 |  1016994 |    40932 |    38954      1 |        1 |        1
537.31/537.48	c  536s |      13 |  1017045 |    41032 |    38954      1 |        1 |        1
539.41/539.53	c  538s |      13 |  1017119 |    41132 |    38954      1 |        1 |        1
543.61/543.70	c  543s |      13 |  1021812 |    41332 |    38954      1 |        1 |        1
546.61/546.79	c  546s |      13 |  1026902 |    41632 |    38954      1 |        1 |        1
549.61/549.71	c  549s |      13 |  1027389 |    41832 |    38954      1 |        1 |        1
552.11/552.28	c  551s |      13 |  1033291 |    42032 |    38954      1 |        1 |        1
554.80/554.95	c  554s |      13 |  1034272 |    42232 |    38954      1 |        1 |        1
558.10/558.26	c  557s |      13 |  1035154 |    42432 |    38954      1 |        1 |        1
561.20/561.32	c  560s |      13 |  1036808 |    42632 |    38954      1 |        1 |        1
564.60/564.73	c  564s |      13 |  1037069 |    42832 |    38954      1 |        1 |        1
566.80/566.94	c  566s |      13 |  1037567 |    43032 |    38954      1 |        1 |        1
569.40/569.52	c  568s |      13 |  1039343 |    43232 |    38954      1 |        1 |        1
571.91/572.03	c  571s |      13 |  1041429 |    43432 |    38954      1 |        1 |        1
574.60/574.78	c  574s |      13 |  1042103 |    43632 |    38954      1 |        1 |        1
577.10/577.22	c  576s |      13 |  1043889 |    43832 |    38954      1 |        1 |        1
579.50/579.70	c  579s |      13 |  1044211 |    44032 |    38954      1 |        1 |        1
581.70/581.86	c  581s |      13 |  1046371 |    44232 |    38954      1 |        1 |        1
585.29/585.47	c  584s |      13 |  1047973 |    44432 |    38954      1 |        1 |        1
588.59/588.76	c  588s |      13 |  1048205 |    44632 |    38954      1 |        1 |        1
591.70/591.85	c  591s |      13 |  1049859 |    44832 |    38954      1 |        1 |        1
594.39/594.52	c  593s |      13 |  1051749 |    45032 |    38954      1 |        1 |        1
597.59/597.71	c  597s |      13 |  1053157 |    45232 |    38954      1 |        1 |        1
600.69/600.83	c  600s |      13 |  1054829 |    45432 |    38954      1 |        1 |        1
603.49/603.63	c  602s |      13 |  1056333 |    45632 |    38954      1 |        1 |        1
606.39/606.53	c  605s |      13 |  1058041 |    45832 |    38954      1 |        1 |        1
609.69/609.83	c  609s |      13 |  1059634 |    46032 |    38954      1 |        1 |        1
612.29/612.43	c  611s |      13 |  1060129 |    46232 |    38954      1 |        1 |        1
615.19/615.30	c  614s |      13 |  1061806 |    46432 |    38954      1 |        1 |        1
618.79/618.94	c  618s |      13 |  1062058 |    46632 |    38954      1 |        1 |        1
621.29/621.44	c  620s |      13 |  1063713 |    46832 |    38954      1 |        1 |        1
623.38/623.51	c  622s |      13 |  1064481 |    46932 |    38954      1 |        1 |        1
626.38/626.50	c  625s |      13 |  1065655 |    47132 |    38954      1 |        1 |        1
630.38/630.56	c  629s |      13 |  1066797 |    47332 |    38954      1 |        1 |        1
633.18/633.39	c  632s |      13 |  1066916 |    47432 |    38954      1 |        1 |        1
635.18/635.40	c  634s |      13 |  1067818 |    47632 |    38954      1 |        1 |        1
637.99/638.18	c  637s |      13 |  1068207 |    47832 |    38954      1 |        1 |        1
640.88/641.05	c  640s |      13 |  1068682 |    48032 |    38954      1 |        1 |        1
643.08/643.26	c  642s |      13 |  1068915 |    48232 |    38954      1 |        1 |        1
645.48/645.66	c  645s |      13 |  1069108 |    48432 |    38954      1 |        1 |        1
647.78/647.96	c  647s |      13 |  1069303 |    48632 |    38954      1 |        1 |        1
649.98/650.11	c  649s |      13 |  1069525 |    48832 |    38954      1 |        1 |        1
652.28/652.43	c  651s |      13 |  1070079 |    49032 |    38954      1 |        1 |        1
655.97/656.18	c  655s |      13 |  1070610 |    49132 |    38954      1 |        1 |        1
658.17/658.31	c  657s |      13 |  1071476 |    49332 |    38954      1 |        1 |        1
660.37/660.58	c  659s |      13 |  1071763 |    49532 |    38954      1 |        1 |        1
662.77/662.98	c  662s |      13 |  1072003 |    49732 |    38954      1 |        1 |        1
665.27/665.40	c  664s |      13 |  1072233 |    49932 |    38954      1 |        1 |        1
667.67/667.88	c  667s |      13 |  1072443 |    50132 |    38954      1 |        1 |        1
670.16/670.30	c  669s |      13 |  1073205 |    50332 |    38954      1 |        1 |        1
672.96/673.15	c  672s |      13 |  1074025 |    50632 |    38954      1 |        1 |        1
675.16/675.38	c  674s |      13 |  1074422 |    50832 |    38954      1 |        1 |        1
677.57/677.72	c  677s |      13 |  1074660 |    51032 |    38954      1 |        1 |        1
680.36/680.55	c  679s |      13 |  1074855 |    51232 |    38954      1 |        1 |        1
682.65/682.85	c  682s |      13 |  1075088 |    51432 |    38954      1 |        1 |        1
685.05/685.29	c  684s |      13 |  1075947 |    51632 |    38954      1 |        1 |        1
687.55/687.73	c  687s |      13 |  1077004 |    51832 |    38954      1 |        1 |        1
689.85/690.06	c  689s |      13 |  1077919 |    52032 |    38954      1 |        1 |        1
692.75/692.97	c  692s |      13 |  1079007 |    52332 |    38954      1 |        1 |        1
695.15/695.37	c  694s |      13 |  1080085 |    52532 |    38954      1 |        1 |        1
697.75/697.92	c  697s |      13 |  1082128 |    52732 |    38954      1 |        1 |        1
700.85/701.00	c  700s |      13 |  1084035 |    52932 |    38954      1 |        1 |        1
703.24/703.48	c  702s |      13 |  1085270 |    53132 |    38954      1 |        1 |        1
705.94/706.20	c  705s |      13 |  1086370 |    53332 |    38954      1 |        1 |        1
709.14/709.39	c  708s |      13 |  1088417 |    53532 |    38954      1 |        1 |        1
711.93/712.19	c  711s |      13 |  1089521 |    53732 |    38954      1 |        1 |        1
714.84/715.04	c  714s |      13 |  1089954 |    54032 |    38954      1 |        1 |        1
717.93/718.20	c  717s |      13 |  1090205 |    54232 |    38954      1 |        1 |        1
720.43/720.64	c  719s |      13 |  1091416 |    54432 |    38954      1 |        1 |        1
722.92/723.11	c  722s |      13 |  1092084 |    54632 |    38954      1 |        1 |        1
726.02/726.26	c  725s |      13 |  1096304 |    54932 |    38954      1 |        1 |        1
728.03/728.26	c  727s |      13 |  1098568 |    55132 |    38954      1 |        1 |        1
730.12/730.34	c  729s |      13 |  1099635 |    55332 |    38954      1 |        1 |        1
732.32/732.57	c  731s |      13 |  1103218 |    55532 |    38954      1 |        1 |        1
734.42/734.65	c  733s |      13 |  1104219 |    55732 |    38954      1 |        1 |        1
737.02/737.28	c  736s |      13 |  1104815 |    55932 |    38954      1 |        1 |        1
739.12/739.39	c  738s |      13 |  1105926 |    56132 |    38954      1 |        1 |        1
741.82/742.02	c  741s |      13 |  1106628 |    56332 |    38954      1 |        1 |        1
744.71/744.95	c  744s |      13 |  1111498 |    56632 |    38954      1 |        1 |        1
747.41/747.67	c  747s |      13 |  1112440 |    56832 |    38954      1 |        1 |        1
750.42/750.61	c  749s |      13 |  1116512 |    57032 |    38954      1 |        1 |        1
754.01/754.23	c  753s |      13 |  1116855 |    57232 |    38954      1 |        1 |        1
756.21/756.49	c  755s |      13 |  1121408 |    57432 |    38954      1 |        1 |        1
760.02/760.25	c  759s |      13 |  1122136 |    57632 |    38954      2 |        1 |        1
762.90/763.10	c  762s |      13 |  1122496 |    57732 |    38954      2 |        1 |        1
765.70/765.99	c  765s |      13 |  1127123 |    57932 |    38954      2 |        1 |        1
768.71/768.95	c  768s |      13 |  1128662 |    58232 |    42850      2 |        1 |        1
769.70/769.91	c  769s |      14 |  1134122 |    58352 |    42850      2 |        1 |        1
773.20/773.41	c  772s |      14 |  1134947 |    58552 |    42850      2 |        1 |        1
777.09/777.35	c  776s |      14 |  1136176 |    58752 |    42850      2 |        1 |        1
779.49/779.74	c  779s |      14 |  1136252 |    58852 |    42850      2 |        1 |        1
781.79/782.09	c  781s |      14 |  1138090 |    59152 |    42850      2 |        1 |        1
784.29/784.59	c  783s |      14 |  1138506 |    59452 |    42850      2 |        1 |        1
787.79/788.09	c  787s |      14 |  1138801 |    59652 |    42850      2 |        1 |        1
790.69/790.98	c  790s |      14 |  1139912 |    59852 |    42850      2 |        1 |        1
794.09/794.39	c  793s |      14 |  1140552 |    60052 |    42850      2 |        1 |        1
797.89/798.12	c  797s |      14 |  1141221 |    60252 |    42850      2 |        1 |        1
801.29/801.56	c  800s |      14 |  1141563 |    60452 |    42850      2 |        1 |        1
803.38/803.63	c  802s |      14 |  1142870 |    60552 |    42850      2 |        1 |        1
805.78/806.06	c  805s |      14 |  1143198 |    60752 |    42850      2 |        1 |        1
808.48/808.77	c  808s |      14 |  1143301 |    60852 |    42850      2 |        1 |        1
810.98/811.25	c  810s |      14 |  1145397 |    61152 |    42850      2 |        1 |        1
814.07/814.34	c  813s |      14 |  1145712 |    61352 |    42850      2 |        1 |        1
816.97/817.21	c  816s |      14 |  1146860 |    61552 |    42850      2 |        1 |        1
820.17/820.49	c  819s |      14 |  1147144 |    61752 |    42850      2 |        1 |        1
823.68/823.93	c  823s |      14 |  1148172 |    62152 |    42850      2 |        1 |        1
825.77/826.08	c  825s |      14 |  1148590 |    62252 |    42850      2 |        1 |        1
829.17/829.49	c  828s |      14 |  1149230 |    62452 |    42850      2 |        1 |        1
832.27/832.52	c  831s |      14 |  1149633 |    62652 |    42850      2 |        1 |        1
835.37/835.62	c  834s |      14 |  1149956 |    62852 |    42850      2 |        1 |        1
838.46/838.79	c  838s |      14 |  1150338 |    63052 |    42850      2 |        1 |        1
841.56/841.83	c  841s |      14 |  1150553 |    63252 |    42850      2 |        1 |        1
844.26/844.53	c  843s |      14 |  1150939 |    63452 |    42850      2 |        1 |        1
847.46/847.76	c  847s |      14 |  1151405 |    63652 |    42850      2 |        1 |        1
850.96/851.28	c  850s |      14 |  1151974 |    63852 |    42850      2 |        1 |        1
853.85/854.17	c  853s |      14 |  1152414 |    64052 |    42850      2 |        1 |        1
856.85/857.14	c  856s |      14 |  1152897 |    64252 |    42850      2 |        1 |        1
859.75/860.08	c  859s |      14 |  1153517 |    64452 |    42850      2 |        1 |        1
862.94/863.24	c  862s |      14 |  1154027 |    64652 |    42850      2 |        1 |        1
864.94/865.28	c  864s |      14 |  1154901 |    64852 |    42850      2 |        1 |        1
868.24/868.52	c  867s |      14 |  1155308 |    65052 |    42850      2 |        1 |        1
871.54/871.82	c  871s |      14 |  1156172 |    65252 |    42850      2 |        1 |        1
873.94/874.22	c  873s |      14 |  1156808 |    65452 |    42850      2 |        1 |        1
877.24/877.56	c  876s |      14 |  1157459 |    65652 |    42850      2 |        1 |        1
880.44/880.71	c  880s |      14 |  1158116 |    65852 |    42850      2 |        1 |        1
883.95/884.27	c  883s |      14 |  1158523 |    66052 |    42850      2 |        1 |        1
886.55/886.86	c  886s |      14 |  1159706 |    66252 |    42850      2 |        1 |        1
889.24/889.57	c  888s |      14 |  1160183 |    66452 |    42850      2 |        1 |        1
892.04/892.37	c  891s |      14 |  1161758 |    66652 |    42850      2 |        1 |        1
895.04/895.37	c  894s |      14 |  1162581 |    66852 |    42850      2 |        1 |        1
897.64/897.96	c  897s |      14 |  1163975 |    67052 |    42850      2 |        1 |        1
900.54/900.82	c  900s |      14 |  1164898 |    67252 |    42850      2 |        1 |        1
904.94/905.24	c  904s |      14 |  1165151 |    67452 |    42850      2 |        1 |        1
907.54/907.80	c  907s |      14 |  1166485 |    67652 |    42850      2 |        1 |        1
911.43/911.77	c  911s |      14 |  1166923 |    67852 |    42850      2 |        1 |        1
914.83/915.15	c  914s |      14 |  1168019 |    68052 |    42850      2 |        1 |        1
917.43/917.71	c  917s |      14 |  1169280 |    68252 |    42850      2 |        1 |        1
920.73/921.01	c  920s |      14 |  1169665 |    68452 |    42850      2 |        1 |        1
923.23/923.58	c  922s |      14 |  1171176 |    68652 |    42850      2 |        1 |        1
926.13/926.40	c  925s |      14 |  1172536 |    68852 |    42850      2 |        1 |        1
929.34/929.66	c  929s |      14 |  1173021 |    69052 |    42850      2 |        1 |        1
931.44/931.78	c  931s |      14 |  1173378 |    69152 |    42850      2 |        1 |        1
934.93/935.26	c  934s |      14 |  1174767 |    69452 |    42850      2 |        1 |        1
938.63/938.91	c  938s |      14 |  1175258 |    69652 |    42850      2 |        1 |        1
943.02/943.35	c  942s |      14 |  1175606 |    69852 |    42850      2 |        1 |        1
946.22/946.53	c  945s |      14 |  1176091 |    70052 |    42850      2 |        1 |        1
948.62/948.97	c  948s |      14 |  1180090 |    70152 |    42850      2 |        1 |        1
950.72/951.00	c  950s |      14 |  1182057 |    70352 |    42850      2 |        1 |        1
954.12/954.48	c  953s |      14 |  1182423 |    70552 |    42850      2 |        1 |        1
956.32/956.62	c  955s |      14 |  1182915 |    70652 |    42850      2 |        1 |        1
959.22/959.56	c  958s |      14 |  1184688 |    70852 |    42850      2 |        1 |        1
962.42/962.76	c  962s |      14 |  1185610 |    71052 |    42850      2 |        1 |        1
965.92/966.29	c  965s |      14 |  1190368 |    71252 |    42850      2 |        1 |        1
968.22/968.55	c  967s |      14 |  1191319 |    71452 |    42850      2 |        1 |        1
972.02/972.33	c  971s |      14 |  1192257 |    71652 |    42850      2 |        1 |        1
975.42/975.71	c  975s |      14 |  1193387 |    71852 |    42850      2 |        1 |        1
978.82/979.15	c  978s |      14 |  1194196 |    72052 |    42850      2 |        1 |        1
981.22/981.53	c  980s |      14 |  1194615 |    72152 |    42850      2 |        1 |        1
983.61/983.98	c  983s |      14 |  1195593 |    72252 |    42850      2 |        1 |        1
986.91/987.22	c  986s |      14 |  1197303 |    72452 |    42850      2 |        1 |        1
991.11/991.44	c  990s |      14 |  1197977 |    72652 |    42850      2 |        1 |        1
993.12/993.46	c  992s |      14 |  1198457 |    72752 |    42850      2 |        1 |        1
996.21/996.58	c  995s |      14 |  1198854 |    72852 |    42850      2 |        1 |        1
999.91/1000.27	c  999s |      14 |  1200948 |    73052 |    42850      2 |        1 |        1
1004.02/1004.40	c 1003s |      14 |  1201939 |    73252 |    42850      2 |        1 |        1
1006.51/1006.82	c 1006s |      14 |  1202235 |    73352 |    42850      2 |        1 |        1
1009.11/1009.47	c 1008s |      14 |  1204320 |    73552 |    42850      2 |        1 |        1
1011.21/1011.51	c 1010s |      14 |  1204708 |    73652 |    42850      2 |        1 |        1
1013.41/1013.74	c 1013s |      14 |  1204849 |    73752 |    42850      2 |        1 |        1
1015.71/1016.01	c 1015s |      14 |  1205141 |    73852 |    42850      2 |        1 |        1
1020.21/1020.59	c 1019s |      14 |  1205499 |    74052 |    42850      2 |        1 |        1
1023.91/1024.24	c 1023s |      14 |  1207323 |    74252 |    42850      2 |        1 |        1
1026.80/1027.18	c 1026s |      14 |  1207709 |    74352 |    42850      2 |        1 |        1
1029.10/1029.46	c 1028s |      14 |  1207913 |    74452 |    42850      2 |        1 |        1
1032.80/1033.14	c 1032s |      14 |  1209270 |    74552 |    42850      2 |        1 |        1
1037.30/1037.61	c 1036s |      14 |  1209770 |    74752 |    42850      2 |        1 |        1
1041.20/1041.59	c 1040s |      14 |  1210311 |    74952 |    42850      2 |        1 |        1
1043.61/1043.98	c 1043s |      14 |  1210410 |    75052 |    42850      2 |        1 |        1
1046.20/1046.56	c 1045s |      14 |  1211437 |    75252 |    42850      2 |        1 |        1
1048.60/1048.94	c 1048s |      14 |  1211583 |    75352 |    42850      2 |        1 |        1
1050.90/1051.29	c 1050s |      14 |  1213321 |    75452 |    42850      2 |        1 |        1
1053.80/1054.10	c 1053s |      14 |  1214150 |    75652 |    42850      2 |        1 |        1
1058.01/1058.36	c 1057s |      14 |  1215590 |    75852 |    42850      2 |        1 |        1
1061.40/1061.71	c 1061s |      14 |  1216819 |    76052 |    42850      2 |        1 |        1
1064.90/1065.25	c 1064s |      14 |  1218961 |    76252 |    42850      2 |        1 |        1
1068.20/1068.52	c 1067s |      14 |  1219020 |    76352 |    42850      2 |        1 |        1
1072.51/1072.83	c 1072s |      14 |  1220171 |    76552 |    42850      2 |        1 |        1
1075.51/1075.88	c 1075s |      14 |  1222014 |    76652 |    42850      2 |        1 |        1
1079.40/1079.76	c 1079s |      14 |  1223078 |    76852 |    42850      2 |        1 |        1
1081.60/1081.95	c 1081s |      14 |  1224174 |    76952 |    42850      2 |        1 |        1
1084.31/1084.67	c 1084s |      14 |  1224376 |    77052 |    42850      2 |        1 |        1
1087.61/1087.97	c 1087s |      14 |  1224676 |    77152 |    42850      2 |        1 |        1
1090.91/1091.21	c 1090s |      14 |  1225534 |    77252 |    42850      2 |        1 |        1
1094.49/1094.84	c 1094s |      14 |  1226132 |    77452 |    42850      2 |        1 |        1
1096.79/1097.15	c 1096s |      14 |  1226231 |    77552 |    42850      2 |        1 |        1
1100.59/1100.91	c 1100s |      14 |  1228676 |    77752 |    42850      2 |        1 |        1
1102.79/1103.13	c 1102s |      14 |  1228920 |    77852 |    42850      2 |        1 |        1
1104.89/1105.23	c 1104s |      14 |  1234401 |    78052 |    42850      2 |        1 |        1
1107.09/1107.45	c 1106s |      14 |  1239437 |    78252 |    42850      2 |        1 |        1
1110.71/1111.06	c 1110s |      14 |  1239856 |    78452 |    42850      2 |        1 |        1
1113.50/1113.82	c 1113s |      14 |  1240485 |    78552 |    42850      2 |        1 |        1
1116.80/1117.17	c 1116s |      14 |  1241074 |    78752 |    42850      2 |        1 |        1
1119.60/1119.91	c 1119s |      14 |  1241112 |    78852 |    42850      2 |        1 |        1
1122.20/1122.59	c 1121s |      14 |  1249536 |    79052 |    42850      2 |        1 |        1
1124.60/1124.95	c 1124s |      14 |  1249660 |    79152 |    42850      2 |        1 |        1
1128.20/1128.54	c 1127s |      14 |  1249660 |    79252 |    42850      2 |        1 |        1
1131.50/1131.83	c 1131s |      14 |  1256870 |    79452 |    42850      2 |        1 |        1
1134.39/1134.77	c 1134s |      14 |  1256936 |    79552 |    42850      2 |        1 |        1
1137.39/1137.76	c 1137s |      14 |  1259443 |    79652 |    42850      2 |        1 |        1
1141.69/1142.06	c 1141s |      14 |  1260237 |    79852 |    42850      2 |        1 |        1
1145.19/1145.57	c 1144s |      14 |  1262847 |    79952 |    42850      2 |        1 |        1
1147.29/1147.62	c 1146s |      14 |  1268962 |    80152 |    42850      2 |        1 |        1
1149.59/1149.91	c 1149s |      14 |  1269095 |    80252 |    42850      2 |        1 |        1
1151.59/1151.95	c 1151s |      14 |  1269591 |    80352 |    42850      2 |        1 |        1
1154.88/1155.24	c 1154s |      14 |  1274587 |    80552 |    42850      2 |        1 |        1
1157.28/1157.68	c 1157s |      14 |  1274664 |    80652 |    42850      2 |        1 |        1
1159.78/1160.11	c 1159s |      14 |  1274858 |    80752 |    42850      2 |        1 |        1
1162.28/1162.67	c 1162s |      14 |  1275153 |    80852 |    42850      2 |        1 |        1
1205.88/1206.28	c 1205s |      14 |  1275866 |    80952 |    42850      3 |        1 |        1
1208.18/1208.51	c 1207s |      14 |  1276697 |    81252 |    42850      3 |        1 |        1
1212.08/1212.42	c 1211s |      14 |  1277138 |    81452 |    42850      3 |        1 |        1
1214.98/1215.38	c 1214s |      14 |  1277718 |    81552 |    42850      3 |        1 |        1
1217.98/1218.32	c 1217s |      14 |  1278082 |    81652 |    42850      3 |        1 |        1
1220.48/1220.82	c 1220s |      14 |  1293970 |    81852 |    42850      3 |        1 |        1
1223.38/1223.78	c 1223s |      14 |  1294697 |    82052 |    42850      3 |        1 |        1
1226.08/1226.50	c 1225s |      14 |  1294697 |    82152 |    42850      3 |        1 |        1
1228.68/1229.04	c 1228s |      14 |  1306949 |    82352 |    42850      3 |        1 |        1
1230.98/1231.35	c 1230s |      14 |  1306949 |    82452 |    42850      3 |        1 |        1
1233.48/1233.89	c 1233s |      14 |  1314821 |    82552 |    42850      3 |        1 |        1
1235.68/1236.00	c 1235s |      14 |  1321626 |    82752 |    42850      3 |        1 |        1
1239.39/1239.71	c 1239s |      14 |  1326819 |    82952 |    42850      3 |        1 |        1
1241.98/1242.31	c 1241s |      14 |  1336131 |    83152 |    42850      3 |        1 |        1
1245.28/1245.68	c 1245s |      14 |  1339336 |    83352 |    42850      3 |        1 |        1
1248.78/1249.11	c 1248s |      14 |  1347604 |    83652 |    42850      3 |        1 |        1
1251.38/1251.71	c 1251s |      14 |  1347604 |    83752 |    42850      3 |        1 |        1
1254.08/1254.40	c 1253s |      14 |  1351798 |    83852 |    42850      3 |        1 |        1
1256.28/1256.68	c 1256s |      14 |  1359711 |    84052 |    42850      3 |        1 |        1
1258.77/1259.18	c 1258s |      14 |  1359775 |    84152 |    42850      3 |        1 |        1
1261.87/1262.25	c 1261s |      14 |  1359845 |    84252 |    42850      3 |        1 |        1
1264.57/1264.95	c 1264s |      14 |  1371174 |    84452 |    42850      3 |        1 |        1
1266.98/1267.36	c 1266s |      14 |  1371174 |    84552 |    42850      3 |        1 |        1
1269.67/1270.02	c 1269s |      14 |  1382420 |    84752 |    42850      3 |        1 |        1
1271.87/1272.29	c 1271s |      14 |  1386068 |    84852 |    42850      3 |        1 |        1
1274.58/1275.00	c 1274s |      14 |  1393413 |    85052 |    42850      3 |        1 |        1
1276.88/1277.23	c 1276s |      14 |  1402900 |    85152 |    42850      3 |        1 |        1
1279.27/1279.69	c 1279s |      14 |  1403427 |    85252 |    42850      3 |        1 |        1
1281.57/1281.94	c 1281s |      14 |  1410923 |    85452 |    42850      3 |        1 |        1
1284.48/1284.82	c 1284s |      14 |  1411451 |    85552 |    42850      3 |        1 |        1
1286.68/1287.05	c 1286s |      14 |  1419249 |    85752 |    42850      3 |        1 |        1
1288.98/1289.35	c 1288s |      14 |  1420685 |    85852 |    42850      3 |        1 |        1
1291.47/1291.89	c 1291s |      14 |  1425888 |    86052 |    42850      3 |        1 |        1
1294.07/1294.45	c 1293s |      14 |  1431757 |    86252 |    42850      3 |        1 |        1
1298.56/1298.95	c 1298s |      14 |  1436920 |    86452 |    42850      3 |        1 |        1
1301.16/1301.53	c 1300s |      14 |  1438384 |    86852 |    42850      3 |        1 |        1
1303.46/1303.87	c 1303s |      14 |  1440771 |    87152 |    47136      3 |        1 |        1
1306.16/1306.58	c 1305s |      14 |  1447249 |    87552 |    47136      3 |        1 |        1
1306.66/1307.06	c 1306s |      15 |  1449316 |    87632 |    47136      3 |        1 |        1
1308.67/1309.07	c 1308s |      15 |  1454678 |    87732 |    47136      3 |        1 |        1
1311.36/1311.76	c 1311s |      15 |  1454678 |    87832 |    47136      3 |        1 |        1
1314.66/1315.03	c 1314s |      15 |  1454872 |    87932 |    47136      3 |        1 |        1
1317.36/1317.80	c 1317s |      15 |  1465308 |    88132 |    47136      3 |        1 |        1
1319.56/1319.97	c 1319s |      15 |  1465475 |    88232 |    47136      3 |        1 |        1
1322.46/1322.84	c 1322s |      15 |  1469692 |    88332 |    47136      3 |        1 |        1
1325.96/1326.37	c 1325s |      15 |  1471834 |    88532 |    47136      3 |        1 |        1
1328.36/1328.75	c 1328s |      15 |  1478523 |    88632 |    47136      3 |        1 |        1
1331.66/1332.10	c 1331s |      15 |  1478829 |    88832 |    47136      3 |        1 |        1
1334.36/1334.72	c 1334s |      15 |  1478912 |    88932 |    47136      3 |        1 |        1
1336.47/1336.88	c 1336s |      15 |  1490863 |    89132 |    47136      3 |        1 |        1
1338.67/1339.10	c 1338s |      15 |  1490863 |    89232 |    47136      3 |        1 |        1
1341.87/1342.25	c 1341s |      15 |  1498019 |    89432 |    47136      3 |        1 |        1
1344.06/1344.43	c 1343s |      15 |  1498160 |    89532 |    47136      3 |        1 |        1
1346.26/1346.65	c 1345s |      15 |  1499447 |    89632 |    47136      3 |        1 |        1
1349.47/1349.88	c 1349s |      15 |  1500858 |    89832 |    47136      3 |        1 |        1
1352.36/1352.70	c 1352s |      15 |  1505200 |    89932 |    47136      3 |        1 |        1
1355.16/1355.50	c 1354s |      15 |  1506499 |    90132 |    47136      3 |        1 |        1
1358.76/1359.15	c 1358s |      15 |  1507743 |    90332 |    47136      3 |        1 |        1
1361.36/1361.71	c 1361s |      15 |  1512149 |    90432 |    47136      3 |        1 |        1
1363.46/1363.84	c 1363s |      15 |  1519726 |    90632 |    47136      3 |        1 |        1
1365.76/1366.16	c 1365s |      15 |  1520070 |    90732 |    47136      3 |        1 |        1
1368.56/1368.96	c 1368s |      15 |  1520914 |    90932 |    47136      3 |        1 |        1
1371.56/1371.94	c 1371s |      15 |  1521993 |    91132 |    47136      3 |        1 |        1
1373.96/1374.36	c 1373s |      15 |  1522441 |    91232 |    47136      3 |        1 |        1
1376.56/1376.94	c 1376s |      15 |  1522496 |    91332 |    47136      3 |        1 |        1
1380.66/1381.04	c 1380s |      15 |  1532335 |    91632 |    47136      3 |        1 |        1
1383.06/1383.49	c 1382s |      15 |  1539580 |    91832 |    47136      3 |        1 |        1
1386.16/1386.50	c 1385s |      15 |  1541229 |    92032 |    47136      3 |        1 |        1
1389.56/1389.92	c 1389s |      15 |  1545897 |    92232 |    47136      3 |        1 |        1
1391.96/1392.34	c 1391s |      15 |  1548036 |    92432 |    47136      3 |        1 |        1
1394.16/1394.56	c 1393s |      15 |  1548140 |    92532 |    47136      3 |        1 |        1
1396.46/1396.80	c 1396s |      15 |  1552844 |    92632 |    47136      3 |        1 |        1
1398.76/1399.20	c 1398s |      15 |  1557129 |    92832 |    47136      3 |        1 |        1
1401.26/1401.64	c 1400s |      15 |  1557296 |    92932 |    47136      3 |        1 |        1
1404.55/1404.93	c 1404s |      15 |  1558513 |    93132 |    47136      3 |        1 |        1
1407.66/1408.04	c 1407s |      15 |  1559180 |    93332 |    47136      3 |        1 |        1
1410.05/1410.43	c 1409s |      15 |  1559476 |    93432 |    47136      3 |        1 |        1
1413.75/1414.13	c 1413s |      15 |  1560704 |    93632 |    47136      3 |        1 |        1
1416.56/1416.92	c 1416s |      15 |  1568623 |    93832 |    47136      3 |        1 |        1
1420.35/1420.71	c 1420s |      15 |  1569957 |    94032 |    47136      3 |        1 |        1
1422.95/1423.40	c 1422s |      15 |  1570536 |    94232 |    47136      3 |        1 |        1
1425.36/1425.73	c 1425s |      15 |  1570677 |    94332 |    47136      3 |        1 |        1
1427.65/1428.04	c 1427s |      15 |  1578287 |    94532 |    47136      3 |        1 |        1
1429.66/1430.05	c 1429s |      15 |  1578585 |    94632 |    47136      3 |        1 |        1
1432.55/1432.94	c 1432s |      15 |  1583241 |    94832 |    47136      3 |        1 |        1
1436.36/1436.74	c 1436s |      15 |  1584655 |    95032 |    47136      3 |        1 |        1
1438.85/1439.29	c 1438s |      15 |  1590208 |    95232 |    47136      3 |        1 |        1
1443.25/1443.64	c 1442s |      15 |  1593085 |    95532 |    47136      3 |        1 |        1
1446.05/1446.44	c 1445s |      15 |  1596179 |    95732 |    47136      3 |        1 |        1
1448.35/1448.75	c 1448s |      15 |  1596436 |    95832 |    47136      3 |        1 |        1
1451.15/1451.56	c 1450s |      15 |  1598101 |    96032 |    47136      3 |        1 |        1
1454.15/1454.59	c 1453s |      15 |  1600103 |    96232 |    47136      3 |        1 |        1
1456.85/1457.22	c 1456s |      15 |  1600861 |    96432 |    47136      3 |        1 |        1
1459.65/1460.08	c 1459s |      15 |  1601620 |    96632 |    47136      3 |        1 |        1
1462.15/1462.52	c 1461s |      15 |  1602290 |    96832 |    47136      3 |        1 |        1
1464.95/1465.38	c 1464s |      15 |  1603737 |    97032 |    47136      3 |        1 |        1
1467.54/1467.99	c 1467s |      15 |  1606633 |    97232 |    47136      3 |        1 |        1
1470.45/1470.84	c 1470s |      15 |  1607410 |    97432 |    47136      3 |        1 |        1
1473.34/1473.78	c 1473s |      15 |  1608159 |    97632 |    47136      3 |        1 |        1
1476.24/1476.69	c 1476s |      15 |  1609602 |    97832 |    47136      3 |        1 |        1
1478.54/1478.92	c 1478s |      15 |  1611445 |    98032 |    47136      3 |        1 |        1
1480.84/1481.25	c 1480s |      15 |  1613113 |    98332 |    47136      3 |        1 |        1
1483.84/1484.23	c 1483s |      15 |  1614871 |    98632 |    47136      3 |        1 |        1
1487.34/1487.71	c 1487s |      15 |  1616184 |    98832 |    47136      3 |        1 |        1
1490.15/1490.52	c 1489s |      15 |  1616405 |    98932 |    47136      3 |        1 |        1
1492.84/1493.20	c 1492s |      15 |  1624710 |    99132 |    47136      3 |        1 |        1
1495.34/1495.78	c 1495s |      15 |  1624823 |    99232 |    47136      3 |        1 |        1
1498.64/1499.09	c 1498s |      15 |  1625029 |    99332 |    47136      3 |        1 |        1
1501.64/1502.01	c 1501s |      15 |  1626545 |    99532 |    47136      3 |        1 |        1
1503.84/1504.25	c 1503s |      15 |  1626797 |    99632 |    47136      3 |        1 |        1
1506.34/1506.71	c 1506s |      15 |  1628492 |    99832 |    47136      3 |        1 |        1
1509.14/1509.53	c 1508s |      15 |  1628566 |    99932 |    47136      3 |        1 |        1
1511.44/1511.88	c 1511s |      15 |  1630762 |   100132 |    47136      3 |        1 |        1
1515.63/1516.06	c 1515s |      15 |  1631069 |   100332 |    47136      3 |        1 |        1
1518.43/1518.80	c 1518s |      15 |  1633049 |   100532 |    47136      3 |        1 |        1
1521.63/1522.09	c 1521s |      15 |  1633758 |   100732 |    47136      3 |        1 |        1
1525.13/1525.53	c 1524s |      15 |  1635475 |   100932 |    47136      3 |        1 |        1
1527.64/1528.04	c 1527s |      15 |  1635519 |   101032 |    47136      3 |        1 |        1
1529.74/1530.13	c 1529s |      15 |  1636189 |   101232 |    47136      3 |        1 |        1
1532.93/1533.33	c 1532s |      15 |  1636681 |   101532 |    47136      3 |        1 |        1
1535.03/1535.43	c 1534s |      15 |  1637002 |   101632 |    47136      3 |        1 |        1
1538.23/1538.60	c 1537s |      15 |  1638348 |   101832 |    47136      3 |        1 |        1
1541.13/1541.53	c 1540s |      15 |  1639343 |   102132 |    47136      3 |        1 |        1
1544.23/1544.68	c 1544s |      15 |  1641419 |   102332 |    47136      3 |        1 |        1
1547.03/1547.43	c 1546s |      15 |  1642211 |   102532 |    47136      3 |        1 |        1
1550.83/1551.29	c 1550s |      15 |  1643339 |   102732 |    47136      3 |        1 |        1
1553.33/1553.72	c 1553s |      15 |  1644245 |   102932 |    47136      3 |        1 |        1
1557.13/1557.59	c 1556s |      15 |  1644643 |   103132 |    47136      3 |        1 |        1
1560.43/1560.90	c 1560s |      15 |  1645415 |   103332 |    47136      3 |        1 |        1
1564.43/1564.85	c 1564s |      15 |  1647333 |   103532 |    47136      3 |        1 |        1
1566.83/1567.20	c 1566s |      15 |  1649019 |   103632 |    47136      3 |        1 |        1
1570.93/1571.34	c 1570s |      15 |  1650526 |   103832 |    47136      3 |        1 |        1
1573.32/1573.79	c 1573s |      15 |  1651740 |   104032 |    47136      3 |        1 |        1
1575.52/1575.98	c 1575s |      15 |  1651888 |   104132 |    47136      3 |        1 |        1
1578.42/1578.85	c 1578s |      15 |  1653534 |   104332 |    47136      3 |        1 |        1
1581.62/1582.07	c 1581s |      15 |  1654679 |   104532 |    47136      3 |        1 |        1
1584.02/1584.42	c 1583s |      15 |  1654855 |   104632 |    47136      3 |        1 |        1
1587.52/1587.96	c 1587s |      15 |  1657262 |   104832 |    47136      3 |        1 |        1
1590.92/1591.30	c 1590s |      15 |  1657555 |   105032 |    47136      3 |        1 |        1
1594.22/1594.60	c 1593s |      15 |  1658342 |   105232 |    47136      3 |        1 |        1
1597.42/1597.85	c 1597s |      15 |  1660121 |   105432 |    47136      3 |        1 |        1
1599.82/1600.21	c 1599s |      15 |  1660240 |   105532 |    47136      3 |        1 |        1
1604.12/1604.59	c 1603s |      15 |  1661959 |   105732 |    47136      3 |        1 |        1
1607.32/1607.75	c 1607s |      15 |  1663861 |   105932 |    47136      3 |        1 |        1
1609.62/1610.07	c 1609s |      15 |  1664720 |   106232 |    47136      3 |        1 |        1
1611.92/1612.31	c 1611s |      15 |  1664932 |   106432 |    47136      3 |        1 |        1
1614.82/1615.29	c 1614s |      15 |  1665402 |   106732 |    47136      3 |        1 |        1
1617.62/1618.09	c 1617s |      15 |  1665762 |   107032 |    47136      3 |        1 |        1
1621.32/1621.70	c 1621s |      15 |  1665990 |   107232 |    47136      4 |        1 |        1
1623.92/1624.31	c 1623s |      15 |  1666385 |   107432 |    47136      4 |        1 |        1
1627.01/1627.48	c 1626s |      15 |  1667082 |   107732 |    47136      4 |        1 |        1
1629.71/1630.14	c 1629s |      15 |  1667544 |   107932 |    47136      4 |        1 |        1
1632.51/1632.90	c 1632s |      15 |  1668172 |   108132 |    47136      4 |        1 |        1
1635.01/1635.43	c 1634s |      15 |  1668649 |   108332 |    47136      4 |        1 |        1
1637.41/1637.88	c 1637s |      15 |  1669238 |   108532 |    47136      4 |        1 |        1
1640.01/1640.49	c 1639s |      15 |  1669899 |   108732 |    47136      4 |        1 |        1
1642.51/1642.92	c 1642s |      15 |  1670601 |   108932 |    47136      4 |        1 |        1
1645.01/1645.46	c 1644s |      15 |  1671251 |   109132 |    47136      4 |        1 |        1
1647.61/1648.01	c 1647s |      15 |  1671889 |   109332 |    47136      4 |        1 |        1
1650.11/1650.59	c 1649s |      15 |  1672528 |   109532 |    47136      4 |        1 |        1
1653.41/1653.81	c 1653s |      15 |  1673019 |   109732 |    47136      4 |        1 |        1
1656.22/1656.62	c 1655s |      15 |  1673498 |   109932 |    47136      4 |        1 |        1
1658.71/1659.19	c 1658s |      15 |  1673970 |   110132 |    47136      4 |        1 |        1
1662.31/1662.79	c 1662s |      15 |  1674381 |   110332 |    47136      4 |        1 |        1
1666.11/1666.51	c 1665s |      15 |  1674855 |   110532 |    47136      4 |        1 |        1
1669.51/1669.97	c 1669s |      15 |  1675214 |   110732 |    47136      4 |        1 |        1
1671.51/1672.00	c 1671s |      15 |  1675766 |   110932 |    47136      4 |        1 |        1
1692.62/1693.04	c 1692s |      15 |  1676136 |   111132 |    47136      4 |        1 |        1
1694.72/1695.12	c 1694s |      15 |  1676336 |   111232 |    47136      4 |        1 |        1
1698.61/1699.08	c 1698s |      15 |  1676891 |   111432 |    47136      4 |        1 |        1
1702.11/1702.50	c 1701s |      15 |  1678051 |   111732 |    47136      4 |        1 |        1
1705.61/1706.08	c 1705s |      15 |  1678435 |   111932 |    47136      4 |        1 |        1
1708.71/1709.19	c 1708s |      15 |  1678733 |   112132 |    47136      4 |        1 |        1
1712.11/1712.58	c 1711s |      15 |  1679145 |   112332 |    47136      4 |        1 |        1
1714.81/1715.20	c 1714s |      15 |  1679768 |   112632 |    47136      4 |        1 |        1
1716.91/1717.34	c 1716s |      15 |  1680089 |   112832 |    47136      4 |        1 |        1
1720.01/1720.40	c 1719s |      15 |  1680619 |   113032 |    47136      4 |        1 |        1
1722.21/1722.61	c 1721s |      15 |  1681721 |   113232 |    47136      4 |        1 |        1
1724.41/1724.81	c 1724s |      15 |  1682392 |   113432 |    47136      4 |        1 |        1
1726.50/1726.99	c 1726s |      15 |  1682807 |   113632 |    47136      4 |        1 |        1
1729.10/1729.57	c 1728s |      15 |  1683207 |   113832 |    47136      4 |        1 |        1
1731.70/1732.19	c 1731s |      15 |  1683584 |   114032 |    47136      4 |        1 |        1
1734.00/1734.41	c 1733s |      15 |  1683900 |   114232 |    47136      4 |        1 |        1
1736.90/1737.35	c 1736s |      15 |  1684728 |   114532 |    47136      4 |        1 |        1
1740.20/1740.60	c 1739s |      15 |  1685163 |   114732 |    47136      4 |        1 |        1
1743.60/1744.07	c 1743s |      15 |  1685435 |   114932 |    47136      4 |        1 |        1
1746.51/1746.93	c 1746s |      15 |  1687815 |   115132 |    47136      4 |        1 |        1
1749.90/1750.32	c 1749s |      15 |  1690300 |   115332 |    47136      4 |        1 |        1
1753.40/1753.81	c 1753s |      15 |  1692917 |   115532 |    47136      4 |        1 |        1
1757.70/1758.15	c 1757s |      15 |  1695405 |   115732 |    47136      4 |        1 |        1
1761.00/1761.46	c 1760s |      15 |  1702198 |   115932 |    47136      4 |        1 |        1
1764.70/1765.11	c 1764s |      15 |  1705740 |   116132 |    47136      4 |        1 |        1
1768.00/1768.46	c 1767s |      15 |  1706150 |   116332 |    47136      4 |        1 |        1
1770.89/1771.30	c 1770s |      15 |  1707877 |   116532 |    47136      4 |        1 |        1
1772.99/1773.40	c 1772s |      15 |  1708078 |   116632 |    47136      4 |        1 |        1
1775.99/1776.44	c 1775s |      15 |  1709969 |   116832 |    47136      4 |        1 |        1
1779.69/1780.16	c 1779s |      15 |  1712006 |   117032 |    47136      4 |        1 |        1
1783.49/1783.93	c 1783s |      15 |  1713309 |   117232 |    47136      4 |        1 |        1
1786.99/1787.47	c 1786s |      15 |  1715741 |   117432 |    47136      4 |        1 |        1
1790.89/1791.39	c 1790s |      15 |  1716128 |   117632 |    47136      4 |        1 |        1
1794.59/1795.03	c 1794s |      15 |  1719940 |   117832 |    47136      4 |        1 |        1
1798.89/1799.37	c 1798s |      15 |  1720205 |   118032 |    47136      4 |        1 |        1

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.19 2.12 3/179 15308
/proc/meminfo: memFree=30050692/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=753220 CPUtime=0 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 29767554 771297280 2668 33554432000 4194304 16246674 140734515300624 140734515300048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 188817 2676 442 2943 0 185711 0
[pid=15308/tid=15309] ppid=15305 vsize=770628 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 789123072 2735 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=774724 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 793317376 2750 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=778820 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29767554 797511680 2769 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.20 2.19 2.12 3/179 15308
/proc/meminfo: memFree=30050692/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 28081 0 0 0 6 3 0 0 20 0 4 0 29767554 1333334016 27870 33554432000 4194304 16246674 140734515300624 140734515299936 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 325521 27880 801 2943 0 322415 0
[pid=15308/tid=15309] ppid=15305 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1333334016 27892 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1333334016 27902 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1333334016 27913 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200528 s]
/proc/loadavg: 2.20 2.19 2.12 3/179 15308
/proc/meminfo: memFree=30050692/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 47420 0 0 0 14 5 0 0 20 0 4 0 29767554 1343819776 47208 33554432000 4194304 16246674 140734515300624 140734515282496 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328081 47212 838 2943 0 324975 0
[pid=15308/tid=15309] ppid=15305 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1343819776 47215 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1343819776 47217 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1343819776 47219 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30049 s]
/proc/loadavg: 2.20 2.19 2.12 3/179 15308
/proc/meminfo: memFree=30050692/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 47843 0 0 0 23 5 0 0 20 0 4 0 29767554 1344868352 47631 33554432000 4194304 16246674 140734515300624 140734515299936 4220871 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328337 47631 839 2943 0 325231 0
[pid=15308/tid=15309] ppid=15305 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1344868352 47631 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1344868352 47631 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1344868352 47631 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700428 s]
/proc/loadavg: 2.20 2.19 2.12 3/179 15308
/proc/meminfo: memFree=30050692/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 65332 0 0 0 61 8 0 0 20 0 4 0 29767554 1345916928 65120 33554432000 4194304 16246674 140734515300624 140734515299936 6022410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328593 65120 911 2943 0 325487 0
[pid=15308/tid=15309] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 65120 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 65120 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 65120 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.20 2.19 2.12 3/183 15312
/proc/meminfo: memFree=29624208/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 107140 0 0 0 135 14 0 0 20 0 4 0 29767554 1345916928 106928 33554432000 4194304 16246674 140734515300624 140734515282496 6011784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328593 106928 914 2943 0 325487 0
[pid=15308/tid=15309] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 106928 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 106928 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 106928 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.20 2.19 2.12 3/183 15312
/proc/meminfo: memFree=29473896/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 269808 0 0 0 273 36 0 0 20 0 4 0 29767554 1345916928 269596 33554432000 4194304 16246674 140734515300624 140734515282496 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328593 269596 914 2943 0 325487 0
[pid=15308/tid=15309] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269596 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269596 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269596 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30043 s]
/proc/loadavg: 2.18 2.19 2.12 4/183 15312
/proc/meminfo: memFree=28972564/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 269811 0 0 0 593 36 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140734515282496 6021520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328593 269599 917 2943 0 325487 0
[pid=15308/tid=15309] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.16 2.19 2.12 3/183 15312
/proc/meminfo: memFree=28949444/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 269811 0 0 0 1233 36 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140734515282496 12477720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328593 269599 917 2943 0 325487 0
[pid=15308/tid=15309] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.20 2.19 2.12 3/183 15312
/proc/meminfo: memFree=28950092/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 269811 0 0 0 2513 36 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140734515282496 5707826 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328593 269599 917 2943 0 325487 0
[pid=15308/tid=15309] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.19 2.19 2.12 3/183 15312
/proc/meminfo: memFree=28949968/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 269811 0 0 0 5072 36 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140734515282496 6011884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328593 269599 917 2943 0 325487 0
[pid=15308/tid=15309] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.12 2.18 2.12 3/183 15313
/proc/meminfo: memFree=28949612/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 269811 0 0 0 10192 36 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140734515282496 12477817 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 328593 269599 917 2943 0 325487 0
[pid=15308/tid=15309] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1345916928 269599 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1404484

[startup+1362.3 s]
/proc/loadavg: 2.17 2.19 2.13 3/183 15393
/proc/meminfo: memFree=28888780/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1361.96 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292455 0 0 0 136143 53 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140734515282496 12483212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292065 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1404484

[startup+1422.3 s]
/proc/loadavg: 2.31 2.22 2.14 3/183 15394
/proc/meminfo: memFree=28888700/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1421.96 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292455 0 0 0 142143 53 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140734515282496 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292065 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1404484

[startup+1482.3 s]
/proc/loadavg: 2.17 2.19 2.13 3/183 15395
/proc/meminfo: memFree=28888480/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1481.94 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292455 0 0 0 148141 53 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140734515282496 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292065 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1404484

[startup+1542.31 s]
/proc/loadavg: 2.15 2.18 2.13 3/183 15397
/proc/meminfo: memFree=28888632/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1541.94 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292455 0 0 0 154141 53 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140734515282496 12483230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292065 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1404484

[startup+1602.3 s]
/proc/loadavg: 2.21 2.19 2.14 3/183 15398
/proc/meminfo: memFree=28888664/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1601.92 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292455 0 0 0 160139 53 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140734515282496 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292065 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1404484

[startup+1662.3 s]
/proc/loadavg: 2.16 2.18 2.14 4/184 15402
/proc/meminfo: memFree=28889032/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1661.91 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292455 0 0 0 166138 53 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140734515282496 12478241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292065 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292065 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1404484

[startup+1722.3 s]
/proc/loadavg: 2.10 2.16 2.13 3/183 15403
/proc/meminfo: memFree=28888540/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1721.91 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292508 0 0 0 172136 55 0 0 20 0 4 0 29767554 1438191616 292118 33554432000 4194304 16246674 140734515300624 140734515282496 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292118 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292118 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292118 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292118 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1404484

[startup+1782.3 s]
/proc/loadavg: 2.17 2.17 2.13 3/183 15404
/proc/meminfo: memFree=28888536/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1781.89 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292508 0 0 0 178134 55 0 0 20 0 4 0 29767554 1438191616 292118 33554432000 4194304 16246674 140734515300624 140734515282496 12477836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292118 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292118 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292118 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292118 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1404484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.16 2.13 3/183 15405
/proc/meminfo: memFree=28888156/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1800.09 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292520 0 0 0 179954 55 0 0 20 0 4 0 29767554 1438191616 292130 33554432000 4194304 16246674 140734515300624 140734515282496 6020664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292130 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292130 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292130 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292130 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1404484

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.16 2.13 3/183 15405
/proc/meminfo: memFree=28888156/32872528 swapFree=681964/737152
[pid=15308] ppid=15305 vsize=1404484 CPUtime=1800.09 cores=1,3,5,7
/proc/15308/stat : 15308 (toysat) R 15305 15308 13233 0 -1 4202496 292520 0 0 0 179954 55 0 0 20 0 4 0 29767554 1438191616 292130 33554432000 4194304 16246674 140734515300624 140734515282496 6020664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15308/statm: 351121 292130 920 2943 0 348015 0
[pid=15308/tid=15309] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15309/stat : 15309 (toysat) S 15305 15308 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292130 33554432000 4194304 16246674 140734515300624 140303678811376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15308/tid=15310] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15310/stat : 15310 (toysat) S 15305 15308 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292130 33554432000 4194304 16246674 140734515300624 140303668321520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15308/tid=15311] ppid=15305 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/15308/task/15311/stat : 15311 (toysat) S 15305 15308 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29767554 1438191616 292130 33554432000 4194304 16246674 140734515300624 140303657847984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1404484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.55
CPU system time (s): 0.556915
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 1404484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.556915
maximum resident set size= 1168520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292520
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= 201
involuntary context switches= 1887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6243 second user time and 6.98894 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 21:13:03
IDJOB=4106757
IDBENCH=48235
IDSOLVER=2542
FILE ID=node112/4106757-1466277183
RUNJOBID= node112-1466264161-13250
PBS_JOBID= 19918218
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106757-1466277183/watcher-4106757-1466277183 -o /tmp/evaluation-result-4106757-1466277183/solver-4106757-1466277183 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106757-1466277183.opb

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

MD5SUM BENCH= 493eec42e81abed935f584a4e365015a
RANDOM SEED=1655150063

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30050592 kB
Buffers:           77920 kB
Cached:           160444 kB
SwapCached:         2028 kB
Active:          1204620 kB
Inactive:         143884 kB
Active(anon):    1110132 kB
Inactive(anon):     2096 kB
Active(file):      94488 kB
Inactive(file):   141788 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       1802772 kB
Mapped:            10576 kB
Shmem:                 0 kB
Slab:             602360 kB
SReclaimable:      46112 kB
SUnreclaim:       556248 kB
KernelStack:        1520 kB
PageTables:         7816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1989996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1093632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node112 at 2016-06-18 21:43:04