Trace number 4078878

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
MD5SUM506a6fce450974b6f48fc0e3b77d8777
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 benchmark40.6388
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
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 69
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:23: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-4078878-1465287826.opb"]
0.00/0.01	c use --random-gen="868179279 3840822328 729089587 2660785174 2288183659 2948388068 920711112 1536849690 2232422121 2705370982 1400437310 3003430501 2933329566 1122890010 3165407686 3383803660 168853756 91807158 2559338120 2251685835 4163396335 2980914726 3420213312 4125806736 2555684727 2118750226 3356256131 3324674914 2066634283 257770383 2562915629 228229017 4007491902 1058418731 1775939451 3661357214 3920382859 2710974890 3572417533 2275213658 2272108400 2824938036 4119940717 2071426076 2315310988 442695320 2773453343 1091893252 999226304 626561396 1115410026 3916633009 1750158019 3905043822 314305654 348943771 2344480786 3812539113 4090340852 964433102 1016528575 2934130964 3619358323 1227008939 505405797 1129127982 3046633278 822366586 2169781995 1605799472 696071816 1205289756 3456591498 617097315 2143171046 1625988121 3748165985 3730732592 418685138 4033943493 1093862860 3044418740 2304822614 1650856654 3824160462 944716479 1465024605 1444745652 2779528365 2393385223 581070367 1674381387 2685115273 4007700394 2870791500 4247112063 2922672140 74734189 1259529383 2731115298 1263050158 474150406 1796623253 2758545345 1169074472 1274460567 3818988645 1459415157 3834983704 2099068410 1722357248 1507479354 1253111793 1356960808 2101495318 563605414 836421615 4072002954 4027147119 3804581360 1584437156 4058800786 1635834874 3479808429 1239691517 524346047 3405801739 507523855 1391912637 342550601 718606433 679611894 3623410065 1952091310 1887707653 3298026894 2587369660 4254561285 758900567 3349218884 1728744463 3863091725 226590393 123268609 201246911 1065256287 792029223 1079796639 2924673863 1932194325 2988769979 1909151861 2398858553 914548009 3880318206 4122934914 3977578067 1000100168 523659051 2793970231 2522172315 2181546240 4172482378 2823028385 3091832930 1010675739 437078023 739376491 3968815112 1299103463 1990328525 2001544646 2298909041 3828721244 3953225538 535728529 1716177705 3436617440 2442165758 3973321258 632260704 544821381 818696325 3776101153 2231774185 551767807 1777700050 3150931310 1921383683 2946209276 4201507662 430315533 4139965600 437104863 1710907688 724436095 1735778151 848764252 4226570309 662616076 2065781773 3077602056 992759842 1670432475 131438643 4052124200 3341265367 2873037130 1274681308 1030616918 2928546009 3538485271 3293894201 1117222699 4233622846 192177142 1074003179 118932383 3573104363 1703052372 399974766 3999808552 2300909003 2363146962 2896694732 2976238767 2824371545 1376025827 625867437 4233602319 306847485 2066557495 1524663500 1916796637 2696155846 1689371592 1408486384 2418417779 3491907503 2811852562 1280672010 2016470249 876675601 1540328222 2753708849 2071432868 3171594028 2300261185 3062107629 1730432310 923530179 2986889946 280196060 406420881 4026386598 2382488720 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3740
0.00/0.06	c #constraints 3878
0.08/0.14	c Solving starts ...
0.08/0.14	c ============================[ Search Statistics ]============================
0.08/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.14	c =============================================================================
0.08/0.14	c  0.0s |       0 |        0 |        0 |     2538      0 |      455 |        0
0.19/0.26	c  0.1s |       1 |     2994 |      100 |     2538      0 |      456 |      411
0.39/0.47	c  0.3s |       2 |     4517 |      250 |     2792      0 |      457 |      412
0.59/0.68	c  0.5s |       3 |     5939 |      475 |     3072      0 |      457 |      412
0.89/0.93	c  0.8s |       4 |     8889 |      813 |     3380      0 |      457 |      412
1.38/1.40	c  1.3s |       5 |    12908 |     1320 |     3719      0 |      458 |      413
2.48/2.50	c  2.4s |       6 |    19131 |     2081 |     4501      0 |      463 |      418
3.39/3.44	c  3.3s |       7 |    25803 |     3223 |     4952      0 |      463 |      418
5.38/5.48	c  5.3s |       7 |    33985 |     4923 |     5448      0 |      465 |      420
5.38/5.49	c  5.4s |       8 |    33992 |     4936 |     5448      0 |      465 |      420
7.58/7.63	c  7.5s |       8 |    50649 |     6836 |     5448      1 |      470 |      425
8.18/8.28	c  8.1s |       9 |    55880 |     7506 |     5993      1 |      473 |      428
10.28/10.34	c 10.2s |       9 |    68646 |     9606 |     5993      1 |      475 |      430
12.29/12.39	c 12.2s |       9 |    74312 |    11006 |     5993      1 |      475 |      430
13.09/13.20	c 13.1s |      10 |    75223 |    11361 |     6593      1 |      475 |      430
15.19/15.23	c 15.1s |      10 |    91479 |    13361 |     6593      2 |      477 |      432
17.29/17.38	c 17.2s |      10 |    95936 |    14461 |     6593      2 |      479 |      434
19.39/19.49	c 19.3s |      10 |   109644 |    16361 |     6593      3 |      482 |      437
20.19/20.26	c 20.1s |      11 |   118515 |    17144 |     7253      3 |      483 |      438
22.19/22.26	c 22.1s |      11 |   131991 |    19044 |     7253      3 |      484 |      439
24.30/24.37	c 24.2s |      11 |   141383 |    20544 |     7253      4 |      484 |      439
26.40/26.41	c 26.3s |      11 |   145539 |    21444 |     7253      4 |      484 |      439
28.49/28.52	c 28.4s |      11 |   148853 |    22244 |     7253      4 |      484 |      439
30.79/30.81	c 30.7s |      11 |   150106 |    22744 |     7253      4 |      484 |      439
33.09/33.13	c 33.0s |      11 |   150973 |    23044 |     7253      4 |      484 |      439
35.29/35.39	c 35.2s |      11 |   152037 |    23444 |     7253      4 |      484 |      439
37.59/37.64	c 37.5s |      11 |   152724 |    23744 |     7253      5 |      484 |      439
39.69/39.72	c 39.6s |      11 |   162700 |    25344 |     7253      5 |      484 |      439
40.59/40.62	c 40.5s |      12 |   165366 |    25819 |     7979      5 |      484 |      439
42.59/42.62	c 42.5s |      12 |   178352 |    27719 |     7979      5 |      485 |      440
44.59/44.69	c 44.5s |      12 |   182268 |    28519 |     7979      6 |      485 |      440
46.68/46.71	c 46.6s |      12 |   194742 |    30519 |     7979      6 |      485 |      440
48.78/48.86	c 48.7s |      12 |   205803 |    32419 |     7979      6 |      485 |      440
50.88/50.95	c 50.8s |      12 |   209183 |    33519 |     7979      6 |      485 |      440
52.98/53.05	c 52.9s |      12 |   214062 |    34919 |     7979      7 |      485 |      440
55.09/55.10	c 55.0s |      12 |   221288 |    36619 |     7979      7 |      486 |      441
57.08/57.19	c 57.0s |      12 |   228564 |    38219 |     7979      7 |      486 |      441
57.78/57.84	c 57.7s |      13 |   232816 |    38832 |     8777      8 |      486 |      441
59.78/59.85	c 59.7s |      13 |   249657 |    40832 |     8777      8 |      491 |      446
61.88/61.97	c 61.8s |      13 |   255201 |    42232 |     8777      8 |      491 |      446
63.98/64.03	c 63.9s |      13 |   265833 |    44232 |     8777      9 |      494 |      449
65.99/66.03	c 65.9s |      13 |   272498 |    45732 |     8777      9 |      494 |      449
67.98/68.05	c 67.9s |      13 |   281577 |    47732 |     8777      9 |      494 |      449
70.08/70.19	c 70.0s |      13 |   286203 |    49232 |     8777      9 |      494 |      449
72.28/72.38	c 72.2s |      13 |   289050 |    50432 |     8777     10 |      494 |      449
74.48/74.55	c 74.4s |      13 |   291882 |    51432 |     8777     10 |      494 |      449
76.58/76.64	c 76.5s |      13 |   294438 |    52432 |     8777     10 |      494 |      449
78.68/78.73	c 78.6s |      13 |   297256 |    53532 |     8777     10 |      494 |      449
80.78/80.82	c 80.7s |      13 |   305295 |    55232 |     8777     11 |      494 |      449
82.98/83.09	c 82.9s |      13 |   308554 |    56232 |     8777     11 |      494 |      449
85.08/85.16	c 85.0s |      13 |   310677 |    56932 |     8777     11 |      494 |      449
87.28/87.31	c 87.2s |      13 |   314916 |    58332 |     9655     11 |      494 |      449
87.28/87.34	c 87.2s |      14 |   314989 |    58352 |     9655     11 |      494 |      449
89.28/89.39	c 89.2s |      14 |   327432 |    60152 |     9655     12 |      495 |      450
91.38/91.47	c 91.3s |      14 |   340331 |    62152 |     9655     12 |      499 |      454
93.58/93.61	c 93.5s |      14 |   351445 |    63852 |     9655     12 |      499 |      454
95.57/95.61	c 95.5s |      14 |   366891 |    65852 |     9655     13 |      501 |      456
97.67/97.74	c 97.6s |      14 |   376384 |    67752 |     9655     13 |      501 |      456
99.97/100.01	c 99.9s |      14 |   379847 |    68852 |     9655     13 |      501 |      456
102.17/102.23	c  102s |      14 |   382085 |    69652 |     9655     13 |      501 |      456
104.27/104.33	c  104s |      14 |   383815 |    70252 |     9655     13 |      501 |      456
106.27/106.36	c  106s |      14 |   402800 |    72352 |     9655     14 |      501 |      456
108.37/108.40	c  108s |      14 |   416438 |    74252 |     9655     14 |      501 |      456
110.37/110.44	c  110s |      14 |   428084 |    76152 |     9655     15 |      501 |      456
112.37/112.46	c  112s |      14 |   436675 |    77952 |     9655     15 |      501 |      456
114.48/114.57	c  114s |      14 |   447496 |    79852 |     9655     15 |      501 |      456
116.68/116.73	c  116s |      14 |   454346 |    81452 |     9655     15 |      501 |      456
118.88/118.98	c  118s |      14 |   457601 |    82652 |     9655     16 |      501 |      456
120.87/120.98	c  120s |      14 |   462416 |    84152 |     9655     16 |      501 |      456
123.07/123.16	c  123s |      14 |   467016 |    85552 |     9655     16 |      501 |      456
125.17/125.27	c  125s |      14 |   468996 |    86452 |     9655     16 |      501 |      456
127.27/127.31	c  127s |      14 |   471621 |    87452 |    10621     16 |      501 |      456
127.67/127.74	c  127s |      15 |   472058 |    87632 |    10621     16 |      501 |      456
129.67/129.77	c  129s |      15 |   478527 |    89032 |    10621     17 |      501 |      456
131.77/131.80	c  131s |      15 |   483280 |    90332 |    10621     17 |      501 |      456
133.77/133.87	c  133s |      15 |   486823 |    91232 |    10621     17 |      501 |      456
135.87/135.92	c  135s |      15 |   490075 |    92032 |    10621     17 |      501 |      456
137.97/138.01	c  137s |      15 |   495304 |    92932 |    10621     17 |      501 |      456
139.97/140.03	c  139s |      15 |   499572 |    94132 |    10621     18 |      501 |      456
142.07/142.10	c  141s |      15 |   510611 |    96032 |    10621     18 |      501 |      456
144.17/144.29	c  144s |      15 |   517430 |    97332 |    10621     18 |      501 |      456
146.37/146.41	c  146s |      15 |   520905 |    98232 |    10621     18 |      501 |      456
148.47/148.57	c  148s |      15 |   524188 |    99132 |    10621     18 |      501 |      456
150.67/150.72	c  150s |      15 |   528631 |   100032 |    10621     18 |      501 |      456
152.76/152.86	c  152s |      15 |   529620 |   100532 |    10621     18 |      501 |      456
154.86/154.90	c  154s |      15 |   533695 |   101532 |    10621     19 |      501 |      456
156.86/156.96	c  156s |      15 |   545307 |   103532 |    10621     19 |      502 |      457
158.96/159.07	c  158s |      15 |   554216 |   105032 |    10621     19 |      502 |      457
161.06/161.19	c  161s |      15 |   570518 |   107432 |    10621     20 |      502 |      457
163.16/163.23	c  163s |      15 |   576369 |   109132 |    10621     20 |      502 |      457
165.36/165.45	c  165s |      15 |   580087 |   110432 |    10621     20 |      502 |      457
167.46/167.51	c  167s |      15 |   586659 |   111732 |    10621     20 |      502 |      457
169.56/169.64	c  169s |      15 |   593313 |   113432 |    10621     21 |      502 |      457
171.57/171.64	c  171s |      15 |   596538 |   114432 |    10621     21 |      502 |      457
173.56/173.69	c  173s |      15 |   599226 |   115332 |    10621     21 |      502 |      457
175.66/175.76	c  175s |      15 |   611383 |   117232 |    10621     21 |      502 |      457
177.76/177.85	c  177s |      15 |   613658 |   117932 |    10621     21 |      502 |      457
179.76/179.87	c  179s |      15 |   618052 |   119132 |    10621     22 |      502 |      457
181.96/182.05	c  181s |      15 |   629784 |   121432 |    10621     22 |      502 |      457
184.06/184.19	c  184s |      15 |   634695 |   122632 |    10621     22 |      502 |      457
186.16/186.23	c  186s |      15 |   639342 |   123732 |    10621     22 |      502 |      457
188.26/188.30	c  188s |      15 |   648622 |   125832 |    10621     23 |      502 |      457
190.36/190.43	c  190s |      15 |   656742 |   127732 |    10621     23 |      502 |      457
192.36/192.44	c  192s |      15 |   659940 |   128632 |    10621     23 |      502 |      457
194.46/194.54	c  194s |      15 |   661119 |   129232 |    10621     23 |      502 |      457
196.66/196.74	c  196s |      15 |   662213 |   129732 |    10621     23 |      502 |      457
198.75/198.81	c  198s |      15 |   664476 |   130432 |    10621     24 |      502 |      457
200.75/200.86	c  200s |      15 |   666176 |   131032 |    11684     24 |      502 |      457
202.75/202.87	c  202s |      16 |   667549 |   131552 |    11684     24 |      502 |      457
204.95/205.04	c  204s |      16 |   675872 |   133252 |    11684     24 |      502 |      457
207.05/207.12	c  206s |      16 |   683102 |   134652 |    11684     24 |      503 |      458
209.15/209.20	c  209s |      16 |   696368 |   136652 |    11684     25 |      505 |      460
211.16/211.22	c  211s |      16 |   701553 |   138252 |    11684     25 |      505 |      460
213.25/213.31	c  213s |      16 |   707681 |   139752 |    11684     25 |      505 |      460
215.25/215.35	c  215s |      16 |   712120 |   141152 |    11684     25 |      506 |      461
217.25/217.39	c  217s |      16 |   721027 |   142952 |    11684     26 |      506 |      461
219.35/219.45	c  219s |      16 |   732975 |   144952 |    11684     26 |      506 |      461
221.46/221.59	c  221s |      16 |   743876 |   146952 |    11684     26 |      506 |      461
223.56/223.65	c  223s |      16 |   755469 |   148852 |    11684     27 |      507 |      462
225.66/225.72	c  225s |      16 |   770215 |   151052 |    11684     27 |      507 |      462
227.66/227.74	c  227s |      16 |   784896 |   153152 |    11684     28 |      510 |      465
229.66/229.77	c  229s |      16 |   788003 |   154152 |    11684     28 |      510 |      465
231.96/232.01	c  231s |      16 |   791420 |   155352 |    11684     28 |      510 |      465
233.96/234.02	c  233s |      16 |   799488 |   156752 |    11684     29 |      511 |      466
235.96/236.09	c  235s |      16 |   813756 |   158952 |    11684     29 |      512 |      467
238.16/238.26	c  238s |      16 |   825100 |   160552 |    11684     29 |      512 |      467
240.26/240.36	c  240s |      16 |   830242 |   161652 |    11684     29 |      513 |      468
242.36/242.41	c  242s |      16 |   838884 |   163552 |    11684     30 |      513 |      468
244.45/244.57	c  244s |      16 |   846058 |   165252 |    11684     30 |      513 |      468
246.65/246.73	c  246s |      16 |   849171 |   166352 |    11684     30 |      513 |      468
248.85/248.98	c  248s |      16 |   855277 |   167652 |    11684     31 |      513 |      468
250.95/251.01	c  250s |      16 |   858990 |   168852 |    11684     31 |      513 |      468
252.96/253.09	c  252s |      16 |   862483 |   169752 |    11684     31 |      513 |      468
255.05/255.14	c  254s |      16 |   865353 |   170752 |    11684     31 |      513 |      468
257.05/257.19	c  257s |      16 |   869054 |   171852 |    11684     32 |      513 |      468
259.25/259.35	c  259s |      16 |   874423 |   173452 |    11684     32 |      513 |      468
261.45/261.51	c  261s |      16 |   876986 |   174352 |    11684     32 |      513 |      468
263.55/263.66	c  263s |      16 |   879087 |   175152 |    11684     32 |      513 |      468
265.75/265.84	c  265s |      16 |   880487 |   175852 |    11684     32 |      513 |      468
267.85/267.99	c  267s |      16 |   885318 |   176952 |    11684     33 |      513 |      468
270.05/270.10	c  269s |      16 |   888041 |   177852 |    11684     33 |      513 |      468
272.35/272.40	c  272s |      16 |   889756 |   178452 |    11684     33 |      513 |      468
274.45/274.57	c  274s |      16 |   891236 |   179052 |    11684     33 |      513 |      468
276.64/276.73	c  276s |      16 |   896511 |   180352 |    11684     33 |      513 |      468
278.74/278.83	c  278s |      16 |   903646 |   181952 |    11684     34 |      513 |      468
280.84/280.96	c  280s |      16 |   910061 |   183852 |    11684     34 |      513 |      468
282.94/283.05	c  282s |      16 |   912954 |   184952 |    11684     35 |      513 |      468
285.04/285.18	c  285s |      16 |   926259 |   187052 |    11684     35 |      513 |      468
287.15/287.29	c  287s |      16 |   932706 |   188352 |    11684     36 |      513 |      468
289.25/289.37	c  289s |      16 |   942630 |   190552 |    11684     36 |      513 |      468
291.34/291.48	c  291s |      16 |   946807 |   192152 |    11684     36 |      513 |      468
293.44/293.53	c  293s |      16 |   951645 |   193852 |    11684     37 |      513 |      468
295.54/295.65	c  295s |      16 |   955689 |   195352 |    11684     37 |      513 |      468
297.54/297.67	c  297s |      16 |   962374 |   196952 |    12853     38 |      515 |      470
298.15/298.28	c  298s |      17 |   963557 |   197432 |    12853     38 |      515 |      470
300.25/300.36	c  300s |      17 |   978359 |   199632 |    12853     38 |      515 |      470
302.24/302.39	c  302s |      17 |   990651 |   201632 |    12853     39 |      516 |      471
304.44/304.53	c  304s |      17 |   997115 |   203532 |    12853     39 |      516 |      471
306.64/306.73	c  306s |      17 |   999534 |   204532 |    12853     39 |      516 |      471
308.64/308.77	c  308s |      17 |  1010125 |   206132 |    12853     40 |      516 |      471
310.74/310.81	c  310s |      17 |  1016876 |   207432 |    12853     40 |      516 |      471
312.74/312.89	c  312s |      17 |  1022453 |   208932 |    12853     41 |      517 |      472
314.84/314.90	c  314s |      17 |  1029268 |   210232 |    12853     41 |      517 |      472
316.94/317.00	c  316s |      17 |  1034492 |   212132 |    12853     41 |      517 |      472
319.14/319.20	c  319s |      17 |  1037028 |   213332 |    12853     41 |      517 |      472
321.14/321.27	c  321s |      17 |  1043959 |   214932 |    12853     42 |      517 |      472
323.24/323.32	c  323s |      17 |  1050351 |   216532 |    12853     42 |      517 |      472
325.44/325.51	c  325s |      17 |  1057258 |   218132 |    12853     43 |      517 |      472
327.44/327.56	c  327s |      17 |  1059984 |   219132 |    12853     43 |      517 |      472
329.64/329.78	c  329s |      17 |  1065771 |   220632 |    12853     43 |      517 |      472
331.74/331.88	c  331s |      17 |  1068097 |   221432 |    12853     43 |      517 |      472
333.94/334.05	c  333s |      17 |  1071787 |   222632 |    12853     44 |      517 |      472
336.03/336.16	c  336s |      17 |  1076871 |   223832 |    12853     44 |      517 |      472
338.13/338.22	c  338s |      17 |  1084042 |   225032 |    12853     45 |      518 |      473
340.13/340.29	c  340s |      17 |  1092211 |   226632 |    12853     45 |      518 |      473
342.23/342.31	c  342s |      17 |  1095380 |   227732 |    12853     45 |      518 |      473
344.43/344.51	c  344s |      17 |  1097386 |   228532 |    12853     45 |      518 |      473
346.44/346.55	c  346s |      17 |  1101154 |   229432 |    12853     46 |      518 |      473
348.53/348.65	c  348s |      17 |  1107809 |   231332 |    12853     46 |      519 |      474
350.63/350.75	c  350s |      17 |  1116094 |   233132 |    12853     47 |      521 |      476
352.83/352.90	c  352s |      17 |  1125796 |   234932 |    12853     47 |      521 |      476
354.83/354.93	c  354s |      17 |  1127491 |   235532 |    12853     47 |      521 |      476
356.93/357.08	c  356s |      17 |  1131793 |   236732 |    12853     48 |      521 |      476
359.03/359.15	c  359s |      17 |  1134753 |   238032 |    12853     48 |      521 |      476
361.03/361.19	c  361s |      17 |  1137521 |   239032 |    12853     48 |      521 |      476
363.13/363.26	c  363s |      17 |  1141865 |   240532 |    12853     49 |      521 |      476
365.24/365.33	c  365s |      17 |  1145022 |   241832 |    12853     49 |      521 |      476
367.24/367.39	c  367s |      17 |  1150551 |   243332 |    12853     50 |      521 |      476
369.34/369.43	c  369s |      17 |  1154492 |   244632 |    12853     50 |      521 |      476
371.33/371.47	c  371s |      17 |  1157048 |   245632 |    12853     50 |      521 |      476
373.43/373.57	c  373s |      17 |  1161040 |   247032 |    12853     51 |      521 |      476
375.53/375.61	c  375s |      17 |  1163460 |   248032 |    12853     51 |      521 |      476
377.53/377.66	c  377s |      17 |  1165975 |   249032 |    12853     51 |      521 |      476
379.63/379.72	c  379s |      17 |  1171220 |   250332 |    12853     52 |      521 |      476
381.74/381.85	c  381s |      17 |  1173327 |   251132 |    12853     52 |      521 |      476
383.94/384.05	c  383s |      17 |  1176340 |   252132 |    12853     52 |      521 |      476
385.93/386.06	c  385s |      17 |  1179678 |   253032 |    12853     53 |      521 |      476
388.34/388.40	c  388s |      17 |  1182811 |   254132 |    12853     53 |      521 |      476
390.33/390.46	c  390s |      17 |  1188751 |   255732 |    12853     54 |      521 |      476
392.43/392.50	c  392s |      17 |  1193989 |   257432 |    12853     54 |      521 |      476
394.53/394.66	c  394s |      17 |  1198149 |   258932 |    12853     55 |      521 |      476
396.63/396.76	c  396s |      17 |  1200890 |   260032 |    12853     55 |      521 |      476
398.63/398.79	c  398s |      17 |  1203987 |   261132 |    12853     56 |      521 |      476
400.73/400.87	c  400s |      17 |  1208312 |   262532 |    12853     56 |      521 |      476
403.03/403.11	c  402s |      17 |  1211279 |   263732 |    12853     56 |      521 |      476
405.23/405.34	c  405s |      17 |  1213907 |   264732 |    12853     57 |      521 |      476
407.33/407.42	c  407s |      17 |  1215795 |   265532 |    12853     57 |      521 |      476
409.42/409.56	c  409s |      17 |  1219596 |   266532 |    12853     58 |      521 |      476
411.52/411.67	c  411s |      17 |  1224573 |   267932 |    12853     58 |      521 |      476
413.63/413.76	c  413s |      17 |  1229035 |   269332 |    12853     59 |      521 |      476
415.73/415.88	c  415s |      17 |  1231680 |   270332 |    12853     59 |      521 |      476
417.82/417.90	c  417s |      17 |  1235259 |   271632 |    12853     60 |      521 |      476
419.92/420.02	c  419s |      17 |  1239360 |   273032 |    12853     60 |      521 |      476
421.92/422.07	c  421s |      17 |  1242853 |   274132 |    12853     61 |      521 |      476
424.12/424.20	c  424s |      17 |  1246413 |   275532 |    12853     61 |      521 |      476
426.22/426.37	c  426s |      17 |  1249480 |   276732 |    12853     61 |      521 |      476
428.52/428.67	c  428s |      17 |  1252999 |   277832 |    12853     62 |      521 |      476
430.82/430.90	c  430s |      17 |  1255651 |   278732 |    12853     62 |      521 |      476
432.82/432.95	c  432s |      17 |  1260369 |   279832 |    12853     63 |      521 |      476
435.32/435.42	c  435s |      17 |  1269120 |   281332 |    12853     64 |      522 |      477
438.12/438.21	c  438s |      17 |  1270028 |   281632 |    12853     64 |      522 |      477
440.12/440.21	c  440s |      17 |  1270188 |   281732 |    12853     64 |      522 |      477
443.02/443.15	c  443s |      17 |  1271053 |   282132 |    12853     64 |      522 |      477
445.03/445.18	c  445s |      17 |  1283602 |   284132 |    12853     66 |      523 |      478
447.13/447.21	c  447s |      17 |  1287805 |   285632 |    12853     67 |      523 |      478
449.12/449.25	c  449s |      17 |  1291441 |   286732 |    12853     67 |      523 |      478
451.22/451.36	c  451s |      17 |  1306816 |   288932 |    12853     69 |      523 |      478
453.23/453.38	c  453s |      17 |  1319668 |   290932 |    12853     71 |      523 |      478
455.33/455.43	c  455s |      17 |  1329331 |   292832 |    12853     74 |      523 |      478
457.32/457.44	c  457s |      17 |  1337758 |   294332 |    14139     75 |      523 |      478
459.22/459.32	c  459s |      18 |  1347818 |   296252 |    14139     76 |      523 |      478
461.42/461.57	c  461s |      18 |  1357062 |   297952 |    14139     76 |      523 |      478
463.52/463.62	c  463s |      18 |  1365414 |   299752 |    14139     77 |      523 |      478
465.52/465.64	c  465s |      18 |  1374505 |   301552 |    14139     78 |      523 |      478
467.53/467.68	c  467s |      18 |  1381309 |   303152 |    14139     79 |      523 |      478
469.63/469.77	c  469s |      18 |  1384534 |   304052 |    14139     79 |      523 |      478
472.12/472.27	c  472s |      18 |  1388350 |   305252 |    14139     80 |      523 |      478
474.22/474.31	c  474s |      18 |  1391507 |   306152 |    14139     81 |      523 |      478
476.23/476.38	c  476s |      18 |  1402905 |   308252 |    14139     82 |      523 |      478
478.43/478.51	c  478s |      18 |  1408617 |   309952 |    14139     83 |      523 |      478
480.42/480.57	c  480s |      18 |  1419560 |   311852 |    14139     84 |      523 |      478
482.52/482.63	c  482s |      18 |  1430175 |   313752 |    14139     85 |      523 |      478
484.52/484.65	c  484s |      18 |  1436452 |   315352 |    14139     86 |      523 |      478
486.62/486.75	c  486s |      18 |  1442355 |   316952 |    14139     87 |      523 |      478
488.62/488.76	c  488s |      18 |  1450187 |   318852 |    14139     88 |      523 |      478
490.72/490.81	c  490s |      18 |  1455950 |   320452 |    14139     89 |      523 |      478
492.72/492.86	c  492s |      18 |  1465661 |   322252 |    14139     90 |      523 |      478
494.72/494.89	c  494s |      18 |  1472714 |   323852 |    14139     91 |      523 |      478
496.82/496.96	c  496s |      18 |  1482130 |   325852 |    14139     92 |      523 |      478
498.82/498.98	c  498s |      18 |  1487241 |   327252 |    14139     93 |      523 |      478
500.92/501.01	c  500s |      18 |  1491782 |   328352 |    14139     94 |      523 |      478
503.02/503.13	c  502s |      18 |  1496215 |   329652 |    14139     94 |      523 |      478
505.02/505.18	c  505s |      18 |  1503284 |   331252 |    14139     95 |      523 |      478
507.12/507.22	c  507s |      18 |  1512956 |   333052 |    14139     97 |      523 |      478
509.22/509.34	c  509s |      18 |  1521647 |   334952 |    14139     98 |      523 |      478
511.21/511.35	c  511s |      18 |  1526023 |   336252 |    14139    100 |      523 |      478
513.31/513.40	c  513s |      18 |  1532056 |   337752 |    14139    100 |      523 |      478
515.31/515.41	c  515s |      18 |  1536925 |   339152 |    14139    102 |      523 |      478
517.41/517.51	c  517s |      18 |  1543011 |   340852 |    14139    103 |      523 |      478
519.51/519.67	c  519s |      18 |  1547999 |   342252 |    14139    104 |      523 |      478
521.61/521.73	c  521s |      18 |  1551511 |   343252 |    14139    105 |      523 |      478
523.71/523.87	c  523s |      18 |  1554758 |   344552 |    14139    106 |      523 |      478
525.91/526.08	c  525s |      18 |  1562565 |   346052 |    14139    108 |      523 |      478
527.92/528.08	c  527s |      18 |  1565754 |   346952 |    14139    110 |      523 |      478
530.01/530.11	c  529s |      18 |  1572201 |   348452 |    14139    112 |      523 |      478
532.21/532.34	c  532s |      18 |  1576278 |   349852 |    14139    112 |      523 |      478
534.21/534.39	c  534s |      18 |  1581046 |   351252 |    14139    113 |      523 |      478
536.31/536.45	c  536s |      18 |  1584615 |   352452 |    14139    115 |      523 |      478
538.31/538.45	c  538s |      18 |  1591469 |   354252 |    14139    118 |      523 |      478
540.41/540.54	c  540s |      18 |  1594178 |   355052 |    14139    119 |      523 |      478
542.51/542.61	c  542s |      18 |  1601113 |   356852 |    14139    122 |      523 |      478
544.51/544.61	c  544s |      18 |  1606162 |   358352 |    14139    126 |      523 |      478
546.51/546.63	c  546s |      18 |  1612325 |   360152 |    14139    129 |      523 |      478
548.51/548.67	c  548s |      18 |  1618602 |   361952 |    14139    133 |      523 |      478
550.71/550.82	c  550s |      18 |  1622056 |   362852 |    14139    139 |      523 |      478
552.71/552.86	c  552s |      18 |  1632012 |   364652 |    14139    191 |      523 |      478
554.80/554.92	c  554s |      18 |  1640487 |   366252 |    14139    194 |      523 |      478
556.80/556.93	c  556s |      18 |  1649272 |   368252 |    14139    200 |      523 |      478
558.90/559.03	c  558s |      18 |  1658798 |   370252 |    14139    203 |      523 |      478
560.91/561.10	c  560s |      18 |  1664710 |   371552 |    14139    339 |      523 |      478
563.00/563.18	c  563s |      18 |  1673604 |   372952 |    14139    493 |      523 |      478
565.10/565.26	c  565s |      18 |  1678203 |   373752 |    14139    721 |      523 |      478
567.20/567.35	c  567s |      18 |  1689003 |   375552 |    14139    769 |      523 |      478
569.20/569.38	c  569s |      18 |  1695129 |   377352 |    14139    779 |      523 |      478
571.40/571.59	c  571s |      18 |  1701652 |   378652 |    14139    947 |      523 |      478
574.30/574.49	c  574s |      18 |  1707438 |   379752 |    14139   1272 |      523 |      478
576.40/576.53	c  576s |      18 |  1710699 |   380452 |    14139   1500 |      523 |      478
578.40/578.54	c  578s |      18 |  1714033 |   381052 |    14139   1743 |      523 |      478
581.60/581.73	c  581s |      18 |  1718124 |   381652 |    14139   2177 |      523 |      478
585.60/585.75	c  585s |      18 |  1720392 |   381852 |    14139   2828 |      523 |      478
588.90/589.00	c  588s |      18 |  1723142 |   382352 |    14139   3270 |      523 |      478
591.10/591.22	c  591s |      18 |  1724297 |   382552 |    14139   3587 |      523 |      478
593.10/593.26	c  593s |      18 |  1726056 |   382952 |    14139   3840 |      523 |      478
596.90/597.09	c  596s |      18 |  1728293 |   383352 |    14139   4383 |      523 |      478
600.10/600.27	c  600s |      18 |  1730193 |   383652 |    14139   4902 |      523 |      478
602.19/602.33	c  602s |      18 |  1732908 |   384052 |    14139   5209 |      523 |      478
605.00/605.13	c  604s |      18 |  1736961 |   384952 |    14139   5535 |      523 |      478
607.11/607.24	c  607s |      18 |  1739780 |   385552 |    14139   5790 |      523 |      478
609.20/609.34	c  609s |      18 |  1742827 |   386152 |    14139   6067 |      523 |      478
611.40/611.50	c  611s |      18 |  1744079 |   386452 |    14139   6378 |      523 |      478
613.49/613.60	c  613s |      18 |  1748850 |   387652 |    14139   6538 |      523 |      478
615.49/615.60	c  615s |      18 |  1751612 |   388352 |    14139   6750 |      523 |      478
617.59/617.74	c  617s |      18 |  1756273 |   389452 |    14139   6926 |      523 |      478
619.69/619.85	c  619s |      18 |  1760834 |   391052 |    14139   7050 |      523 |      478
621.79/621.90	c  621s |      18 |  1763206 |   391652 |    14139   7326 |      523 |      478
625.40/625.53	c  625s |      18 |  1764615 |   391852 |    14139   7974 |      523 |      478
628.79/628.93	c  628s |      18 |  1766656 |   392252 |    14139   8538 |      523 |      478
631.89/632.01	c  631s |      18 |  1768361 |   392552 |    14139   9044 |      523 |      478
633.99/634.15	c  634s |      18 |  1770419 |   392852 |    14139   9391 |      523 |      478
636.10/636.24	c  636s |      18 |  1771808 |   393152 |    14139   9722 |      523 |      478
638.19/638.31	c  638s |      18 |  1774235 |   393952 |    14139   9928 |      523 |      478
640.20/640.31	c  640s |      18 |  1778457 |   395252 |    14139   9970 |      523 |      478
642.40/642.52	c  642s |      18 |  1781531 |   396152 |    14139  10200 |      523 |      478
644.39/644.58	c  644s |      18 |  1785285 |   397552 |    14139  10205 |      523 |      478
647.09/647.29	c  647s |      18 |  1787139 |   397952 |    14139  10544 |      523 |      478
649.29/649.44	c  649s |      18 |  1790510 |   399152 |    14139  10627 |      523 |      478
654.28/654.43	c  654s |      18 |  1791892 |   399552 |    14139  11290 |      523 |      478
658.28/658.42	c  658s |      18 |  1792696 |   399752 |    14139  11839 |      523 |      478
660.69/660.90	c  660s |      18 |  1795039 |   400252 |    14139  12187 |      523 |      478
662.79/662.93	c  662s |      18 |  1796805 |   400752 |    14139  12460 |      523 |      478
666.49/666.69	c  666s |      18 |  1799730 |   401652 |    14139  12908 |      523 |      478
669.59/669.78	c  669s |      18 |  1802966 |   402452 |    14139  13320 |      523 |      478
672.89/673.02	c  672s |      18 |  1805150 |   402852 |    14139  13830 |      523 |      478
677.39/677.53	c  677s |      18 |  1806768 |   403052 |    14139  14613 |      523 |      478
680.48/680.65	c  680s |      18 |  1807812 |   403152 |    14139  15161 |      523 |      478
683.10/683.22	c  683s |      18 |  1808620 |   403252 |    14139  15609 |      523 |      478
685.19/685.35	c  685s |      18 |  1810482 |   403752 |    14139  15881 |      523 |      478
687.59/687.79	c  687s |      18 |  1812570 |   404352 |    14139  16187 |      523 |      478
689.88/690.06	c  689s |      18 |  1814285 |   404752 |    14139  16501 |      523 |      478
691.89/692.08	c  691s |      18 |  1815280 |   404952 |    14139  16813 |      523 |      478
693.99/694.17	c  694s |      18 |  1821511 |   406752 |    14139  16821 |      523 |      478
696.08/696.21	c  696s |      18 |  1826016 |   408052 |    14139  16885 |      523 |      478
698.08/698.29	c  698s |      18 |  1829453 |   409252 |    14139  16907 |      523 |      478
700.69/700.82	c  700s |      18 |  1832540 |   410352 |    14139  17028 |      523 |      478
702.68/702.85	c  702s |      18 |  1835204 |   411152 |    14139  17192 |      523 |      478
705.48/705.65	c  705s |      18 |  1839262 |   412152 |    14139  17485 |      523 |      478
707.58/707.76	c  707s |      18 |  1841691 |   412752 |    14139  17748 |      523 |      478
710.59/710.78	c  710s |      18 |  1844921 |   413552 |    14139  18085 |      523 |      478
713.98/714.17	c  714s |      18 |  1846021 |   413952 |    14139  18525 |      523 |      478
716.28/716.49	c  716s |      18 |  1847081 |   414452 |    14139  18821 |      523 |      478
718.48/718.67	c  718s |      18 |  1847939 |   414852 |    14139  19071 |      523 |      478
721.18/721.37	c  721s |      18 |  1849480 |   415552 |    14139  19318 |      523 |      478
723.28/723.43	c  723s |      18 |  1851934 |   416452 |    14139  19448 |      523 |      478
725.27/725.49	c  725s |      18 |  1853482 |   416952 |    14139  19684 |      523 |      478
727.37/727.50	c  727s |      18 |  1856188 |   417852 |    14139  19863 |      523 |      478
729.37/729.57	c  729s |      18 |  1858679 |   418752 |    14139  20026 |      523 |      478
731.48/731.68	c  731s |      18 |  1860552 |   419352 |    14139  20283 |      523 |      478
733.58/733.73	c  733s |      18 |  1862926 |   420252 |    14139  20454 |      523 |      478
736.07/736.21	c  736s |      18 |  1863636 |   420552 |    14139  20800 |      523 |      478
738.17/738.30	c  738s |      18 |  1864483 |   420952 |    14139  21061 |      523 |      478
740.18/740.30	c  740s |      18 |  1866527 |   421552 |    14139  21254 |      523 |      478
742.27/742.48	c  742s |      18 |  1869684 |   422552 |    14139  21370 |      523 |      478
744.36/744.52	c  744s |      18 |  1872654 |   423652 |    14139  21492 |      523 |      478
746.87/747.01	c  746s |      18 |  1875612 |   424552 |    14139  21718 |      523 |      478
750.07/750.25	c  750s |      18 |  1877468 |   425052 |    14139  22158 |      523 |      478
752.27/752.43	c  752s |      18 |  1877990 |   425252 |    14139  22485 |      523 |      478
754.77/754.94	c  754s |      18 |  1878454 |   425452 |    14139  22865 |      523 |      478
757.16/757.32	c  757s |      18 |  1879448 |   425852 |    14139  23184 |      523 |      478
760.26/760.49	c  760s |      18 |  1880355 |   426052 |    14139  23689 |      523 |      478
763.06/763.24	c  763s |      18 |  1881375 |   426352 |    14139  24033 |      523 |      478
765.06/765.26	c  765s |      18 |  1882589 |   426752 |    14139  24284 |      523 |      478
767.57/767.75	c  767s |      18 |  1883761 |   427052 |    14139  24651 |      523 |      478
770.06/770.20	c  770s |      18 |  1884784 |   427352 |    14139  25003 |      523 |      478
772.17/772.35	c  772s |      18 |  1885893 |   427752 |    14139  25279 |      523 |      478
774.66/774.89	c  774s |      18 |  1886726 |   428052 |    14139  25642 |      523 |      478
777.06/777.21	c  777s |      18 |  1887652 |   428452 |    14139  25932 |      523 |      478
779.86/780.04	c  779s |      18 |  1888359 |   428652 |    14139  26317 |      523 |      478
782.56/782.70	c  782s |      18 |  1890075 |   429252 |    14139  26648 |      523 |      478
785.15/785.38	c  785s |      18 |  1890724 |   429452 |    14139  27053 |      523 |      478
788.25/788.40	c  788s |      18 |  1892449 |   429952 |    14139  27435 |      523 |      478
790.45/790.60	c  790s |      18 |  1892969 |   430152 |    14139  27759 |      523 |      478
792.56/792.78	c  792s |      18 |  1893636 |   430352 |    14139  28075 |      523 |      478
794.85/795.01	c  794s |      18 |  1894383 |   430652 |    14139  28393 |      523 |      478
797.46/797.66	c  797s |      18 |  1895155 |   431052 |    14139  28734 |      523 |      478
800.85/801.06	c  800s |      18 |  1896291 |   431452 |    14139  29213 |      523 |      478
803.15/803.33	c  803s |      18 |  1897016 |   431652 |    14139  29555 |      523 |      478
805.25/805.48	c  805s |      18 |  1898774 |   432252 |    14139  29762 |      523 |      478
807.65/807.84	c  807s |      18 |  1900133 |   432852 |    14139  29956 |      523 |      478
810.84/811.04	c  810s |      18 |  1901827 |   433452 |    14139  30333 |      523 |      478
813.74/813.98	c  813s |      18 |  1902818 |   433752 |    14139  30770 |      523 |      478
816.24/816.44	c  816s |      18 |  1903727 |   434052 |    14139  31121 |      523 |      478
818.74/818.93	c  818s |      18 |  1904740 |   434352 |    14139  31485 |      523 |      478
820.94/821.18	c  821s |      18 |  1905291 |   434552 |    14139  31824 |      523 |      478
824.24/824.40	c  824s |      18 |  1906027 |   434852 |    14139  32288 |      523 |      478
826.73/826.97	c  826s |      18 |  1906740 |   435152 |    14139  32657 |      523 |      478
829.04/829.25	c  829s |      18 |  1907449 |   435452 |    14139  32953 |      523 |      478
831.84/832.05	c  831s |      18 |  1908602 |   435952 |    14139  33238 |      523 |      478
834.74/834.97	c  834s |      18 |  1909682 |   436252 |    14139  33641 |      523 |      478
837.64/837.81	c  837s |      18 |  1910314 |   436552 |    14139  34022 |      523 |      478
839.74/839.98	c  839s |      18 |  1910967 |   436852 |    14139  34300 |      523 |      478
841.83/842.02	c  841s |      18 |  1912586 |   437352 |    14139  34540 |      523 |      478
844.24/844.43	c  844s |      18 |  1914125 |   437752 |    14139  34864 |      523 |      478
846.74/846.92	c  846s |      18 |  1915648 |   438252 |    14139  35111 |      523 |      478
849.84/850.09	c  849s |      18 |  1917545 |   438952 |    14139  35479 |      523 |      478
852.44/852.69	c  852s |      18 |  1918160 |   439252 |    14139  35855 |      523 |      478
854.63/854.84	c  854s |      18 |  1919229 |   439552 |    14139  36112 |      523 |      478
856.83/857.08	c  856s |      18 |  1920276 |   439952 |    14139  36391 |      523 |      478
859.13/859.33	c  859s |      18 |  1921494 |   440252 |    14139  36697 |      523 |      478
861.42/861.60	c  861s |      18 |  1922779 |   440452 |    14139  37052 |      523 |      478
864.23/864.49	c  864s |      18 |  1923604 |   440752 |    14139  37476 |      523 |      478
866.93/867.14	c  866s |      18 |  1924572 |   441152 |    14139  37827 |      523 |      478
869.13/869.38	c  869s |      18 |  1927418 |   442052 |    15553  37947 |      523 |      478
871.23/871.47	c  871s |      18 |  1930470 |   443152 |    15553  37948 |      523 |      478
873.33/873.57	c  873s |      18 |  1934079 |   444052 |    15553  37954 |      523 |      478
873.72/873.98	c  873s |      19 |  1936494 |   444482 |    15553  37955 |      523 |      478
875.72/875.98	c  875s |      19 |  1939172 |   445382 |    15553  38075 |      523 |      478
877.73/877.99	c  877s |      19 |  1946598 |   447482 |    15553  38078 |      523 |      478
879.83/880.07	c  879s |      19 |  1953812 |   449482 |    15553  38082 |      523 |      478
881.92/882.10	c  881s |      19 |  1960449 |   451282 |    15553  38086 |      523 |      478
883.91/884.10	c  883s |      19 |  1966902 |   453182 |    15553  38092 |      523 |      478
885.91/886.11	c  885s |      19 |  1969647 |   454282 |    15553  38094 |      523 |      478
887.91/888.17	c  888s |      19 |  1974963 |   455982 |    15553  38100 |      523 |      478
890.01/890.27	c  890s |      19 |  1979859 |   457682 |    15553  38109 |      523 |      478
892.21/892.41	c  892s |      19 |  1985447 |   459482 |    15553  38122 |      523 |      478
894.31/894.59	c  894s |      19 |  1990580 |   461082 |    15553  38138 |      523 |      478
896.41/896.68	c  896s |      19 |  1998615 |   463182 |    15553  38148 |      523 |      478
898.41/898.69	c  898s |      19 |  2004943 |   465082 |    15553  38155 |      523 |      478
900.51/900.70	c  900s |      19 |  2012711 |   467082 |    15553  38169 |      523 |      478
902.61/902.81	c  902s |      19 |  2016826 |   468582 |    15553  38176 |      523 |      478
904.60/904.88	c  904s |      19 |  2022284 |   470382 |    15553  38189 |      523 |      478
906.70/906.92	c  906s |      19 |  2027274 |   471882 |    15553  38248 |      523 |      478
908.71/908.95	c  908s |      19 |  2032293 |   473182 |    15553  38362 |      523 |      478
910.72/910.95	c  910s |      19 |  2038544 |   474682 |    15553  38425 |      523 |      478
912.82/913.02	c  912s |      19 |  2042834 |   475882 |    15553  38561 |      523 |      478
917.70/917.92	c  917s |      19 |  2048476 |   477482 |    15553  39030 |      523 |      478
920.90/921.10	c  920s |      19 |  2049351 |   477582 |    15553  39514 |      523 |      478
923.01/923.20	c  923s |      19 |  2051052 |   477982 |    15553  39777 |      523 |      478
925.01/925.29	c  925s |      19 |  2056026 |   479282 |    15553  39894 |      523 |      478
927.11/927.38	c  927s |      19 |  2060190 |   480482 |    15553  40021 |      523 |      478
929.70/929.90	c  929s |      19 |  2062679 |   481082 |    15553  40326 |      524 |      479
931.80/932.07	c  931s |      19 |  2063732 |   481282 |    15553  40639 |      524 |      479
935.40/935.66	c  935s |      19 |  2065335 |   481482 |    15553  41173 |      524 |      479
938.10/938.34	c  938s |      19 |  2066624 |   481682 |    15553  41562 |      524 |      479
940.19/940.49	c  940s |      19 |  2067690 |   481882 |    15553  41866 |      524 |      479
942.40/942.60	c  942s |      19 |  2068576 |   481982 |    15553  42181 |      524 |      479
944.71/944.95	c  944s |      19 |  2069227 |   482082 |    15553  42538 |      524 |      479
949.49/949.73	c  949s |      19 |  2070660 |   482282 |    15553  43242 |      524 |      479
951.69/951.94	c  951s |      19 |  2072020 |   482582 |    15553  43538 |      524 |      479
956.20/956.40	c  956s |      19 |  2073006 |   482682 |    15553  44213 |      524 |      479
958.70/958.95	c  958s |      19 |  2073652 |   482982 |    15553  44569 |      524 |      479
961.69/961.96	c  961s |      19 |  2074324 |   483182 |    15553  45012 |      524 |      479
963.69/963.96	c  963s |      19 |  2074975 |   483282 |    15553  45307 |      524 |      479
967.99/968.21	c  968s |      19 |  2076164 |   483382 |    15553  45943 |      524 |      479
970.19/970.42	c  970s |      19 |  2077133 |   483582 |    15553  46249 |      524 |      479
975.69/975.93	c  975s |      19 |  2078703 |   483882 |    15553  47027 |      524 |      479
981.19/981.41	c  981s |      19 |  2080319 |   483982 |    15553  47841 |      524 |      479
983.78/984.07	c  983s |      19 |  2081155 |   484082 |    15553  48224 |      524 |      479
988.58/988.80	c  988s |      19 |  2082445 |   484282 |    15553  48908 |      524 |      479
990.89/991.16	c  991s |      19 |  2083106 |   484382 |    15553  49253 |      524 |      479
993.58/993.85	c  993s |      19 |  2084517 |   484782 |    15553  49595 |      524 |      479
998.28/998.58	c  998s |      19 |  2085530 |   484882 |    15553  50276 |      524 |      479
1002.27/1002.56	c 1002s |      19 |  2086442 |   484982 |    15553  50850 |      524 |      479
1004.48/1004.72	c 1004s |      19 |  2087141 |   485182 |    15553  51132 |      524 |      479
1008.07/1008.34	c 1008s |      19 |  2088699 |   485782 |    15553  51566 |      524 |      479
1010.37/1010.67	c 1010s |      19 |  2089248 |   485882 |    15553  51890 |      524 |      479
1014.96/1015.27	c 1015s |      19 |  2090212 |   485982 |    15553  52553 |      524 |      479
1018.38/1018.66	c 1018s |      19 |  2091108 |   486282 |    15553  52989 |      524 |      479
1022.66/1022.96	c 1022s |      19 |  2092097 |   486582 |    15553  53554 |      524 |      479
1024.75/1025.00	c 1024s |      19 |  2093080 |   486882 |    15553  53790 |      524 |      479
1027.66/1027.96	c 1027s |      19 |  2094132 |   487082 |    15553  54189 |      524 |      479
1031.36/1031.60	c 1031s |      19 |  2095100 |   487282 |    15553  54683 |      524 |      479
1034.55/1034.85	c 1034s |      19 |  2096058 |   487482 |    15553  55118 |      524 |      479
1036.95/1037.23	c 1037s |      19 |  2096745 |   487682 |    15553  55428 |      524 |      479
1039.55/1039.83	c 1039s |      19 |  2097586 |   487882 |    15553  55769 |      524 |      479
1043.95/1044.20	c 1044s |      19 |  2098443 |   487982 |    15553  56377 |      524 |      479
1047.95/1048.28	c 1048s |      19 |  2099447 |   488182 |    15553  56915 |      524 |      479
1050.75/1051.06	c 1050s |      19 |  2100585 |   488482 |    15553  57266 |      524 |      479
1055.15/1055.44	c 1055s |      19 |  2101715 |   488682 |    15553  57860 |      524 |      479
1057.85/1058.12	c 1057s |      19 |  2102146 |   488882 |    15553  58201 |      524 |      479
1061.04/1061.30	c 1061s |      19 |  2102688 |   489082 |    15553  58610 |      524 |      479
1063.55/1063.84	c 1063s |      19 |  2103079 |   489282 |    15553  58920 |      524 |      479
1065.76/1066.00	c 1065s |      19 |  2103488 |   489482 |    15553  59179 |      524 |      479
1068.25/1068.58	c 1068s |      19 |  2104107 |   489582 |    15553  59530 |      524 |      479
1071.35/1071.62	c 1071s |      19 |  2104851 |   489682 |    15553  59955 |      524 |      479
1073.45/1073.72	c 1073s |      19 |  2105361 |   489882 |    15553  60223 |      524 |      479
1077.15/1077.41	c 1077s |      19 |  2106317 |   489982 |    15553  60741 |      524 |      479
1079.95/1080.25	c 1080s |      19 |  2107033 |   490182 |    15553  61121 |      524 |      479
1086.44/1086.76	c 1086s |      19 |  2109066 |   490682 |    15553  61998 |      524 |      479
1090.94/1091.28	c 1091s |      19 |  2110776 |   490882 |    15553  62622 |      524 |      479
1094.73/1095.08	c 1094s |      19 |  2111809 |   491182 |    15553  63121 |      524 |      479
1097.03/1097.35	c 1097s |      19 |  2112529 |   491382 |    15553  63413 |      524 |      479
1099.33/1099.63	c 1099s |      19 |  2113136 |   491582 |    15553  63704 |      524 |      479
1101.73/1102.09	c 1101s |      19 |  2113640 |   491682 |    15553  64039 |      524 |      479
1104.33/1104.64	c 1104s |      19 |  2114043 |   491782 |    15553  64383 |      524 |      479
1106.83/1107.11	c 1106s |      19 |  2114528 |   491882 |    15553  64713 |      524 |      479
1109.63/1109.97	c 1109s |      19 |  2115250 |   492182 |    15553  65072 |      524 |      479
1112.22/1112.57	c 1112s |      19 |  2115902 |   492482 |    15553  65398 |      524 |      479
1114.52/1114.82	c 1114s |      19 |  2116316 |   492682 |    15553  65681 |      524 |      479
1117.92/1118.20	c 1118s |      19 |  2117210 |   492882 |    15553  66123 |      524 |      479
1123.02/1123.39	c 1123s |      19 |  2118599 |   493082 |    15553  66831 |      524 |      479
1126.61/1126.96	c 1126s |      19 |  2119523 |   493282 |    15553  67310 |      524 |      479
1133.92/1134.25	c 1134s |      19 |  2121359 |   493582 |    15553  68308 |      524 |      479
1137.61/1137.90	c 1137s |      19 |  2122065 |   493682 |    15553  68814 |      524 |      479
1141.21/1141.57	c 1141s |      19 |  2122719 |   493782 |    15553  69312 |      524 |      479
1143.31/1143.69	c 1143s |      19 |  2123054 |   493882 |    15553  69597 |      524 |      479
1145.41/1145.79	c 1145s |      19 |  2123594 |   494082 |    15553  69855 |      524 |      479
1147.70/1148.01	c 1147s |      19 |  2124056 |   494182 |    15553  70151 |      524 |      479
1152.81/1153.12	c 1152s |      19 |  2125206 |   494382 |    15553  70847 |      524 |      479
1157.70/1158.01	c 1157s |      19 |  2126256 |   494582 |    15553  71511 |      524 |      479
1163.31/1163.61	c 1163s |      19 |  2127277 |   494682 |    15553  72287 |      524 |      479
1166.60/1166.95	c 1166s |      19 |  2128026 |   494882 |    15553  72712 |      524 |      479
1170.00/1170.36	c 1170s |      19 |  2128740 |   495082 |    15553  73163 |      524 |      479
1172.99/1173.37	c 1173s |      19 |  2129479 |   495282 |    15553  73555 |      524 |      479
1176.50/1176.84	c 1176s |      19 |  2130056 |   495382 |    15553  74028 |      524 |      479
1180.10/1180.46	c 1180s |      19 |  2130721 |   495582 |    15553  74493 |      524 |      479
1182.79/1183.16	c 1183s |      19 |  2131290 |   495782 |    15553  74843 |      524 |      479
1185.59/1185.93	c 1185s |      19 |  2131707 |   495882 |    15553  75216 |      524 |      479
1187.89/1188.29	c 1188s |      19 |  2132125 |   496082 |    15553  75514 |      524 |      479
1189.89/1190.29	c 1190s |      19 |  2132550 |   496282 |    15553  75770 |      524 |      479
1192.10/1192.48	c 1192s |      19 |  2133046 |   496482 |    15553  76042 |      524 |      479
1194.78/1195.16	c 1195s |      19 |  2133600 |   496682 |    15553  76391 |      524 |      479
1196.88/1197.27	c 1197s |      19 |  2134059 |   496882 |    15553  76659 |      524 |      479
1198.98/1199.35	c 1199s |      19 |  2134462 |   497082 |    15553  76939 |      524 |      479
1204.47/1204.89	c 1204s |      19 |  2135706 |   497382 |    15553  77673 |      524 |      479
1208.07/1208.43	c 1208s |      19 |  2136188 |   497482 |    15553  78147 |      524 |      479
1210.28/1210.69	c 1210s |      19 |  2136542 |   497582 |    15553  78437 |      524 |      479
1213.18/1213.54	c 1213s |      19 |  2137045 |   497682 |    15553  78828 |      524 |      479
1215.57/1215.94	c 1215s |      19 |  2137475 |   497782 |    15553  79150 |      524 |      479
1221.17/1221.50	c 1221s |      19 |  2138389 |   497882 |    15553  79912 |      524 |      479
1224.56/1224.93	c 1224s |      19 |  2138951 |   497982 |    15553  80369 |      524 |      479
1229.27/1229.60	c 1229s |      19 |  2139862 |   498182 |    15553  80983 |      524 |      479
1235.75/1236.11	c 1235s |      19 |  2140884 |   498282 |    15553  81869 |      524 |      479
1240.86/1241.22	c 1241s |      19 |  2141808 |   498482 |    15553  82539 |      524 |      479
1243.26/1243.65	c 1243s |      19 |  2142174 |   498582 |    15553  82858 |      524 |      479
1247.76/1248.16	c 1248s |      19 |  2142871 |   498782 |    15553  83439 |      524 |      479
1250.75/1251.13	c 1250s |      19 |  2143295 |   498882 |    15553  83818 |      524 |      479
1255.05/1255.42	c 1255s |      19 |  2143896 |   498982 |    15553  84381 |      524 |      479
1257.55/1257.90	c 1257s |      19 |  2144395 |   499082 |    15553  84706 |      524 |      479
1262.35/1262.75	c 1262s |      19 |  2145126 |   499282 |    15553  85336 |      524 |      479
1264.75/1265.15	c 1265s |      19 |  2145439 |   499382 |    15553  85649 |      524 |      479
1271.64/1272.09	c 1271s |      19 |  2146457 |   499482 |    15553  86593 |      524 |      479
1276.14/1276.51	c 1276s |      19 |  2147216 |   499582 |    15553  87191 |      524 |      479
1278.24/1278.69	c 1278s |      19 |  2148122 |   499982 |    15553  87443 |      524 |      479
1280.54/1280.93	c 1280s |      19 |  2148600 |   500082 |    15553  87743 |      524 |      479
1285.73/1286.11	c 1285s |      19 |  2149360 |   500182 |    15553  88445 |      524 |      479
1291.74/1292.13	c 1291s |      19 |  2150201 |   500282 |    15553  89258 |      524 |      479
1296.54/1296.99	c 1296s |      19 |  2150883 |   500482 |    15553  89882 |      524 |      479
1299.43/1299.83	c 1299s |      19 |  2151255 |   500582 |    15553  90250 |      524 |      479
1302.32/1302.75	c 1302s |      19 |  2151655 |   500682 |    15553  90639 |      524 |      479
1306.72/1307.10	c 1306s |      19 |  2152226 |   500882 |    15553  91198 |      524 |      479
1308.73/1309.13	c 1308s |      19 |  2152491 |   500982 |    15553  91463 |      524 |      479
1310.83/1311.22	c 1311s |      19 |  2152777 |   501082 |    15553  91732 |      524 |      479
1313.42/1313.84	c 1313s |      19 |  2153131 |   501182 |    15553  92079 |      524 |      479
1315.72/1316.18	c 1316s |      19 |  2153441 |   501282 |    15553  92385 |      524 |      479
1318.82/1319.27	c 1319s |      19 |  2153869 |   501382 |    15553  92782 |      524 |      479
1321.11/1321.51	c 1321s |      19 |  2154210 |   501482 |    15553  93073 |      524 |      479
1323.90/1324.36	c 1324s |      19 |  2154595 |   501582 |    15553  93453 |      524 |      479
1327.21/1327.65	c 1327s |      19 |  2155010 |   501782 |    15553  93868 |      524 |      479
1332.81/1333.29	c 1333s |      19 |  2155786 |   501982 |    15553  94603 |      524 |      479
1337.81/1338.27	c 1338s |      19 |  2156440 |   502182 |    15553  95257 |      524 |      479
1340.51/1340.94	c 1340s |      19 |  2156790 |   502282 |    15553  95607 |      524 |      479
1342.50/1342.94	c 1342s |      19 |  2157047 |   502382 |    15553  95855 |      524 |      479
1346.39/1346.80	c 1346s |      19 |  2157614 |   502582 |    15553  96353 |      524 |      479
1349.09/1349.50	c 1349s |      19 |  2157974 |   502682 |    15553  96713 |      524 |      479
1351.40/1351.85	c 1351s |      19 |  2158293 |   502782 |    15553  97032 |      524 |      479
1354.59/1355.03	c 1354s |      19 |  2158732 |   502882 |    15553  97458 |      524 |      479
1359.49/1359.97	c 1359s |      19 |  2159410 |   502982 |    15553  98134 |      524 |      479
1362.60/1363.04	c 1362s |      19 |  2159814 |   503082 |    15553  98535 |      524 |      479
1365.69/1366.17	c 1366s |      19 |  2160264 |   503182 |    15553  98961 |      524 |      479
1368.39/1368.89	c 1368s |      19 |  2160637 |   503382 |    15553  99302 |      524 |      479
1371.99/1372.43	c 1372s |      19 |  2161126 |   503482 |    15553  99782 |      524 |      479
1375.09/1375.57	c 1375s |      19 |  2161550 |   503582 |    15553 100206 |      524 |      479
1378.69/1379.15	c 1379s |      19 |  2162009 |   503782 |    15553 100665 |      524 |      479
1381.09/1381.52	c 1381s |      19 |  2162320 |   503882 |    15553 100976 |      524 |      479
1383.69/1384.11	c 1383s |      19 |  2162658 |   503982 |    15553 101314 |      524 |      479
1386.69/1387.18	c 1387s |      19 |  2163074 |   504082 |    15553 101721 |      524 |      479
1389.88/1390.37	c 1390s |      19 |  2163498 |   504182 |    15553 102145 |      524 |      479
1392.19/1392.62	c 1392s |      19 |  2163791 |   504282 |    15553 102438 |      524 |      479
1394.68/1395.15	c 1395s |      19 |  2164122 |   504382 |    15553 102769 |      524 |      479
1396.79/1397.23	c 1397s |      19 |  2164383 |   504482 |    15553 103030 |      524 |      479
1398.79/1399.28	c 1399s |      19 |  2164651 |   504582 |    15553 103298 |      524 |      479
1401.09/1401.55	c 1401s |      19 |  2164943 |   504682 |    15553 103590 |      524 |      479
1404.08/1404.51	c 1404s |      19 |  2165333 |   504782 |    15553 103980 |      524 |      479
1406.19/1406.69	c 1406s |      19 |  2165611 |   504882 |    15553 104258 |      524 |      479
1409.48/1409.98	c 1409s |      19 |  2166021 |   505082 |    15553 104668 |      524 |      479
1412.78/1413.27	c 1413s |      19 |  2166429 |   505282 |    15553 105076 |      524 |      479
1416.18/1416.68	c 1416s |      19 |  2166878 |   505382 |    15553 105525 |      524 |      479
1418.69/1419.18	c 1419s |      19 |  2167201 |   505482 |    15553 105848 |      524 |      479
1420.89/1421.36	c 1421s |      19 |  2167480 |   505582 |    15553 106127 |      524 |      479
1424.09/1424.53	c 1424s |      19 |  2167897 |   505682 |    15553 106544 |      524 |      479
1426.78/1427.21	c 1427s |      19 |  2168246 |   505782 |    15553 106893 |      524 |      479
1431.07/1431.58	c 1431s |      19 |  2168795 |   505982 |    15553 107442 |      524 |      479
1435.19/1435.62	c 1435s |      19 |  2169311 |   506182 |    15553 107958 |      524 |      479
1438.28/1438.71	c 1438s |      19 |  2169729 |   506282 |    15553 108367 |      524 |      479
1443.47/1443.95	c 1443s |      19 |  2170481 |   506382 |    15553 109087 |      524 |      479
1449.88/1450.30	c 1450s |      19 |  2171334 |   506582 |    15553 109925 |      524 |      479
1451.88/1452.39	c 1452s |      19 |  2171602 |   506682 |    15553 110193 |      524 |      479
1454.17/1454.69	c 1454s |      19 |  2171895 |   506782 |    15553 110486 |      524 |      479
1458.87/1459.37	c 1459s |      19 |  2172480 |   506982 |    15553 111069 |      524 |      479
1461.08/1461.52	c 1461s |      19 |  2172753 |   507082 |    15553 111342 |      524 |      479
1464.08/1464.57	c 1464s |      19 |  2173155 |   507182 |    15553 111744 |      524 |      479
1466.17/1466.64	c 1466s |      19 |  2173419 |   507282 |    15553 112008 |      524 |      479
1468.77/1469.21	c 1469s |      19 |  2173753 |   507382 |    15553 112342 |      524 |      479
1471.77/1472.21	c 1472s |      19 |  2174147 |   507482 |    15553 112736 |      524 |      479
1473.88/1474.38	c 1474s |      19 |  2174422 |   507582 |    15553 113011 |      524 |      479
1477.77/1478.28	c 1478s |      19 |  2174919 |   507782 |    15553 113508 |      524 |      479
1481.38/1481.83	c 1481s |      19 |  2175370 |   507982 |    15553 113959 |      524 |      479
1485.37/1485.87	c 1485s |      19 |  2175883 |   508182 |    15553 114472 |      524 |      479
1489.67/1490.17	c 1490s |      19 |  2176434 |   508382 |    15553 115023 |      524 |      479
1493.77/1494.28	c 1494s |      19 |  2176960 |   508582 |    15553 115547 |      524 |      479
1496.47/1496.99	c 1496s |      19 |  2177317 |   508682 |    15553 115904 |      524 |      479
1500.67/1501.14	c 1500s |      19 |  2177850 |   508882 |    15553 116437 |      524 |      479
1504.16/1504.63	c 1504s |      19 |  2178304 |   509082 |    15553 116891 |      524 |      479
1506.46/1506.97	c 1506s |      19 |  2178599 |   509182 |    15553 117186 |      524 |      479
1510.47/1510.99	c 1510s |      19 |  2179118 |   509382 |    15553 117705 |      524 |      479
1513.47/1513.95	c 1513s |      19 |  2179499 |   509482 |    15553 118086 |      524 |      479
1518.27/1518.79	c 1518s |      19 |  2180124 |   509682 |    15553 118711 |      524 |      479
1522.16/1522.64	c 1522s |      19 |  2180623 |   509882 |    15553 119210 |      524 |      479
1524.27/1524.74	c 1524s |      19 |  2180898 |   509982 |    15553 119485 |      524 |      479
1529.77/1530.23	c 1530s |      19 |  2181617 |   510182 |    15553 120204 |      524 |      479
1533.26/1533.79	c 1533s |      19 |  2182071 |   510382 |    15553 120658 |      524 |      479
1536.96/1537.43	c 1537s |      19 |  2182555 |   510482 |    15553 121142 |      524 |      479
1539.26/1539.72	c 1539s |      19 |  2182854 |   510582 |    15553 121441 |      524 |      479
1543.97/1544.42	c 1544s |      19 |  2183451 |   510782 |    15553 122038 |      524 |      479
1546.46/1546.95	c 1546s |      19 |  2183785 |   510882 |    15553 122368 |      524 |      479
1549.16/1549.61	c 1549s |      19 |  2184133 |   510982 |    15553 122716 |      524 |      479
1551.56/1552.06	c 1551s |      19 |  2184455 |   511082 |    15553 123038 |      524 |      479
1553.66/1554.14	c 1553s |      19 |  2184722 |   511182 |    15553 123305 |      524 |      479
1556.95/1557.42	c 1557s |      19 |  2185157 |   511282 |    15553 123740 |      524 |      479
1559.26/1559.80	c 1559s |      19 |  2185468 |   511382 |    15553 124051 |      524 |      479
1561.46/1561.91	c 1561s |      19 |  2185743 |   511482 |    15553 124326 |      524 |      479
1564.56/1565.09	c 1564s |      19 |  2186167 |   511582 |    15553 124745 |      524 |      479
1567.96/1568.42	c 1568s |      19 |  2186612 |   511682 |    15553 125190 |      524 |      479
1570.46/1570.92	c 1570s |      19 |  2186939 |   511782 |    15553 125517 |      524 |      479
1573.16/1573.64	c 1573s |      19 |  2187301 |   511882 |    15553 125874 |      524 |      479
1575.36/1575.88	c 1575s |      19 |  2187591 |   511982 |    15553 126164 |      524 |      479
1579.96/1580.45	c 1580s |      19 |  2188180 |   512182 |    15553 126753 |      524 |      479
1582.35/1582.85	c 1582s |      19 |  2188491 |   512282 |    15553 127064 |      524 |      479
1584.85/1585.32	c 1585s |      19 |  2188814 |   512382 |    15553 127387 |      524 |      479
1588.45/1588.99	c 1588s |      19 |  2189301 |   512482 |    15553 127874 |      524 |      479
1593.06/1593.55	c 1593s |      19 |  2189920 |   512582 |    15553 128493 |      524 |      479
1595.56/1596.08	c 1595s |      19 |  2190259 |   512682 |    15553 128826 |      524 |      479
1599.46/1599.99	c 1599s |      19 |  2190781 |   512782 |    15553 129348 |      524 |      479
1603.95/1604.45	c 1604s |      19 |  2191353 |   512982 |    15553 129920 |      524 |      479
1606.65/1607.17	c 1607s |      19 |  2191708 |   513082 |    15553 130275 |      524 |      479
1608.75/1609.28	c 1609s |      19 |  2191981 |   513182 |    15553 130548 |      524 |      479
1611.75/1612.22	c 1612s |      19 |  2192373 |   513282 |    15553 130940 |      524 |      479
1614.36/1614.83	c 1614s |      19 |  2192718 |   513382 |    15553 131285 |      524 |      479
1617.75/1618.29	c 1618s |      19 |  2193163 |   513582 |    15553 131729 |      524 |      479
1621.06/1621.57	c 1621s |      19 |  2193608 |   513682 |    15553 132174 |      524 |      479
1624.65/1625.15	c 1625s |      19 |  2194084 |   513782 |    15553 132650 |      524 |      479
1628.45/1628.99	c 1628s |      19 |  2194606 |   513882 |    15553 133172 |      524 |      479
1631.55/1632.00	c 1631s |      19 |  2195004 |   513982 |    15553 133570 |      524 |      479
1636.05/1636.50	c 1636s |      19 |  2195583 |   514182 |    15553 134146 |      524 |      479
1639.15/1639.60	c 1639s |      19 |  2195996 |   514282 |    15553 134559 |      524 |      479
1642.15/1642.66	c 1642s |      19 |  2196374 |   514482 |    15553 134937 |      524 |      479
1644.24/1644.77	c 1644s |      19 |  2196644 |   514582 |    15553 135207 |      524 |      479
1647.94/1648.46	c 1648s |      19 |  2197113 |   514782 |    15553 135676 |      524 |      479
1650.45/1650.96	c 1650s |      19 |  2197437 |   514882 |    15553 136000 |      524 |      479
1652.74/1653.22	c 1653s |      19 |  2197721 |   514982 |    15553 136284 |      524 |      479
1654.74/1655.23	c 1655s |      19 |  2197982 |   515082 |    15553 136545 |      524 |      479
1657.14/1657.65	c 1657s |      19 |  2198301 |   515182 |    15553 136864 |      524 |      479
1659.45/1659.95	c 1659s |      19 |  2198598 |   515282 |    15553 137161 |      524 |      479
1662.54/1663.05	c 1662s |      19 |  2199004 |   515382 |    15553 137567 |      524 |      479
1665.84/1666.38	c 1666s |      19 |  2199418 |   515582 |    15553 137981 |      524 |      479
1668.64/1669.15	c 1669s |      19 |  2199781 |   515682 |    15553 138344 |      524 |      479
1671.04/1671.53	c 1671s |      19 |  2200084 |   515782 |    15553 138647 |      524 |      479
1673.64/1674.17	c 1674s |      19 |  2200426 |   515882 |    15553 138989 |      524 |      479
1677.04/1677.60	c 1677s |      19 |  2200844 |   516082 |    15553 139407 |      524 |      479
1680.24/1680.76	c 1680s |      19 |  2201232 |   516282 |    15553 139795 |      524 |      479
1682.44/1682.96	c 1682s |      19 |  2201511 |   516382 |    15553 140074 |      524 |      479
1686.34/1686.88	c 1686s |      19 |  2202035 |   516482 |    15553 140598 |      524 |      479
1690.54/1691.06	c 1690s |      19 |  2202597 |   516582 |    15553 141160 |      524 |      479
1694.04/1694.51	c 1694s |      19 |  2203060 |   516682 |    15553 141623 |      524 |      479
1696.24/1696.73	c 1696s |      19 |  2203334 |   516782 |    15553 141897 |      524 |      479
1698.84/1699.35	c 1699s |      19 |  2203675 |   516882 |    15553 142238 |      524 |      479
1702.53/1703.08	c 1702s |      19 |  2204175 |   516982 |    15553 142738 |      524 |      479
1704.74/1705.29	c 1705s |      19 |  2204462 |   517082 |    15553 143025 |      524 |      479
1709.04/1709.59	c 1709s |      19 |  2205011 |   517282 |    15553 143574 |      524 |      479
1711.14/1711.66	c 1711s |      19 |  2205278 |   517382 |    15553 143841 |      524 |      479
1715.03/1715.54	c 1715s |      19 |  2205753 |   517582 |    15553 144316 |      524 |      479
1719.44/1719.92	c 1719s |      19 |  2206319 |   517782 |    15553 144882 |      524 |      479
1723.74/1724.28	c 1724s |      19 |  2206878 |   517982 |    15553 145441 |      524 |      479
1726.54/1727.01	c 1726s |      19 |  2207226 |   518082 |    15553 145789 |      524 |      479
1729.13/1729.64	c 1729s |      19 |  2207564 |   518182 |    15553 146127 |      524 |      479
1733.73/1734.28	c 1734s |      19 |  2208154 |   518382 |    15553 146717 |      524 |      479
1737.93/1738.46	c 1738s |      19 |  2208671 |   518582 |    15553 147234 |      524 |      479
1740.33/1740.89	c 1740s |      19 |  2208985 |   518682 |    15553 147548 |      524 |      479
1745.24/1745.80	c 1745s |      19 |  2209627 |   518882 |    15553 148190 |      524 |      479
1748.53/1749.07	c 1748s |      19 |  2210076 |   518982 |    15553 148639 |      524 |      479
1750.73/1751.25	c 1751s |      19 |  2210354 |   519082 |    15553 148917 |      524 |      479
1753.72/1754.23	c 1754s |      19 |  2210751 |   519182 |    15553 149314 |      524 |      479
1755.83/1756.35	c 1756s |      19 |  2211026 |   519282 |    15553 149589 |      524 |      479
1757.93/1758.43	c 1758s |      19 |  2211294 |   519382 |    15553 149857 |      524 |      479
1760.13/1760.66	c 1760s |      19 |  2211585 |   519482 |    15553 150148 |      524 |      479
1763.33/1763.89	c 1763s |      19 |  2212022 |   519582 |    15553 150585 |      524 |      479
1765.52/1766.05	c 1765s |      19 |  2212301 |   519682 |    15553 150864 |      524 |      479
1768.02/1768.50	c 1768s |      19 |  2212623 |   519782 |    15553 151186 |      524 |      479
1771.64/1772.11	c 1771s |      19 |  2213096 |   519982 |    15553 151659 |      524 |      479
1774.03/1774.55	c 1774s |      19 |  2213423 |   520082 |    15553 151986 |      524 |      479
1777.72/1778.20	c 1778s |      19 |  2213892 |   520282 |    15553 152455 |      524 |      479
1782.13/1782.61	c 1782s |      19 |  2214479 |   520482 |    15553 153042 |      524 |      479
1785.02/1785.53	c 1785s |      19 |  2214877 |   520582 |    15553 153440 |      524 |      479
1791.63/1792.13	c 1791s |      19 |  2215770 |   520782 |    15553 154333 |      524 |      479
1794.92/1795.46	c 1795s |      19 |  2216201 |   520982 |    15553 154764 |      524 |      479
1798.92/1799.40	c 1799s |      19 |  2216715 |   521182 |    15553 155278 |      524 |      479

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.05 2/179 4326
/proc/meminfo: memFree=30082980/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 2615 0 0 0 0 0 0 0 20 0 4 0 110715225 718729216 2975 33554432000 4194304 16246674 140737263165376 140737263164800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 176239 2987 441 2943 0 173133 0
[pid=4326/tid=4327] ppid=4323 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 737603584 3045 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 741797888 3063 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110715226 745992192 3079 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.01 2.03 2.05 2/179 4326
/proc/meminfo: memFree=30082980/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 24760 0 0 0 5 3 0 0 20 0 4 0 110715225 1249447936 25058 33554432000 4194304 16246674 140737263165376 140737263164688 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 305041 25066 833 2943 0 301935 0
[pid=4326/tid=4327] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 25071 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 25076 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 25081 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200503 s]
/proc/loadavg: 2.01 2.03 2.05 2/179 4326
/proc/meminfo: memFree=30082980/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 44813 0 0 0 12 7 0 0 20 0 4 0 110715225 1249447936 45111 33554432000 4194304 16246674 140737263165376 140737263164688 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 305041 45121 876 2943 0 301935 0
[pid=4326/tid=4327] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 45128 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 45138 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 45145 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300472 s]
/proc/loadavg: 2.01 2.03 2.05 2/179 4326
/proc/meminfo: memFree=30082980/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 64140 0 0 0 19 10 0 0 20 0 4 0 110715225 1249447936 64439 33554432000 4194304 16246674 140737263165376 140737263164688 13192951 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 305041 64452 876 2943 0 301935 0
[pid=4326/tid=4327] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 64455 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 64459 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 64467 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700383 s]
/proc/loadavg: 2.01 2.03 2.05 2/179 4326
/proc/meminfo: memFree=30082980/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 151076 0 0 0 47 22 0 0 20 0 4 0 110715225 1249447936 151374 33554432000 4194304 16246674 140737263165376 140737263147264 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 305041 151381 878 2943 0 301935 0
[pid=4326/tid=4327] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 151386 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 151391 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110715226 1249447936 151396 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50036 s]
/proc/loadavg: 2.01 2.03 2.05 4/183 4330
/proc/meminfo: memFree=29142980/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 266205 0 0 0 113 35 0 0 20 0 4 0 110715225 1332285440 266503 33554432000 4194304 16246674 140737263165376 140737263147264 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 325265 266503 881 2943 0 322159 0
[pid=4326/tid=4327] ppid=4323 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1332285440 266503 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1332285440 266503 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1332285440 266503 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.01 2.03 2.05 4/183 4330
/proc/meminfo: memFree=29011780/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 267782 0 0 0 273 35 0 0 20 0 4 0 110715225 1338576896 268080 33554432000 4194304 16246674 140737263165376 140737263148376 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 326801 268080 885 2943 0 323695 0
[pid=4326/tid=4327] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268080 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268080 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268080 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 4330
/proc/meminfo: memFree=29010796/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 267899 0 0 0 593 35 0 0 20 0 4 0 110715225 1338576896 268197 33554432000 4194304 16246674 140737263165376 140737263147264 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 326801 268197 885 2943 0 323695 0
[pid=4326/tid=4327] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268197 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268197 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268197 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 4330
/proc/meminfo: memFree=29010804/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 267984 0 0 0 1233 36 0 0 20 0 4 0 110715225 1338576896 268282 33554432000 4194304 16246674 140737263165376 140737263147264 13191840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 326801 268282 885 2943 0 323695 0
[pid=4326/tid=4327] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268282 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268282 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1338576896 268282 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.08 2.05 2.06 3/183 4330
/proc/meminfo: memFree=29009540/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 268072 0 0 0 2513 36 0 0 20 0 4 0 110715225 1339625472 268370 33554432000 4194304 16246674 140737263165376 140737263147264 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327057 268370 886 2943 0 323951 0
[pid=4326/tid=4327] ppid=4323 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1339625472 268370 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1339625472 268370 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1339625472 268370 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.05 2.04 2.06 3/183 4330
/proc/meminfo: memFree=29010008/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 268072 0 0 0 5072 36 0 0 20 0 4 0 110715225 1339625472 268370 33554432000 4194304 16246674 140737263165376 140737263147264 5823242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327057 268370 886 2943 0 323951 0
[pid=4326/tid=4327] ppid=4323 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1339625472 268370 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1339625472 268370 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1339625472 268370 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 4331
/proc/meminfo: memFree=29005592/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269009 0 0 0 10192 36 0 0 20 0 4 0 110715225 1342771200 269307 33554432000 4194304 16246674 140737263165376 140737263147264 12483317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269307 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269307 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269307 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269307 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.19 2.12 2.07 3/183 4363
/proc/meminfo: memFree=29002064/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1361.89 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 136094 95 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 13818370 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.12 2.11 2.07 3/183 4364
/proc/meminfo: memFree=29002184/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1421.89 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 142090 99 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 13192052 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.09 2.10 2.07 3/183 4365
/proc/meminfo: memFree=29002312/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1481.87 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 148084 103 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.21 2.13 2.08 3/183 4366
/proc/meminfo: memFree=29002320/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1541.87 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 154080 107 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.13 2.12 2.08 3/184 4370
/proc/meminfo: memFree=29002380/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1601.85 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 160074 111 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 13191445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.20 2.14 2.09 3/183 4372
/proc/meminfo: memFree=29002148/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1661.84 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 166067 117 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 13191314 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.33 2.17 2.10 3/183 4373
/proc/meminfo: memFree=29001400/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1721.84 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 172062 122 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 13946392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.17 2.16 2.09 3/183 4423
/proc/meminfo: memFree=29295184/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1781.83 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 178057 126 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 4423
/proc/meminfo: memFree=29295312/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1800.02 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 179875 127 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1311300

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 4423
/proc/meminfo: memFree=29295312/32872528 swapFree=12328/568296
[pid=4326] ppid=4323 vsize=1311300 CPUtime=1800.02 cores=0,2,4,6
/proc/4326/stat : 4326 (toysat) R 4323 4326 3396 0 -1 4202496 269354 0 0 0 179875 127 0 0 20 0 4 0 110715225 1342771200 269310 33554432000 4194304 16246674 140737263165376 140737263164552 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4326/statm: 327825 269310 886 2943 0 324719 0
[pid=4326/tid=4327] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4327/stat : 4327 (toysat) S 4323 4326 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370050526448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4326/tid=4328] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4328/stat : 4328 (toysat) S 4323 4326 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370040036592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4326/tid=4329] ppid=4323 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4329/stat : 4329 (toysat) S 4323 4326 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110715226 1342771200 269310 33554432000 4194304 16246674 140737263165376 140370029563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1311300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1798.76
CPU system time (s): 1.27881
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.2788
maximum resident set size= 1077240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269354
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= 359
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85581 second user time and 9.2186 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 10:23:47
IDJOB=4078878
IDBENCH=90229
IDSOLVER=2542
FILE ID=node138/4078878-1465287826
RUNJOBID= node138-1465278758-3412
PBS_JOBID= 19843315
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=1202969729

node138.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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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.807
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.807
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.807
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.807
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.807
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.807
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.807
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:        30083136 kB
Buffers:          111736 kB
Cached:           252656 kB
SwapCached:        46740 kB
Active:          1211712 kB
Inactive:         273216 kB
Active(anon):    1075204 kB
Inactive(anon):    47688 kB
Active(file):     136508 kB
Inactive(file):   225528 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       1698216 kB
Mapped:            11752 kB
Shmem:                 0 kB
Slab:             602816 kB
SReclaimable:      46360 kB
SUnreclaim:       556456 kB
KernelStack:        1520 kB
PageTables:         7680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1788160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 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 node138 at 2016-06-07 10:53:47