Trace number 4078881

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K71.opb
MD5SUMe0aeeb707b4fd8297140a3f70373c556
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark15.3307
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3905
Total number of constraints4049
Number of constraints which are clauses3978
Number of constraints which are cardinality constraints (but not clauses)71
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint71
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T10:22:47+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-4078881-1465287767.opb"]
0.00/0.01	c use --random-gen="205503815 2931618002 3743145895 1059421059 1077310758 3465775295 2984700015 1631681371 1557118898 3005603728 1905540247 400760915 2644101792 113780718 1864152517 1068506792 385230190 521300823 902829784 864847708 1389938471 274416992 775031978 713040294 3729973143 3089577633 4195136235 1602915017 4086506340 226506397 2122427709 1737558201 1658670388 1630610741 1671793565 1064879655 68828383 2047715137 1092388799 3620526863 3546970796 3495974749 2555601147 2756831018 1374651458 2064200848 4165127069 2409081386 554794848 2912494802 1638883419 3698355341 2227075143 497327510 177413668 1790786982 2152616777 2337884236 1730562237 3949310405 1553941306 1753808032 202856225 27162011 3470519278 3044750666 3759415646 4233059755 1150872423 720097297 711558625 1120279220 3627664554 3804627266 4041038923 1478883883 696931756 2618720555 4176966241 2383873441 3768546980 1252783351 1198725345 1828886716 869729842 550859601 2879765120 695651875 4103635383 3793981675 2473869356 3252738843 1813883444 3872543196 1926913815 3583099608 4027215850 3294988310 2854528823 874826885 2267271568 2774403923 111099636 1816332681 1246692599 106704559 141558096 232826943 3619063883 2923307328 3406966925 1178354432 1190573100 2867972223 2929666764 784803400 984888559 2885593891 3211566230 3057974940 3968902230 1549553146 2215200809 964799000 2695704229 3778904457 980878525 1258807751 541241671 4005356629 1177991148 2919327816 2397853093 2559389059 3523131644 1032563734 3638984666 1048067022 3981945696 969668265 2510904738 1658947717 2627822626 2071924361 4170160843 3321874944 3515851003 962807420 2037824275 183308347 2280415484 1121873127 794829590 4117396603 3612903322 2394339147 3125582660 3228411300 249545927 1812183785 3504553140 4220479110 154564086 38017573 2598908982 1423585954 4052820396 2307266403 2261756687 2174478864 2812427339 693067543 3351527077 2763761116 3785290864 1488416716 1814961944 1922683189 4293860072 1939950100 2956017321 1460919891 7129189 2497770150 2958632213 2084871720 2967232729 527867968 450197119 1233659147 3000767504 4292766011 2065270113 1503899849 3757545222 132110508 94944292 2224675971 1914781330 4145698999 3177494395 159416260 3578875088 1142990529 2224473801 2387867767 261469279 379755190 2783053601 2641797235 424450954 4178921450 4065912123 1077538510 1087742522 2677574895 570005361 839379499 3001333059 2210516691 4182747378 3306651196 4086057883 2662869075 3662342963 928050185 2558140010 3775513266 1728224690 4275482023 3919885781 3255489366 40625863 2348554604 3943077567 3127350243 2599612591 1871276604 1083622774 2224249465 2472555778 2686281788 2977564908 2805446273 4208988368 514781991 3826219196 2523390806 4075739908 1480733911 4294078452 871751372 2218455391 1934548576 1548133204 3883057766 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3905
0.00/0.06	c #constraints 4049
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |     2650      0 |      455 |        0
0.19/0.27	c  0.1s |       1 |     1713 |      100 |     2650      0 |      456 |      411
0.39/0.43	c  0.3s |       2 |     4092 |      250 |     2916      0 |      458 |      413
0.59/0.66	c  0.5s |       3 |     7102 |      475 |     3208      0 |      458 |      413
0.99/1.08	c  0.9s |       4 |    11311 |      813 |     3529      0 |      461 |      416
1.49/1.51	c  1.4s |       5 |    18888 |     1320 |     3882      0 |      467 |      422
2.09/2.17	c  2.0s |       6 |    27845 |     2081 |     4699      0 |      474 |      429
2.99/3.06	c  2.9s |       7 |    41342 |     3223 |     5169      0 |      477 |      432
4.69/4.79	c  4.6s |       8 |    54762 |     4936 |     5686      0 |      479 |      434
6.79/6.87	c  6.7s |       8 |    68066 |     7036 |     5686      0 |      480 |      435
7.48/7.56	c  7.4s |       9 |    71397 |     7506 |     6255      1 |      481 |      436
9.58/9.68	c  9.5s |       9 |    83845 |     9606 |     6255      1 |      482 |      437
11.28/11.34	c 11.2s |      10 |    95843 |    11361 |     6881      2 |      484 |      439
13.29/13.38	c 13.2s |      10 |   117367 |    13461 |     6881      2 |      491 |      446
15.40/15.47	c 15.3s |      10 |   135029 |    15461 |     6881      3 |      496 |      451
16.99/17.06	c 16.9s |      11 |   150811 |    17144 |     7570      3 |      501 |      456
19.09/19.15	c 19.0s |      11 |   165959 |    18844 |     7570      3 |      503 |      458
21.19/21.26	c 21.1s |      11 |   176909 |    20644 |     7570      3 |      503 |      458
23.20/23.28	c 23.1s |      11 |   182171 |    21844 |     7570      4 |      503 |      458
25.40/25.44	c 25.3s |      11 |   186651 |    22944 |     7570      4 |      503 |      458
27.79/27.81	c 27.7s |      11 |   191097 |    24044 |     7570      4 |      503 |      458
29.89/29.92	c 29.8s |      11 |   193537 |    24744 |     7570      4 |      503 |      458
31.90/31.98	c 31.8s |      11 |   195565 |    25444 |     7570      4 |      503 |      458
33.39/33.41	c 33.3s |      12 |   196824 |    25819 |     8327      4 |      503 |      458
35.39/35.41	c 35.3s |      12 |   208471 |    27319 |     8327      5 |      503 |      458
37.50/37.51	c 37.4s |      12 |   213140 |    28519 |     8327      5 |      503 |      458
39.49/39.51	c 39.4s |      12 |   227183 |    30319 |     8327      6 |      505 |      460
41.49/41.59	c 41.4s |      12 |   237152 |    32019 |     8327      6 |      509 |      464
43.69/43.77	c 43.6s |      12 |   240814 |    33019 |     8327      6 |      509 |      464
45.69/45.79	c 45.6s |      12 |   242606 |    33619 |     8327      6 |      509 |      464
47.99/48.02	c 47.9s |      12 |   244415 |    34319 |     8327      6 |      509 |      464
49.99/50.09	c 49.9s |      12 |   246210 |    34919 |     8327      6 |      509 |      464
52.09/52.10	c 52.0s |      12 |   252291 |    36119 |     8327      7 |      509 |      464
54.09/54.18	c 54.0s |      12 |   270909 |    38319 |     8327      7 |      511 |      466
54.99/55.08	c 54.9s |      13 |   273080 |    38832 |     9160      7 |      511 |      466
57.09/57.13	c 57.0s |      13 |   291352 |    40832 |     9160      8 |      513 |      468
59.19/59.25	c 59.1s |      13 |   302393 |    42832 |     9160      8 |      513 |      468
61.18/61.26	c 61.1s |      13 |   318332 |    44932 |     9160      8 |      513 |      468
63.28/63.33	c 63.2s |      13 |   329454 |    46632 |     9160      9 |      514 |      469
65.38/65.42	c 65.3s |      13 |   339762 |    48632 |     9160      9 |      514 |      469
67.38/67.42	c 67.3s |      13 |   350886 |    50132 |     9160      9 |      514 |      469
69.39/69.44	c 69.3s |      13 |   362486 |    51632 |     9160     10 |      514 |      469
71.38/71.50	c 71.4s |      13 |   366037 |    52732 |     9160     10 |      514 |      469
73.79/73.88	c 73.7s |      13 |   372567 |    53632 |     9160     10 |      514 |      469
75.89/75.94	c 75.8s |      13 |   380942 |    54832 |     9160     10 |      514 |      469
77.88/77.96	c 77.8s |      13 |   388062 |    55932 |     9160     10 |      514 |      469
79.88/79.98	c 79.8s |      13 |   395766 |    57332 |     9160     11 |      515 |      470
80.98/81.02	c 80.9s |      14 |   400920 |    58352 |    10076     11 |      515 |      470
82.98/83.07	c 82.9s |      14 |   410602 |    60252 |    10076     11 |      515 |      470
85.08/85.10	c 85.0s |      14 |   420191 |    62152 |    10076     11 |      516 |      471
87.08/87.18	c 87.0s |      14 |   426950 |    63752 |    10076     12 |      516 |      471
89.38/89.43	c 89.3s |      14 |   431417 |    64952 |    10076     12 |      516 |      471
91.58/91.61	c 91.5s |      14 |   435803 |    66052 |    10076     12 |      516 |      471
93.68/93.80	c 93.6s |      14 |   436982 |    66652 |    10076     12 |      516 |      471
95.88/95.96	c 95.8s |      14 |   439158 |    67252 |    10076     12 |      516 |      471
97.99/98.06	c 97.9s |      14 |   446662 |    68752 |    10076     12 |      516 |      471
100.08/100.17	c  100s |      14 |   451193 |    70052 |    10076     13 |      516 |      471
102.18/102.20	c  102s |      14 |   455711 |    71352 |    10076     13 |      516 |      471
104.28/104.34	c  104s |      14 |   460430 |    72652 |    10076     13 |      516 |      471
106.38/106.40	c  106s |      14 |   463986 |    73752 |    10076     13 |      516 |      471
108.38/108.43	c  108s |      14 |   469757 |    75252 |    10076     14 |      516 |      471
110.48/110.54	c  110s |      14 |   474572 |    76752 |    10076     14 |      516 |      471
112.48/112.56	c  112s |      14 |   477170 |    77852 |    10076     14 |      516 |      471
114.58/114.61	c  114s |      14 |   481100 |    79052 |    10076     14 |      516 |      471
116.78/116.82	c  116s |      14 |   483554 |    80052 |    10076     14 |      516 |      471
118.78/118.90	c  118s |      14 |   491685 |    81752 |    10076     15 |      516 |      471
120.87/120.91	c  120s |      14 |   499189 |    83252 |    10076     15 |      516 |      471
122.87/122.93	c  122s |      14 |   510264 |    84952 |    10076     15 |      517 |      472
124.87/124.98	c  124s |      14 |   523754 |    86952 |    10076     16 |      518 |      473
125.57/125.65	c  125s |      15 |   527619 |    87632 |    11084     16 |      518 |      473
127.68/127.71	c  127s |      15 |   538579 |    89632 |    11084     16 |      518 |      473
129.67/129.80	c  129s |      15 |   551646 |    91432 |    11084     16 |      518 |      473
131.87/131.95	c  131s |      15 |   560099 |    92932 |    11084     17 |      518 |      473
133.97/134.03	c  133s |      15 |   570974 |    94832 |    11084     17 |      518 |      473
136.07/136.19	c  136s |      15 |   576801 |    96332 |    11084     17 |      518 |      473
138.17/138.28	c  138s |      15 |   579603 |    97432 |    11084     17 |      518 |      473
140.37/140.46	c  140s |      15 |   582397 |    98432 |    11084     17 |      518 |      473
142.37/142.49	c  142s |      15 |   590488 |   100132 |    11084     18 |      518 |      473
144.67/144.73	c  144s |      15 |   603804 |   102132 |    11084     18 |      518 |      473
146.77/146.83	c  146s |      15 |   609679 |   103432 |    11084     18 |      518 |      473
148.77/148.86	c  148s |      15 |   619157 |   104932 |    11084     19 |      520 |      475
150.77/150.87	c  150s |      15 |   626431 |   106532 |    11084     19 |      520 |      475
152.87/152.97	c  152s |      15 |   633182 |   108032 |    11084     19 |      520 |      475
154.97/155.03	c  154s |      15 |   642899 |   109532 |    11084     19 |      520 |      475
156.97/157.08	c  156s |      15 |   653004 |   111332 |    11084     20 |      520 |      475
159.16/159.21	c  159s |      15 |   665043 |   113132 |    11084     20 |      520 |      475
161.26/161.35	c  161s |      15 |   675940 |   114632 |    11084     20 |      520 |      475
163.46/163.52	c  163s |      15 |   678686 |   115632 |    11084     20 |      520 |      475
165.56/165.62	c  165s |      15 |   681510 |   116532 |    11084     20 |      520 |      475
167.86/167.96	c  167s |      15 |   683273 |   117232 |    11084     20 |      520 |      475
169.96/170.03	c  169s |      15 |   686113 |   117932 |    11084     21 |      520 |      475
172.06/172.10	c  171s |      15 |   693907 |   119732 |    11084     21 |      520 |      475
174.16/174.24	c  174s |      15 |   698811 |   121132 |    11084     21 |      520 |      475
176.36/176.44	c  176s |      15 |   701765 |   122032 |    11084     21 |      520 |      475
178.46/178.50	c  178s |      15 |   704439 |   122732 |    11084     21 |      520 |      475
180.57/180.60	c  180s |      15 |   707864 |   123732 |    11084     21 |      520 |      475
182.77/182.82	c  182s |      15 |   708770 |   124232 |    11084     21 |      520 |      475
184.87/184.96	c  184s |      15 |   715332 |   125832 |    11084     22 |      520 |      475
186.97/187.05	c  186s |      15 |   721651 |   127332 |    11084     22 |      520 |      475
188.96/189.06	c  188s |      15 |   726091 |   128432 |    11084     22 |      520 |      475
190.96/191.07	c  190s |      15 |   729073 |   129232 |    11084     22 |      520 |      475
193.26/193.35	c  193s |      15 |   731379 |   129832 |    11084     22 |      520 |      475
195.26/195.35	c  195s |      15 |   732408 |   130232 |    11084     22 |      520 |      475
197.36/197.44	c  197s |      15 |   734988 |   130932 |    12193     23 |      520 |      475
198.26/198.33	c  198s |      16 |   737092 |   131552 |    12193     23 |      520 |      475
200.36/200.42	c  200s |      16 |   745095 |   133452 |    12193     23 |      520 |      475
202.37/202.46	c  202s |      16 |   749119 |   134752 |    12193     23 |      520 |      475
204.36/204.49	c  204s |      16 |   758431 |   136452 |    12193     23 |      520 |      475
206.46/206.50	c  206s |      16 |   764626 |   137952 |    12193     24 |      520 |      475
208.46/208.51	c  208s |      16 |   778438 |   140152 |    12193     24 |      520 |      475
210.46/210.55	c  210s |      16 |   788958 |   142152 |    12193     24 |      520 |      475
212.56/212.64	c  212s |      16 |   802517 |   144352 |    12193     25 |      520 |      475
214.66/214.75	c  214s |      16 |   805646 |   145352 |    12193     25 |      520 |      475
216.76/216.81	c  216s |      16 |   816415 |   147152 |    12193     25 |      520 |      475
218.86/218.93	c  218s |      16 |   828358 |   149352 |    12193     26 |      520 |      475
220.96/221.00	c  220s |      16 |   839202 |   151352 |    12193     26 |      520 |      475
223.26/223.31	c  223s |      16 |   844115 |   152652 |    12193     26 |      520 |      475
225.36/225.41	c  225s |      16 |   854171 |   154352 |    12193     27 |      520 |      475
227.36/227.46	c  227s |      16 |   865134 |   156152 |    12193     27 |      520 |      475
229.46/229.55	c  229s |      16 |   874521 |   157652 |    12193     27 |      520 |      475
231.45/231.56	c  231s |      16 |   885542 |   159752 |    12193     28 |      520 |      475
233.65/233.75	c  233s |      16 |   892711 |   161252 |    12193     28 |      520 |      475
235.85/235.94	c  235s |      16 |   897200 |   162452 |    12193     28 |      520 |      475
237.85/237.95	c  237s |      16 |   905307 |   164252 |    12193     29 |      520 |      475
239.95/240.02	c  239s |      16 |   913020 |   166052 |    12193     29 |      520 |      475
241.96/242.03	c  241s |      16 |   917249 |   167552 |    12193     29 |      520 |      475
243.95/244.08	c  243s |      16 |   923701 |   169152 |    12193     30 |      520 |      475
246.05/246.19	c  246s |      16 |   926727 |   170152 |    12193     30 |      520 |      475
248.35/248.45	c  248s |      16 |   929868 |   171052 |    12193     30 |      520 |      475
250.55/250.64	c  250s |      16 |   934363 |   172152 |    12193     30 |      520 |      475
252.55/252.65	c  252s |      16 |   939170 |   173552 |    12193     31 |      520 |      475
254.65/254.73	c  254s |      16 |   944676 |   175152 |    12193     31 |      520 |      475
256.75/256.80	c  256s |      16 |   949625 |   176552 |    12193     31 |      520 |      475
258.75/258.84	c  258s |      16 |   962305 |   178352 |    12193     32 |      520 |      475
260.76/260.87	c  260s |      16 |   965741 |   179152 |    12193     32 |      520 |      475
262.75/262.88	c  262s |      16 |   968359 |   179952 |    12193     32 |      520 |      475
264.85/264.98	c  264s |      16 |   969978 |   180652 |    12193     32 |      520 |      475
266.95/267.06	c  266s |      16 |   974500 |   181852 |    12193     32 |      520 |      475
268.95/269.07	c  268s |      16 |   984162 |   183952 |    12193     33 |      520 |      475
271.15/271.27	c  271s |      16 |   988250 |   185452 |    12193     33 |      520 |      475
273.24/273.35	c  273s |      16 |   990290 |   186152 |    12193     33 |      520 |      475
275.34/275.42	c  275s |      16 |   995808 |   187452 |    12193     34 |      520 |      475
277.34/277.42	c  277s |      16 |   999331 |   188552 |    12193     34 |      520 |      475
279.45/279.55	c  279s |      16 |  1003545 |   189652 |    12193     34 |      520 |      475
281.44/281.55	c  281s |      16 |  1006875 |   190552 |    12193     34 |      520 |      475
283.55/283.64	c  283s |      16 |  1009745 |   191452 |    12193     35 |      520 |      475
285.55/285.67	c  285s |      16 |  1013037 |   192852 |    12193     35 |      520 |      475
287.55/287.67	c  287s |      16 |  1015693 |   193952 |    12193     35 |      520 |      475
289.95/290.01	c  289s |      16 |  1018384 |   195052 |    12193     35 |      520 |      475
292.15/292.27	c  292s |      16 |  1019816 |   195852 |    12193     35 |      520 |      475
294.25/294.32	c  294s |      16 |  1023061 |   197052 |    13413     36 |      520 |      475
294.75/294.87	c  294s |      17 |  1024016 |   197432 |    13413     36 |      520 |      475
296.85/296.91	c  296s |      17 |  1036256 |   199432 |    13413     36 |      520 |      475
298.95/299.10	c  298s |      17 |  1042833 |   201032 |    13413     36 |      520 |      475
301.05/301.10	c  300s |      17 |  1049581 |   202632 |    13413     37 |      520 |      475
303.14/303.21	c  303s |      17 |  1057758 |   204532 |    13413     37 |      520 |      475
305.14/305.27	c  305s |      17 |  1060580 |   205432 |    13413     37 |      520 |      475
307.24/307.32	c  307s |      17 |  1067174 |   207032 |    13413     38 |      520 |      475
309.24/309.34	c  309s |      17 |  1070969 |   208332 |    13413     38 |      520 |      475
311.25/311.36	c  311s |      17 |  1073885 |   209432 |    13413     38 |      520 |      475
313.45/313.56	c  313s |      17 |  1075378 |   210232 |    13413     38 |      520 |      475
315.54/315.60	c  315s |      17 |  1081866 |   211832 |    13413     39 |      520 |      475
317.54/317.65	c  317s |      17 |  1087843 |   213532 |    13413     39 |      520 |      475
319.64/319.73	c  319s |      17 |  1090493 |   214632 |    13413     39 |      520 |      475
321.64/321.79	c  321s |      17 |  1093406 |   215532 |    13413     40 |      520 |      475
323.74/323.82	c  323s |      17 |  1098068 |   216932 |    13413     40 |      520 |      475
325.84/325.93	c  325s |      17 |  1101452 |   218132 |    13413     40 |      520 |      475
327.94/328.02	c  327s |      17 |  1103843 |   219232 |    13413     40 |      520 |      475
329.95/330.06	c  329s |      17 |  1106569 |   220332 |    13413     41 |      520 |      475
332.04/332.19	c  332s |      17 |  1109459 |   221532 |    13413     41 |      520 |      475
334.14/334.23	c  334s |      17 |  1114733 |   223032 |    13413     41 |      520 |      475
336.14/336.28	c  336s |      17 |  1119963 |   224332 |    13413     42 |      520 |      475
338.24/338.34	c  338s |      17 |  1132515 |   226632 |    13413     42 |      520 |      475
340.34/340.46	c  340s |      17 |  1140323 |   228232 |    13413     42 |      520 |      475
342.44/342.59	c  342s |      17 |  1146253 |   230032 |    13413     43 |      520 |      475
344.64/344.72	c  344s |      17 |  1148365 |   230932 |    13413     43 |      520 |      475
346.64/346.76	c  346s |      17 |  1152863 |   232132 |    13413     44 |      520 |      475
348.74/348.85	c  348s |      17 |  1166978 |   234032 |    13413     44 |      520 |      475
350.84/350.96	c  350s |      17 |  1169400 |   235132 |    13413     44 |      520 |      475
352.94/353.09	c  352s |      17 |  1171223 |   235932 |    13413     44 |      520 |      475
355.24/355.33	c  355s |      17 |  1174725 |   237332 |    13413     45 |      520 |      475
357.33/357.42	c  357s |      17 |  1181483 |   238832 |    13413     45 |      520 |      475
359.33/359.47	c  359s |      17 |  1192530 |   240632 |    13413     46 |      520 |      475
361.33/361.49	c  361s |      17 |  1196375 |   241832 |    13413     46 |      520 |      475
363.43/363.52	c  363s |      17 |  1200364 |   242832 |    13413     47 |      520 |      475
365.43/365.52	c  365s |      17 |  1205550 |   243932 |    13413     47 |      520 |      475
367.44/367.52	c  367s |      17 |  1215655 |   245832 |    13413     48 |      520 |      475
369.54/369.68	c  369s |      17 |  1220789 |   247132 |    13413     48 |      520 |      475
371.63/371.76	c  371s |      17 |  1228667 |   248732 |    13413     49 |      520 |      475
373.63/373.78	c  373s |      17 |  1233739 |   250132 |    13413     50 |      520 |      475
375.73/375.85	c  375s |      17 |  1239884 |   251632 |    13413     50 |      520 |      475
377.73/377.87	c  377s |      17 |  1249319 |   253432 |    13413     51 |      520 |      475
379.73/379.89	c  379s |      17 |  1254106 |   254432 |    13413     51 |      520 |      475
381.83/381.94	c  381s |      17 |  1261051 |   255932 |    13413     52 |      520 |      475
383.93/384.04	c  383s |      17 |  1269552 |   257732 |    13413     53 |      520 |      475
385.93/386.10	c  385s |      17 |  1274650 |   259032 |    13413     53 |      520 |      475
388.44/388.57	c  388s |      17 |  1276611 |   259632 |    13413     53 |      520 |      475
390.54/390.68	c  390s |      17 |  1278616 |   260232 |    13413     54 |      520 |      475
392.93/393.09	c  392s |      17 |  1281602 |   261232 |    13413     54 |      520 |      475
395.03/395.15	c  395s |      17 |  1290027 |   262732 |    13413     55 |      520 |      475
397.23/397.35	c  397s |      17 |  1294929 |   263632 |    13413     55 |      520 |      475
399.24/399.36	c  399s |      17 |  1297193 |   264432 |    13413     55 |      520 |      475
401.33/401.40	c  401s |      17 |  1308422 |   266232 |    13413     56 |      520 |      475
403.33/403.41	c  403s |      17 |  1313722 |   267932 |    13413     57 |      520 |      475
405.33/405.45	c  405s |      17 |  1323710 |   269932 |    13413     59 |      520 |      475
407.53/407.65	c  407s |      17 |  1330117 |   271532 |    13413     59 |      520 |      475
409.83/409.97	c  409s |      17 |  1336275 |   273132 |    13413     60 |      520 |      475
412.33/412.43	c  412s |      17 |  1337582 |   273632 |    13413     60 |      520 |      475
414.33/414.43	c  414s |      17 |  1342662 |   274832 |    13413     61 |      520 |      475
416.52/416.67	c  416s |      17 |  1352651 |   276832 |    13413     63 |      520 |      475
418.62/418.70	c  418s |      17 |  1361675 |   278732 |    13413     64 |      520 |      475
420.62/420.72	c  420s |      17 |  1366604 |   280232 |    13413     65 |      520 |      475
422.82/422.91	c  422s |      17 |  1370368 |   281632 |    13413     65 |      520 |      475
424.82/424.99	c  424s |      17 |  1377692 |   283432 |    13413     66 |      520 |      475
426.92/427.01	c  426s |      17 |  1382156 |   284832 |    13413     67 |      520 |      475
428.92/429.06	c  428s |      17 |  1385939 |   286332 |    13413     68 |      520 |      475
430.91/431.09	c  430s |      17 |  1389506 |   287432 |    13413     69 |      520 |      475
433.01/433.17	c  433s |      17 |  1393209 |   288532 |    13413     70 |      520 |      475
435.21/435.36	c  435s |      17 |  1397566 |   290032 |    13413     70 |      520 |      475
437.31/437.42	c  437s |      17 |  1401738 |   291432 |    13413     71 |      520 |      475
439.41/439.50	c  439s |      17 |  1406915 |   293032 |    13413     72 |      520 |      475
441.41/441.58	c  441s |      17 |  1410824 |   294432 |    14755     73 |      520 |      475
443.51/443.66	c  443s |      17 |  1413651 |   295632 |    14755     73 |      520 |      475
444.21/444.38	c  444s |      18 |  1415885 |   296252 |    14755     74 |      520 |      475
446.31/446.41	c  446s |      18 |  1431431 |   298652 |    14755     75 |      520 |      475
448.30/448.46	c  448s |      18 |  1440175 |   300752 |    14755     76 |      520 |      475
450.50/450.61	c  450s |      18 |  1445366 |   302452 |    14755     77 |      520 |      475
452.50/452.67	c  452s |      18 |  1453235 |   304252 |    14755     78 |      520 |      475
454.60/454.70	c  454s |      18 |  1456914 |   305452 |    14755     78 |      520 |      475
456.60/456.72	c  456s |      18 |  1461053 |   306852 |    14755     79 |      520 |      475
458.61/458.78	c  458s |      18 |  1468281 |   308652 |    14755     80 |      520 |      475
460.69/460.90	c  460s |      18 |  1479445 |   310652 |    14755     82 |      520 |      475
463.00/463.12	c  462s |      18 |  1484387 |   312252 |    14755     83 |      520 |      475
465.09/465.21	c  465s |      18 |  1492908 |   314152 |    14755     84 |      520 |      475
467.19/467.30	c  467s |      18 |  1500833 |   315952 |    14755     85 |      520 |      475
469.19/469.35	c  469s |      18 |  1509748 |   317752 |    14755     87 |      520 |      475
471.39/471.51	c  471s |      18 |  1514063 |   319152 |    14755     88 |      520 |      475
473.39/473.57	c  473s |      18 |  1519456 |   320652 |    14755     89 |      520 |      475
475.39/475.58	c  475s |      18 |  1524495 |   322252 |    14755     90 |      520 |      475
477.49/477.62	c  477s |      18 |  1530779 |   324152 |    14755     91 |      520 |      475
479.50/479.68	c  479s |      18 |  1536204 |   325752 |    14755     92 |      520 |      475
481.58/481.79	c  481s |      18 |  1542518 |   327652 |    14755     94 |      520 |      475
483.68/483.82	c  483s |      18 |  1545864 |   328652 |    14755     95 |      520 |      475
485.68/485.84	c  485s |      18 |  1550323 |   330052 |    14755     96 |      520 |      475
487.68/487.85	c  487s |      18 |  1555052 |   331352 |    14755     97 |      520 |      475
489.78/489.93	c  489s |      18 |  1564970 |   333152 |    14755    105 |      520 |      475
491.79/491.96	c  491s |      18 |  1572164 |   334652 |    14755    151 |      520 |      475
493.79/493.97	c  493s |      18 |  1578874 |   336252 |    14755    154 |      520 |      475
495.78/495.98	c  495s |      18 |  1583944 |   337852 |    14755    156 |      520 |      475
497.88/498.04	c  497s |      18 |  1592803 |   339852 |    14755    173 |      520 |      475
500.08/500.24	c  500s |      18 |  1597300 |   341152 |    14755    175 |      520 |      475
502.28/502.40	c  502s |      18 |  1603338 |   342952 |    14755    177 |      520 |      475
504.38/504.51	c  504s |      18 |  1608593 |   344452 |    14755    180 |      520 |      475
506.38/506.54	c  506s |      18 |  1615972 |   346252 |    14755    184 |      520 |      475
508.48/508.63	c  508s |      18 |  1621775 |   347552 |    14755    316 |      520 |      475
510.48/510.64	c  510s |      18 |  1627228 |   349152 |    14755    318 |      520 |      475
512.98/513.18	c  513s |      18 |  1632305 |   350352 |    14755    439 |      520 |      475
515.27/515.48	c  515s |      18 |  1639011 |   351452 |    14755    615 |      520 |      475
517.47/517.67	c  517s |      18 |  1642328 |   352052 |    14755    839 |      520 |      475
519.67/519.87	c  519s |      18 |  1647693 |   352752 |    14755   1077 |      520 |      475
522.27/522.41	c  522s |      18 |  1654876 |   353952 |    14755   1296 |      520 |      475
525.18/525.37	c  525s |      18 |  1656737 |   354152 |    14755   1785 |      520 |      475
527.57/527.78	c  527s |      18 |  1658822 |   354352 |    14755   2190 |      520 |      475
529.77/529.96	c  529s |      18 |  1661328 |   354752 |    14755   2424 |      520 |      475
532.57/532.72	c  532s |      18 |  1665473 |   355352 |    14755   2801 |      520 |      475
534.57/534.77	c  534s |      18 |  1674589 |   357552 |    14755   2807 |      520 |      475
536.67/536.84	c  536s |      18 |  1682454 |   359752 |    14755   2815 |      520 |      475
538.87/539.00	c  538s |      18 |  1689051 |   361252 |    14755   2945 |      520 |      475
541.27/541.45	c  541s |      18 |  1691637 |   361752 |    14755   3273 |      520 |      475
543.27/543.48	c  543s |      18 |  1694328 |   362652 |    14755   3472 |      520 |      475
546.16/546.37	c  546s |      18 |  1695683 |   362952 |    14755   3858 |      520 |      475
548.36/548.50	c  548s |      18 |  1697653 |   363252 |    14755   4151 |      520 |      475
550.66/550.87	c  550s |      18 |  1699279 |   363752 |    14755   4405 |      520 |      475
553.06/553.25	c  553s |      18 |  1702469 |   364552 |    14755   4666 |      520 |      475
555.16/555.38	c  555s |      18 |  1704161 |   365152 |    14755   4906 |      520 |      475
557.46/557.70	c  557s |      18 |  1706270 |   365652 |    14755   5208 |      520 |      475
561.86/562.08	c  561s |      18 |  1709350 |   366352 |    14755   5782 |      520 |      475
564.16/564.30	c  564s |      18 |  1712659 |   367052 |    14755   6040 |      520 |      475
566.85/567.02	c  566s |      18 |  1714961 |   367752 |    14755   6299 |      520 |      475
569.25/569.44	c  569s |      18 |  1718777 |   368552 |    14755   6574 |      520 |      475
573.15/573.36	c  573s |      18 |  1720401 |   368752 |    14755   7209 |      521 |      476
576.06/576.27	c  576s |      18 |  1721569 |   368852 |    14755   7686 |      521 |      476
578.36/578.53	c  578s |      18 |  1722799 |   368952 |    14755   8058 |      521 |      476
581.86/582.04	c  581s |      18 |  1724414 |   369152 |    14755   8567 |      521 |      476
585.36/585.50	c  585s |      18 |  1726279 |   369352 |    14755   9147 |      521 |      476
587.65/587.83	c  587s |      18 |  1727297 |   369452 |    14755   9548 |      521 |      476
598.15/598.33	c  598s |      18 |  1731227 |   369852 |    14755  11290 |      522 |      477
603.45/603.61	c  603s |      18 |  1732794 |   370052 |    14755  12175 |      522 |      477
607.05/607.26	c  607s |      18 |  1735116 |   370352 |    14755  12748 |      522 |      477
610.75/610.99	c  610s |      18 |  1736735 |   370552 |    14755  13357 |      522 |      477
615.54/615.76	c  615s |      18 |  1738233 |   370752 |    14755  14144 |      522 |      477
618.35/618.54	c  618s |      18 |  1739179 |   370952 |    14755  14584 |      522 |      477
621.04/621.28	c  621s |      18 |  1741366 |   371352 |    14755  14988 |      522 |      477
623.55/623.73	c  623s |      18 |  1743069 |   371652 |    14755  15333 |      522 |      477
628.94/629.11	c  628s |      18 |  1744913 |   371952 |    14755  16205 |      522 |      477
635.04/635.26	c  635s |      18 |  1747303 |   372152 |    14755  17230 |      522 |      477
637.14/637.33	c  637s |      18 |  1748358 |   372352 |    14755  17547 |      522 |      477
640.93/641.13	c  640s |      18 |  1749643 |   372552 |    14755  18165 |      522 |      477
644.44/644.62	c  644s |      18 |  1751388 |   372752 |    14755  18726 |      522 |      477
651.53/651.77	c  651s |      18 |  1753410 |   372952 |    14755  19916 |      522 |      477
654.03/654.21	c  654s |      18 |  1754742 |   373252 |    14755  20284 |      522 |      477
656.42/656.62	c  656s |      18 |  1755634 |   373352 |    14755  20677 |      522 |      477
659.12/659.34	c  659s |      18 |  1757671 |   373652 |    14755  21105 |      522 |      477
662.13/662.36	c  662s |      18 |  1758651 |   373852 |    14755  21596 |      522 |      477
665.82/666.01	c  665s |      18 |  1759471 |   373952 |    14755  22212 |      522 |      477
668.73/668.95	c  668s |      18 |  1760299 |   374052 |    14755  22689 |      522 |      477
671.02/671.21	c  671s |      18 |  1760985 |   374152 |    14755  23048 |      522 |      477
675.12/675.30	c  675s |      18 |  1761752 |   374252 |    14755  23730 |      522 |      477
677.22/677.44	c  677s |      18 |  1762288 |   374352 |    14755  24085 |      522 |      477
679.62/679.82	c  679s |      18 |  1762819 |   374452 |    14755  24472 |      522 |      477
683.02/683.25	c  683s |      18 |  1763985 |   374652 |    14755  25024 |      522 |      477
685.22/685.48	c  685s |      18 |  1764569 |   374852 |    14755  25366 |      522 |      477
687.52/687.70	c  687s |      18 |  1765426 |   375052 |    14755  25718 |      522 |      477
690.31/690.58	c  690s |      18 |  1766893 |   375452 |    14755  26157 |      522 |      477
693.71/693.99	c  693s |      18 |  1767603 |   375552 |    14755  26708 |      522 |      477
697.51/697.75	c  697s |      18 |  1768508 |   375752 |    14755  27314 |      522 |      477
699.81/700.02	c  699s |      18 |  1769132 |   375952 |    14755  27659 |      522 |      477
701.91/702.15	c  701s |      18 |  1769625 |   376052 |    14755  27995 |      522 |      477
704.31/704.56	c  704s |      18 |  1770371 |   376252 |    14755  28369 |      522 |      477
706.30/706.59	c  706s |      18 |  1772048 |   376752 |    14755  28622 |      522 |      477
708.40/708.69	c  708s |      18 |  1773804 |   377552 |    14755  28799 |      522 |      477
711.11/711.33	c  711s |      18 |  1775743 |   378152 |    14755  29125 |      522 |      477
713.20/713.43	c  713s |      18 |  1776322 |   378352 |    14755  29430 |      522 |      477
715.30/715.50	c  715s |      18 |  1776757 |   378552 |    14755  29730 |      522 |      477
718.21/718.44	c  718s |      18 |  1777353 |   378752 |    14755  30177 |      522 |      477
722.51/722.79	c  722s |      18 |  1778312 |   378952 |    14755  30827 |      522 |      477
725.51/725.75	c  725s |      18 |  1779386 |   379152 |    14755  31264 |      522 |      477
729.90/730.11	c  729s |      18 |  1780534 |   379352 |    14755  31954 |      522 |      477
732.70/732.93	c  732s |      18 |  1781111 |   379452 |    14755  32396 |      522 |      477
736.10/736.38	c  736s |      18 |  1782037 |   379552 |    14755  32951 |      522 |      477
739.60/739.86	c  739s |      18 |  1782675 |   379652 |    14755  33502 |      522 |      477
741.80/742.00	c  741s |      18 |  1784634 |   380052 |    14755  33784 |      522 |      477
751.89/752.16	c  752s |      18 |  1787131 |   380252 |    14755  35446 |      523 |      478
755.20/755.48	c  755s |      18 |  1787730 |   380352 |    14755  35986 |      523 |      478
757.70/757.91	c  757s |      18 |  1788157 |   380452 |    14755  36376 |      523 |      478
761.48/761.78	c  761s |      18 |  1789325 |   380552 |    14755  37000 |      523 |      478
764.59/764.81	c  764s |      18 |  1789961 |   380652 |    14755  37482 |      523 |      478
770.18/770.47	c  770s |      18 |  1791390 |   380852 |    14755  38371 |      523 |      478
772.59/772.81	c  772s |      18 |  1792048 |   381052 |    14755  38679 |      523 |      478
775.29/775.56	c  775s |      18 |  1793098 |   381352 |    14755  39054 |      523 |      478
778.18/778.49	c  778s |      18 |  1794081 |   381552 |    14755  39497 |      523 |      478
780.28/780.57	c  780s |      18 |  1795218 |   381852 |    14755  39781 |      523 |      478
783.18/783.45	c  783s |      18 |  1796495 |   382152 |    14755  40187 |      523 |      478
785.78/786.06	c  785s |      18 |  1797501 |   382452 |    14755  40544 |      523 |      478
788.08/788.35	c  788s |      18 |  1798720 |   382852 |    14755  40833 |      523 |      478
791.48/791.72	c  791s |      18 |  1799643 |   383152 |    14755  41278 |      523 |      478
793.58/793.83	c  793s |      18 |  1800321 |   383352 |    14755  41577 |      523 |      478
796.37/796.61	c  796s |      18 |  1801081 |   383652 |    14755  41983 |      523 |      478
800.18/800.47	c  800s |      18 |  1801943 |   383852 |    14755  42579 |      523 |      478
802.47/802.76	c  802s |      18 |  1802678 |   384052 |    14755  42910 |      523 |      478
804.67/804.97	c  804s |      18 |  1803515 |   384252 |    14755  43232 |      523 |      478
806.97/807.29	c  807s |      18 |  1804405 |   384552 |    14755  43544 |      523 |      478
809.08/809.37	c  809s |      18 |  1805538 |   384852 |    14755  43819 |      523 |      478
811.68/811.96	c  811s |      18 |  1806328 |   385052 |    14755  44193 |      523 |      478
814.07/814.39	c  814s |      18 |  1806863 |   385152 |    14755  44559 |      523 |      478
817.08/817.31	c  817s |      18 |  1807537 |   385352 |    14755  44990 |      523 |      478
819.58/819.80	c  819s |      18 |  1808304 |   385452 |    14755  45370 |      523 |      478
821.97/822.23	c  822s |      18 |  1809185 |   385652 |    14755  45719 |      523 |      478
825.97/826.27	c  826s |      18 |  1810019 |   385852 |    14755  46332 |      523 |      478
828.28/828.55	c  828s |      18 |  1810573 |   385952 |    14755  46683 |      523 |      478
831.77/832.00	c  831s |      18 |  1811199 |   386152 |    14755  47196 |      523 |      478
835.17/835.49	c  835s |      18 |  1812049 |   386352 |    14755  47717 |      523 |      478
837.27/837.54	c  837s |      18 |  1812944 |   386652 |    14755  48000 |      523 |      478
839.77/840.03	c  839s |      18 |  1813991 |   386952 |    14755  48343 |      523 |      478
841.77/842.08	c  841s |      18 |  1814602 |   387052 |    14755  48643 |      523 |      478
844.46/844.71	c  844s |      18 |  1815177 |   387152 |    14755  49037 |      523 |      478
846.77/847.07	c  846s |      18 |  1815903 |   387452 |    14755  49366 |      523 |      478
848.86/849.11	c  848s |      18 |  1816250 |   387552 |    14755  49664 |      523 |      478
851.76/852.06	c  851s |      18 |  1816984 |   387752 |    14755  50080 |      523 |      478
854.26/854.53	c  854s |      18 |  1817410 |   387952 |    14755  50405 |      523 |      478
856.26/856.57	c  856s |      18 |  1817847 |   388152 |    14755  50673 |      523 |      478
858.66/858.96	c  858s |      18 |  1818250 |   388252 |    14755  51024 |      523 |      478
862.16/862.43	c  862s |      18 |  1818876 |   388452 |    14755  51515 |      523 |      478
864.36/864.63	c  864s |      18 |  1819551 |   388652 |    14755  51809 |      523 |      478
867.35/867.66	c  867s |      18 |  1820222 |   388852 |    14755  52233 |      523 |      478
870.64/870.91	c  870s |      18 |  1821217 |   389152 |    14755  52668 |      523 |      478
873.05/873.36	c  873s |      18 |  1821674 |   389352 |    14755  53000 |      523 |      478
876.25/876.53	c  876s |      18 |  1822567 |   389552 |    14755  53459 |      523 |      478
881.35/881.61	c  881s |      18 |  1823653 |   389752 |    14755  54204 |      523 |      478
885.84/886.11	c  885s |      18 |  1824560 |   389952 |    14755  54846 |      523 |      478
887.84/888.13	c  887s |      18 |  1824987 |   390052 |    14755  55139 |      523 |      478
890.85/891.14	c  890s |      18 |  1825538 |   390252 |    14755  55566 |      523 |      478
893.54/893.85	c  893s |      18 |  1826149 |   390452 |    14755  55950 |      523 |      478
897.04/897.30	c  897s |      18 |  1826682 |   390652 |    14755  56445 |      523 |      478
899.65/899.94	c  899s |      18 |  1827176 |   390852 |    14755  56803 |      523 |      478
903.43/903.72	c  903s |      18 |  1827849 |   391052 |    14755  57339 |      523 |      478
906.63/906.95	c  906s |      18 |  1828461 |   391252 |    14755  57804 |      523 |      478
909.23/909.50	c  909s |      18 |  1829130 |   391452 |    14755  58164 |      523 |      478
911.93/912.20	c  912s |      18 |  1829819 |   391752 |    14755  58521 |      523 |      478
915.53/915.86	c  915s |      18 |  1830439 |   391952 |    14755  59038 |      523 |      478
917.53/917.87	c  917s |      18 |  1830962 |   392052 |    14755  59324 |      523 |      478
919.72/920.01	c  919s |      18 |  1831373 |   392252 |    14755  59615 |      523 |      478
922.23/922.56	c  922s |      18 |  1831932 |   392352 |    14755  59987 |      523 |      478
924.62/924.94	c  924s |      18 |  1832396 |   392552 |    14755  60302 |      523 |      478
927.13/927.48	c  927s |      18 |  1833322 |   392852 |    14755  60627 |      523 |      478
930.52/930.84	c  930s |      18 |  1833930 |   393052 |    14755  61102 |      523 |      478
935.22/935.51	c  935s |      18 |  1834653 |   393152 |    14755  61808 |      523 |      478
937.31/937.67	c  937s |      18 |  1835009 |   393252 |    14755  62125 |      523 |      478
939.81/940.11	c  939s |      18 |  1835439 |   393352 |    14755  62482 |      523 |      478
944.41/944.76	c  944s |      18 |  1836313 |   393552 |    14755  63164 |      523 |      478
947.72/948.03	c  947s |      18 |  1836915 |   393752 |    14755  63627 |      523 |      478
952.00/952.36	c  952s |      18 |  1837590 |   393952 |    14755  64235 |      523 |      478
954.90/955.23	c  955s |      18 |  1838162 |   394152 |    14755  64635 |      523 |      478
957.51/957.87	c  957s |      18 |  1838687 |   394352 |    14755  65004 |      523 |      478
959.90/960.23	c  960s |      18 |  1839184 |   394552 |    14755  65326 |      523 |      478
962.40/962.78	c  962s |      18 |  1839693 |   394752 |    14755  65671 |      523 |      478
965.40/965.70	c  965s |      18 |  1840302 |   394952 |    14755  66074 |      523 |      478
967.89/968.25	c  968s |      18 |  1840766 |   395052 |    14755  66443 |      523 |      478
970.79/971.19	c  971s |      18 |  1841270 |   395252 |    14755  66844 |      523 |      478
974.30/974.69	c  974s |      18 |  1841985 |   395452 |    14755  67351 |      523 |      478
977.39/977.76	c  977s |      18 |  1842516 |   395552 |    14755  67802 |      523 |      478
979.69/980.09	c  979s |      18 |  1842910 |   395652 |    14755  68137 |      523 |      478
983.48/983.84	c  983s |      18 |  1843785 |   395852 |    14755  68670 |      523 |      478
985.69/986.06	c  985s |      18 |  1844306 |   396052 |    14755  68970 |      523 |      478
987.79/988.17	c  988s |      18 |  1844691 |   396152 |    14755  69271 |      523 |      478
989.79/990.18	c  990s |      18 |  1844988 |   396252 |    14755  69553 |      523 |      478
992.48/992.88	c  992s |      18 |  1845563 |   396452 |    14755  69907 |      523 |      478
995.68/996.06	c  995s |      18 |  1846076 |   396652 |    14755  70340 |      523 |      478
999.28/999.67	c  999s |      18 |  1846688 |   396852 |    14755  70844 |      523 |      478
1003.08/1003.49	c 1003s |      18 |  1847290 |   397052 |    14755  71376 |      523 |      478
1006.08/1006.48	c 1006s |      18 |  1847760 |   397252 |    14755  71783 |      523 |      478
1008.68/1009.03	c 1008s |      18 |  1848213 |   397352 |    14755  72144 |      523 |      478
1012.57/1012.95	c 1012s |      18 |  1848960 |   397552 |    14755  72679 |      523 |      478
1015.27/1015.68	c 1015s |      18 |  1849435 |   397652 |    14755  73060 |      523 |      478
1018.56/1018.96	c 1018s |      18 |  1850088 |   397752 |    14755  73529 |      523 |      478
1020.76/1021.14	c 1020s |      18 |  1850446 |   397852 |    14755  73822 |      523 |      478
1025.76/1026.10	c 1025s |      18 |  1851331 |   398052 |    14755  74504 |      523 |      478
1029.76/1030.19	c 1030s |      18 |  1852099 |   398252 |    14755  75073 |      523 |      478
1032.06/1032.45	c 1032s |      18 |  1852413 |   398352 |    14755  75373 |      523 |      478
1034.65/1035.09	c 1034s |      18 |  1852810 |   398452 |    14755  75731 |      523 |      478
1040.36/1040.74	c 1040s |      18 |  1853678 |   398652 |    14755  76496 |      523 |      478
1044.05/1044.44	c 1044s |      18 |  1854340 |   398752 |    14755  77003 |      523 |      478
1046.75/1047.18	c 1047s |      18 |  1854837 |   398852 |    14755  77377 |      523 |      478
1049.25/1049.68	c 1049s |      18 |  1855285 |   398952 |    14755  77711 |      523 |      478
1052.05/1052.47	c 1052s |      18 |  1855715 |   399052 |    14755  78091 |      523 |      478
1054.45/1054.80	c 1054s |      18 |  1856119 |   399152 |    14755  78403 |      523 |      478
1058.75/1059.10	c 1058s |      18 |  1856813 |   399352 |    14755  78969 |      523 |      478
1062.95/1063.33	c 1063s |      18 |  1857447 |   399552 |    14755  79524 |      523 |      478
1067.25/1067.70	c 1067s |      18 |  1858145 |   399752 |    14755  80095 |      523 |      478
1069.65/1070.00	c 1069s |      18 |  1858474 |   399852 |    14755  80397 |      523 |      478
1072.26/1072.67	c 1072s |      18 |  1858855 |   399952 |    14755  80753 |      523 |      478
1075.25/1075.62	c 1075s |      18 |  1859358 |   400152 |    14755  81118 |      523 |      478
1077.35/1077.74	c 1077s |      18 |  1859892 |   400352 |    14755  81372 |      523 |      478
1079.44/1079.86	c 1079s |      18 |  1860194 |   400452 |    14755  81644 |      523 |      478
1082.75/1083.11	c 1082s |      18 |  1860807 |   400652 |    14755  82022 |      523 |      478
1084.85/1085.21	c 1085s |      18 |  1861193 |   400852 |    14755  82258 |      523 |      478
1087.35/1087.70	c 1087s |      18 |  1861637 |   401052 |    14755  82547 |      523 |      478
1090.85/1091.24	c 1091s |      18 |  1862367 |   401252 |    14755  82989 |      523 |      478
1093.05/1093.46	c 1093s |      18 |  1862738 |   401352 |    14755  83276 |      523 |      478
1095.75/1096.13	c 1095s |      18 |  1863204 |   401552 |    14755  83610 |      523 |      478
1097.84/1098.25	c 1098s |      18 |  1863595 |   401652 |    14755  83896 |      523 |      478
1100.85/1101.27	c 1101s |      18 |  1864152 |   401852 |    14755  84275 |      523 |      478
1104.65/1105.06	c 1104s |      18 |  1864801 |   402052 |    14755  84759 |      523 |      478
1107.45/1107.83	c 1107s |      18 |  1865240 |   402152 |    14755  85131 |      523 |      478
1111.45/1111.85	c 1111s |      18 |  1865887 |   402352 |    14755  85652 |      523 |      478
1113.95/1114.40	c 1114s |      18 |  1866284 |   402452 |    14755  85987 |      523 |      478
1116.15/1116.52	c 1116s |      18 |  1866562 |   402552 |    14755  86264 |      523 |      478
1118.65/1119.06	c 1118s |      18 |  1866922 |   402652 |    14755  86587 |      523 |      478
1120.74/1121.19	c 1121s |      18 |  1867325 |   402752 |    14755  86842 |      523 |      478
1122.75/1123.20	c 1123s |      18 |  1868042 |   403052 |    14755  87040 |      523 |      478
1128.14/1128.56	c 1128s |      18 |  1868865 |   403252 |    14755  87744 |      523 |      478
1133.24/1133.68	c 1133s |      18 |  1869617 |   403452 |    14755  88418 |      523 |      478
1136.05/1136.48	c 1136s |      18 |  1869994 |   403552 |    14755  88755 |      523 |      478
1139.74/1140.12	c 1139s |      18 |  1870485 |   403752 |    14755  89221 |      523 |      478
1142.14/1142.59	c 1142s |      18 |  1870857 |   403852 |    14755  89528 |      523 |      478
1146.44/1146.86	c 1146s |      18 |  1871440 |   404052 |    14755  90067 |      523 |      478
1150.24/1150.63	c 1150s |      18 |  1872013 |   404252 |    14755  90551 |      523 |      478
1152.73/1153.19	c 1153s |      18 |  1872391 |   404352 |    14755  90883 |      523 |      478
1154.84/1155.20	c 1155s |      18 |  1872685 |   404452 |    14755  91145 |      523 |      478
1157.24/1157.60	c 1157s |      18 |  1873023 |   404552 |    14755  91452 |      523 |      478
1159.53/1159.95	c 1159s |      18 |  1873373 |   404652 |    14755  91748 |      523 |      478
1163.34/1163.72	c 1163s |      18 |  1873862 |   404852 |    14755  92215 |      523 |      478
1166.94/1167.37	c 1167s |      18 |  1874351 |   405052 |    14755  92657 |      523 |      478
1170.53/1170.97	c 1170s |      18 |  1874860 |   405252 |    14755  93096 |      523 |      478
1174.64/1175.03	c 1174s |      18 |  1875377 |   405452 |    14755  93596 |      523 |      478
1177.23/1177.68	c 1177s |      18 |  1875753 |   405552 |    14755  93929 |      523 |      478
1180.73/1181.16	c 1181s |      18 |  1876282 |   405652 |    14755  94382 |      523 |      478
1183.03/1183.40	c 1183s |      18 |  1876598 |   405752 |    14755  94660 |      523 |      478
1186.73/1187.17	c 1187s |      18 |  1877171 |   405952 |    14755  95110 |      523 |      478
1190.23/1190.66	c 1190s |      18 |  1877641 |   406052 |    14755  95560 |      523 |      478
1194.93/1195.36	c 1195s |      18 |  1878308 |   406152 |    14755  96178 |      523 |      478
1199.22/1199.65	c 1199s |      18 |  1878848 |   406252 |    14755  96718 |      523 |      478
1201.23/1201.67	c 1201s |      18 |  1879096 |   406352 |    14755  96966 |      523 |      478
1203.53/1203.99	c 1203s |      18 |  1879412 |   406452 |    14755  97255 |      523 |      478
1205.93/1206.32	c 1206s |      18 |  1879706 |   406552 |    14755  97548 |      523 |      478
1210.33/1210.74	c 1210s |      18 |  1880278 |   406752 |    14755  98093 |      523 |      478
1212.73/1213.19	c 1213s |      18 |  1880584 |   406852 |    14755  98399 |      523 |      478
1215.83/1216.27	c 1216s |      18 |  1881012 |   406952 |    14755  98808 |      523 |      478
1222.23/1222.69	c 1222s |      18 |  1881945 |   407052 |    14755  99673 |      523 |      478
1225.83/1226.25	c 1226s |      18 |  1882425 |   407152 |    14755 100139 |      523 |      478
1233.83/1234.25	c 1234s |      18 |  1883490 |   407252 |    14755 101201 |      523 |      478
1237.73/1238.17	c 1238s |      18 |  1884012 |   407352 |    14755 101710 |      523 |      478
1240.62/1241.01	c 1240s |      18 |  1884449 |   407452 |    14755 102077 |      523 |      478
1246.22/1246.66	c 1246s |      18 |  1885286 |   407652 |    14755 102801 |      523 |      478
1250.82/1251.29	c 1251s |      18 |  1885875 |   407852 |    14755 103390 |      523 |      478
1254.32/1254.77	c 1254s |      18 |  1886321 |   407952 |    14755 103836 |      523 |      478
1259.82/1260.25	c 1260s |      18 |  1887006 |   408052 |    14755 104521 |      523 |      478
1262.22/1262.69	c 1262s |      18 |  1887321 |   408152 |    14755 104830 |      523 |      478
1264.42/1264.82	c 1264s |      18 |  1887596 |   408252 |    14755 105105 |      523 |      478
1267.02/1267.42	c 1267s |      18 |  1887931 |   408352 |    14755 105440 |      523 |      478
1271.33/1271.72	c 1271s |      18 |  1888485 |   408552 |    14755 105994 |      523 |      478
1274.82/1275.27	c 1275s |      18 |  1888944 |   408652 |    14755 106453 |      523 |      478
1280.41/1280.80	c 1280s |      18 |  1889684 |   408752 |    14755 107179 |      523 |      478
1292.52/1292.93	c 1292s |      18 |  1891362 |   408852 |    14755 108827 |      523 |      478
1300.21/1300.69	c 1300s |      18 |  1892391 |   408952 |    14755 109856 |      523 |      478
1311.21/1311.60	c 1311s |      18 |  1893846 |   409052 |    14755 111311 |      523 |      478
1314.12/1314.59	c 1314s |      18 |  1894187 |   409252 |    14755 111652 |      523 |      478
1316.42/1316.87	c 1316s |      18 |  1894473 |   409352 |    14755 111937 |      523 |      478
1323.81/1324.25	c 1324s |      18 |  1895402 |   409552 |    14755 112866 |      523 |      478
1326.41/1326.89	c 1326s |      18 |  1895735 |   409652 |    14755 113199 |      523 |      478
1328.81/1329.23	c 1329s |      18 |  1896031 |   409752 |    14755 113495 |      523 |      478
1334.11/1334.59	c 1334s |      18 |  1896729 |   409852 |    14755 114183 |      523 |      478
1337.51/1337.91	c 1337s |      18 |  1897153 |   410052 |    14755 114586 |      523 |      478
1341.41/1341.88	c 1341s |      18 |  1897693 |   410252 |    14755 115069 |      523 |      478
1344.21/1344.61	c 1344s |      18 |  1898105 |   410452 |    14755 115394 |      523 |      478
1347.51/1347.98	c 1347s |      18 |  1898601 |   410652 |    14755 115805 |      523 |      478
1350.90/1351.38	c 1351s |      18 |  1899066 |   410852 |    14755 116214 |      523 |      478
1353.20/1353.68	c 1353s |      18 |  1899381 |   410952 |    14755 116495 |      523 |      478
1356.11/1356.55	c 1356s |      18 |  1899742 |   411052 |    14755 116852 |      523 |      478
1359.91/1360.32	c 1360s |      18 |  1900273 |   411252 |    14755 117304 |      523 |      478
1363.40/1363.80	c 1363s |      18 |  1900759 |   411452 |    14755 117721 |      523 |      478
1366.41/1366.80	c 1366s |      18 |  1901140 |   411652 |    14755 118067 |      523 |      478
1369.40/1369.89	c 1369s |      18 |  1901578 |   411852 |    14755 118425 |      523 |      478
1372.00/1372.47	c 1372s |      18 |  1901892 |   411952 |    14755 118718 |      523 |      478
1374.90/1375.31	c 1375s |      18 |  1902241 |   412052 |    14755 119065 |      523 |      478
1377.50/1377.94	c 1377s |      18 |  1902578 |   412152 |    14755 119402 |      523 |      478
1380.90/1381.35	c 1381s |      18 |  1903029 |   412252 |    14755 119846 |      523 |      478
1385.00/1385.43	c 1385s |      18 |  1903558 |   412452 |    14755 120370 |      523 |      478
1387.71/1388.14	c 1387s |      18 |  1903888 |   412552 |    14755 120700 |      523 |      478
1391.21/1391.64	c 1391s |      18 |  1904368 |   412652 |    14755 121160 |      523 |      478
1395.10/1395.55	c 1395s |      18 |  1904904 |   412752 |    14755 121674 |      523 |      478
1398.40/1398.85	c 1398s |      18 |  1905344 |   412852 |    14755 122111 |      523 |      478
1402.40/1402.87	c 1402s |      18 |  1905829 |   412952 |    14755 122596 |      523 |      478
1406.51/1406.95	c 1406s |      18 |  1906346 |   413152 |    14755 123113 |      523 |      478
1409.50/1409.96	c 1409s |      18 |  1906732 |   413252 |    14755 123499 |      523 |      478
1412.79/1413.29	c 1413s |      18 |  1907158 |   413352 |    14755 123925 |      523 |      478
1415.30/1415.73	c 1415s |      18 |  1907461 |   413452 |    14755 124228 |      523 |      478
1417.89/1418.37	c 1418s |      18 |  1907781 |   413552 |    14755 124548 |      523 |      478
1423.11/1423.54	c 1423s |      18 |  1908428 |   413752 |    14755 125195 |      523 |      478
1425.30/1425.71	c 1425s |      18 |  1908700 |   413852 |    14755 125466 |      523 |      478
1429.29/1429.75	c 1429s |      18 |  1909210 |   414052 |    14755 125966 |      523 |      478
1432.19/1432.68	c 1432s |      18 |  1909554 |   414252 |    14755 126296 |      523 |      478
1434.90/1435.30	c 1435s |      18 |  1909888 |   414352 |    14755 126630 |      523 |      478
1438.69/1439.16	c 1439s |      18 |  1910359 |   414552 |    14755 127101 |      523 |      478
1441.99/1442.46	c 1442s |      18 |  1910764 |   414752 |    14755 127506 |      523 |      478
1444.19/1444.66	c 1444s |      18 |  1911038 |   414852 |    14755 127780 |      523 |      478
1447.40/1447.84	c 1447s |      18 |  1911424 |   415052 |    14755 128166 |      523 |      478
1451.09/1451.52	c 1451s |      18 |  1911883 |   415252 |    14755 128615 |      523 |      478
1455.19/1455.67	c 1455s |      18 |  1912403 |   415452 |    14755 129133 |      523 |      478
1458.89/1459.34	c 1459s |      18 |  1912846 |   415652 |    14755 129572 |      523 |      478
1461.50/1461.94	c 1461s |      18 |  1913167 |   415752 |    14755 129893 |      523 |      478
1465.09/1465.51	c 1465s |      18 |  1913592 |   415952 |    14755 130313 |      523 |      478
1469.08/1469.60	c 1469s |      18 |  1914076 |   416152 |    14755 130792 |      523 |      478
1471.89/1472.36	c 1472s |      18 |  1914434 |   416252 |    14755 131150 |      523 |      478
1476.19/1476.66	c 1476s |      18 |  1914978 |   416452 |    14755 131694 |      523 |      478
1480.98/1481.48	c 1481s |      18 |  1915583 |   416652 |    14755 132299 |      523 |      478
1484.19/1484.65	c 1484s |      18 |  1915955 |   416852 |    14755 132671 |      523 |      478
1487.29/1487.73	c 1487s |      18 |  1916349 |   416952 |    14755 133065 |      523 |      478
1490.68/1491.14	c 1490s |      18 |  1916767 |   417152 |    14755 133483 |      523 |      478
1494.68/1495.16	c 1495s |      18 |  1917251 |   417352 |    14755 133967 |      523 |      478
1498.79/1499.23	c 1499s |      18 |  1917744 |   417552 |    14755 134460 |      523 |      478
1500.89/1501.32	c 1501s |      18 |  1918008 |   417652 |    14755 134724 |      523 |      478
1504.49/1504.91	c 1504s |      18 |  1918454 |   417852 |    14755 135170 |      523 |      478
1506.98/1507.43	c 1507s |      18 |  1918769 |   417952 |    14755 135485 |      523 |      478
1510.48/1510.91	c 1510s |      18 |  1919192 |   418152 |    14755 135906 |      523 |      478
1512.78/1513.27	c 1513s |      18 |  1919480 |   418252 |    14755 136192 |      523 |      478
1516.88/1517.32	c 1517s |      18 |  1919948 |   418452 |    14755 136658 |      523 |      478
1519.58/1520.06	c 1519s |      18 |  1920291 |   418552 |    14755 137001 |      523 |      478
1523.28/1523.76	c 1523s |      18 |  1920737 |   418752 |    14755 137447 |      523 |      478
1525.78/1526.24	c 1526s |      18 |  1921052 |   418852 |    14755 137762 |      523 |      478
1529.69/1530.18	c 1530s |      18 |  1921538 |   419052 |    14755 138248 |      523 |      478
1532.28/1532.79	c 1532s |      18 |  1921865 |   419152 |    14755 138575 |      523 |      478
1535.29/1535.78	c 1535s |      18 |  1922250 |   419252 |    14755 138960 |      523 |      478
1537.48/1537.94	c 1537s |      18 |  1922519 |   419352 |    14755 139229 |      523 |      478
1539.58/1540.07	c 1539s |      18 |  1922789 |   419452 |    14755 139499 |      523 |      478
1541.88/1542.34	c 1542s |      18 |  1923072 |   419552 |    14755 139782 |      523 |      478
1546.58/1547.08	c 1546s |      18 |  1923655 |   419752 |    14755 140365 |      523 |      478
1549.08/1549.51	c 1549s |      18 |  1923955 |   419852 |    14755 140665 |      523 |      478
1552.38/1552.82	c 1552s |      18 |  1924374 |   419952 |    14755 141084 |      523 |      478
1554.87/1555.37	c 1555s |      18 |  1924681 |   420052 |    14755 141391 |      523 |      478
1558.47/1558.97	c 1558s |      18 |  1925141 |   420152 |    14755 141851 |      523 |      478
1562.27/1562.72	c 1562s |      18 |  1925604 |   420352 |    14755 142314 |      523 |      478
1564.78/1565.30	c 1565s |      18 |  1925926 |   420452 |    14755 142636 |      523 |      478
1567.08/1567.52	c 1567s |      18 |  1926192 |   420552 |    14755 142902 |      523 |      478
1570.27/1570.73	c 1570s |      18 |  1926601 |   420652 |    14755 143311 |      523 |      478
1572.88/1573.31	c 1573s |      18 |  1926920 |   420752 |    14755 143630 |      523 |      478
1575.77/1576.23	c 1576s |      18 |  1927285 |   420852 |    14755 143995 |      523 |      478
1578.27/1578.75	c 1578s |      18 |  1927588 |   420952 |    14755 144298 |      523 |      478
1581.38/1581.86	c 1581s |      18 |  1927982 |   421052 |    14755 144692 |      523 |      478
1584.87/1585.38	c 1585s |      18 |  1928435 |   421152 |    14755 145145 |      523 |      478
1587.87/1588.38	c 1588s |      18 |  1928810 |   421252 |    14755 145520 |      523 |      478
1592.77/1593.26	c 1593s |      18 |  1929370 |   421452 |    14755 146080 |      523 |      478
1596.47/1596.90	c 1596s |      18 |  1929803 |   421652 |    14755 146513 |      523 |      478
1599.47/1599.91	c 1599s |      18 |  1930186 |   421752 |    14755 146896 |      523 |      478
1601.76/1602.27	c 1602s |      18 |  1930477 |   421852 |    14755 147187 |      523 |      478
1604.27/1604.72	c 1604s |      18 |  1930783 |   421952 |    14755 147493 |      523 |      478
1608.67/1609.16	c 1609s |      18 |  1931375 |   422052 |    14755 148085 |      523 |      478
1610.87/1611.38	c 1611s |      18 |  1931657 |   422152 |    14755 148367 |      523 |      478
1613.77/1614.23	c 1614s |      18 |  1932012 |   422252 |    14755 148722 |      523 |      478
1616.47/1616.97	c 1616s |      18 |  1932358 |   422352 |    14755 149068 |      523 |      478
1619.46/1619.92	c 1619s |      18 |  1932738 |   422452 |    14755 149448 |      523 |      478
1621.57/1622.06	c 1621s |      18 |  1932997 |   422552 |    14755 149707 |      523 |      478
1623.87/1624.34	c 1624s |      18 |  1933284 |   422652 |    14755 149994 |      523 |      478
1628.06/1628.56	c 1628s |      18 |  1933795 |   422852 |    14755 150505 |      523 |      478
1632.77/1633.21	c 1633s |      18 |  1934349 |   423052 |    14755 151059 |      523 |      478
1634.96/1635.46	c 1635s |      18 |  1934629 |   423152 |    14755 151339 |      523 |      478
1637.96/1638.47	c 1638s |      18 |  1935017 |   423252 |    14755 151727 |      523 |      478
1641.16/1641.60	c 1641s |      18 |  1935416 |   423352 |    14755 152126 |      523 |      478
1643.16/1643.69	c 1643s |      18 |  1935675 |   423452 |    14755 152385 |      523 |      478
1646.96/1647.42	c 1647s |      18 |  1936119 |   423652 |    14755 152829 |      523 |      478
1650.56/1651.01	c 1650s |      18 |  1936546 |   423852 |    14755 153256 |      523 |      478
1652.66/1653.18	c 1653s |      18 |  1936818 |   423952 |    14755 153528 |      523 |      478
1655.36/1655.83	c 1655s |      18 |  1937153 |   424052 |    14755 153863 |      523 |      478
1658.96/1659.40	c 1659s |      18 |  1937613 |   424152 |    14755 154323 |      523 |      478
1662.26/1662.76	c 1662s |      18 |  1938028 |   424352 |    14755 154738 |      523 |      478
1666.56/1667.06	c 1666s |      18 |  1938594 |   424452 |    14755 155304 |      523 |      478
1669.37/1669.82	c 1669s |      18 |  1938951 |   424552 |    14755 155661 |      523 |      478
1671.46/1671.98	c 1671s |      18 |  1939228 |   424652 |    14755 155938 |      523 |      478
1673.86/1674.38	c 1674s |      18 |  1939522 |   424752 |    14755 156232 |      523 |      478
1679.26/1679.72	c 1679s |      18 |  1940177 |   424952 |    14755 156887 |      523 |      478
1683.86/1684.37	c 1684s |      18 |  1940744 |   425152 |    14755 157454 |      523 |      478
1685.96/1686.48	c 1686s |      18 |  1940995 |   425252 |    14755 157705 |      523 |      478
1688.16/1688.66	c 1688s |      18 |  1941261 |   425352 |    14755 157971 |      523 |      478
1690.95/1691.48	c 1691s |      18 |  1941612 |   425452 |    14755 158322 |      523 |      478
1693.66/1694.12	c 1693s |      18 |  1941934 |   425552 |    14755 158644 |      523 |      478
1698.35/1698.86	c 1698s |      18 |  1942509 |   425752 |    14755 159219 |      523 |      478
1702.46/1702.93	c 1702s |      18 |  1942982 |   425952 |    14755 159692 |      523 |      478
1704.56/1705.02	c 1704s |      18 |  1943229 |   426052 |    14755 159939 |      523 |      478
1707.05/1707.54	c 1707s |      18 |  1943515 |   426152 |    14755 160225 |      523 |      478
1710.85/1711.37	c 1711s |      18 |  1943943 |   426352 |    14755 160653 |      523 |      478
1714.65/1715.18	c 1715s |      18 |  1944413 |   426452 |    14755 161123 |      523 |      478
1719.15/1719.67	c 1719s |      18 |  1944951 |   426652 |    14755 161661 |      523 |      478
1722.16/1722.65	c 1722s |      18 |  1945281 |   426852 |    14755 161991 |      523 |      478
1724.85/1725.38	c 1725s |      18 |  1945603 |   426952 |    14755 162313 |      523 |      478
1727.84/1728.39	c 1728s |      18 |  1945978 |   427052 |    14755 162688 |      523 |      478
1730.35/1730.83	c 1730s |      18 |  1946273 |   427152 |    14755 162983 |      523 |      478
1732.45/1732.91	c 1732s |      18 |  1946523 |   427252 |    14755 163233 |      523 |      478
1735.25/1735.79	c 1735s |      18 |  1946877 |   427352 |    14755 163587 |      523 |      478
1738.14/1738.63	c 1738s |      18 |  1947220 |   427452 |    14755 163930 |      523 |      478
1740.65/1741.18	c 1741s |      18 |  1947529 |   427552 |    14755 164239 |      523 |      478
1743.85/1744.34	c 1744s |      18 |  1947889 |   427752 |    14755 164599 |      523 |      478
1748.44/1748.93	c 1748s |      18 |  1948432 |   427952 |    14755 165142 |      523 |      478
1753.35/1753.86	c 1753s |      18 |  1949033 |   428152 |    14755 165743 |      523 |      478
1756.64/1757.16	c 1757s |      18 |  1949437 |   428252 |    14755 166147 |      523 |      478
1759.45/1759.94	c 1759s |      18 |  1949779 |   428352 |    14755 166489 |      523 |      478
1763.34/1763.84	c 1763s |      18 |  1950213 |   428552 |    14755 166923 |      523 |      478
1765.54/1766.02	c 1765s |      18 |  1950469 |   428652 |    14755 167179 |      523 |      478
1769.04/1769.57	c 1769s |      18 |  1950854 |   428852 |    14755 167564 |      523 |      478
1772.85/1773.34	c 1773s |      18 |  1951277 |   429052 |    14755 167987 |      523 |      478
1776.95/1777.43	c 1777s |      18 |  1951758 |   429252 |    14755 168468 |      523 |      478
1779.24/1779.75	c 1779s |      18 |  1952035 |   429352 |    14755 168745 |      523 |      478
1784.14/1784.63	c 1784s |      18 |  1952583 |   429552 |    14755 169293 |      523 |      478
1787.84/1788.36	c 1788s |      18 |  1953017 |   429752 |    14755 169727 |      523 |      478
1790.24/1790.75	c 1790s |      18 |  1953307 |   429852 |    14755 170017 |      523 |      478
1793.84/1794.39	c 1794s |      18 |  1953716 |   430052 |    14755 170426 |      523 |      478
1796.64/1797.16	c 1797s |      18 |  1954048 |   430152 |    14755 170758 |      523 |      478
1799.04/1799.58	c 1799s |      18 |  1954336 |   430252 |    14755 171046 |      523 |      478

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

pid=10620
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.25 2.22 2.24 3/179 10623
/proc/meminfo: memFree=29144220/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 2993 0 0 0 0 0 0 0 20 0 4 0 110709784 817295360 2842 33554432000 4194304 16246674 140735724225520 140735724224944 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 200047 2852 441 2943 0 196941 0
[pid=10623/tid=10624] ppid=10620 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 835121152 2912 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 840364032 2929 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=824764 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110709784 844558336 2947 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100254 s]
/proc/loadavg: 2.25 2.22 2.24 3/179 10623
/proc/meminfo: memFree=29144220/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 25517 0 0 0 6 3 0 0 20 0 4 0 110709784 1249447936 25304 33554432000 4194304 16246674 140735724225520 140735724224832 5572517 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 305041 25312 833 2943 0 301935 0
[pid=10623/tid=10624] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 25317 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 25323 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 25329 33554432000 4194304 16246674 140735724225520 140566170946736 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) 1220164

[startup+0.200527 s]
/proc/loadavg: 2.25 2.22 2.24 3/179 10623
/proc/meminfo: memFree=29144220/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 45640 0 0 0 13 6 0 0 20 0 4 0 110709784 1249447936 45427 33554432000 4194304 16246674 140735724225520 140735724224832 5674637 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 305041 45436 876 2943 0 301935 0
[pid=10623/tid=10624] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 45443 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 45451 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 45458 33554432000 4194304 16246674 140735724225520 140566170946736 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) 1220164

[startup+0.300485 s]
/proc/loadavg: 2.25 2.22 2.24 3/179 10623
/proc/meminfo: memFree=29144220/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 64370 0 0 0 21 8 0 0 20 0 4 0 110709784 1249447936 64157 33554432000 4194304 16246674 140735724225520 140735724224832 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 305041 64171 876 2943 0 301935 0
[pid=10623/tid=10624] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 64181 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 64190 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 64200 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700412 s]
/proc/loadavg: 2.25 2.22 2.24 3/179 10623
/proc/meminfo: memFree=29144220/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 153313 0 0 0 50 19 0 0 20 0 4 0 110709784 1249447936 153100 33554432000 4194304 16246674 140735724225520 140735724224832 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 305041 153108 876 2943 0 301935 0
[pid=10623/tid=10624] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 153113 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 153117 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1249447936 153122 33554432000 4194304 16246674 140735724225520 140566170946736 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) 1220164

[startup+1.50041 s]
/proc/loadavg: 2.25 2.22 2.24 3/183 10627
/proc/meminfo: memFree=28180304/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1300036 CPUtime=1.49 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 253254 0 0 0 117 32 0 0 20 0 4 0 110709784 1331236864 253041 33554432000 4194304 16246674 140735724225520 140735724224832 13810720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 325009 253041 879 2943 0 321903 0
[pid=10623/tid=10624] ppid=10620 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1331236864 253041 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1331236864 253041 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1331236864 253041 33554432000 4194304 16246674 140735724225520 140566170946736 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) 1300036

[startup+3.10039 s]
/proc/loadavg: 2.25 2.22 2.24 3/183 10627
/proc/meminfo: memFree=28074284/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 267987 0 0 0 275 34 0 0 20 0 4 0 110709784 1338576896 267774 33554432000 4194304 16246674 140735724225520 140735724207424 12483532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 326801 267774 884 2943 0 323695 0
[pid=10623/tid=10624] ppid=10620 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1338576896 267774 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1338576896 267774 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1338576896 267774 33554432000 4194304 16246674 140735724225520 140566170946736 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) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.23 2.21 2.24 3/183 10627
/proc/meminfo: memFree=28073552/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 267987 0 0 0 595 34 0 0 20 0 4 0 110709784 1338576896 267774 33554432000 4194304 16246674 140735724225520 140735724207424 6861764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 326801 267774 884 2943 0 323695 0
[pid=10623/tid=10624] ppid=10620 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1338576896 267774 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1338576896 267774 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1338576896 267774 33554432000 4194304 16246674 140735724225520 140566170946736 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.29 2.22 2.24 3/183 10627
/proc/meminfo: memFree=28072612/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 268245 0 0 0 1234 34 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140735724207424 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 327057 268032 886 2943 0 323951 0
[pid=10623/tid=10624] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.30 2.23 2.24 4/183 10627
/proc/meminfo: memFree=28072732/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 268245 0 0 0 2514 35 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140735724207424 6010629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 327057 268032 886 2943 0 323951 0
[pid=10623/tid=10624] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566170946736 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) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.27 2.23 2.24 3/183 10627
/proc/meminfo: memFree=28072440/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1308228 CPUtime=51.09 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 268245 0 0 0 5074 35 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140735724207424 5722263 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 327057 268032 886 2943 0 323951 0
[pid=10623/tid=10624] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.22 2.22 2.23 4/183 10628
/proc/meminfo: memFree=28072320/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 268245 0 0 0 10193 35 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140735724207424 5546190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 327057 268032 886 2943 0 323951 0
[pid=10623/tid=10624] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1339625472 268032 33554432000 4194304 16246674 140735724225520 140566170946736 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) 1308228


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

/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.25 2.25 2.24 4/183 10709
/proc/meminfo: memFree=28073688/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1361.9 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 136068 122 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724207424 13001922 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.33 2.28 2.25 4/183 10710
/proc/meminfo: memFree=28074420/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1421.91 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 142063 128 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724207424 5754700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.18 2.24 2.24 3/183 10712
/proc/meminfo: memFree=28073956/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1481.88 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 148056 132 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724207424 13191625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.12 2.21 2.23 3/183 10713
/proc/meminfo: memFree=28073980/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1541.88 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 154050 138 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724207424 13191911 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.21 2.21 2.22 4/183 10714
/proc/meminfo: memFree=28073852/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1601.86 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 160042 144 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724207424 13874423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.27 2.23 2.23 3/184 10718
/proc/meminfo: memFree=28073704/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1661.86 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 166036 150 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724207424 13878738 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.27 2.23 2.23 3/183 10719
/proc/meminfo: memFree=28073716/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1721.85 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 172030 155 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724224696 5754764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.28 2.25 2.23 4/183 10721
/proc/meminfo: memFree=28073564/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1781.84 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 178023 161 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724224696 13818309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.26 2.25 2.23 3/183 10721
/proc/meminfo: memFree=28073812/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1800.04 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 179841 163 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724207424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1314372

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

[startup+1800.5 s]
/proc/loadavg: 2.26 2.25 2.23 3/183 10721
/proc/meminfo: memFree=28073812/32872528 swapFree=16384/1696552
[pid=10623] ppid=10620 vsize=1314372 CPUtime=1800.04 cores=1,3,5,7
/proc/10623/stat : 10623 (toysat) R 10620 10623 5723 0 -1 4202496 270079 0 0 0 179841 163 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140735724207424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10623/statm: 328593 269824 886 2943 0 325487 0
[pid=10623/tid=10624] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10624/stat : 10624 (toysat) S 10620 10623 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566191910128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10623/tid=10625] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10625/stat : 10625 (toysat) S 10620 10623 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566181420272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10623/tid=10626] ppid=10620 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10623/task/10626/stat : 10626 (toysat) S 10620 10623 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709784 1345916928 269824 33554432000 4194304 16246674 140735724225520 140566170946736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1314372

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1798.42
CPU system time (s): 1.63175
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 1.63175
maximum resident set size= 1079296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270079
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= 313
involuntary context switches= 1965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42133 second user time and 7.07992 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 10:22:47
IDJOB=4078881
IDBENCH=90227
IDSOLVER=2542
FILE ID=node125/4078881-1465287767
RUNJOBID= node125-1465259688-5740
PBS_JOBID= 19843289
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078881-1465287767/watcher-4078881-1465287767 -o /tmp/evaluation-result-4078881-1465287767/solver-4078881-1465287767 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078881-1465287767.opb

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

MD5SUM BENCH= e0aeeb707b4fd8297140a3f70373c556
RANDOM SEED=830635060

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29144616 kB
Buffers:           35812 kB
Cached:           153156 kB
SwapCached:         1700 kB
Active:          1152632 kB
Inactive:         130908 kB
Active(anon):    1092188 kB
Inactive(anon):     4772 kB
Active(file):      60444 kB
Inactive(file):   126136 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             16280 kB
Writeback:             0 kB
AnonPages:       2778284 kB
Mapped:            10668 kB
Shmem:                 0 kB
Slab:             609268 kB
SReclaimable:      53064 kB
SUnreclaim:       556204 kB
KernelStack:        1496 kB
PageTables:         9708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2936276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2185216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node125 at 2016-06-07 10:52:48