Trace number 4078879

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K69.opb
MD5SUMda1bb6c22345628ac4e1e426278657ed
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 benchmark24.57
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3795
Total number of constraints3935
Number of constraints which are clauses3866
Number of constraints which are cardinality constraints (but not clauses)69
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint69
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 70
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:14:42+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-4078879-1465287282.opb"]
0.00/0.01	c use --random-gen="2576365117 1596659222 2648643118 503041354 2899938777 926402085 752705868 2465816136 1492122291 2751939627 2309503532 1346277068 3332616966 228482146 212525552 138562681 199692057 3291565518 2681740242 394218360 3013996156 364508437 2774933039 2771197529 2611647754 1500052335 852554524 3535238162 2333945914 3152858162 2250485522 1362656297 318055711 410758082 1593755724 4034210995 4219813029 3046103804 493905654 728388620 1885476670 3512858808 659645930 1676377719 3743438004 3506682446 3751381633 1845479566 272064766 1835567967 1350715701 3966904450 111465124 1207762527 204934603 4073390291 3392933500 3040632579 3546121559 3624278253 3511884634 2626997752 166696275 1332393187 4236255496 529411605 1472512571 3934891709 421424001 132253252 615602945 1790868923 2081531202 2636684957 3515654612 3274176439 3474386194 2570480279 748617449 1115275925 4221852999 2451129406 3933093270 1402593093 3834675347 3861000246 3970589981 3680891804 2746797741 2404467028 2935286453 4206537684 583362778 613391555 556750028 2341309553 838772668 3779407644 2389552915 2119151681 3869333013 3453896510 1800385031 2695465615 813547608 929287640 1079323520 49604963 2479890655 3665084084 2563013246 1305862287 3184498846 2635682266 3504675360 2029372432 1630623030 2204301843 2147120193 1619670942 1150879577 403693460 1206946872 863946047 3924565441 2279153239 660424467 67865610 2076702264 310342369 1846492584 1523160687 3007839519 3664777954 3559976773 774154782 711404155 343924814 705889034 1590706433 1492378327 2816193558 2368179944 1480182294 88357046 104360009 834633241 684789211 377558593 1549728592 3813169148 2141172903 1907206335 2988138778 3369516969 2427516993 3381105272 3912276849 3906767969 2605317413 2546264302 557016490 3808249940 2886087111 4234317228 333761598 3825326809 2448591281 455557357 873237066 2392263078 583531750 2055536069 459970625 3531038281 3037682907 3477686037 4259255792 1257507135 1357932777 914543926 2144922775 2537573434 4282970219 691993202 3558594378 3203744142 1867912406 3149113330 3671701292 3153289980 2081406916 3922574671 3064993755 4037473412 4207883450 2679180891 1437627461 662186998 3293662118 266785546 2153572185 3137791716 59268874 1160178412 182494904 3737343594 3395604530 3869714102 1404541186 787798701 2030172697 2376295998 403138936 402174225 522040913 1121040126 2364174105 1133092992 3910129742 2937545883 817506073 3544524599 2490795023 1660368329 217452000 3277932951 484975282 241434329 1141907269 2722715170 3586367222 3259063148 3738393524 2995245891 4184129826 1982735487 2280533165 1062659611 1122207207 1940441469 2766755722 485213912 3278162636 2217617114 3719481813 1080163838 4187123549 3449913914 2781087261 3664379108 1002895171 2145537547 1079674295 3184483409 2334675589 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3795
0.00/0.06	c #constraints 3935
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |     2576      0 |      455 |        0
0.18/0.27	c  0.1s |       1 |     3059 |      100 |     2576      0 |      456 |      411
0.39/0.42	c  0.3s |       2 |     3984 |      250 |     2834      0 |      457 |      412
0.59/0.64	c  0.5s |       3 |     6605 |      475 |     3118      0 |      459 |      414
0.89/0.98	c  0.8s |       4 |    10173 |      813 |     3430      0 |      459 |      414
1.39/1.48	c  1.3s |       5 |    14952 |     1320 |     3774      0 |      462 |      417
1.99/2.04	c  1.9s |       6 |    19247 |     2081 |     4568      0 |      464 |      419
3.49/3.55	c  3.4s |       7 |    23638 |     3223 |     5025      0 |      464 |      419
5.50/5.55	c  5.4s |       7 |    40537 |     4823 |     5025      0 |      477 |      432
5.60/5.68	c  5.5s |       8 |    41875 |     4936 |     5528      0 |      478 |      433
7.69/7.78	c  7.6s |       8 |    57309 |     6636 |     5528      1 |      483 |      438
8.59/8.63	c  8.5s |       9 |    64519 |     7506 |     6081      1 |      485 |      440
10.69/10.77	c 10.6s |       9 |    76923 |     9306 |     6081      1 |      486 |      441
12.79/12.88	c 12.7s |       9 |    89035 |    10906 |     6081      2 |      491 |      446
13.29/13.32	c 13.2s |      10 |    93769 |    11361 |     6690      2 |      492 |      447
15.29/15.38	c 15.2s |      10 |   110875 |    13161 |     6690      2 |      497 |      452
17.39/17.47	c 17.3s |      10 |   119722 |    14861 |     6690      2 |      497 |      452
19.59/19.61	c 19.5s |      10 |   124955 |    16261 |     6690      3 |      497 |      452
20.68/20.76	c 20.6s |      11 |   129177 |    17144 |     7360      3 |      497 |      452
22.68/22.76	c 22.6s |      11 |   142755 |    18844 |     7360      3 |      500 |      455
24.68/24.78	c 24.6s |      11 |   158751 |    20844 |     7360      4 |      503 |      458
26.78/26.87	c 26.7s |      11 |   171655 |    22844 |     7360      4 |      504 |      459
28.98/29.00	c 28.9s |      11 |   181116 |    24444 |     7360      5 |      504 |      459
30.98/31.03	c 30.9s |      11 |   185511 |    25644 |     7360      5 |      504 |      459
31.18/31.29	c 31.1s |      12 |   186260 |    25819 |     8097      5 |      504 |      459
33.28/33.37	c 33.2s |      12 |   193320 |    27219 |     8097      5 |      504 |      459
35.48/35.55	c 35.4s |      12 |   201661 |    28819 |     8097      6 |      504 |      459
37.49/37.56	c 37.4s |      12 |   212381 |    30719 |     8097      6 |      504 |      459
39.48/39.57	c 39.4s |      12 |   217458 |    32119 |     8097      6 |      504 |      459
41.68/41.70	c 41.6s |      12 |   220840 |    33319 |     8097      6 |      504 |      459
43.78/43.83	c 43.7s |      12 |   224373 |    34419 |     8097      7 |      504 |      459
45.78/45.84	c 45.7s |      12 |   228144 |    35619 |     8097      7 |      504 |      459
47.88/47.90	c 47.8s |      12 |   235042 |    37219 |     8097      7 |      504 |      459
50.08/50.10	c 50.0s |      12 |   239810 |    38419 |     8097      7 |      504 |      459
51.08/51.14	c 51.0s |      13 |   241092 |    38832 |     8907      7 |      504 |      459
53.28/53.35	c 53.2s |      13 |   246635 |    40232 |     8907      8 |      504 |      459
55.58/55.60	c 55.5s |      13 |   251255 |    41632 |     8907      8 |      504 |      459
57.68/57.71	c 57.6s |      13 |   253768 |    42532 |     8907      8 |      504 |      459
59.88/59.94	c 59.8s |      13 |   256801 |    43632 |     8907      8 |      504 |      459
61.98/62.06	c 61.9s |      13 |   258642 |    44532 |     8907      8 |      504 |      459
64.08/64.12	c 64.0s |      13 |   262084 |    45732 |     8907      9 |      504 |      459
66.08/66.18	c 66.0s |      13 |   268792 |    47132 |     8907      9 |      504 |      459
68.18/68.26	c 68.1s |      13 |   272034 |    48232 |     8907      9 |      504 |      459
70.28/70.37	c 70.2s |      13 |   276046 |    49532 |     8907      9 |      504 |      459
72.48/72.52	c 72.4s |      13 |   278695 |    50532 |     8907     10 |      504 |      459
74.48/74.55	c 74.4s |      13 |   281243 |    51632 |     8907     10 |      504 |      459
76.68/76.74	c 76.6s |      13 |   284864 |    52832 |     8907     10 |      504 |      459
78.68/78.78	c 78.6s |      13 |   287150 |    53732 |     8907     10 |      504 |      459
80.77/80.83	c 80.7s |      13 |   289359 |    54532 |     8907     10 |      504 |      459
82.87/82.98	c 82.8s |      13 |   291148 |    55432 |     8907     11 |      504 |      459
84.97/85.05	c 84.9s |      13 |   299765 |    57032 |     8907     11 |      504 |      459
86.98/87.07	c 86.9s |      13 |   305688 |    58332 |     9798     11 |      504 |      459
86.98/87.09	c 86.9s |      14 |   305834 |    58352 |     9798     11 |      504 |      459
89.18/89.21	c 89.1s |      14 |   314587 |    59852 |     9798     11 |      504 |      459
91.17/91.24	c 91.1s |      14 |   325035 |    61452 |     9798     12 |      506 |      461
93.27/93.30	c 93.2s |      14 |   334002 |    63152 |     9798     12 |      508 |      463
95.27/95.39	c 95.2s |      14 |   341592 |    64752 |     9798     12 |      508 |      463
97.37/97.42	c 97.3s |      14 |   356472 |    66752 |     9798     13 |      508 |      463
99.37/99.48	c 99.3s |      14 |   371106 |    69052 |     9798     13 |      508 |      463
101.47/101.57	c  101s |      14 |   377153 |    70352 |     9798     13 |      508 |      463
103.57/103.66	c  103s |      14 |   382143 |    71852 |     9798     13 |      508 |      463
105.68/105.76	c  105s |      14 |   386316 |    72952 |     9798     14 |      508 |      463
107.78/107.81	c  107s |      14 |   390982 |    74252 |     9798     14 |      508 |      463
109.77/109.89	c  109s |      14 |   394681 |    75452 |     9798     14 |      508 |      463
111.97/112.06	c  111s |      14 |   396857 |    76352 |     9798     14 |      508 |      463
114.07/114.11	c  113s |      14 |   398809 |    77152 |     9798     14 |      508 |      463
116.07/116.15	c  116s |      14 |   400947 |    77952 |     9798     14 |      508 |      463
118.07/118.17	c  118s |      14 |   404640 |    79052 |     9798     15 |      508 |      463
120.17/120.27	c  120s |      14 |   406777 |    79952 |     9798     15 |      508 |      463
122.27/122.32	c  122s |      14 |   409744 |    80952 |     9798     15 |      508 |      463
124.37/124.42	c  124s |      14 |   412220 |    81852 |     9798     15 |      508 |      463
126.47/126.56	c  126s |      14 |   414610 |    82852 |     9798     15 |      508 |      463
128.57/128.66	c  128s |      14 |   417092 |    83752 |     9798     15 |      508 |      463
130.67/130.73	c  130s |      14 |   434609 |    86152 |     9798     16 |      508 |      463
132.66/132.74	c  132s |      14 |   438941 |    87152 |    10778     16 |      508 |      463
133.26/133.30	c  133s |      15 |   441232 |    87632 |    10778     16 |      508 |      463
135.16/135.30	c  135s |      15 |   455347 |    89532 |    10778     16 |      509 |      464
137.27/137.36	c  137s |      15 |   470073 |    91432 |    10778     17 |      509 |      464
139.47/139.53	c  139s |      15 |   478395 |    93032 |    10778     17 |      509 |      464
141.67/141.78	c  141s |      15 |   480415 |    93732 |    10778     17 |      509 |      464
143.77/143.89	c  143s |      15 |   481629 |    94232 |    10778     17 |      509 |      464
146.47/146.52	c  146s |      15 |   483303 |    94932 |    10778     17 |      509 |      464
148.58/148.63	c  148s |      15 |   490597 |    96332 |    10778     18 |      509 |      464
150.57/150.70	c  150s |      15 |   502670 |    98232 |    10778     18 |      510 |      465
152.67/152.72	c  152s |      15 |   505301 |    98932 |    10778     18 |      510 |      465
154.97/155.07	c  154s |      15 |   507148 |    99532 |    10778     18 |      510 |      465
157.07/157.10	c  156s |      15 |   512221 |   100532 |    10778     18 |      510 |      465
159.07/159.10	c  158s |      15 |   516551 |   101432 |    10778     18 |      510 |      465
161.07/161.11	c  160s |      15 |   524478 |   103232 |    10778     19 |      510 |      465
163.17/163.23	c  163s |      15 |   528083 |   104532 |    10778     19 |      510 |      465
165.27/165.30	c  165s |      15 |   532967 |   106032 |    10778     19 |      510 |      465
167.37/167.43	c  167s |      15 |   536368 |   107332 |    10778     19 |      510 |      465
169.37/169.45	c  169s |      15 |   541577 |   108832 |    10778     20 |      510 |      465
171.46/171.56	c  171s |      15 |   545852 |   110132 |    10778     20 |      510 |      465
173.56/173.60	c  173s |      15 |   549224 |   111232 |    10778     20 |      510 |      465
175.66/175.80	c  175s |      15 |   553864 |   112432 |    10778     20 |      510 |      465
177.76/177.84	c  177s |      15 |   562302 |   113832 |    10778     20 |      511 |      466
179.86/179.96	c  179s |      15 |   568351 |   115332 |    10778     21 |      511 |      466
181.86/181.97	c  181s |      15 |   572296 |   116632 |    10778     21 |      511 |      466
183.96/184.00	c  183s |      15 |   574696 |   117532 |    10778     21 |      511 |      466
185.97/186.10	c  185s |      15 |   589997 |   119332 |    10778     21 |      512 |      467
188.36/188.40	c  188s |      15 |   595918 |   120732 |    10778     21 |      512 |      467
190.46/190.55	c  190s |      15 |   608415 |   123032 |    10778     22 |      512 |      467
192.47/192.57	c  192s |      15 |   613051 |   124432 |    10778     22 |      512 |      467
194.56/194.64	c  194s |      15 |   616980 |   125732 |    10778     23 |      513 |      468
196.56/196.68	c  196s |      15 |   629867 |   128132 |    10778     23 |      513 |      468
198.66/198.78	c  198s |      15 |   635996 |   129732 |    10778     23 |      513 |      468
200.76/200.88	c  200s |      15 |   642816 |   131432 |    11856     23 |      513 |      468
200.96/201.04	c  200s |      16 |   643192 |   131552 |    11856     23 |      513 |      468
203.26/203.33	c  203s |      16 |   651205 |   132952 |    11856     24 |      513 |      468
205.26/205.36	c  205s |      16 |   657689 |   134252 |    11856     24 |      513 |      468
207.46/207.56	c  207s |      16 |   662303 |   135252 |    11856     24 |      513 |      468
209.46/209.59	c  209s |      16 |   670772 |   136652 |    11856     24 |      513 |      468
211.66/211.72	c  211s |      16 |   673892 |   137652 |    11856     24 |      513 |      468
213.66/213.76	c  213s |      16 |   681405 |   138952 |    11856     25 |      514 |      469
215.66/215.76	c  215s |      16 |   692102 |   140852 |    11856     25 |      514 |      469
217.76/217.83	c  217s |      16 |   701236 |   142752 |    11856     25 |      514 |      469
219.75/219.86	c  219s |      16 |   711392 |   144252 |    11856     26 |      515 |      470
221.75/221.88	c  221s |      16 |   718115 |   145752 |    11856     26 |      516 |      471
223.85/223.91	c  223s |      16 |   728161 |   147452 |    11856     26 |      516 |      471
225.85/225.94	c  225s |      16 |   732070 |   148752 |    11856     26 |      516 |      471
227.95/228.05	c  227s |      16 |   735836 |   149852 |    11856     26 |      516 |      471
230.05/230.15	c  230s |      16 |   741903 |   151452 |    11856     27 |      516 |      471
232.06/232.17	c  232s |      16 |   746928 |   152852 |    11856     27 |      516 |      471
234.15/234.23	c  234s |      16 |   750694 |   154152 |    11856     27 |      516 |      471
236.25/236.31	c  236s |      16 |   754257 |   155252 |    11856     27 |      516 |      471
238.36/238.44	c  238s |      16 |   762614 |   157252 |    11856     28 |      516 |      471
240.46/240.52	c  240s |      16 |   767963 |   158752 |    11856     28 |      516 |      471
242.66/242.73	c  242s |      16 |   772708 |   159952 |    11856     28 |      517 |      472
244.66/244.77	c  244s |      16 |   784539 |   161652 |    11856     29 |      519 |      474
246.66/246.79	c  246s |      16 |   793869 |   163552 |    11856     29 |      519 |      474
248.76/248.87	c  248s |      16 |   800181 |   165052 |    11856     29 |      519 |      474
250.95/251.03	c  250s |      16 |   805537 |   166252 |    11856     30 |      519 |      474
253.45/253.54	c  253s |      16 |   811531 |   167752 |    11856     30 |      519 |      474
255.45/255.55	c  255s |      16 |   818386 |   169352 |    11856     30 |      519 |      474
257.55/257.64	c  257s |      16 |   822303 |   170652 |    11856     30 |      519 |      474
259.66/259.77	c  259s |      16 |   828659 |   172252 |    11856     31 |      519 |      474
261.76/261.86	c  261s |      16 |   832223 |   173452 |    11856     31 |      519 |      474
263.75/263.87	c  263s |      16 |   835191 |   174452 |    11856     31 |      519 |      474
265.85/265.90	c  265s |      16 |   842958 |   175752 |    11856     32 |      519 |      474
267.85/267.95	c  267s |      16 |   852227 |   177952 |    11856     32 |      519 |      474
269.95/270.04	c  269s |      16 |   855484 |   178952 |    11856     32 |      519 |      474
272.25/272.33	c  272s |      16 |   857607 |   179652 |    11856     32 |      519 |      474
274.35/274.47	c  274s |      16 |   859682 |   180452 |    11856     33 |      519 |      474
276.45/276.55	c  276s |      16 |   866785 |   182452 |    11856     33 |      519 |      474
278.45/278.57	c  278s |      16 |   872102 |   184152 |    11856     33 |      519 |      474
280.55/280.61	c  280s |      16 |   877473 |   185552 |    11856     34 |      519 |      474
282.55/282.62	c  282s |      16 |   885337 |   187252 |    11856     34 |      519 |      474
284.55/284.69	c  284s |      16 |   890724 |   188752 |    11856     34 |      519 |      474
286.75/286.84	c  286s |      16 |   894403 |   189852 |    11856     35 |      519 |      474
288.85/288.93	c  288s |      16 |   899989 |   191552 |    11856     35 |      519 |      474
290.95/291.02	c  290s |      16 |   903721 |   192652 |    11856     35 |      519 |      474
292.95/293.07	c  292s |      16 |   907418 |   193452 |    11856     36 |      520 |      475
294.95/295.09	c  294s |      16 |   917569 |   195552 |    11856     36 |      520 |      475
297.05/297.14	c  297s |      16 |   921462 |   196852 |    13042     36 |      520 |      475
297.74/297.87	c  297s |      17 |   924628 |   197432 |    13042     36 |      520 |      475
299.84/299.96	c  299s |      17 |   930765 |   198732 |    13042     37 |      520 |      475
302.04/302.12	c  301s |      17 |   933511 |   199532 |    13042     37 |      521 |      476
304.14/304.23	c  304s |      17 |   943000 |   201232 |    13042     37 |      521 |      476
306.24/306.32	c  306s |      17 |   948105 |   202532 |    13042     37 |      521 |      476
308.34/308.43	c  308s |      17 |   954580 |   204232 |    13042     38 |      521 |      476
310.34/310.44	c  310s |      17 |   963180 |   206032 |    13042     38 |      521 |      476
312.35/312.49	c  312s |      17 |   973690 |   207832 |    13042     39 |      521 |      476
314.44/314.53	c  314s |      17 |   982048 |   209832 |    13042     39 |      522 |      477
316.54/316.61	c  316s |      17 |   987780 |   211532 |    13042     39 |      522 |      477
318.54/318.67	c  318s |      17 |   994584 |   213132 |    13042     40 |      522 |      477
320.64/320.77	c  320s |      17 |   998945 |   214632 |    13042     40 |      522 |      477
322.84/322.96	c  322s |      17 |  1001979 |   215732 |    13042     40 |      522 |      477
324.94/325.03	c  324s |      17 |  1011727 |   217432 |    13042     41 |      522 |      477
327.04/327.11	c  326s |      17 |  1022834 |   219132 |    13042     41 |      522 |      477
329.04/329.13	c  328s |      17 |  1033011 |   220732 |    13042     42 |      522 |      477
331.04/331.14	c  331s |      17 |  1038278 |   222432 |    13042     42 |      522 |      477
333.13/333.28	c  333s |      17 |  1040981 |   223532 |    13042     42 |      522 |      477
335.33/335.49	c  335s |      17 |  1043928 |   224632 |    13042     42 |      522 |      477
337.54/337.63	c  337s |      17 |  1046247 |   225532 |    13042     43 |      522 |      477
339.54/339.66	c  339s |      17 |  1050244 |   226632 |    13042     43 |      522 |      477
341.64/341.76	c  341s |      17 |  1059123 |   228532 |    13042     43 |      522 |      477
343.64/343.77	c  343s |      17 |  1063086 |   229732 |    13042     44 |      522 |      477
345.74/345.80	c  345s |      17 |  1072534 |   231632 |    13042     44 |      522 |      477
347.74/347.88	c  347s |      17 |  1088645 |   233732 |    13042     45 |      523 |      478
349.85/349.95	c  349s |      17 |  1101394 |   235732 |    13042     46 |      523 |      478
351.94/352.01	c  351s |      17 |  1113492 |   237532 |    13042     47 |      523 |      478
354.04/354.11	c  353s |      17 |  1121607 |   239332 |    13042     47 |      523 |      478
356.04/356.14	c  355s |      17 |  1130572 |   241232 |    13042     48 |      523 |      478
358.04/358.16	c  358s |      17 |  1136223 |   242832 |    13042     49 |      523 |      478
360.14/360.29	c  360s |      17 |  1144968 |   245132 |    13042     49 |      523 |      478
362.24/362.36	c  362s |      17 |  1153792 |   247032 |    13042     50 |      523 |      478
364.23/364.40	c  364s |      17 |  1159357 |   248532 |    13042     51 |      523 |      478
366.24/366.40	c  366s |      17 |  1161033 |   249232 |    13042     51 |      523 |      478
368.83/368.91	c  368s |      17 |  1166074 |   250432 |    13042     51 |      523 |      478
370.93/371.01	c  370s |      17 |  1170087 |   251632 |    13042     52 |      523 |      478
373.33/373.46	c  373s |      17 |  1172875 |   252432 |    13042     52 |      523 |      478
375.53/375.67	c  375s |      17 |  1174825 |   253032 |    13042     52 |      523 |      478
377.63/377.78	c  377s |      17 |  1179622 |   254232 |    13042     53 |      523 |      478
379.73/379.88	c  379s |      17 |  1181623 |   255032 |    13042     53 |      523 |      478
381.83/381.99	c  381s |      17 |  1183265 |   255732 |    13042     53 |      523 |      478
384.03/384.11	c  383s |      17 |  1187960 |   257132 |    13042     54 |      523 |      478
386.14/386.24	c  386s |      17 |  1190360 |   258032 |    13042     54 |      523 |      478
388.24/388.32	c  388s |      17 |  1193925 |   258932 |    13042     55 |      523 |      478
390.23/390.36	c  390s |      17 |  1199754 |   260332 |    13042     55 |      523 |      478
392.23/392.37	c  392s |      17 |  1207075 |   261832 |    13042     56 |      523 |      478
394.33/394.42	c  394s |      17 |  1213585 |   263332 |    13042     57 |      523 |      478
396.33/396.44	c  396s |      17 |  1226853 |   265632 |    13042     58 |      523 |      478
398.43/398.59	c  398s |      17 |  1235365 |   267432 |    13042     59 |      523 |      478
400.73/400.81	c  400s |      17 |  1239765 |   268532 |    13042     59 |      523 |      478
402.73/402.84	c  402s |      17 |  1244790 |   269932 |    13042     60 |      523 |      478
404.84/404.93	c  404s |      17 |  1253544 |   271832 |    13042     61 |      523 |      478
406.94/407.05	c  406s |      17 |  1262719 |   273732 |    13042     62 |      523 |      478
409.03/409.16	c  409s |      17 |  1269282 |   275032 |    13042     62 |      523 |      478
411.13/411.24	c  411s |      17 |  1272412 |   276132 |    13042     63 |      523 |      478
413.32/413.49	c  413s |      17 |  1274714 |   277032 |    13042     63 |      523 |      478
415.52/415.62	c  415s |      17 |  1279196 |   278332 |    13042     64 |      523 |      478
417.52/417.65	c  417s |      17 |  1282711 |   279532 |    13042     65 |      523 |      478
419.72/419.83	c  419s |      17 |  1288306 |   280932 |    13042     65 |      523 |      478
421.82/421.94	c  421s |      17 |  1293884 |   282332 |    13042     66 |      523 |      478
423.82/423.96	c  423s |      17 |  1299560 |   283832 |    13042     67 |      523 |      478
425.82/425.97	c  425s |      17 |  1304845 |   285432 |    13042     68 |      523 |      478
428.02/428.11	c  427s |      17 |  1310135 |   286532 |    13042    198 |      524 |      479
430.03/430.15	c  430s |      17 |  1316548 |   288032 |    13042    199 |      524 |      479
432.12/432.24	c  432s |      17 |  1321112 |   289132 |    13042    201 |      524 |      479
434.12/434.28	c  434s |      17 |  1326438 |   290532 |    13042    203 |      524 |      479
436.12/436.29	c  436s |      17 |  1331510 |   292032 |    13042    204 |      524 |      479
438.22/438.31	c  438s |      17 |  1337456 |   293532 |    13042    207 |      524 |      479
440.22/440.35	c  440s |      17 |  1344998 |   295232 |    14347    209 |      524 |      479
441.12/441.27	c  441s |      18 |  1349856 |   296252 |    14347    209 |      524 |      479
443.22/443.35	c  443s |      18 |  1354201 |   297552 |    14347    210 |      524 |      479
445.32/445.41	c  445s |      18 |  1369016 |   299452 |    14347    211 |      524 |      479
447.32/447.42	c  447s |      18 |  1374000 |   300652 |    14347    212 |      524 |      479
449.42/449.58	c  449s |      18 |  1381730 |   302352 |    14347    213 |      524 |      479
451.82/451.90	c  451s |      18 |  1384117 |   303152 |    14347    214 |      524 |      479
453.82/453.91	c  453s |      18 |  1398284 |   305152 |    14347    215 |      524 |      479
455.91/456.06	c  455s |      18 |  1410286 |   306952 |    14347    216 |      524 |      479
458.11/458.26	c  458s |      18 |  1415295 |   308552 |    14347    217 |      524 |      479
460.12/460.29	c  460s |      18 |  1417777 |   309652 |    14347    218 |      524 |      479
462.32/462.43	c  462s |      18 |  1421182 |   311052 |    14347    218 |      524 |      479
464.42/464.51	c  464s |      18 |  1423811 |   312052 |    14347    219 |      524 |      479
466.43/466.56	c  466s |      18 |  1426056 |   312952 |    14347    219 |      524 |      479
468.53/468.67	c  468s |      18 |  1435942 |   314552 |    14347    221 |      525 |      480
470.52/470.69	c  470s |      18 |  1448910 |   316852 |    14347    222 |      525 |      480
472.62/472.78	c  472s |      18 |  1456963 |   318752 |    14347    224 |      525 |      480
474.82/474.95	c  474s |      18 |  1462113 |   320352 |    14347    226 |      525 |      480
476.92/477.03	c  476s |      18 |  1476742 |   322952 |    14347    229 |      525 |      480
478.92/479.07	c  478s |      18 |  1482629 |   324952 |    14347    233 |      525 |      480
481.01/481.15	c  481s |      18 |  1487775 |   326852 |    14347    234 |      525 |      480
483.11/483.23	c  483s |      18 |  1496024 |   328952 |    14347    264 |      525 |      480
485.12/485.23	c  485s |      18 |  1499457 |   330252 |    14347    264 |      525 |      480
487.11/487.24	c  487s |      18 |  1510553 |   332652 |    14347    267 |      525 |      480
489.21/489.36	c  489s |      18 |  1514446 |   333052 |    14347    541 |      525 |      480
491.31/491.41	c  491s |      18 |  1522649 |   334552 |    14347    644 |      525 |      480
493.31/493.45	c  493s |      18 |  1530339 |   336552 |    14347    648 |      525 |      480
495.41/495.50	c  495s |      18 |  1538312 |   338452 |    14347    660 |      525 |      480
497.51/497.62	c  497s |      18 |  1541127 |   339352 |    14347    662 |      525 |      480
499.51/499.65	c  499s |      18 |  1546396 |   340852 |    14347    664 |      525 |      480
501.52/501.67	c  501s |      18 |  1551527 |   342352 |    14347    668 |      525 |      480
503.61/503.75	c  503s |      18 |  1558320 |   344152 |    14347    672 |      525 |      480
506.51/506.66	c  506s |      18 |  1563426 |   344952 |    14347   1038 |      525 |      480
508.62/508.70	c  508s |      18 |  1567955 |   345952 |    14347   1228 |      525 |      480
510.61/510.73	c  510s |      18 |  1571476 |   346552 |    14347   1482 |      525 |      480
512.71/512.85	c  512s |      18 |  1577742 |   347752 |    14347   1670 |      525 |      480
514.91/515.09	c  514s |      18 |  1581015 |   348052 |    14347   2004 |      525 |      480
518.61/518.77	c  518s |      18 |  1585259 |   348752 |    14347   2500 |      525 |      480
520.71/520.86	c  520s |      18 |  1590335 |   349852 |    14347   2662 |      525 |      480
523.00/523.13	c  522s |      18 |  1593876 |   350552 |    14347   2923 |      525 |      480
525.31/525.40	c  525s |      18 |  1598697 |   351652 |    14347   3125 |      525 |      480
527.31/527.45	c  527s |      18 |  1604435 |   353352 |    14347   3140 |      525 |      480
529.31/529.48	c  529s |      18 |  1611524 |   355052 |    14347   3172 |      525 |      480
531.41/531.55	c  531s |      18 |  1617619 |   356652 |    14347   3196 |      525 |      480
533.52/533.62	c  533s |      18 |  1623110 |   358052 |    14347   3282 |      525 |      480
535.62/535.72	c  535s |      18 |  1628545 |   359252 |    14347   3376 |      525 |      480
537.61/537.77	c  537s |      18 |  1635137 |   360852 |    14347   3452 |      525 |      480
539.71/539.80	c  539s |      18 |  1637380 |   361452 |    14347   3629 |      525 |      480
542.21/542.31	c  542s |      18 |  1639748 |   362052 |    14347   3923 |      525 |      480
544.70/544.88	c  544s |      18 |  1641225 |   362452 |    14347   4269 |      525 |      480
546.81/546.96	c  546s |      18 |  1642297 |   362852 |    14347   4537 |      525 |      480
548.91/549.06	c  548s |      18 |  1646367 |   364052 |    14347   4632 |      525 |      480
550.91/551.07	c  550s |      18 |  1651689 |   365452 |    14347   4700 |      525 |      480
553.50/553.62	c  553s |      18 |  1653767 |   365852 |    14347   5079 |      525 |      480
556.21/556.33	c  556s |      18 |  1654957 |   366252 |    14347   5456 |      525 |      480
558.21/558.36	c  558s |      18 |  1660567 |   367952 |    14347   5512 |      525 |      480
560.71/560.81	c  560s |      18 |  1663295 |   368652 |    14347   5810 |      525 |      480
562.91/563.09	c  562s |      18 |  1665410 |   369152 |    14347   6097 |      525 |      480
566.10/566.27	c  566s |      18 |  1666851 |   369352 |    14347   6608 |      525 |      480
569.91/570.08	c  569s |      18 |  1668917 |   369652 |    14347   7194 |      525 |      480
572.01/572.15	c  572s |      18 |  1671523 |   370152 |    14347   7452 |      525 |      480
574.30/574.46	c  574s |      18 |  1673866 |   370952 |    14347   7699 |      525 |      480
576.60/576.72	c  576s |      18 |  1674550 |   371152 |    14347   8018 |      525 |      480
578.70/578.82	c  578s |      18 |  1675841 |   371552 |    14347   8287 |      525 |      480
581.00/581.12	c  580s |      18 |  1677700 |   372152 |    14347   8554 |      525 |      480
583.01/583.19	c  583s |      18 |  1679117 |   372652 |    14347   8820 |      525 |      480
585.21/585.37	c  585s |      18 |  1680448 |   373052 |    14347   9127 |      525 |      480
587.30/587.44	c  587s |      18 |  1681563 |   373352 |    14347   9428 |      525 |      480
589.69/589.80	c  589s |      18 |  1682571 |   373652 |    14347   9776 |      525 |      480
591.90/592.05	c  591s |      18 |  1683395 |   373952 |    14347  10100 |      525 |      480
595.10/595.29	c  595s |      18 |  1685382 |   374552 |    14347  10485 |      525 |      480
598.40/598.59	c  598s |      18 |  1686709 |   374752 |    14347  10975 |      525 |      480
600.60/600.77	c  600s |      18 |  1687639 |   374852 |    14347  11327 |      525 |      480
603.50/603.65	c  603s |      18 |  1689867 |   375252 |    14347  11756 |      525 |      480
607.29/607.41	c  607s |      18 |  1691424 |   375652 |    14347  12271 |      525 |      480
611.61/611.76	c  611s |      18 |  1692550 |   375752 |    14347  12976 |      525 |      480
616.59/616.79	c  616s |      18 |  1694535 |   375952 |    14347  13810 |      525 |      480
621.60/621.73	c  621s |      18 |  1696385 |   376152 |    14347  14630 |      525 |      480
624.09/624.27	c  624s |      18 |  1697164 |   376252 |    14347  15045 |      525 |      480
626.59/626.74	c  626s |      18 |  1697993 |   376452 |    14347  15429 |      525 |      480
630.10/630.29	c  630s |      18 |  1699691 |   376752 |    14347  15988 |      525 |      480
633.09/633.22	c  633s |      18 |  1700680 |   376952 |    14347  16454 |      525 |      480
637.69/637.87	c  637s |      18 |  1702014 |   377152 |    14347  17220 |      525 |      480
640.69/640.81	c  640s |      18 |  1702863 |   377252 |    14347  17719 |      525 |      480
643.19/643.36	c  643s |      18 |  1704259 |   377352 |    14347  18143 |      525 |      480
648.09/648.27	c  648s |      18 |  1705985 |   377552 |    14347  18957 |      525 |      480
651.59/651.78	c  651s |      18 |  1707814 |   377752 |    14347  19536 |      525 |      480
654.69/654.80	c  654s |      18 |  1709832 |   378252 |    14347  19964 |      525 |      480
657.19/657.35	c  657s |      18 |  1711242 |   378752 |    14347  20291 |      525 |      480
659.89/660.09	c  659s |      18 |  1713296 |   379452 |    14347  20633 |      525 |      480
662.38/662.52	c  662s |      18 |  1713854 |   379552 |    14347  21026 |      525 |      480
664.40/664.58	c  664s |      18 |  1715298 |   379952 |    14347  21304 |      525 |      480
667.79/667.94	c  667s |      18 |  1716325 |   380252 |    14347  21821 |      525 |      480
670.78/670.92	c  670s |      18 |  1717114 |   380552 |    14347  22238 |      525 |      480
673.78/673.91	c  673s |      18 |  1717637 |   380752 |    14347  22661 |      525 |      480
676.39/676.53	c  676s |      18 |  1718158 |   380952 |    14347  23045 |      525 |      480
678.39/678.55	c  678s |      18 |  1719623 |   381352 |    14347  23317 |      525 |      480
681.29/681.49	c  681s |      18 |  1720893 |   381752 |    14347  23755 |      525 |      480
683.69/683.86	c  683s |      18 |  1721436 |   381952 |    14347  24121 |      525 |      480
685.78/685.96	c  685s |      18 |  1721824 |   382052 |    14347  24468 |      525 |      480
688.49/688.65	c  688s |      18 |  1722699 |   382452 |    14347  24858 |      525 |      480
690.49/690.66	c  690s |      18 |  1723116 |   382652 |    14347  25161 |      525 |      480
692.69/692.80	c  692s |      18 |  1724530 |   383152 |    14347  25446 |      525 |      480
694.99/695.19	c  695s |      18 |  1725297 |   383352 |    14347  25820 |      525 |      480
697.59/697.71	c  697s |      18 |  1725878 |   383552 |    14347  26195 |      525 |      480
700.88/701.01	c  700s |      18 |  1726662 |   383852 |    14347  26685 |      525 |      480
703.48/703.60	c  703s |      18 |  1727474 |   384052 |    14347  27081 |      525 |      480
706.38/706.57	c  706s |      18 |  1729470 |   384552 |    14347  27509 |      525 |      480
709.28/709.45	c  709s |      18 |  1730978 |   384752 |    14347  27966 |      525 |      480
713.28/713.40	c  713s |      18 |  1732750 |   385252 |    14347  28559 |      525 |      480
718.38/718.51	c  718s |      18 |  1735621 |   385752 |    14347  29333 |      525 |      480
720.38/720.60	c  720s |      18 |  1737850 |   386352 |    14347  29589 |      525 |      480
722.59/722.79	c  722s |      18 |  1739229 |   386752 |    14347  29876 |      525 |      480
724.79/724.91	c  724s |      18 |  1740981 |   387352 |    14347  30115 |      525 |      480
727.38/727.57	c  727s |      18 |  1742569 |   387852 |    14347  30458 |      525 |      480
731.28/731.43	c  731s |      18 |  1743732 |   388152 |    14347  31040 |      525 |      480
733.38/733.54	c  733s |      18 |  1745453 |   388552 |    14347  31328 |      525 |      480
735.37/735.57	c  735s |      18 |  1746429 |   388752 |    14347  31637 |      525 |      480
738.58/738.77	c  738s |      18 |  1747628 |   389152 |    14347  32064 |      525 |      480
741.39/741.55	c  741s |      18 |  1750373 |   389952 |    14347  32372 |      525 |      480
743.49/743.66	c  743s |      18 |  1751364 |   390252 |    14347  32662 |      525 |      480
746.28/746.46	c  746s |      18 |  1752622 |   390652 |    14347  33053 |      525 |      480
749.37/749.56	c  749s |      18 |  1753444 |   390852 |    14347  33533 |      525 |      480
753.38/753.53	c  753s |      18 |  1754764 |   391152 |    14347  34133 |      525 |      480
755.68/755.86	c  755s |      18 |  1755803 |   391452 |    14347  34459 |      525 |      480
757.97/758.11	c  757s |      18 |  1756362 |   391652 |    14347  34799 |      525 |      480
760.28/760.49	c  760s |      18 |  1757202 |   391852 |    14347  35154 |      525 |      480
763.57/763.74	c  763s |      18 |  1758118 |   392152 |    14347  35626 |      525 |      480
766.07/766.26	c  766s |      18 |  1759058 |   392552 |    14347  35980 |      525 |      480
768.88/769.00	c  768s |      18 |  1760177 |   392852 |    14347  36374 |      525 |      480
770.87/771.01	c  770s |      18 |  1760946 |   393052 |    14347  36664 |      525 |      480
773.47/773.64	c  773s |      18 |  1761708 |   393252 |    14347  37060 |      525 |      480
777.17/777.37	c  777s |      18 |  1762540 |   393452 |    14347  37636 |      525 |      480
781.07/781.22	c  781s |      18 |  1763268 |   393652 |    14347  38215 |      525 |      480
783.27/783.47	c  783s |      18 |  1763732 |   393752 |    14347  38555 |      525 |      480
786.77/786.93	c  786s |      18 |  1764487 |   393952 |    14347  39009 |      525 |      480
788.87/789.05	c  788s |      18 |  1765161 |   394152 |    14347  39325 |      525 |      480
791.27/791.43	c  791s |      18 |  1765850 |   394352 |    14347  39677 |      525 |      480
793.96/794.19	c  794s |      18 |  1766631 |   394552 |    14347  40099 |      525 |      480
796.38/796.58	c  796s |      18 |  1767205 |   394752 |    14347  40458 |      525 |      480
799.07/799.28	c  799s |      18 |  1767826 |   394852 |    14347  40880 |      525 |      480
801.47/801.69	c  801s |      18 |  1768577 |   395152 |    14347  41211 |      525 |      480
803.87/804.00	c  803s |      18 |  1769302 |   395352 |    14347  41554 |      525 |      480
806.07/806.21	c  806s |      18 |  1769689 |   395452 |    14347  41895 |      525 |      480
808.16/808.32	c  808s |      18 |  1770276 |   395652 |    14347  42210 |      525 |      480
810.96/811.15	c  811s |      18 |  1770901 |   395852 |    14347  42602 |      525 |      480
813.77/813.91	c  813s |      18 |  1771715 |   396052 |    14347  43014 |      525 |      480
817.67/817.86	c  817s |      18 |  1772691 |   396152 |    14347  43654 |      525 |      480
822.06/822.20	c  822s |      18 |  1773554 |   396352 |    14347  44338 |      525 |      480
824.17/824.36	c  824s |      18 |  1774051 |   396552 |    14347  44652 |      525 |      480
826.77/826.96	c  826s |      18 |  1774506 |   396652 |    14347  45025 |      525 |      480
829.76/829.98	c  829s |      18 |  1774993 |   396852 |    14347  45430 |      525 |      480
832.67/832.90	c  832s |      18 |  1775527 |   396952 |    14347  45896 |      525 |      480
835.06/835.22	c  835s |      18 |  1776160 |   397052 |    14347  46259 |      525 |      480
838.26/838.41	c  838s |      18 |  1776828 |   397252 |    14347  46749 |      525 |      480
842.16/842.35	c  842s |      18 |  1777551 |   397452 |    14347  47357 |      525 |      480
844.77/844.91	c  844s |      18 |  1778057 |   397552 |    14347  47764 |      525 |      480
847.36/847.56	c  847s |      18 |  1778677 |   397752 |    14347  48162 |      525 |      480
850.36/850.56	c  850s |      18 |  1779373 |   398052 |    14347  48609 |      525 |      480
853.76/853.99	c  853s |      18 |  1780088 |   398252 |    14347  49134 |      525 |      480
856.56/856.71	c  856s |      18 |  1780653 |   398452 |    14347  49536 |      525 |      480
859.46/859.68	c  859s |      18 |  1781439 |   398652 |    14347  49977 |      525 |      480
863.56/863.77	c  863s |      18 |  1782502 |   398852 |    14347  50609 |      525 |      480
867.16/867.39	c  867s |      18 |  1783139 |   399052 |    14347  51157 |      525 |      480
869.86/870.06	c  869s |      18 |  1784092 |   399352 |    14347  51550 |      525 |      480
872.75/872.92	c  872s |      18 |  1784701 |   399552 |    14347  51989 |      525 |      480
875.86/876.04	c  875s |      18 |  1785509 |   399752 |    14347  52475 |      525 |      480
880.35/880.54	c  880s |      18 |  1786433 |   399952 |    14347  53187 |      525 |      480
882.66/882.87	c  882s |      18 |  1786835 |   400052 |    14347  53562 |      525 |      480
884.76/884.92	c  884s |      18 |  1787160 |   400152 |    14347  53849 |      525 |      480
887.56/887.75	c  887s |      18 |  1787887 |   400352 |    14347  54230 |      525 |      480
891.36/891.57	c  891s |      18 |  1788715 |   400552 |    14347  54817 |      525 |      480
895.05/895.22	c  895s |      18 |  1789423 |   400752 |    14347  55385 |      525 |      480
898.05/898.21	c  898s |      18 |  1790029 |   400952 |    14347  55837 |      525 |      480
903.56/903.77	c  903s |      18 |  1791025 |   401152 |    14347  56717 |      525 |      480
906.55/906.74	c  906s |      18 |  1791566 |   401352 |    14347  57178 |      525 |      480
909.65/909.82	c  909s |      18 |  1792214 |   401552 |    14347  57639 |      525 |      480
913.15/913.38	c  913s |      18 |  1792833 |   401752 |    14347  58143 |      525 |      480
915.95/916.15	c  916s |      18 |  1793465 |   401952 |    14347  58566 |      525 |      480
919.95/920.14	c  919s |      18 |  1794235 |   402152 |    14347  59186 |      525 |      480
922.14/922.35	c  922s |      18 |  1794689 |   402352 |    14347  59510 |      525 |      480
925.45/925.68	c  925s |      18 |  1795429 |   402552 |    14347  60022 |      525 |      480
928.25/928.45	c  928s |      18 |  1796061 |   402752 |    14347  60402 |      525 |      480
931.66/931.81	c  931s |      18 |  1796707 |   402952 |    14347  60839 |      525 |      480
933.75/933.91	c  933s |      18 |  1797042 |   403052 |    14347  61130 |      525 |      480
936.84/937.02	c  936s |      18 |  1797619 |   403252 |    14347  61558 |      525 |      480
940.15/940.35	c  940s |      18 |  1798275 |   403452 |    14347  62044 |      525 |      480
944.15/944.37	c  944s |      18 |  1798992 |   403652 |    14347  62658 |      525 |      480
948.05/948.29	c  948s |      18 |  1799747 |   403852 |    14347  63252 |      525 |      480
950.25/950.47	c  950s |      18 |  1800122 |   403952 |    14347  63589 |      525 |      480
952.45/952.69	c  952s |      18 |  1800474 |   404052 |    14347  63922 |      525 |      480
955.54/955.73	c  955s |      18 |  1801051 |   404252 |    14347  64363 |      525 |      480
957.95/958.13	c  957s |      18 |  1801515 |   404452 |    14347  64712 |      525 |      480
960.83/961.00	c  960s |      18 |  1802075 |   404652 |    14347  65136 |      525 |      480
964.94/965.12	c  964s |      18 |  1802864 |   404952 |    14347  65747 |      525 |      480
968.34/968.52	c  968s |      18 |  1803470 |   405152 |    14347  66248 |      525 |      480
971.14/971.39	c  971s |      18 |  1803906 |   405352 |    14347  66674 |      525 |      480
974.44/974.68	c  974s |      18 |  1804481 |   405552 |    14347  67171 |      525 |      480
977.74/978.00	c  977s |      18 |  1804987 |   405752 |    14347  67617 |      525 |      480
980.44/980.67	c  980s |      18 |  1805449 |   405952 |    14347  67993 |      525 |      480
982.53/982.71	c  982s |      18 |  1805781 |   406052 |    14347  68289 |      525 |      480
984.74/984.95	c  984s |      18 |  1806127 |   406152 |    14347  68620 |      525 |      480
987.13/987.30	c  987s |      18 |  1806556 |   406252 |    14347  68983 |      525 |      480
989.43/989.65	c  989s |      18 |  1806918 |   406352 |    14347  69344 |      525 |      480
993.13/993.39	c  993s |      18 |  1807588 |   406552 |    14347  69906 |      525 |      480
996.02/996.27	c  996s |      18 |  1808107 |   406752 |    14347  70330 |      525 |      480
998.42/998.63	c  998s |      18 |  1808452 |   406852 |    14347  70649 |      525 |      480
1000.73/1000.90	c 1000s |      18 |  1808824 |   406952 |    14347  70995 |      525 |      480
1004.62/1004.83	c 1004s |      18 |  1809522 |   407152 |    14347  71588 |      525 |      480
1007.42/1007.62	c 1007s |      18 |  1810055 |   407352 |    14347  71999 |      525 |      480
1010.62/1010.89	c 1010s |      18 |  1810775 |   407552 |    14347  72486 |      525 |      480
1013.22/1013.48	c 1013s |      18 |  1811303 |   407752 |    14347  72859 |      525 |      480
1015.82/1016.02	c 1015s |      18 |  1811753 |   407852 |    14347  73251 |      525 |      480
1018.52/1018.73	c 1018s |      18 |  1812174 |   407952 |    14347  73672 |      525 |      480
1022.32/1022.54	c 1022s |      18 |  1812749 |   408152 |    14347  74247 |      525 |      480
1030.52/1030.74	c 1030s |      18 |  1814265 |   408352 |    14347  75565 |      525 |      480
1037.51/1037.72	c 1037s |      18 |  1815430 |   408452 |    14347  76673 |      525 |      480
1041.21/1041.44	c 1041s |      18 |  1816182 |   408652 |    14347  77188 |      525 |      480
1044.00/1044.25	c 1044s |      18 |  1816730 |   408852 |    14347  77610 |      525 |      480
1046.90/1047.19	c 1047s |      18 |  1817301 |   409052 |    14347  78057 |      525 |      480
1049.41/1049.64	c 1049s |      18 |  1818251 |   409452 |    14347  78375 |      525 |      480
1058.60/1058.87	c 1058s |      18 |  1820218 |   409752 |    14347  79828 |      525 |      480
1066.10/1066.32	c 1066s |      18 |  1821491 |   409852 |    14347  81030 |      525 |      480
1068.49/1068.71	c 1068s |      18 |  1821958 |   409952 |    14347  81402 |      525 |      480
1074.20/1074.44	c 1074s |      18 |  1822877 |   410052 |    14347  82310 |      525 |      480
1078.69/1078.90	c 1078s |      18 |  1823583 |   410152 |    14347  83010 |      525 |      480
1080.99/1081.27	c 1081s |      18 |  1823940 |   410252 |    14347  83367 |      525 |      480
1083.40/1083.62	c 1083s |      18 |  1824285 |   410352 |    14347  83712 |      525 |      480
1086.59/1086.87	c 1086s |      18 |  1824742 |   410552 |    14347  84169 |      525 |      480
1088.89/1089.13	c 1088s |      18 |  1825073 |   410652 |    14347  84499 |      525 |      480
1091.28/1091.54	c 1091s |      18 |  1825424 |   410752 |    14347  84850 |      525 |      480
1093.79/1094.05	c 1093s |      18 |  1825789 |   410852 |    14347  85215 |      525 |      480
1097.18/1097.49	c 1097s |      18 |  1826271 |   411052 |    14347  85696 |      525 |      480
1100.28/1100.55	c 1100s |      18 |  1826700 |   411252 |    14347  86125 |      525 |      480
1104.09/1104.39	c 1104s |      18 |  1827243 |   411452 |    14347  86668 |      525 |      480
1106.88/1107.11	c 1106s |      18 |  1827646 |   411552 |    14347  87071 |      525 |      480
1109.08/1109.30	c 1109s |      18 |  1827967 |   411652 |    14347  87392 |      525 |      480
1112.18/1112.41	c 1112s |      18 |  1828429 |   411752 |    14347  87854 |      525 |      480
1114.58/1114.85	c 1114s |      18 |  1828785 |   411852 |    14347  88209 |      525 |      480
1117.17/1117.42	c 1117s |      18 |  1829164 |   411952 |    14347  88588 |      525 |      480
1120.38/1120.61	c 1120s |      18 |  1829625 |   412152 |    14347  89045 |      525 |      480
1122.57/1122.89	c 1122s |      18 |  1829958 |   412252 |    14347  89378 |      525 |      480
1124.67/1124.90	c 1124s |      18 |  1830251 |   412352 |    14347  89671 |      525 |      480
1128.67/1128.90	c 1128s |      18 |  1830822 |   412552 |    14347  90242 |      525 |      480
1131.27/1131.54	c 1131s |      18 |  1831212 |   412652 |    14347  90632 |      525 |      480
1133.47/1133.71	c 1133s |      18 |  1831487 |   412752 |    14347  90907 |      525 |      480
1137.17/1137.44	c 1137s |      18 |  1832026 |   412952 |    14347  91446 |      525 |      480
1139.26/1139.60	c 1139s |      18 |  1832338 |   413052 |    14347  91758 |      525 |      480
1142.56/1142.87	c 1142s |      18 |  1832811 |   413252 |    14347  92231 |      525 |      480
1148.96/1149.24	c 1149s |      18 |  1833761 |   413452 |    14347  93181 |      525 |      480
1154.16/1154.46	c 1154s |      18 |  1834537 |   413652 |    14347  93951 |      525 |      480
1158.66/1158.90	c 1158s |      18 |  1835228 |   413752 |    14347  94627 |      525 |      480
1162.25/1162.56	c 1162s |      18 |  1835799 |   413952 |    14347  95144 |      525 |      480
1164.45/1164.74	c 1164s |      18 |  1836214 |   414152 |    14347  95442 |      525 |      480
1166.75/1167.06	c 1166s |      18 |  1836588 |   414252 |    14347  95766 |      525 |      480
1169.35/1169.62	c 1169s |      18 |  1837048 |   414452 |    14347  96129 |      525 |      480
1171.55/1171.89	c 1171s |      18 |  1837509 |   414652 |    14347  96430 |      525 |      480
1174.95/1175.22	c 1175s |      18 |  1837998 |   414752 |    14347  96919 |      525 |      480
1177.85/1178.20	c 1178s |      18 |  1838432 |   414852 |    14347  97353 |      525 |      480
1181.45/1181.70	c 1181s |      18 |  1838927 |   415052 |    14347  97848 |      525 |      480
1185.44/1185.80	c 1185s |      18 |  1839512 |   415252 |    14347  98433 |      525 |      480
1189.34/1189.62	c 1189s |      18 |  1840050 |   415452 |    14347  98971 |      525 |      480
1192.15/1192.49	c 1192s |      18 |  1840468 |   415552 |    14347  99389 |      525 |      480
1197.65/1197.98	c 1197s |      18 |  1841298 |   415652 |    14347 100219 |      525 |      480
1203.04/1203.34	c 1203s |      18 |  1842084 |   415852 |    14347 101005 |      525 |      480
1206.04/1206.34	c 1206s |      18 |  1842503 |   416052 |    14347 101424 |      525 |      480
1213.14/1213.47	c 1213s |      18 |  1843554 |   416252 |    14347 102474 |      525 |      480
1216.83/1217.13	c 1216s |      18 |  1844091 |   416352 |    14347 103009 |      525 |      480
1220.63/1221.00	c 1220s |      18 |  1844684 |   416452 |    14347 103576 |      525 |      480
1224.72/1225.05	c 1224s |      18 |  1845286 |   416652 |    14347 104142 |      525 |      480
1227.02/1227.40	c 1227s |      18 |  1845632 |   416752 |    14347 104475 |      525 |      480
1229.53/1229.90	c 1229s |      18 |  1846011 |   416952 |    14347 104812 |      525 |      480
1232.72/1233.01	c 1232s |      18 |  1846478 |   417052 |    14347 105273 |      525 |      480
1234.82/1235.14	c 1235s |      18 |  1846810 |   417252 |    14347 105562 |      525 |      480
1236.92/1237.27	c 1237s |      18 |  1847129 |   417352 |    14347 105869 |      525 |      480
1241.72/1242.07	c 1241s |      18 |  1847858 |   417552 |    14347 106556 |      525 |      480
1248.22/1248.56	c 1248s |      18 |  1848818 |   417752 |    14347 107488 |      525 |      480
1250.61/1250.96	c 1250s |      18 |  1849176 |   417852 |    14347 107835 |      525 |      480
1256.11/1256.41	c 1256s |      18 |  1849983 |   418052 |    14347 108640 |      525 |      480
1261.41/1261.73	c 1261s |      18 |  1850763 |   418252 |    14347 109405 |      525 |      480
1263.62/1263.93	c 1263s |      18 |  1851061 |   418352 |    14347 109698 |      525 |      480
1266.81/1267.11	c 1266s |      18 |  1851514 |   418552 |    14347 110146 |      525 |      480
1272.01/1272.32	c 1272s |      18 |  1852304 |   418752 |    14347 110923 |      525 |      480
1274.71/1275.04	c 1274s |      18 |  1852704 |   418852 |    14347 111323 |      525 |      480
1278.20/1278.51	c 1278s |      18 |  1853192 |   419052 |    14347 111810 |      525 |      480
1281.81/1282.16	c 1282s |      18 |  1853708 |   419252 |    14347 112326 |      525 |      480
1285.61/1285.92	c 1285s |      18 |  1854233 |   419452 |    14347 112851 |      525 |      480
1289.60/1289.97	c 1289s |      18 |  1854831 |   419552 |    14347 113449 |      525 |      480
1291.69/1292.01	c 1291s |      18 |  1855118 |   419652 |    14347 113736 |      525 |      480
1295.30/1295.68	c 1295s |      18 |  1855630 |   419852 |    14347 114248 |      525 |      480
1298.70/1299.08	c 1298s |      18 |  1856094 |   420052 |    14347 114712 |      525 |      480
1302.50/1302.85	c 1302s |      18 |  1856619 |   420252 |    14347 115237 |      525 |      480
1305.09/1305.43	c 1305s |      18 |  1856957 |   420452 |    14347 115575 |      525 |      480
1307.99/1308.34	c 1308s |      18 |  1857353 |   420652 |    14347 115971 |      525 |      480
1310.29/1310.69	c 1310s |      18 |  1857682 |   420752 |    14347 116300 |      525 |      480
1313.59/1313.97	c 1313s |      18 |  1858130 |   420952 |    14347 116748 |      525 |      480
1315.69/1316.03	c 1315s |      18 |  1858405 |   421052 |    14347 117023 |      525 |      480
1318.28/1318.64	c 1318s |      18 |  1858778 |   421152 |    14347 117396 |      525 |      480
1321.38/1321.73	c 1321s |      18 |  1859203 |   421352 |    14347 117821 |      525 |      480
1324.79/1325.18	c 1325s |      18 |  1859671 |   421552 |    14347 118289 |      525 |      480
1327.98/1328.32	c 1328s |      18 |  1860118 |   421652 |    14347 118735 |      525 |      480
1331.08/1331.45	c 1331s |      18 |  1860558 |   421752 |    14347 119175 |      525 |      480
1334.18/1334.57	c 1334s |      18 |  1861004 |   421852 |    14347 119621 |      525 |      480
1337.38/1337.78	c 1337s |      18 |  1861464 |   421952 |    14347 120081 |      525 |      480
1341.58/1341.95	c 1341s |      18 |  1862047 |   422152 |    14347 120664 |      525 |      480
1346.56/1346.97	c 1346s |      18 |  1862788 |   422252 |    14347 121405 |      525 |      480
1351.68/1352.01	c 1351s |      18 |  1863525 |   422352 |    14347 122142 |      525 |      480
1358.47/1358.81	c 1358s |      18 |  1864503 |   422452 |    14347 123120 |      525 |      480
1361.26/1361.65	c 1361s |      18 |  1864916 |   422552 |    14347 123533 |      525 |      480
1363.46/1363.80	c 1363s |      18 |  1865225 |   422652 |    14347 123842 |      525 |      480
1367.07/1367.48	c 1367s |      18 |  1865759 |   422752 |    14347 124376 |      525 |      480
1369.17/1369.54	c 1369s |      18 |  1866046 |   422852 |    14347 124663 |      525 |      480
1371.37/1371.72	c 1371s |      18 |  1866356 |   422952 |    14347 124973 |      525 |      480
1374.96/1375.34	c 1375s |      18 |  1866888 |   423052 |    14347 125505 |      525 |      480
1377.26/1377.62	c 1377s |      18 |  1867219 |   423152 |    14347 125836 |      525 |      480
1381.76/1382.17	c 1382s |      18 |  1867894 |   423252 |    14347 126511 |      525 |      480
1385.45/1385.85	c 1385s |      18 |  1868428 |   423352 |    14347 127045 |      525 |      480
1389.35/1389.76	c 1389s |      18 |  1868996 |   423452 |    14347 127612 |      525 |      480
1393.06/1393.42	c 1393s |      18 |  1869527 |   423552 |    14347 128143 |      525 |      480
1399.45/1399.85	c 1399s |      18 |  1870469 |   423652 |    14347 129085 |      525 |      480
1402.84/1403.25	c 1403s |      18 |  1870966 |   423752 |    14347 129582 |      525 |      480
1408.65/1409.03	c 1408s |      18 |  1871827 |   423852 |    14347 130443 |      525 |      480
1411.84/1412.22	c 1412s |      18 |  1872264 |   423952 |    14347 130880 |      525 |      480
1415.05/1415.47	c 1415s |      18 |  1872715 |   424052 |    14347 131331 |      525 |      480
1419.14/1419.53	c 1419s |      18 |  1873266 |   424252 |    14347 131882 |      525 |      480
1421.64/1422.01	c 1421s |      18 |  1873600 |   424352 |    14347 132216 |      525 |      480
1424.64/1425.07	c 1424s |      18 |  1874027 |   424452 |    14347 132643 |      525 |      480
1428.43/1428.85	c 1428s |      18 |  1874540 |   424652 |    14347 133156 |      525 |      480
1431.84/1432.28	c 1432s |      18 |  1875027 |   424752 |    14347 133643 |      525 |      480
1433.94/1434.38	c 1434s |      18 |  1875319 |   424852 |    14347 133935 |      525 |      480
1436.93/1437.30	c 1437s |      18 |  1875727 |   424952 |    14347 134343 |      525 |      480
1439.83/1440.25	c 1440s |      18 |  1876145 |   425052 |    14347 134761 |      525 |      480
1442.23/1442.68	c 1442s |      18 |  1876489 |   425152 |    14347 135105 |      525 |      480
1445.23/1445.61	c 1445s |      18 |  1876909 |   425252 |    14347 135525 |      525 |      480
1449.53/1450.00	c 1449s |      18 |  1877548 |   425352 |    14347 136164 |      525 |      480
1453.63/1454.00	c 1453s |      18 |  1878109 |   425552 |    14347 136725 |      525 |      480
1457.42/1457.81	c 1457s |      18 |  1878646 |   425652 |    14347 137262 |      525 |      480
1462.63/1463.00	c 1462s |      18 |  1879337 |   425852 |    14347 137953 |      525 |      480
1464.93/1465.34	c 1465s |      18 |  1879663 |   425952 |    14347 138279 |      525 |      480
1468.72/1469.17	c 1469s |      18 |  1880196 |   426152 |    14347 138812 |      525 |      480
1471.22/1471.61	c 1471s |      18 |  1880542 |   426252 |    14347 139158 |      525 |      480
1474.92/1475.32	c 1475s |      18 |  1881049 |   426452 |    14347 139665 |      525 |      480
1479.22/1479.61	c 1479s |      18 |  1881625 |   426652 |    14347 140241 |      525 |      480
1481.71/1482.19	c 1482s |      18 |  1881990 |   426752 |    14347 140606 |      525 |      480
1485.21/1485.63	c 1485s |      18 |  1882461 |   426952 |    14347 141077 |      525 |      480
1489.01/1489.46	c 1489s |      18 |  1883010 |   427052 |    14347 141626 |      525 |      480
1494.40/1494.80	c 1494s |      18 |  1883774 |   427152 |    14347 142390 |      525 |      480
1498.50/1498.94	c 1498s |      18 |  1884364 |   427252 |    14347 142980 |      525 |      480
1500.70/1501.15	c 1501s |      18 |  1884673 |   427352 |    14347 143289 |      525 |      480
1503.69/1504.12	c 1503s |      18 |  1885080 |   427552 |    14347 143696 |      525 |      480
1507.39/1507.82	c 1507s |      18 |  1885574 |   427752 |    14347 144190 |      525 |      480
1509.59/1510.04	c 1509s |      18 |  1885883 |   427852 |    14347 144499 |      525 |      480
1514.30/1514.75	c 1514s |      18 |  1886533 |   428052 |    14347 145149 |      525 |      480
1516.99/1517.49	c 1517s |      18 |  1886911 |   428152 |    14347 145527 |      525 |      480
1520.49/1520.93	c 1520s |      18 |  1887376 |   428352 |    14347 145992 |      525 |      480
1522.89/1523.35	c 1523s |      18 |  1887708 |   428452 |    14347 146324 |      525 |      480
1526.58/1527.03	c 1526s |      18 |  1888203 |   428652 |    14347 146819 |      525 |      480
1530.69/1531.11	c 1530s |      18 |  1888763 |   428852 |    14347 147379 |      525 |      480
1532.99/1533.49	c 1533s |      18 |  1889099 |   428952 |    14347 147715 |      525 |      480
1536.18/1536.66	c 1536s |      18 |  1889543 |   429052 |    14347 148159 |      525 |      480
1540.48/1540.96	c 1540s |      18 |  1890156 |   429152 |    14347 148772 |      525 |      480
1546.08/1546.54	c 1546s |      18 |  1890946 |   429252 |    14347 149562 |      525 |      480
1551.08/1551.50	c 1551s |      18 |  1891634 |   429352 |    14347 150250 |      525 |      480
1553.98/1554.47	c 1554s |      18 |  1892012 |   429452 |    14347 150628 |      525 |      480
1559.27/1559.79	c 1559s |      18 |  1892755 |   429652 |    14347 151371 |      525 |      480
1561.87/1562.36	c 1562s |      18 |  1893104 |   429752 |    14347 151720 |      525 |      480
1564.68/1565.15	c 1565s |      18 |  1893481 |   429852 |    14347 152097 |      525 |      480
1569.28/1569.75	c 1569s |      18 |  1894091 |   429952 |    14347 152707 |      525 |      480
1572.77/1573.27	c 1573s |      18 |  1894574 |   430052 |    14347 153190 |      525 |      480
1575.46/1575.91	c 1575s |      18 |  1894925 |   430152 |    14347 153541 |      525 |      480
1578.36/1578.89	c 1578s |      18 |  1895334 |   430252 |    14347 153950 |      525 |      480
1582.57/1583.09	c 1582s |      18 |  1895895 |   430452 |    14347 154511 |      525 |      480
1586.16/1586.62	c 1586s |      18 |  1896355 |   430652 |    14347 154971 |      525 |      480
1588.56/1589.01	c 1588s |      18 |  1896666 |   430752 |    14347 155282 |      525 |      480
1591.56/1592.08	c 1591s |      18 |  1897062 |   430852 |    14347 155678 |      525 |      480
1596.65/1597.20	c 1597s |      18 |  1897710 |   431052 |    14347 156326 |      525 |      480
1600.95/1601.40	c 1601s |      18 |  1898244 |   431152 |    14347 156860 |      525 |      480
1603.36/1603.83	c 1603s |      18 |  1898541 |   431252 |    14347 157157 |      525 |      480
1605.85/1606.34	c 1606s |      18 |  1898849 |   431352 |    14347 157465 |      525 |      480
1608.75/1609.28	c 1609s |      18 |  1899212 |   431452 |    14347 157828 |      525 |      480
1612.55/1613.03	c 1612s |      18 |  1899653 |   431652 |    14347 158269 |      525 |      480
1615.75/1616.29	c 1616s |      18 |  1900061 |   431752 |    14347 158677 |      525 |      480
1620.64/1621.11	c 1620s |      18 |  1900638 |   431952 |    14347 159254 |      525 |      480
1624.05/1624.55	c 1624s |      18 |  1901070 |   432052 |    14347 159686 |      525 |      480
1627.25/1627.75	c 1627s |      18 |  1901428 |   432252 |    14347 160044 |      525 |      480
1630.54/1631.01	c 1630s |      18 |  1901823 |   432352 |    14347 160439 |      525 |      480
1635.04/1635.54	c 1635s |      18 |  1902390 |   432452 |    14347 161006 |      525 |      480
1638.04/1638.55	c 1638s |      18 |  1902745 |   432552 |    14347 161361 |      525 |      480
1643.55/1644.00	c 1643s |      18 |  1903439 |   432652 |    14347 162055 |      525 |      480
1649.25/1649.78	c 1649s |      18 |  1904177 |   432752 |    14347 162793 |      525 |      480
1652.04/1652.55	c 1652s |      18 |  1904514 |   432852 |    14347 163130 |      525 |      480
1656.34/1656.86	c 1656s |      18 |  1905056 |   432952 |    14347 163672 |      525 |      480
1661.65/1662.17	c 1662s |      18 |  1905733 |   433052 |    14347 164349 |      525 |      480
1666.64/1667.16	c 1667s |      18 |  1906376 |   433152 |    14347 164992 |      525 |      480
1669.34/1669.83	c 1669s |      18 |  1906698 |   433252 |    14347 165314 |      525 |      480
1672.64/1673.19	c 1673s |      18 |  1907110 |   433352 |    14347 165726 |      525 |      480
1677.15/1677.65	c 1677s |      18 |  1907638 |   433552 |    14347 166254 |      525 |      480
1679.84/1680.30	c 1680s |      18 |  1907969 |   433652 |    14347 166585 |      525 |      480
1682.74/1683.25	c 1683s |      18 |  1908334 |   433752 |    14347 166950 |      525 |      480
1687.44/1687.93	c 1687s |      18 |  1908944 |   433852 |    14347 167560 |      525 |      480
1689.84/1690.34	c 1690s |      18 |  1909237 |   433952 |    14347 167853 |      525 |      480
1692.13/1692.67	c 1692s |      18 |  1909520 |   434052 |    14347 168136 |      525 |      480
1694.23/1694.72	c 1694s |      18 |  1909765 |   434152 |    14347 168381 |      525 |      480
1698.43/1698.98	c 1698s |      18 |  1910308 |   434252 |    14347 168924 |      525 |      480
1701.44/1701.97	c 1701s |      18 |  1910684 |   434352 |    14347 169300 |      525 |      480
1703.93/1704.43	c 1704s |      18 |  1910984 |   434452 |    14347 169600 |      525 |      480
1706.74/1707.22	c 1707s |      18 |  1911334 |   434552 |    14347 169950 |      525 |      480
1709.94/1710.41	c 1710s |      18 |  1911740 |   434652 |    14347 170356 |      525 |      480
1712.63/1713.15	c 1713s |      18 |  1912086 |   434752 |    14347 170702 |      525 |      480
1714.93/1715.48	c 1715s |      18 |  1912349 |   434852 |    14347 170965 |      525 |      480
1721.24/1721.79	c 1721s |      18 |  1913172 |   434952 |    14347 171788 |      525 |      480
1723.93/1724.49	c 1724s |      18 |  1913499 |   435052 |    14347 172115 |      525 |      480
1728.03/1728.50	c 1728s |      18 |  1913988 |   435152 |    14347 172604 |      525 |      480
1730.43/1730.95	c 1730s |      18 |  1914285 |   435252 |    14347 172901 |      525 |      480
1735.83/1736.33	c 1736s |      18 |  1914980 |   435352 |    14347 173596 |      525 |      480
1738.13/1738.68	c 1738s |      18 |  1915257 |   435452 |    14347 173873 |      525 |      480
1740.73/1741.23	c 1741s |      18 |  1915570 |   435552 |    14347 174186 |      525 |      480
1742.93/1743.44	c 1743s |      18 |  1915835 |   435652 |    14347 174451 |      525 |      480
1745.13/1745.67	c 1745s |      18 |  1916102 |   435752 |    14347 174718 |      525 |      480
1747.82/1748.36	c 1748s |      18 |  1916436 |   435852 |    14347 175052 |      525 |      480
1750.32/1750.82	c 1750s |      18 |  1916739 |   435952 |    14347 175355 |      525 |      480
1755.33/1755.87	c 1755s |      18 |  1917355 |   436152 |    14347 175971 |      525 |      480
1757.62/1758.19	c 1758s |      18 |  1917638 |   436252 |    14347 176254 |      525 |      480
1759.92/1760.40	c 1760s |      18 |  1917905 |   436352 |    14347 176521 |      525 |      480
1762.12/1762.61	c 1762s |      18 |  1918167 |   436452 |    14347 176783 |      525 |      480
1764.42/1764.98	c 1764s |      18 |  1918458 |   436552 |    14347 177074 |      525 |      480
1766.73/1767.24	c 1767s |      18 |  1918738 |   436652 |    14347 177354 |      525 |      480
1768.83/1769.35	c 1769s |      18 |  1918994 |   436752 |    14347 177610 |      525 |      480
1772.53/1773.03	c 1772s |      18 |  1919438 |   436852 |    14347 178054 |      525 |      480
1776.32/1776.86	c 1776s |      18 |  1919884 |   437052 |    14347 178500 |      525 |      480
1779.92/1780.49	c 1780s |      18 |  1920311 |   437252 |    14347 178927 |      525 |      480
1782.82/1783.37	c 1783s |      18 |  1920666 |   437352 |    14347 179282 |      525 |      480
1785.13/1785.62	c 1785s |      18 |  1920939 |   437452 |    14347 179555 |      525 |      480
1787.32/1787.89	c 1787s |      18 |  1921213 |   437552 |    14347 179829 |      525 |      480
1789.42/1789.93	c 1789s |      18 |  1921459 |   437652 |    14347 180075 |      525 |      480
1792.53/1793.09	c 1792s |      18 |  1921834 |   437752 |    14347 180450 |      525 |      480
1794.83/1795.37	c 1795s |      18 |  1922091 |   437852 |    14347 180707 |      525 |      480
1796.93/1797.43	c 1797s |      18 |  1922340 |   437952 |    14347 180956 |      525 |      480
1799.02/1799.58	c 1799s |      18 |  1922597 |   438052 |    14347 181213 |      525 |      480

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

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 13549
/proc/meminfo: memFree=29194148/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 2792 0 0 0 0 0 0 0 20 0 4 0 110661535 764866560 3152 33554432000 4194304 16246674 140733633702752 140733633702176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 187247 3160 441 2943 0 184141 0
[pid=13549/tid=13550] ppid=13546 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 782692352 3219 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 786886656 3236 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110661536 792129536 3253 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 13549
/proc/meminfo: memFree=29194148/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 23183 0 0 0 6 3 0 0 20 0 4 0 110661535 1249447936 23482 33554432000 4194304 16246674 140733633702752 140733633702064 5516804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 305041 23490 832 2943 0 301935 0
[pid=13549/tid=13550] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1249447936 23495 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1249447936 23500 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110661536 1249447936 23506 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200547 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 13549
/proc/meminfo: memFree=29194148/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1220164 CPUtime=0.18 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 41014 0 0 0 14 4 0 0 20 0 4 0 110661535 1249447936 41312 33554432000 4194304 16246674 140733633702752 140733633702064 5830026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 305041 41319 875 2943 0 301935 0
[pid=13549/tid=13550] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1249447936 41323 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1249447936 41328 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110661536 1249447936 41332 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.300488 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 13549
/proc/meminfo: memFree=29194148/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 60384 0 0 0 22 7 0 0 20 0 4 0 110661535 1249447936 60683 33554432000 4194304 16246674 140733633702752 140733633702064 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 305041 60698 875 2943 0 301935 0
[pid=13549/tid=13550] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1249447936 60702 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1249447936 60711 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110661536 1249447936 60718 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700404 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 13549
/proc/meminfo: memFree=29194148/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 153008 0 0 0 50 19 0 0 20 0 4 0 110661535 1249447936 153306 33554432000 4194304 16246674 140733633702752 140733633684672 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 305041 153318 875 2943 0 301935 0
[pid=13549/tid=13550] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1249447936 153325 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1249447936 153335 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110661536 1249447936 153345 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 13553
/proc/meminfo: memFree=28220620/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1300036 CPUtime=1.49 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 266158 0 0 0 115 34 0 0 20 0 4 0 110661535 1331236864 266456 33554432000 4194304 16246674 140733633702752 140733633684672 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 325009 266456 880 2943 0 321903 0
[pid=13549/tid=13550] ppid=13546 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1331236864 266456 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1331236864 266456 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1331236864 266456 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10042 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 13553
/proc/meminfo: memFree=28122536/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 267982 0 0 0 275 34 0 0 20 0 4 0 110661535 1338576896 268280 33554432000 4194304 16246674 140733633702752 140733633684672 5546616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 326801 268280 883 2943 0 323695 0
[pid=13549/tid=13550] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 13553
/proc/meminfo: memFree=28121008/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 267982 0 0 0 595 34 0 0 20 0 4 0 110661535 1338576896 268280 33554432000 4194304 16246674 140733633702752 140733633684672 13927320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 326801 268280 883 2943 0 323695 0
[pid=13549/tid=13550] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 13553
/proc/meminfo: memFree=28121268/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 267982 0 0 0 1235 34 0 0 20 0 4 0 110661535 1338576896 268280 33554432000 4194304 16246674 140733633702752 140733633684672 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 326801 268280 883 2943 0 323695 0
[pid=13549/tid=13550] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1338576896 268280 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.21 2.20 2.18 4/183 13553
/proc/meminfo: memFree=28120816/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 268240 0 0 0 2514 34 0 0 20 0 4 0 110661535 1339625472 268538 33554432000 4194304 16246674 140733633702752 140733633701928 6023323 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327057 268538 885 2943 0 323951 0
[pid=13549/tid=13550] ppid=13546 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1339625472 268538 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1339625472 268538 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1339625472 268538 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 13553
/proc/meminfo: memFree=28120820/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 268240 0 0 0 5074 34 0 0 20 0 4 0 110661535 1339625472 268538 33554432000 4194304 16246674 140733633702752 140733633684672 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327057 268538 885 2943 0 323951 0
[pid=13549/tid=13550] ppid=13546 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1339625472 268538 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1339625472 268538 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1339625472 268538 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.25 2.21 2.18 4/183 13554
/proc/meminfo: memFree=28119716/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 268420 0 0 0 10194 34 0 0 20 0 4 0 110661535 1340674048 268718 33554432000 4194304 16246674 140733633702752 140733633685752 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327313 268718 885 2943 0 324207 0
[pid=13549/tid=13550] ppid=13546 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1340674048 268718 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1340674048 268718 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1340674048 268718 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 13731
/proc/meminfo: memFree=28126888/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1361.96 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 268958 0 0 0 136073 123 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 4220990 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 13733
/proc/meminfo: memFree=28127148/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1421.94 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 268990 0 0 0 142065 129 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 13907028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/183 13734
/proc/meminfo: memFree=28127012/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1481.91 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 269022 0 0 0 148056 135 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.20 2.24 2.19 3/184 13738
/proc/meminfo: memFree=28126788/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1541.89 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 269061 0 0 0 154046 143 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 5653032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/183 13739
/proc/meminfo: memFree=28126996/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1601.85 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 269105 0 0 0 160036 149 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 12875603 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 13740
/proc/meminfo: memFree=28125612/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1661.84 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 269105 0 0 0 166030 154 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 5974204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 13742
/proc/meminfo: memFree=28125476/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1721.83 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 269105 0 0 0 172025 158 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 13191844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 13743
/proc/meminfo: memFree=28125028/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1781.82 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 269105 0 0 0 178020 162 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 5652712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 13743
/proc/meminfo: memFree=28125368/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1800.02 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 269105 0 0 0 179839 163 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 5974204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1310276

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 13743
/proc/meminfo: memFree=28125368/32872528 swapFree=15272/1656604
[pid=13549] ppid=13546 vsize=1310276 CPUtime=1800.02 cores=1,3,5,7
/proc/13549/stat : 13549 (toysat) R 13546 13549 9894 0 -1 4202496 269105 0 0 0 179839 163 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140733633701928 5974204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13549/statm: 327569 269307 886 2943 0 324463 0
[pid=13549/tid=13550] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13550/stat : 13550 (toysat) S 13546 13549 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110661535 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446660537584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13549/tid=13551] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13551/stat : 13551 (toysat) S 13546 13549 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446650047728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13549/tid=13552] ppid=13546 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13549/task/13552/stat : 13552 (toysat) S 13546 13549 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110661536 1341722624 269307 33554432000 4194304 16246674 140733633702752 140446571424944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1798.4
CPU system time (s): 1.63775
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.4
system time used= 1.63775
maximum resident set size= 1077228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269105
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= 369
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5713 second user time and 6.94594 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 10:14:42
IDJOB=4078879
IDBENCH=90218
IDSOLVER=2542
FILE ID=node136/4078879-1465287282
RUNJOBID= node136-1465261284-9911
PBS_JOBID= 19843291
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= da1bb6c22345628ac4e1e426278657ed
RANDOM SEED=1733654851

node136.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.959
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.959
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.959
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.959
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.59
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.959
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.959
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:        29194156 kB
Buffers:           54472 kB
Cached:           145068 kB
SwapCached:          768 kB
Active:          1163148 kB
Inactive:         124328 kB
Active(anon):    1086896 kB
Inactive(anon):     3536 kB
Active(file):      76252 kB
Inactive(file):   120792 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             16748 kB
Writeback:             0 kB
AnonPages:       2825616 kB
Mapped:            10704 kB
Shmem:                 0 kB
Slab:             598156 kB
SReclaimable:      42124 kB
SUnreclaim:       556032 kB
KernelStack:        1520 kB
PageTables:         9484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2889552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2807808 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= 71704 MiB
End job on node136 at 2016-06-07 10:44:43