Trace number 4078876

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K66.opb
MD5SUM03e282ee85097a100b1dfa3533d9978b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3630
Total number of constraints3764
Number of constraints which are clauses3698
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint66
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 67
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:16:27+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-4078876-1465287387.opb"]
0.00/0.01	c use --random-gen="1930946397 2847340345 331339401 669085709 1848379595 288763206 3307769718 2015507673 3095104809 462602986 4244635094 22976762 2801248638 2306130942 1445335903 1334919499 504376393 1070811459 694669134 612640514 1965811161 3151188668 2045985627 1598969966 2962504946 3410484275 667653729 3192895549 3872520901 1295617763 2692375105 363347184 1724942350 338428277 1967074936 4141598264 3722429589 3415361988 3268650392 4248682841 3709587970 3947471034 1469681566 4176122376 3171057319 742396299 183689795 4253906842 3034922822 2822844116 4237110758 1446439993 2047444588 3704810649 2765284115 227962239 3985275769 2091607325 3789771897 3275913237 3817790036 1626774264 45702771 3756543638 100425031 2317396829 166334856 3206169870 3183382535 4256371250 3219488179 1266774134 1320750033 1023428243 3869243638 3876232700 437772507 2116345895 2855740116 2167200265 3915845357 2896281357 1111608574 427292937 4029865592 36269292 1449591996 2582421232 15649104 2345183340 1859265795 447999878 2280717621 626846985 1224397982 47677200 2134391635 3832631070 2089075439 806068423 1924319263 783766734 2202591936 122698351 3433559691 855701452 170231448 1901801957 1684740534 618840665 3278622457 2801010705 3359311508 2136221238 896103862 2483076520 1914701812 2844938277 3412772363 1272592479 512721393 1966744199 4155073631 2217677981 1248569481 3658490406 4251622678 356297846 1004015801 3995339724 344309470 3635998594 1104851402 1099316546 2988888506 3721711301 3070544417 1958014779 4207226619 1702947874 3825532384 3720102566 2331563809 1889906382 2365298213 3528181740 3730070529 711274792 4279169220 409645090 1469675269 3962266382 149524454 2674122150 724139372 3291600978 2780537630 726848506 3248942639 4106005240 876134111 3723256150 2902380325 3085828765 3491587178 3502696773 1930045225 3659760107 949305325 1366897508 813736377 3839384877 3734918356 3676975092 1036170038 185801444 4031800654 1012640141 1959336785 98200457 3274424485 1723968370 2763884427 3128826978 2380267715 1250876273 292894488 3350054965 3950305269 151103390 3637867506 798912806 1226992043 2375970385 403024358 302740333 136927371 303903994 2579040155 3872624565 1227481216 1667642263 1511424797 1119904559 3995723537 2299020329 3883236173 1862525556 2576415811 667084101 1134025070 3683786213 2110047191 4144649543 1071931351 490458898 1471786077 466957237 395803722 1966530406 2959635880 2177319625 2916930013 1794124597 1966010071 2952639081 391468520 1621827958 1900258576 1803672880 2937387072 3310224452 2115736339 4014396618 3632692889 253542698 2116017811 2901530693 2888210574 2202608321 3695781506 1997826537 2557052766 32211134 1508304406 2747017859 3962402281 3175650283 3028109994 1322133454 431774789 3073105343 1743227093 1913260734 3438191575 496160534 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3630
0.00/0.06	c #constraints 3764
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |     2464      0 |      455 |        0
0.19/0.24	c  0.1s |       1 |     2214 |      100 |     2464      0 |      456 |      411
0.39/0.42	c  0.3s |       2 |     4588 |      250 |     2711      0 |      460 |      415
0.59/0.62	c  0.5s |       3 |     7062 |      475 |     2983      0 |      461 |      416
0.89/0.95	c  0.8s |       4 |    10702 |      813 |     3282      0 |      468 |      423
1.49/1.52	c  1.4s |       5 |    15275 |     1320 |     3611      0 |      472 |      427
2.19/2.20	c  2.1s |       6 |    19413 |     2081 |     4371      0 |      472 |      427
2.99/3.08	c  2.9s |       7 |    32959 |     3223 |     4809      0 |      477 |      432
5.29/5.31	c  5.2s |       7 |    46925 |     4923 |     5290      0 |      482 |      437
5.29/5.32	c  5.2s |       8 |    47004 |     4936 |     5290      0 |      482 |      437
7.39/7.44	c  7.3s |       8 |    55647 |     6736 |     5290      0 |      485 |      440
8.49/8.55	c  8.4s |       9 |    59229 |     7506 |     5820      1 |      485 |      440
10.69/10.72	c 10.6s |       9 |    61842 |     8306 |     5820      1 |      485 |      440
12.69/12.76	c 12.6s |       9 |    79658 |    10506 |     5820      1 |      487 |      442
13.49/13.53	c 13.4s |      10 |    85475 |    11361 |     6403      2 |      487 |      442
15.49/15.58	c 15.4s |      10 |   104288 |    13361 |     6403      2 |      495 |      450
17.59/17.66	c 17.5s |      10 |   114330 |    15061 |     6403      2 |      495 |      450
19.68/19.74	c 19.6s |      10 |   118750 |    16261 |     6403      3 |      495 |      450
20.58/20.64	c 20.5s |      11 |   124697 |    17144 |     7044      3 |      496 |      451
22.58/22.64	c 22.5s |      11 |   135609 |    18744 |     7044      3 |      497 |      452
24.68/24.72	c 24.6s |      11 |   146703 |    20544 |     7044      4 |      499 |      454
26.68/26.72	c 26.6s |      11 |   157585 |    22444 |     7044      4 |      499 |      454
28.78/28.83	c 28.7s |      11 |   165182 |    24044 |     7044      5 |      499 |      454
30.89/30.93	c 30.8s |      11 |   170701 |    25344 |     7044      5 |      499 |      454
31.38/31.47	c 31.3s |      12 |   172643 |    25819 |     7749      5 |      500 |      455
33.48/33.50	c 33.4s |      12 |   186456 |    27819 |     7749      5 |      504 |      459
35.68/35.72	c 35.6s |      12 |   189860 |    29119 |     7749      5 |      504 |      459
37.98/38.00	c 37.9s |      12 |   191853 |    29819 |     7749      6 |      505 |      460
39.98/40.06	c 39.9s |      12 |   202412 |    31419 |     7749      6 |      505 |      460
41.98/42.07	c 41.9s |      12 |   216075 |    33219 |     7749      6 |      506 |      461
43.99/44.08	c 43.9s |      12 |   225722 |    34919 |     7749      7 |      506 |      461
45.99/46.09	c 46.0s |      12 |   230629 |    36219 |     7749      7 |      506 |      461
48.09/48.18	c 48.0s |      12 |   233672 |    37319 |     7749      7 |      506 |      461
50.19/50.22	c 50.1s |      12 |   240142 |    38819 |     8524      8 |      506 |      461
50.19/50.23	c 50.1s |      13 |   240175 |    38832 |     8524      8 |      506 |      461
52.29/52.32	c 52.2s |      13 |   250654 |    40732 |     8524      8 |      507 |      462
54.39/54.47	c 54.3s |      13 |   253740 |    41832 |     8524      8 |      507 |      462
56.49/56.57	c 56.4s |      13 |   255940 |    42732 |     8524      8 |      507 |      462
58.69/58.71	c 58.6s |      13 |   265182 |    44132 |     8524      9 |      507 |      462
60.68/60.73	c 60.6s |      13 |   277824 |    45932 |     8524      9 |      510 |      465
62.69/62.78	c 62.6s |      13 |   286109 |    47632 |     8524      9 |      510 |      465
64.78/64.80	c 64.7s |      13 |   291019 |    48932 |     8524      9 |      510 |      465
66.78/66.81	c 66.7s |      13 |   294672 |    50032 |     8524     10 |      510 |      465
68.78/68.84	c 68.7s |      13 |   297996 |    51032 |     8524     10 |      510 |      465
70.88/70.90	c 70.8s |      13 |   303792 |    52432 |     8524     10 |      510 |      465
72.88/72.98	c 72.8s |      13 |   309694 |    54032 |     8524     10 |      510 |      465
74.98/75.10	c 75.0s |      13 |   312307 |    54932 |     8524     11 |      510 |      465
77.09/77.18	c 77.1s |      13 |   316189 |    56132 |     8524     11 |      510 |      465
79.19/79.27	c 79.1s |      13 |   323465 |    57832 |     8524     11 |      510 |      465
79.78/79.82	c 79.7s |      14 |   326623 |    58352 |     9377     11 |      510 |      465
81.78/81.87	c 81.7s |      14 |   338178 |    60052 |     9377     12 |      510 |      465
83.88/83.91	c 83.8s |      14 |   346355 |    61852 |     9377     12 |      510 |      465
85.88/85.92	c 85.8s |      14 |   353415 |    63152 |     9377     12 |      510 |      465
87.88/87.96	c 87.8s |      14 |   358536 |    64252 |     9377     12 |      510 |      465
89.98/90.02	c 89.9s |      14 |   363499 |    65352 |     9377     13 |      510 |      465
91.98/92.04	c 91.9s |      14 |   367551 |    66652 |     9377     13 |      510 |      465
93.98/94.06	c 93.9s |      14 |   369973 |    67452 |     9377     13 |      510 |      465
96.08/96.10	c 96.0s |      14 |   374278 |    68452 |     9377     13 |      510 |      465
98.18/98.21	c 98.1s |      14 |   377836 |    69552 |     9377     13 |      510 |      465
100.27/100.39	c  100s |      14 |   379424 |    70252 |     9377     13 |      510 |      465
102.38/102.42	c  102s |      14 |   381326 |    70952 |     9377     14 |      510 |      465
104.37/104.46	c  104s |      14 |   386230 |    72252 |     9377     14 |      510 |      465
106.47/106.57	c  106s |      14 |   398087 |    74152 |     9377     14 |      511 |      466
108.47/108.58	c  108s |      14 |   410500 |    75952 |     9377     15 |      513 |      468
110.57/110.64	c  110s |      14 |   421291 |    78052 |     9377     15 |      513 |      468
112.67/112.71	c  112s |      14 |   427868 |    79952 |     9377     15 |      513 |      468
114.67/114.74	c  114s |      14 |   431379 |    81052 |     9377     15 |      513 |      468
116.77/116.85	c  116s |      14 |   435897 |    82252 |     9377     16 |      513 |      468
118.88/118.91	c  118s |      14 |   439250 |    83452 |     9377     16 |      513 |      468
120.98/121.05	c  120s |      14 |   447626 |    85252 |     9377     16 |      513 |      468
123.07/123.10	c  122s |      14 |   453304 |    86852 |     9377     17 |      513 |      468
123.97/124.02	c  123s |      15 |   455689 |    87632 |    10315     17 |      513 |      468
126.07/126.11	c  125s |      15 |   464875 |    89532 |    10315     17 |      514 |      469
128.17/128.20	c  128s |      15 |   470923 |    91132 |    10315     17 |      514 |      469
130.27/130.32	c  130s |      15 |   474781 |    92432 |    10315     17 |      514 |      469
132.27/132.37	c  132s |      15 |   477306 |    93232 |    10315     17 |      514 |      469
134.47/134.53	c  134s |      15 |   481525 |    94432 |    10315     18 |      514 |      469
136.67/136.75	c  136s |      15 |   484221 |    95432 |    10315     18 |      514 |      469
138.77/138.89	c  138s |      15 |   487899 |    96532 |    10315     18 |      514 |      469
140.87/140.93	c  140s |      15 |   489947 |    97332 |    10315     18 |      514 |      469
142.97/143.06	c  142s |      15 |   492991 |    98132 |    10315     18 |      514 |      469
145.27/145.36	c  145s |      15 |   495286 |    98932 |    10315     18 |      514 |      469
147.56/147.64	c  147s |      15 |   496712 |    99432 |    10315     18 |      514 |      469
149.76/149.83	c  149s |      15 |   497751 |    99932 |    10315     18 |      514 |      469
151.96/152.09	c  151s |      15 |   499147 |   100532 |    10315     19 |      514 |      469
154.07/154.11	c  153s |      15 |   501726 |   101432 |    10315     19 |      514 |      469
156.06/156.14	c  156s |      15 |   506870 |   102732 |    10315     19 |      514 |      469
158.16/158.28	c  158s |      15 |   512213 |   104232 |    10315     19 |      515 |      470
160.26/160.36	c  160s |      15 |   519102 |   105432 |    10315     20 |      516 |      471
162.36/162.40	c  162s |      15 |   527921 |   107332 |    10315     20 |      516 |      471
164.46/164.52	c  164s |      15 |   538463 |   109232 |    10315     20 |      517 |      472
166.56/166.66	c  166s |      15 |   548757 |   110932 |    10315     21 |      517 |      472
168.76/168.86	c  168s |      15 |   555138 |   112932 |    10315     21 |      517 |      472
170.77/170.88	c  170s |      15 |   558091 |   114032 |    10315     21 |      517 |      472
172.87/172.95	c  172s |      15 |   560754 |   115132 |    10315     21 |      517 |      472
175.07/175.12	c  174s |      15 |   565634 |   116532 |    10315     21 |      517 |      472
177.07/177.15	c  177s |      15 |   573891 |   118532 |    10315     22 |      517 |      472
179.07/179.18	c  179s |      15 |   579007 |   120032 |    10315     22 |      517 |      472
181.26/181.30	c  181s |      15 |   583490 |   121432 |    10315     22 |      517 |      472
183.46/183.53	c  183s |      15 |   585813 |   122332 |    10315     23 |      517 |      472
185.56/185.64	c  185s |      15 |   593835 |   124432 |    10315     23 |      517 |      472
187.66/187.71	c  187s |      15 |   597215 |   125632 |    10315     23 |      517 |      472
189.76/189.85	c  189s |      15 |   601163 |   126932 |    10315     23 |      517 |      472
191.86/191.90	c  191s |      15 |   603322 |   127832 |    10315     23 |      517 |      472
193.86/193.95	c  193s |      15 |   606831 |   128932 |    10315     24 |      517 |      472
196.06/196.16	c  196s |      15 |   610394 |   130232 |    10315     24 |      517 |      472
198.26/198.30	c  198s |      15 |   612547 |   130932 |    11347     24 |      517 |      472
199.76/199.81	c  199s |      16 |   614314 |   131552 |    11347     24 |      517 |      472
201.76/201.85	c  201s |      16 |   628949 |   133552 |    11347     25 |      517 |      472
203.76/203.90	c  203s |      16 |   634892 |   135152 |    11347     25 |      517 |      472
205.86/205.93	c  205s |      16 |   645817 |   137252 |    11347     25 |      518 |      473
207.86/207.98	c  207s |      16 |   652663 |   138752 |    11347     26 |      518 |      473
209.96/210.00	c  209s |      16 |   663903 |   140952 |    11347     26 |      518 |      473
211.96/212.01	c  211s |      16 |   667808 |   142352 |    11347     26 |      518 |      473
214.26/214.30	c  214s |      16 |   670969 |   143452 |    11347     26 |      518 |      473
216.36/216.41	c  216s |      16 |   678645 |   145052 |    11347     27 |      518 |      473
218.46/218.52	c  218s |      16 |   686208 |   147052 |    11347     27 |      518 |      473
220.46/220.55	c  220s |      16 |   695479 |   148852 |    11347     28 |      518 |      473
222.46/222.56	c  222s |      16 |   706318 |   150852 |    11347     28 |      518 |      473
224.46/224.58	c  224s |      16 |   718218 |   152752 |    11347     28 |      518 |      473
226.56/226.62	c  226s |      16 |   726861 |   154652 |    11347     29 |      518 |      473
228.65/228.77	c  228s |      16 |   734544 |   156652 |    11347     29 |      518 |      473
230.75/230.89	c  230s |      16 |   738741 |   157952 |    11347     29 |      518 |      473
232.85/232.91	c  232s |      16 |   744293 |   159652 |    11347     30 |      518 |      473
234.95/235.05	c  234s |      16 |   752158 |   161352 |    11347     30 |      518 |      473
237.05/237.10	c  236s |      16 |   753857 |   161952 |    11347     30 |      518 |      473
239.05/239.17	c  239s |      16 |   755749 |   162552 |    11347     31 |      518 |      473
241.15/241.21	c  241s |      16 |   767189 |   165052 |    11347     31 |      518 |      473
243.16/243.29	c  243s |      16 |   771988 |   166552 |    11347     31 |      518 |      473
245.36/245.41	c  245s |      16 |   778834 |   168652 |    11347     32 |      518 |      473
247.46/247.53	c  247s |      16 |   783291 |   169952 |    11347     32 |      518 |      473
249.45/249.58	c  249s |      16 |   791700 |   171852 |    11347     33 |      518 |      473
251.55/251.68	c  251s |      16 |   796754 |   173452 |    11347     33 |      518 |      473
253.65/253.75	c  253s |      16 |   803476 |   175252 |    11347     34 |      518 |      473
255.75/255.81	c  255s |      16 |   809186 |   176852 |    11347     34 |      518 |      473
257.85/257.93	c  257s |      16 |   812997 |   178152 |    11347     35 |      518 |      473
259.85/259.94	c  259s |      16 |   817164 |   179552 |    11347     35 |      518 |      473
261.85/261.94	c  261s |      16 |   821433 |   180852 |    11347     35 |      518 |      473
263.95/264.01	c  263s |      16 |   827982 |   182752 |    11347     36 |      518 |      473
265.95/266.01	c  265s |      16 |   833509 |   184652 |    11347     36 |      518 |      473
267.95/268.04	c  267s |      16 |   839164 |   186452 |    11347     37 |      518 |      473
269.95/270.09	c  269s |      16 |   846835 |   188352 |    11347     37 |      518 |      473
272.14/272.20	c  272s |      16 |   856137 |   190452 |    11347     38 |      518 |      473
274.14/274.25	c  274s |      16 |   863051 |   192452 |    11347     38 |      518 |      473
276.24/276.38	c  276s |      16 |   869230 |   194052 |    11347     39 |      518 |      473
278.35/278.45	c  278s |      16 |   875013 |   195752 |    11347     40 |      518 |      473
279.74/279.87	c  279s |      17 |   884573 |   197432 |    12482     40 |      518 |      473
281.94/282.00	c  281s |      17 |   890470 |   199032 |    12482     40 |      518 |      473
283.94/284.05	c  283s |      17 |   897261 |   200632 |    12482     41 |      518 |      473
286.14/286.20	c  286s |      17 |   907986 |   202832 |    12482     41 |      519 |      474
288.15/288.23	c  288s |      17 |   911509 |   204132 |    12482     42 |      519 |      474
290.24/290.33	c  290s |      17 |   916375 |   205732 |    12482     42 |      519 |      474
292.34/292.42	c  292s |      17 |   922191 |   207432 |    12482     42 |      519 |      474
294.34/294.46	c  294s |      17 |   926040 |   208832 |    12482     43 |      519 |      474
296.44/296.55	c  296s |      17 |   932647 |   210532 |    12482     43 |      519 |      474
298.44/298.55	c  298s |      17 |   937510 |   211732 |    12482     43 |      519 |      474
300.54/300.62	c  300s |      17 |   945488 |   213432 |    12482     44 |      519 |      474
302.74/302.82	c  302s |      17 |   950387 |   214732 |    12482     44 |      519 |      474
304.75/304.85	c  304s |      17 |   954711 |   215932 |    12482     45 |      519 |      474
306.85/306.91	c  306s |      17 |   963007 |   217732 |    12482     45 |      519 |      474
308.94/309.00	c  308s |      17 |   966078 |   218732 |    12482     45 |      519 |      474
310.94/311.04	c  310s |      17 |   969649 |   219732 |    12482     46 |      519 |      474
313.04/313.18	c  313s |      17 |   974475 |   221332 |    12482     46 |      519 |      474
315.04/315.18	c  315s |      17 |   978191 |   222532 |    12482     46 |      519 |      474
317.04/317.19	c  317s |      17 |   983395 |   224032 |    12482     47 |      519 |      474
319.24/319.32	c  319s |      17 |   985566 |   224832 |    12482     47 |      519 |      474
321.34/321.48	c  321s |      17 |   990736 |   226232 |    12482     48 |      519 |      474
323.64/323.70	c  323s |      17 |   993979 |   227532 |    12482     48 |      519 |      474
325.84/325.93	c  325s |      17 |   996873 |   228432 |    12482     48 |      519 |      474
327.84/327.97	c  327s |      17 |  1011706 |   230532 |    12482     49 |      520 |      475
329.84/330.00	c  329s |      17 |  1025979 |   232832 |    12482     50 |      521 |      476
331.94/332.04	c  331s |      17 |  1033115 |   234632 |    12482     50 |      521 |      476
333.94/334.09	c  333s |      17 |  1044265 |   236932 |    12482     51 |      521 |      476
336.03/336.19	c  336s |      17 |  1052009 |   238932 |    12482     52 |      521 |      476
338.13/338.21	c  338s |      17 |  1058101 |   240832 |    12482     53 |      521 |      476
340.13/340.21	c  340s |      17 |  1068734 |   242932 |    12482     54 |      521 |      476
342.14/342.26	c  342s |      17 |  1080131 |   244832 |    12482     55 |      521 |      476
344.13/344.26	c  344s |      17 |  1086355 |   246632 |    12482     55 |      521 |      476
346.13/346.28	c  346s |      17 |  1092302 |   247932 |    12482     56 |      521 |      476
348.23/348.32	c  348s |      17 |  1097558 |   249332 |    12482     57 |      521 |      476
350.23/350.32	c  350s |      17 |  1102717 |   250832 |    12482     58 |      521 |      476
352.23/352.39	c  352s |      17 |  1109318 |   252532 |    12482     59 |      521 |      476
354.33/354.44	c  354s |      17 |  1116634 |   254332 |    12482     59 |      521 |      476
356.44/356.56	c  356s |      17 |  1125401 |   256432 |    12482     60 |      521 |      476
358.54/358.63	c  358s |      17 |  1131241 |   258132 |    12482     61 |      521 |      476
360.63/360.71	c  360s |      17 |  1135154 |   259232 |    12482     62 |      521 |      476
362.63/362.77	c  362s |      17 |  1143357 |   261232 |    12482     63 |      521 |      476
364.63/364.78	c  364s |      17 |  1152574 |   263132 |    12482     64 |      521 |      476
366.73/366.83	c  366s |      17 |  1159499 |   265132 |    12482     66 |      521 |      476
368.83/368.91	c  368s |      17 |  1165272 |   266632 |    12482     67 |      521 |      476
370.83/370.94	c  370s |      17 |  1174514 |   268832 |    12482     69 |      521 |      476
372.94/373.02	c  372s |      17 |  1183983 |   271032 |    12482     70 |      521 |      476
374.93/375.07	c  374s |      17 |  1190312 |   272932 |    12482     72 |      521 |      476
376.93/377.08	c  376s |      17 |  1196841 |   274632 |    12482     74 |      521 |      476
379.03/379.16	c  379s |      17 |  1201361 |   275932 |    12482     75 |      521 |      476
381.13/381.22	c  381s |      17 |  1207273 |   277432 |    12482     76 |      521 |      476
383.13/383.27	c  383s |      17 |  1215346 |   279332 |    12482     79 |      521 |      476
385.13/385.27	c  385s |      17 |  1223460 |   281332 |    12482     81 |      521 |      476
387.33/387.40	c  387s |      17 |  1227570 |   282732 |    12482     83 |      521 |      476
389.23/389.40	c  389s |      17 |  1234390 |   284632 |    12482     85 |      521 |      476
391.33/391.49	c  391s |      17 |  1240355 |   286632 |    12482     88 |      521 |      476
393.43/393.52	c  393s |      17 |  1245237 |   288532 |    12482     91 |      521 |      476
395.52/395.65	c  395s |      17 |  1253396 |   290632 |    12482    114 |      521 |      476
398.73/398.87	c  398s |      17 |  1259640 |   291932 |    12482    454 |      522 |      477
401.44/401.52	c  401s |      17 |  1261950 |   292232 |    12482    930 |      522 |      477
403.53/403.68	c  403s |      17 |  1268897 |   293632 |    12482   1045 |      522 |      477
405.63/405.74	c  405s |      17 |  1275415 |   295432 |    13731   1065 |      522 |      477
406.63/406.71	c  406s |      18 |  1279350 |   296252 |    13731   1065 |      522 |      477
408.63/408.71	c  408s |      18 |  1292509 |   298352 |    13731   1067 |      522 |      477
410.73/410.83	c  410s |      18 |  1297201 |   299852 |    13731   1068 |      522 |      477
412.73/412.89	c  412s |      18 |  1302875 |   301452 |    13731   1069 |      522 |      477
414.83/414.94	c  414s |      18 |  1313561 |   303552 |    13731   1070 |      522 |      477
416.84/416.98	c  416s |      18 |  1320430 |   305652 |    13731   1072 |      522 |      477
418.93/419.04	c  418s |      18 |  1328637 |   307352 |    13731   1074 |      522 |      477
421.13/421.20	c  421s |      18 |  1335865 |   309052 |    13731   1076 |      522 |      477
423.63/423.79	c  423s |      18 |  1340051 |   310052 |    13731   1076 |      522 |      477
425.73/425.83	c  425s |      18 |  1346309 |   312152 |    13731   1078 |      522 |      477
427.93/428.03	c  427s |      18 |  1352563 |   314152 |    13731   1079 |      522 |      477
429.93/430.03	c  429s |      18 |  1356029 |   315452 |    13731   1080 |      522 |      477
431.93/432.06	c  431s |      18 |  1362617 |   317252 |    13731   1082 |      522 |      477
434.03/434.13	c  433s |      18 |  1370659 |   319352 |    13731   1084 |      522 |      477
436.03/436.14	c  436s |      18 |  1375847 |   320652 |    13731   1086 |      522 |      477
438.13/438.25	c  438s |      18 |  1383636 |   322752 |    13731   1088 |      522 |      477
440.23/440.31	c  440s |      18 |  1387563 |   323652 |    13731   1302 |      524 |      479
442.23/442.38	c  442s |      18 |  1397311 |   325852 |    13731   1305 |      524 |      479
444.33/444.42	c  444s |      18 |  1405518 |   327952 |    13731   1308 |      524 |      479
446.32/446.43	c  446s |      18 |  1409854 |   329452 |    13731   1310 |      524 |      479
448.32/448.47	c  448s |      18 |  1415456 |   330752 |    13731   1312 |      524 |      479
450.32/450.49	c  450s |      18 |  1421200 |   332352 |    13731   1315 |      524 |      479
452.52/452.63	c  452s |      18 |  1425560 |   333652 |    13731   1317 |      524 |      479
454.52/454.66	c  454s |      18 |  1432655 |   335452 |    13731   1320 |      524 |      479
456.53/456.69	c  456s |      18 |  1439783 |   337252 |    13731   1324 |      524 |      479
458.52/458.69	c  458s |      18 |  1445413 |   338752 |    13731   1326 |      524 |      479
460.62/460.75	c  460s |      18 |  1450854 |   340352 |    13731   1331 |      524 |      479
462.62/462.78	c  462s |      18 |  1458342 |   342252 |    13731   1336 |      524 |      479
464.72/464.82	c  464s |      18 |  1463033 |   343752 |    13731   1341 |      524 |      479
466.72/466.86	c  466s |      18 |  1467636 |   345252 |    13731   1345 |      524 |      479
468.82/468.97	c  468s |      18 |  1473248 |   346952 |    13731   1351 |      524 |      479
470.92/471.02	c  470s |      18 |  1479824 |   348752 |    13731   1359 |      524 |      479
473.03/473.12	c  472s |      18 |  1485342 |   350452 |    13731   1370 |      524 |      479
475.02/475.19	c  475s |      18 |  1491627 |   352152 |    13731   1381 |      524 |      479
477.12/477.22	c  477s |      18 |  1496693 |   353552 |    13731   1389 |      524 |      479
479.22/479.33	c  479s |      18 |  1502024 |   355052 |    13731   1402 |      524 |      479
481.52/481.65	c  481s |      18 |  1506304 |   356352 |    13731   1497 |      524 |      479
483.62/483.73	c  483s |      18 |  1510363 |   357652 |    13731   1572 |      524 |      479
485.71/485.83	c  485s |      18 |  1514901 |   358952 |    13731   1652 |      524 |      479
487.71/487.90	c  487s |      18 |  1519561 |   360452 |    13731   1691 |      524 |      479
489.81/489.90	c  489s |      18 |  1524671 |   361752 |    13731   1789 |      524 |      479
491.81/491.92	c  491s |      18 |  1530095 |   363052 |    13731   1903 |      524 |      479
494.41/494.56	c  494s |      18 |  1535111 |   364552 |    13731   2060 |      524 |      479
496.71/496.81	c  496s |      18 |  1537173 |   365252 |    13731   2323 |      524 |      479
499.62/499.79	c  499s |      18 |  1538730 |   365852 |    13731   2773 |      524 |      479
501.82/501.90	c  501s |      18 |  1541377 |   366652 |    13731   2996 |      524 |      479
505.11/505.20	c  505s |      18 |  1543803 |   367052 |    13731   3551 |      524 |      479
508.12/508.27	c  508s |      18 |  1545153 |   367252 |    13731   4096 |      524 |      479
510.51/510.65	c  510s |      18 |  1546098 |   367352 |    13731   4529 |      524 |      479
513.51/513.62	c  513s |      18 |  1547437 |   367552 |    13731   5017 |      524 |      479
516.21/516.37	c  516s |      18 |  1550742 |   368252 |    13731   5393 |      524 |      479
518.31/518.48	c  518s |      18 |  1557232 |   369752 |    13731   5487 |      524 |      479
520.41/520.52	c  520s |      18 |  1560426 |   370452 |    13731   5731 |      524 |      479
523.01/523.11	c  522s |      18 |  1566063 |   372152 |    13731   5853 |      524 |      479
525.31/525.49	c  525s |      18 |  1570638 |   373652 |    13731   6033 |      524 |      479
527.61/527.73	c  527s |      18 |  1571943 |   373752 |    13731   6391 |      524 |      479
529.71/529.81	c  529s |      18 |  1572602 |   373952 |    13731   6694 |      524 |      479
532.42/532.53	c  532s |      18 |  1573436 |   374152 |    13731   7094 |      524 |      479
534.62/534.74	c  534s |      18 |  1574195 |   374352 |    13731   7416 |      524 |      479
538.81/538.92	c  538s |      18 |  1575547 |   374652 |    13731   8036 |      524 |      479
542.00/542.18	c  542s |      18 |  1576437 |   374852 |    13731   8530 |      524 |      479
544.70/544.88	c  544s |      18 |  1577418 |   375052 |    13731   8933 |      524 |      479
546.91/547.01	c  546s |      18 |  1578011 |   375252 |    13731   9232 |      524 |      479
550.01/550.16	c  550s |      18 |  1578677 |   375352 |    13731   9729 |      524 |      479
552.11/552.21	c  552s |      18 |  1579494 |   375452 |    13731  10049 |      524 |      479
554.10/554.26	c  554s |      18 |  1581296 |   375752 |    13731  10338 |      524 |      479
557.61/557.73	c  557s |      18 |  1582893 |   376152 |    13731  10841 |      524 |      479
561.50/561.63	c  561s |      18 |  1584803 |   376552 |    13731  11417 |      524 |      479
565.21/565.35	c  565s |      18 |  1586144 |   376952 |    13731  11966 |      524 |      479
567.51/567.62	c  567s |      18 |  1587305 |   377252 |    13731  12282 |      524 |      479
570.60/570.78	c  570s |      18 |  1588119 |   377352 |    13731  12774 |      524 |      479
573.60/573.72	c  573s |      18 |  1588617 |   377452 |    13731  13232 |      524 |      479
576.10/576.21	c  576s |      18 |  1590055 |   377752 |    13731  13583 |      524 |      479
581.10/581.27	c  581s |      18 |  1591784 |   377852 |    13731  14385 |      524 |      479
585.21/585.30	c  585s |      18 |  1594044 |   378352 |    13731  14991 |      524 |      479
587.20/587.38	c  587s |      18 |  1594843 |   378552 |    13731  15322 |      524 |      479
591.20/591.37	c  591s |      18 |  1596583 |   378952 |    13731  15897 |      524 |      479
594.40/594.52	c  594s |      18 |  1597945 |   379152 |    13731  16407 |      524 |      479
596.80/596.98	c  596s |      18 |  1598634 |   379252 |    13731  16814 |      524 |      479
599.30/599.47	c  599s |      18 |  1599521 |   379452 |    13731  17215 |      524 |      479
602.71/602.81	c  602s |      18 |  1600417 |   379652 |    13731  17853 |      524 |      479
605.20/605.31	c  605s |      18 |  1601404 |   379852 |    13731  18320 |      524 |      479
607.30/607.46	c  607s |      18 |  1602256 |   380152 |    13731  18681 |      524 |      479
610.19/610.34	c  610s |      18 |  1603293 |   380452 |    13731  19188 |      524 |      479
612.60/612.74	c  612s |      18 |  1604010 |   380552 |    13731  19646 |      524 |      479
614.90/615.06	c  614s |      18 |  1604862 |   380752 |    13731  20056 |      524 |      479
617.49/617.65	c  617s |      18 |  1606967 |   381352 |    13731  20410 |      524 |      479
620.19/620.38	c  620s |      18 |  1607972 |   381652 |    13731  20830 |      524 |      479
625.49/625.63	c  625s |      18 |  1609663 |   381852 |    13731  21838 |      524 |      479
628.00/628.13	c  627s |      18 |  1611117 |   382152 |    13731  22268 |      524 |      479
631.10/631.23	c  631s |      18 |  1612695 |   382652 |    13731  22778 |      524 |      479
633.40/633.52	c  633s |      18 |  1613694 |   383052 |    13731  23144 |      524 |      479
635.80/635.93	c  635s |      18 |  1614993 |   383652 |    13731  23482 |      524 |      479
638.00/638.12	c  637s |      18 |  1616029 |   384052 |    13731  23827 |      524 |      479
640.10/640.22	c  640s |      18 |  1616511 |   384252 |    13731  24181 |      524 |      479
642.49/642.62	c  642s |      18 |  1617495 |   384652 |    13731  24550 |      524 |      479
644.89/645.02	c  644s |      18 |  1618355 |   385052 |    13731  24922 |      524 |      479
646.99/647.15	c  647s |      18 |  1618967 |   385352 |    13731  25257 |      524 |      479
649.89/650.01	c  649s |      18 |  1619598 |   385652 |    13731  25721 |      524 |      479
651.89/652.04	c  651s |      18 |  1620150 |   385852 |    13731  26061 |      524 |      479
653.99/654.18	c  654s |      18 |  1620736 |   386152 |    13731  26395 |      524 |      479
657.09/657.22	c  657s |      18 |  1621518 |   386352 |    13731  26919 |      524 |      479
659.19/659.38	c  659s |      18 |  1622046 |   386552 |    13731  27279 |      524 |      479
662.89/663.07	c  662s |      18 |  1622784 |   386852 |    13731  27897 |      524 |      479
669.19/669.30	c  669s |      18 |  1624296 |   387152 |    13731  29011 |      524 |      479
671.68/671.89	c  671s |      18 |  1625171 |   387352 |    13731  29467 |      524 |      479
674.38/674.58	c  674s |      18 |  1625815 |   387552 |    13731  29945 |      524 |      479
677.09/677.28	c  677s |      18 |  1626470 |   387852 |    13731  30383 |      524 |      479
679.59/679.74	c  679s |      18 |  1626933 |   388052 |    13731  30788 |      524 |      479
682.18/682.35	c  682s |      18 |  1627411 |   388252 |    13731  31219 |      524 |      479
685.78/685.98	c  685s |      18 |  1628962 |   388652 |    13731  31811 |      524 |      479
688.39/688.53	c  688s |      18 |  1629836 |   388852 |    13731  32257 |      524 |      479
691.59/691.73	c  691s |      18 |  1630626 |   389052 |    13731  32815 |      524 |      479
693.99/694.15	c  694s |      18 |  1631112 |   389252 |    13731  33217 |      524 |      479
696.58/696.78	c  696s |      18 |  1631594 |   389452 |    13731  33660 |      524 |      479
699.28/699.40	c  699s |      18 |  1632113 |   389652 |    13731  34096 |      524 |      479
702.08/702.28	c  702s |      18 |  1632775 |   389952 |    13731  34557 |      524 |      479
704.38/704.56	c  704s |      18 |  1633266 |   390152 |    13731  34941 |      524 |      479
707.19/707.33	c  707s |      18 |  1633901 |   390352 |    13731  35419 |      524 |      479
711.18/711.38	c  711s |      18 |  1634725 |   390552 |    13731  36124 |      524 |      479
713.28/713.41	c  713s |      18 |  1635433 |   390752 |    13731  36464 |      524 |      479
716.28/716.46	c  716s |      18 |  1636167 |   390952 |    13731  36999 |      524 |      479
719.58/719.70	c  719s |      18 |  1636849 |   391152 |    13731  37563 |      524 |      479
722.48/722.70	c  722s |      18 |  1637540 |   391252 |    13731  38110 |      524 |      479
725.18/725.36	c  725s |      18 |  1638137 |   391452 |    13731  38564 |      524 |      479
728.38/728.53	c  728s |      18 |  1638756 |   391652 |    13731  39113 |      524 |      479
731.28/731.41	c  731s |      18 |  1639328 |   391852 |    13731  39597 |      524 |      479
733.28/733.41	c  733s |      18 |  1639744 |   392052 |    13731  39913 |      524 |      479
735.68/735.88	c  735s |      18 |  1640284 |   392252 |    13731  40323 |      524 |      479
738.18/738.31	c  738s |      18 |  1640711 |   392452 |    13731  40737 |      524 |      479
741.97/742.17	c  742s |      18 |  1641666 |   392652 |    13731  41423 |      524 |      479
745.08/745.26	c  745s |      18 |  1642268 |   392852 |    13731  41946 |      524 |      479
747.89/748.07	c  747s |      18 |  1642802 |   393052 |    13731  42417 |      524 |      479
750.88/751.10	c  750s |      18 |  1643346 |   393252 |    13731  42921 |      524 |      479
753.87/754.03	c  753s |      18 |  1643909 |   393452 |    13731  43410 |      524 |      479
756.79/756.97	c  756s |      18 |  1644567 |   393652 |    13731  43916 |      524 |      479
758.98/759.11	c  758s |      18 |  1644967 |   393852 |    13731  44259 |      524 |      479
761.87/762.00	c  761s |      18 |  1645644 |   393952 |    13731  44777 |      524 |      479
765.07/765.20	c  765s |      18 |  1646230 |   394152 |    13731  45324 |      524 |      479
767.97/768.14	c  768s |      18 |  1646753 |   394352 |    13731  45828 |      524 |      479
770.78/770.99	c  770s |      18 |  1647225 |   394552 |    13731  46300 |      524 |      479
773.48/773.67	c  773s |      18 |  1647699 |   394752 |    13731  46752 |      524 |      479
775.87/776.00	c  775s |      18 |  1648231 |   394852 |    13731  47162 |      524 |      479
778.37/778.58	c  778s |      18 |  1648668 |   395052 |    13731  47580 |      524 |      479
780.98/781.14	c  781s |      18 |  1649122 |   395252 |    13731  47999 |      524 |      479
784.17/784.35	c  784s |      18 |  1649924 |   395452 |    13731  48547 |      524 |      479
786.67/786.88	c  786s |      18 |  1650458 |   395652 |    13731  48965 |      524 |      479
790.17/790.31	c  790s |      18 |  1651146 |   395852 |    13731  49551 |      524 |      479
792.57/792.79	c  792s |      18 |  1651555 |   396052 |    13731  49960 |      524 |      479
795.97/796.11	c  795s |      18 |  1652110 |   396252 |    13731  50511 |      524 |      479
798.57/798.72	c  798s |      18 |  1652991 |   396452 |    13731  50955 |      524 |      479
801.17/801.38	c  801s |      18 |  1653745 |   396552 |    13731  51425 |      524 |      479
803.67/803.80	c  803s |      18 |  1654212 |   396652 |    13731  51856 |      524 |      479
806.47/806.61	c  806s |      18 |  1654701 |   396852 |    13731  52324 |      524 |      479
809.06/809.27	c  809s |      18 |  1655192 |   397052 |    13731  52773 |      524 |      479
811.36/811.53	c  811s |      18 |  1655590 |   397252 |    13731  53143 |      524 |      479
815.57/815.71	c  815s |      18 |  1656517 |   397452 |    13731  53889 |      524 |      479
817.57/817.79	c  817s |      18 |  1656897 |   397652 |    13731  54226 |      524 |      479
820.16/820.33	c  820s |      18 |  1657408 |   397852 |    13731  54652 |      524 |      479
822.67/822.87	c  822s |      18 |  1657931 |   398052 |    13731  55085 |      524 |      479
825.97/826.12	c  825s |      18 |  1658597 |   398352 |    13731  55622 |      524 |      479
828.27/828.45	c  828s |      18 |  1659016 |   398552 |    13731  56015 |      524 |      479
830.47/830.67	c  830s |      18 |  1659505 |   398752 |    13731  56384 |      524 |      479
833.16/833.32	c  833s |      18 |  1659972 |   398952 |    13731  56841 |      524 |      479
835.37/835.57	c  835s |      18 |  1660352 |   399152 |    13731  57209 |      524 |      479
837.97/838.13	c  837s |      18 |  1660799 |   399352 |    13731  57637 |      524 |      479
840.76/840.97	c  840s |      18 |  1661278 |   399552 |    13731  58111 |      524 |      479
843.26/843.44	c  843s |      18 |  1661694 |   399752 |    13731  58516 |      524 |      479
845.66/845.82	c  845s |      18 |  1662240 |   399852 |    13731  58938 |      524 |      479
847.86/848.00	c  847s |      18 |  1662893 |   399952 |    13731  59328 |      524 |      479
850.16/850.36	c  850s |      18 |  1663347 |   400052 |    13731  59745 |      524 |      479
852.26/852.45	c  852s |      18 |  1663934 |   400152 |    13731  60115 |      524 |      479
854.86/855.05	c  854s |      18 |  1664436 |   400352 |    13731  60541 |      524 |      479
857.76/857.91	c  857s |      18 |  1665223 |   400552 |    13731  61025 |      524 |      479
860.35/860.57	c  860s |      18 |  1665861 |   400652 |    13731  61492 |      524 |      479
864.16/864.39	c  864s |      18 |  1666616 |   400852 |    13731  62147 |      524 |      479
866.96/867.15	c  867s |      18 |  1667196 |   401052 |    13731  62620 |      524 |      479
869.45/869.64	c  869s |      18 |  1667663 |   401252 |    13731  63032 |      524 |      479
872.05/872.30	c  872s |      18 |  1668129 |   401452 |    13731  63471 |      524 |      479
874.85/875.03	c  874s |      18 |  1668690 |   401752 |    13731  63895 |      524 |      479
877.45/877.67	c  877s |      18 |  1669236 |   401952 |    13731  64334 |      524 |      479
880.05/880.20	c  880s |      18 |  1669704 |   402152 |    13731  64733 |      524 |      479
882.84/883.08	c  882s |      18 |  1670320 |   402452 |    13731  65193 |      524 |      479
885.24/885.50	c  885s |      18 |  1670737 |   402652 |    13731  65580 |      524 |      479
887.35/887.51	c  887s |      18 |  1671171 |   402852 |    13731  65899 |      524 |      479
889.85/890.05	c  889s |      18 |  1671595 |   403052 |    13731  66309 |      524 |      479
892.54/892.79	c  892s |      18 |  1672060 |   403252 |    13731  66745 |      524 |      479
895.25/895.47	c  895s |      18 |  1672902 |   403552 |    13731  67164 |      524 |      479
897.95/898.14	c  898s |      18 |  1673785 |   403752 |    13731  67620 |      524 |      479
900.04/900.23	c  900s |      18 |  1674551 |   403952 |    13731  67975 |      524 |      479
902.84/903.02	c  902s |      18 |  1675239 |   404152 |    13731  68445 |      524 |      479
905.15/905.33	c  905s |      18 |  1675670 |   404252 |    13731  68847 |      524 |      479
908.34/908.52	c  908s |      18 |  1676479 |   404352 |    13731  69414 |      524 |      479
910.93/911.11	c  910s |      18 |  1676918 |   404552 |    13731  69826 |      524 |      479
913.04/913.28	c  913s |      18 |  1677407 |   404752 |    13731  70165 |      524 |      479
916.24/916.41	c  916s |      18 |  1678102 |   404852 |    13731  70731 |      524 |      479
918.53/918.70	c  918s |      18 |  1678530 |   405052 |    13731  71110 |      524 |      479
921.44/921.65	c  921s |      18 |  1679223 |   405252 |    13731  71600 |      524 |      479
924.34/924.57	c  924s |      18 |  1679725 |   405452 |    13731  72083 |      524 |      479
929.73/929.98	c  929s |      18 |  1680667 |   405652 |    13731  72999 |      524 |      479
932.53/932.71	c  932s |      18 |  1681187 |   405852 |    13731  73424 |      524 |      479
934.53/934.77	c  934s |      18 |  1681552 |   406052 |    13731  73736 |      524 |      479
937.23/937.40	c  937s |      18 |  1682012 |   406252 |    13731  74124 |      524 |      479
940.34/940.56	c  940s |      18 |  1682543 |   406452 |    13731  74560 |      524 |      479
942.64/942.87	c  942s |      18 |  1683028 |   406652 |    13731  74903 |      524 |      479
945.33/945.56	c  945s |      18 |  1683634 |   406852 |    13731  75283 |      524 |      479
949.23/949.45	c  949s |      18 |  1684783 |   407052 |    13731  75948 |      524 |      479
952.82/953.02	c  952s |      18 |  1685509 |   407152 |    13731  76562 |      524 |      479
955.12/955.39	c  955s |      18 |  1685921 |   407252 |    13731  76966 |      524 |      479
958.42/958.60	c  958s |      18 |  1686453 |   407452 |    13731  77498 |      524 |      479
960.72/960.93	c  960s |      18 |  1686846 |   407552 |    13731  77890 |      524 |      479
964.02/964.20	c  964s |      18 |  1687372 |   407752 |    13731  78416 |      524 |      479
967.42/967.61	c  967s |      18 |  1687952 |   407952 |    13731  78942 |      524 |      479
970.52/970.70	c  970s |      18 |  1688448 |   408152 |    13731  79409 |      524 |      479
973.91/974.18	c  974s |      18 |  1689054 |   408352 |    13731  79962 |      524 |      479
977.12/977.39	c  977s |      18 |  1689700 |   408552 |    13731  80464 |      524 |      479
980.22/980.44	c  980s |      18 |  1690326 |   408752 |    13731  80954 |      524 |      479
982.51/982.70	c  982s |      18 |  1690760 |   408952 |    13731  81312 |      524 |      479
984.51/984.74	c  984s |      18 |  1691166 |   409152 |    13731  81621 |      524 |      479
986.91/987.11	c  986s |      18 |  1691675 |   409352 |    13731  81985 |      524 |      479
989.52/989.75	c  989s |      18 |  1692198 |   409552 |    13731  82376 |      524 |      479
991.82/992.07	c  991s |      18 |  1692658 |   409752 |    13731  82724 |      524 |      479
994.61/994.85	c  994s |      18 |  1693275 |   409952 |    13731  83177 |      524 |      479
997.52/997.73	c  997s |      18 |  1693816 |   410152 |    13731  83639 |      524 |      479
1001.71/1001.91	c 1001s |      18 |  1694557 |   410352 |    13731  84320 |      524 |      479
1005.00/1005.20	c 1005s |      18 |  1695073 |   410552 |    13731  84828 |      524 |      479
1008.01/1008.23	c 1008s |      18 |  1695564 |   410752 |    13731  85292 |      524 |      479
1010.50/1010.75	c 1010s |      18 |  1696036 |   410952 |    13731  85687 |      524 |      479
1013.50/1013.74	c 1013s |      18 |  1696523 |   411152 |    13731  86163 |      524 |      479
1015.60/1015.82	c 1015s |      18 |  1696880 |   411252 |    13731  86506 |      524 |      479
1018.60/1018.84	c 1018s |      18 |  1697410 |   411552 |    13731  86967 |      524 |      479
1021.20/1021.46	c 1021s |      18 |  1697868 |   411752 |    13731  87379 |      524 |      479
1024.39/1024.62	c 1024s |      18 |  1698457 |   411952 |    13731  87882 |      524 |      479
1026.89/1027.14	c 1027s |      18 |  1698856 |   412152 |    13731  88271 |      524 |      479
1028.99/1029.26	c 1029s |      18 |  1699255 |   412352 |    13731  88577 |      524 |      479
1031.80/1032.00	c 1031s |      18 |  1699884 |   412552 |    13731  89008 |      524 |      479
1034.69/1034.97	c 1034s |      18 |  1700453 |   412652 |    13731  89508 |      524 |      479
1037.40/1037.62	c 1037s |      18 |  1700916 |   412752 |    13731  89952 |      524 |      479
1039.69/1039.94	c 1039s |      18 |  1701319 |   412852 |    13731  90335 |      524 |      479
1041.68/1041.95	c 1041s |      18 |  1701647 |   412952 |    13731  90663 |      524 |      479
1047.68/1047.96	c 1047s |      18 |  1702756 |   413152 |    13731  91681 |      524 |      479
1052.28/1052.52	c 1052s |      18 |  1703534 |   413252 |    13731  92459 |      524 |      479
1056.69/1056.93	c 1056s |      18 |  1704450 |   413352 |    13731  93209 |      524 |      479
1059.58/1059.84	c 1059s |      18 |  1705051 |   413452 |    13731  93697 |      524 |      479
1061.78/1062.07	c 1061s |      18 |  1705592 |   413552 |    13731  94058 |      524 |      479
1065.38/1065.61	c 1065s |      18 |  1706273 |   413652 |    13731  94632 |      524 |      479
1069.09/1069.39	c 1069s |      18 |  1706934 |   413752 |    13731  95263 |      524 |      479
1073.28/1073.59	c 1073s |      18 |  1707823 |   413952 |    13731  95945 |      524 |      479
1075.47/1075.78	c 1075s |      18 |  1708176 |   414052 |    13731  96295 |      524 |      479
1078.58/1078.89	c 1078s |      18 |  1708654 |   414252 |    13731  96773 |      524 |      479
1080.98/1081.25	c 1081s |      18 |  1709033 |   414352 |    13731  97152 |      524 |      479
1083.08/1083.32	c 1083s |      18 |  1709363 |   414452 |    13731  97482 |      524 |      479
1088.27/1088.50	c 1088s |      18 |  1710280 |   414652 |    13731  98316 |      524 |      479
1091.07/1091.34	c 1091s |      18 |  1710904 |   414852 |    13731  98723 |      524 |      479
1094.77/1095.00	c 1094s |      18 |  1711604 |   414952 |    13731  99315 |      524 |      479
1098.07/1098.37	c 1098s |      18 |  1712166 |   415052 |    13731  99849 |      524 |      479
1101.46/1101.79	c 1101s |      18 |  1712789 |   415152 |    13731 100416 |      524 |      479
1104.97/1105.23	c 1105s |      18 |  1713402 |   415252 |    13731 100982 |      524 |      479
1108.07/1108.31	c 1108s |      18 |  1713972 |   415452 |    13731 101458 |      524 |      479
1111.46/1111.75	c 1111s |      18 |  1714554 |   415552 |    13731 102036 |      524 |      479
1117.47/1117.72	c 1117s |      18 |  1715580 |   415752 |    13731 103013 |      524 |      479
1122.46/1122.79	c 1122s |      18 |  1716412 |   415852 |    13731 103845 |      524 |      479
1125.26/1125.56	c 1125s |      18 |  1716828 |   415952 |    13731 104261 |      524 |      479
1131.76/1132.08	c 1131s |      18 |  1717833 |   416052 |    13731 105266 |      524 |      479
1136.36/1136.70	c 1136s |      18 |  1718652 |   416152 |    13731 106034 |      524 |      479
1139.55/1139.89	c 1139s |      18 |  1719217 |   416252 |    13731 106555 |      524 |      479
1143.75/1144.07	c 1143s |      18 |  1719927 |   416352 |    13731 107251 |      524 |      479
1147.16/1147.48	c 1147s |      18 |  1720543 |   416452 |    13731 107810 |      524 |      479
1149.85/1150.20	c 1150s |      18 |  1721119 |   416552 |    13731 108247 |      524 |      479
1153.34/1153.62	c 1153s |      18 |  1721706 |   416652 |    13731 108817 |      524 |      479
1155.84/1156.19	c 1156s |      18 |  1722127 |   416852 |    13731 109190 |      524 |      479
1159.54/1159.88	c 1159s |      18 |  1722734 |   417052 |    13731 109733 |      524 |      479
1162.74/1163.02	c 1162s |      18 |  1723269 |   417252 |    13731 110217 |      524 |      479
1166.94/1167.26	c 1167s |      18 |  1723956 |   417452 |    13731 110893 |      524 |      479
1171.13/1171.49	c 1171s |      18 |  1724625 |   417652 |    13731 111561 |      524 |      479
1177.23/1177.50	c 1177s |      18 |  1725641 |   417852 |    13731 112562 |      524 |      479
1181.03/1181.39	c 1181s |      18 |  1726301 |   417952 |    13731 113205 |      524 |      479
1184.12/1184.41	c 1184s |      18 |  1726783 |   418152 |    13731 113671 |      524 |      479
1187.32/1187.64	c 1187s |      18 |  1727291 |   418352 |    13731 114174 |      524 |      479
1190.43/1190.73	c 1190s |      18 |  1727770 |   418552 |    13731 114653 |      524 |      479
1192.82/1193.16	c 1193s |      18 |  1728175 |   418652 |    13731 115006 |      524 |      479
1197.02/1197.38	c 1197s |      18 |  1728848 |   418752 |    13731 115674 |      524 |      479
1199.92/1200.26	c 1200s |      18 |  1729350 |   418852 |    13731 116131 |      524 |      479
1204.62/1204.91	c 1204s |      18 |  1730125 |   418952 |    13731 116899 |      524 |      479
1206.62/1206.94	c 1206s |      18 |  1730440 |   419052 |    13731 117214 |      524 |      479
1209.91/1210.29	c 1210s |      18 |  1730954 |   419152 |    13731 117728 |      524 |      479
1212.41/1212.73	c 1212s |      18 |  1731313 |   419252 |    13731 118087 |      524 |      479
1215.11/1215.48	c 1215s |      18 |  1731716 |   419452 |    13731 118490 |      524 |      479
1218.21/1218.52	c 1218s |      18 |  1732200 |   419652 |    13731 118942 |      524 |      479
1221.71/1222.07	c 1221s |      18 |  1732750 |   419852 |    13731 119487 |      524 |      479
1224.41/1224.75	c 1224s |      18 |  1733174 |   419952 |    13731 119911 |      524 |      479
1227.61/1227.97	c 1227s |      18 |  1733684 |   420152 |    13731 120394 |      524 |      479
1229.80/1230.13	c 1229s |      18 |  1734021 |   420252 |    13731 120724 |      524 |      479
1232.60/1232.95	c 1232s |      18 |  1734528 |   420352 |    13731 121170 |      524 |      479
1235.91/1236.28	c 1236s |      18 |  1735020 |   420552 |    13731 121662 |      524 |      479
1240.80/1241.18	c 1241s |      18 |  1735755 |   420752 |    13731 122397 |      524 |      479
1243.81/1244.11	c 1243s |      18 |  1736210 |   420852 |    13731 122852 |      524 |      479
1245.90/1246.23	c 1246s |      18 |  1736525 |   420952 |    13731 123167 |      524 |      479
1249.90/1250.24	c 1250s |      18 |  1737139 |   421152 |    13731 123781 |      524 |      479
1252.49/1252.90	c 1252s |      18 |  1737518 |   421352 |    13731 124160 |      524 |      479
1256.40/1256.77	c 1256s |      18 |  1738069 |   421552 |    13731 124711 |      524 |      479
1259.10/1259.44	c 1259s |      18 |  1738489 |   421652 |    13731 125131 |      524 |      479
1261.19/1261.53	c 1261s |      18 |  1738812 |   421752 |    13731 125454 |      524 |      479
1266.09/1266.44	c 1266s |      18 |  1739597 |   421952 |    13731 126201 |      524 |      479
1269.59/1269.94	c 1269s |      18 |  1740204 |   422052 |    13731 126751 |      524 |      479
1272.29/1272.67	c 1272s |      18 |  1740647 |   422152 |    13731 127175 |      524 |      479
1276.29/1276.64	c 1276s |      18 |  1741277 |   422252 |    13731 127805 |      524 |      479
1278.88/1279.25	c 1279s |      18 |  1741685 |   422352 |    13731 128207 |      524 |      479
1281.18/1281.56	c 1281s |      18 |  1742027 |   422452 |    13731 128549 |      524 |      479
1284.59/1284.96	c 1284s |      18 |  1742559 |   422552 |    13731 129081 |      524 |      479
1288.38/1288.75	c 1288s |      18 |  1743086 |   422752 |    13731 129608 |      524 |      479
1292.68/1293.03	c 1292s |      18 |  1743716 |   422952 |    13731 130220 |      524 |      479
1294.67/1295.04	c 1294s |      18 |  1744010 |   423052 |    13731 130514 |      524 |      479
1296.87/1297.29	c 1297s |      18 |  1744348 |   423152 |    13731 130852 |      524 |      479
1301.98/1302.37	c 1302s |      18 |  1745107 |   423352 |    13731 131611 |      524 |      479
1304.57/1304.90	c 1304s |      18 |  1745488 |   423452 |    13731 131992 |      524 |      479
1307.37/1307.77	c 1307s |      18 |  1745933 |   423552 |    13731 132437 |      524 |      479
1310.16/1310.55	c 1310s |      18 |  1746362 |   423652 |    13731 132866 |      524 |      479
1313.36/1313.75	c 1313s |      18 |  1746836 |   423852 |    13731 133340 |      524 |      479
1316.57/1316.90	c 1316s |      18 |  1747299 |   424052 |    13731 133803 |      524 |      479
1318.76/1319.12	c 1318s |      18 |  1747626 |   424152 |    13731 134130 |      524 |      479
1323.96/1324.38	c 1324s |      18 |  1748438 |   424352 |    13731 134942 |      524 |      479
1326.16/1326.56	c 1326s |      18 |  1748766 |   424452 |    13731 135270 |      524 |      479
1328.65/1329.00	c 1328s |      18 |  1749137 |   424552 |    13731 135641 |      524 |      479
1332.05/1332.46	c 1332s |      18 |  1749636 |   424752 |    13731 136140 |      524 |      479
1336.05/1336.43	c 1336s |      18 |  1750211 |   424952 |    13731 136715 |      524 |      479
1338.15/1338.57	c 1338s |      18 |  1750534 |   425052 |    13731 137038 |      524 |      479
1340.74/1341.12	c 1340s |      18 |  1750921 |   425152 |    13731 137424 |      524 |      479
1345.35/1345.71	c 1345s |      18 |  1751634 |   425252 |    13731 138137 |      524 |      479
1349.54/1349.98	c 1349s |      18 |  1752269 |   425452 |    13731 138772 |      524 |      479
1353.44/1353.87	c 1353s |      18 |  1752830 |   425552 |    13731 139333 |      524 |      479
1356.54/1356.98	c 1356s |      18 |  1753280 |   425652 |    13731 139783 |      524 |      479
1359.24/1359.69	c 1359s |      18 |  1753688 |   425752 |    13731 140191 |      524 |      479
1361.63/1362.01	c 1361s |      18 |  1754028 |   425852 |    13731 140531 |      524 |      479
1365.43/1365.84	c 1365s |      18 |  1754588 |   426052 |    13731 141091 |      524 |      479
1369.63/1370.04	c 1369s |      18 |  1755202 |   426252 |    13731 141705 |      524 |      479
1373.23/1373.62	c 1373s |      18 |  1755740 |   426352 |    13731 142243 |      524 |      479
1380.02/1380.49	c 1380s |      18 |  1756800 |   426452 |    13731 143303 |      524 |      479
1382.22/1382.65	c 1382s |      18 |  1757119 |   426552 |    13731 143622 |      524 |      479
1384.42/1384.83	c 1384s |      18 |  1757427 |   426652 |    13731 143930 |      524 |      479
1388.72/1389.17	c 1389s |      18 |  1758096 |   426752 |    13731 144599 |      524 |      479
1392.22/1392.63	c 1392s |      18 |  1758628 |   426852 |    13731 145131 |      524 |      479
1395.42/1395.83	c 1395s |      18 |  1759111 |   426952 |    13731 145614 |      524 |      479
1399.11/1399.57	c 1399s |      18 |  1759629 |   427152 |    13731 146132 |      524 |      479
1404.32/1404.73	c 1404s |      18 |  1760394 |   427352 |    13731 146897 |      524 |      479
1407.72/1408.12	c 1407s |      18 |  1760907 |   427452 |    13731 147410 |      524 |      479
1410.80/1411.20	c 1411s |      18 |  1761365 |   427552 |    13731 147868 |      524 |      479
1413.40/1413.84	c 1413s |      18 |  1761754 |   427652 |    13731 148257 |      524 |      479
1417.61/1418.05	c 1417s |      18 |  1762364 |   427852 |    13731 148867 |      524 |      479
1420.20/1420.67	c 1420s |      18 |  1762752 |   427952 |    13731 149255 |      524 |      479
1423.50/1423.95	c 1423s |      18 |  1763248 |   428052 |    13731 149751 |      524 |      479
1427.41/1427.84	c 1427s |      18 |  1763811 |   428252 |    13731 150314 |      524 |      479
1431.39/1431.85	c 1431s |      18 |  1764317 |   428452 |    13731 150820 |      524 |      479
1434.29/1434.79	c 1434s |      18 |  1764722 |   428552 |    13731 151225 |      524 |      479
1436.89/1437.30	c 1437s |      18 |  1765094 |   428652 |    13731 151597 |      524 |      479
1441.29/1441.73	c 1441s |      18 |  1765773 |   428752 |    13731 152276 |      524 |      479
1444.19/1444.60	c 1444s |      18 |  1766187 |   428852 |    13731 152690 |      524 |      479
1446.68/1447.16	c 1447s |      18 |  1766538 |   428952 |    13731 153041 |      524 |      479
1449.07/1449.53	c 1449s |      18 |  1766882 |   429052 |    13731 153385 |      524 |      479
1451.17/1451.66	c 1451s |      18 |  1767180 |   429152 |    13731 153683 |      524 |      479
1454.17/1454.69	c 1454s |      18 |  1767634 |   429252 |    13731 154137 |      524 |      479
1456.78/1457.27	c 1457s |      18 |  1768009 |   429352 |    13731 154512 |      524 |      479
1461.67/1462.18	c 1462s |      18 |  1768717 |   429552 |    13731 155220 |      524 |      479
1464.17/1464.65	c 1464s |      18 |  1769072 |   429652 |    13731 155575 |      524 |      479
1466.37/1466.81	c 1466s |      18 |  1769383 |   429752 |    13731 155886 |      524 |      479
1468.56/1469.08	c 1468s |      18 |  1769706 |   429852 |    13731 156209 |      524 |      479
1472.26/1472.70	c 1472s |      18 |  1770201 |   430052 |    13731 156704 |      524 |      479
1475.56/1476.05	c 1475s |      18 |  1770666 |   430252 |    13731 157169 |      524 |      479
1477.66/1478.19	c 1478s |      18 |  1770971 |   430352 |    13731 157474 |      524 |      479
1482.15/1482.63	c 1482s |      18 |  1771604 |   430552 |    13731 158107 |      524 |      479
1484.46/1484.94	c 1484s |      18 |  1771927 |   430652 |    13731 158430 |      524 |      479
1488.16/1488.60	c 1488s |      18 |  1772463 |   430752 |    13731 158966 |      524 |      479
1491.65/1492.17	c 1492s |      18 |  1772918 |   430952 |    13731 159421 |      524 |      479
1495.95/1496.42	c 1496s |      18 |  1773474 |   431152 |    13731 159977 |      524 |      479
1497.95/1498.42	c 1498s |      18 |  1773740 |   431252 |    13731 160243 |      524 |      479
1501.85/1502.32	c 1502s |      18 |  1774245 |   431452 |    13731 160748 |      524 |      479
1504.65/1505.16	c 1505s |      18 |  1774624 |   431552 |    13731 161127 |      524 |      479
1506.75/1507.26	c 1507s |      18 |  1774900 |   431652 |    13731 161403 |      524 |      479
1510.25/1510.79	c 1510s |      18 |  1775340 |   431852 |    13731 161843 |      524 |      479
1512.95/1513.43	c 1513s |      18 |  1775693 |   431952 |    13731 162196 |      524 |      479
1515.75/1516.24	c 1516s |      18 |  1776069 |   432052 |    13731 162572 |      524 |      479
1519.45/1519.99	c 1519s |      18 |  1776550 |   432252 |    13731 163053 |      524 |      479
1522.35/1522.85	c 1522s |      18 |  1776936 |   432352 |    13731 163439 |      524 |      479
1524.45/1524.95	c 1524s |      18 |  1777214 |   432452 |    13731 163717 |      524 |      479
1527.84/1528.35	c 1528s |      18 |  1777683 |   432552 |    13731 164186 |      524 |      479
1531.95/1532.47	c 1532s |      18 |  1778265 |   432652 |    13731 164768 |      524 |      479
1534.15/1534.61	c 1534s |      18 |  1778550 |   432752 |    13731 165053 |      524 |      479
1537.65/1538.11	c 1537s |      18 |  1778996 |   432952 |    13731 165499 |      524 |      479
1539.94/1540.42	c 1540s |      18 |  1779300 |   433052 |    13731 165803 |      524 |      479
1542.54/1543.05	c 1542s |      18 |  1779655 |   433152 |    13731 166158 |      524 |      479
1544.84/1545.39	c 1545s |      18 |  1779963 |   433252 |    13731 166466 |      524 |      479
1548.64/1549.16	c 1549s |      18 |  1780454 |   433452 |    13731 166957 |      524 |      479
1551.44/1551.96	c 1551s |      18 |  1780815 |   433552 |    13731 167318 |      524 |      479
1554.44/1554.90	c 1554s |      18 |  1781166 |   433652 |    13731 167669 |      524 |      479
1557.44/1558.00	c 1557s |      18 |  1781582 |   433752 |    13731 168085 |      524 |      479
1562.44/1562.92	c 1562s |      18 |  1782259 |   433852 |    13731 168762 |      524 |      479
1564.64/1565.14	c 1565s |      18 |  1782562 |   433952 |    13731 169065 |      524 |      479
1567.93/1568.45	c 1568s |      18 |  1782995 |   434152 |    13731 169498 |      524 |      479
1570.14/1570.64	c 1570s |      18 |  1783280 |   434252 |    13731 169783 |      524 |      479
1572.44/1572.97	c 1572s |      18 |  1783531 |   434352 |    13731 170034 |      524 |      479
1578.84/1579.36	c 1579s |      18 |  1784246 |   434552 |    13731 170749 |      524 |      479
1581.24/1581.73	c 1581s |      18 |  1784548 |   434652 |    13731 171051 |      524 |      479
1586.85/1587.35	c 1587s |      18 |  1785302 |   434852 |    13731 171805 |      524 |      479
1590.44/1590.93	c 1590s |      18 |  1785790 |   434952 |    13731 172293 |      524 |      479
1592.84/1593.39	c 1593s |      18 |  1786119 |   435052 |    13731 172622 |      524 |      479
1596.34/1596.81	c 1596s |      18 |  1786583 |   435152 |    13731 173086 |      524 |      479
1598.54/1599.08	c 1598s |      18 |  1786877 |   435252 |    13731 173380 |      524 |      479
1603.53/1604.06	c 1603s |      18 |  1787528 |   435452 |    13731 174031 |      524 |      479
1607.13/1607.62	c 1607s |      18 |  1788017 |   435552 |    13731 174520 |      524 |      479
1610.44/1610.94	c 1610s |      18 |  1788465 |   435652 |    13731 174968 |      524 |      479
1617.33/1617.84	c 1617s |      18 |  1789412 |   435852 |    13731 175915 |      524 |      479
1621.73/1622.27	c 1622s |      18 |  1790006 |   436052 |    13731 176509 |      524 |      479
1624.13/1624.64	c 1624s |      18 |  1790321 |   436152 |    13731 176824 |      524 |      479
1626.13/1626.68	c 1626s |      18 |  1790582 |   436252 |    13731 177085 |      524 |      479
1630.53/1631.03	c 1630s |      18 |  1791157 |   436452 |    13731 177660 |      524 |      479
1633.63/1634.11	c 1633s |      18 |  1791572 |   436552 |    13731 178075 |      524 |      479
1637.13/1637.62	c 1637s |      18 |  1792005 |   436752 |    13731 178508 |      524 |      479
1640.83/1641.31	c 1641s |      18 |  1792515 |   436852 |    13731 179018 |      524 |      479
1643.33/1643.84	c 1643s |      18 |  1792847 |   436952 |    13731 179350 |      524 |      479
1646.13/1646.67	c 1646s |      18 |  1793231 |   437052 |    13731 179734 |      524 |      479
1649.13/1649.67	c 1649s |      18 |  1793642 |   437152 |    13731 180145 |      524 |      479
1654.43/1654.96	c 1654s |      18 |  1794357 |   437352 |    13731 180860 |      524 |      479
1656.83/1657.32	c 1657s |      18 |  1794675 |   437452 |    13731 181178 |      524 |      479
1659.12/1659.61	c 1659s |      18 |  1794975 |   437552 |    13731 181478 |      524 |      479
1661.73/1662.22	c 1662s |      18 |  1795326 |   437652 |    13731 181829 |      524 |      479
1664.32/1664.88	c 1664s |      18 |  1795682 |   437752 |    13731 182185 |      524 |      479
1666.83/1667.31	c 1667s |      18 |  1796003 |   437852 |    13731 182506 |      524 |      479
1669.52/1670.07	c 1669s |      18 |  1796378 |   437952 |    13731 182881 |      524 |      479
1672.42/1672.99	c 1672s |      18 |  1796773 |   438052 |    13731 183276 |      524 |      479
1676.63/1677.12	c 1676s |      18 |  1797307 |   438252 |    13731 183810 |      524 |      479
1680.12/1680.62	c 1680s |      18 |  1797744 |   438352 |    13731 184247 |      524 |      479
1683.52/1684.09	c 1683s |      18 |  1798230 |   438452 |    13731 184733 |      524 |      479
1687.82/1688.36	c 1688s |      18 |  1798798 |   438652 |    13731 185301 |      524 |      479
1690.83/1691.38	c 1691s |      18 |  1799213 |   438752 |    13731 185716 |      524 |      479
1694.92/1695.40	c 1695s |      18 |  1799737 |   438952 |    13731 186240 |      524 |      479
1698.32/1698.80	c 1698s |      18 |  1800202 |   439052 |    13731 186705 |      524 |      479
1700.52/1701.04	c 1700s |      18 |  1800482 |   439152 |    13731 186985 |      524 |      479
1704.31/1704.80	c 1704s |      18 |  1800991 |   439252 |    13731 187494 |      524 |      479
1706.73/1707.27	c 1707s |      18 |  1801318 |   439352 |    13731 187821 |      524 |      479
1711.22/1711.75	c 1711s |      18 |  1801907 |   439552 |    13731 188410 |      524 |      479
1713.71/1714.24	c 1714s |      18 |  1802238 |   439652 |    13731 188741 |      524 |      479
1716.21/1716.76	c 1716s |      18 |  1802581 |   439752 |    13731 189084 |      524 |      479
1719.82/1720.32	c 1720s |      18 |  1803033 |   439952 |    13731 189536 |      524 |      479
1722.23/1722.71	c 1722s |      18 |  1803350 |   440052 |    13731 189853 |      524 |      479
1726.02/1726.53	c 1726s |      18 |  1803846 |   440152 |    13731 190349 |      524 |      479
1729.02/1729.58	c 1729s |      18 |  1804224 |   440252 |    13731 190727 |      524 |      479
1731.81/1732.36	c 1732s |      18 |  1804599 |   440352 |    13731 191102 |      524 |      479
1733.81/1734.37	c 1734s |      18 |  1804857 |   440452 |    13731 191360 |      524 |      479
1738.02/1738.59	c 1738s |      18 |  1805454 |   440552 |    13731 191957 |      524 |      479
1740.42/1740.95	c 1740s |      18 |  1805770 |   440652 |    13731 192273 |      524 |      479
1745.41/1745.97	c 1745s |      18 |  1806341 |   440852 |    13731 192844 |      524 |      479
1750.21/1750.79	c 1750s |      18 |  1806998 |   440952 |    13731 193501 |      524 |      479
1753.02/1753.53	c 1753s |      18 |  1807363 |   441052 |    13731 193866 |      524 |      479
1755.22/1755.72	c 1755s |      18 |  1807651 |   441152 |    13731 194154 |      524 |      479
1758.01/1758.54	c 1758s |      18 |  1808042 |   441352 |    15105 194515 |      524 |      479
1760.51/1761.00	c 1760s |      18 |  1808530 |   441552 |    15105 194830 |      524 |      479
1762.61/1763.16	c 1763s |      18 |  1809792 |   441852 |    15105 195065 |      524 |      479
1765.11/1765.63	c 1765s |      18 |  1810944 |   442252 |    15105 195352 |      524 |      479
1768.61/1769.10	c 1768s |      18 |  1812444 |   442552 |    15105 195782 |      524 |      479
1770.62/1771.12	c 1770s |      18 |  1814027 |   442952 |    15105 195979 |      524 |      479
1772.72/1773.24	c 1773s |      18 |  1815170 |   443252 |    15105 196183 |      524 |      479
1777.71/1778.22	c 1778s |      18 |  1816643 |   443452 |    15105 196851 |      524 |      479
1779.81/1780.32	c 1780s |      18 |  1817422 |   443652 |    15105 197119 |      524 |      479
1782.21/1782.77	c 1782s |      18 |  1818733 |   443952 |    15105 197431 |      524 |      479
1787.41/1787.99	c 1787s |      18 |  1821549 |   444452 |    15105 198106 |      524 |      479
1789.51/1790.03	c 1789s |      19 |  1821890 |   444482 |    15105 198390 |      524 |      479
1792.71/1793.25	c 1793s |      19 |  1822852 |   444582 |    15105 198750 |      524 |      479
1794.72/1795.25	c 1795s |      19 |  1824111 |   444882 |    15105 198992 |      524 |      479
1798.41/1798.92	c 1798s |      19 |  1827094 |   445682 |    15105 199253 |      524 |      479

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.12 2.11 3/179 16644
/proc/meminfo: memFree=29504040/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 2664 0 0 0 0 0 0 0 20 0 4 0 110673299 731312128 3025 33554432000 4194304 16246674 140733571939904 140733571939328 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 179311 3033 441 2943 0 176205 0
[pid=16644/tid=16645] ppid=16641 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 750186496 3095 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 753332224 3109 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 758575104 3126 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.12 2.12 2.11 3/179 16644
/proc/meminfo: memFree=29504040/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 22578 0 0 0 6 3 0 0 20 0 4 0 110673299 1249447936 22876 33554432000 4194304 16246674 140733571939904 140733571939216 6759797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 305041 22883 832 2943 0 301935 0
[pid=16644/tid=16645] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 22889 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 22895 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 22902 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200505 s]
/proc/loadavg: 2.12 2.12 2.11 3/179 16644
/proc/meminfo: memFree=29504040/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 42830 0 0 0 13 6 0 0 20 0 4 0 110673299 1249447936 43129 33554432000 4194304 16246674 140733571939904 140733571939216 6843278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 305041 43134 875 2943 0 301935 0
[pid=16644/tid=16645] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 43137 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 43142 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 43146 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300466 s]
/proc/loadavg: 2.12 2.12 2.11 3/179 16644
/proc/meminfo: memFree=29504040/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 63080 0 0 0 20 9 0 0 20 0 4 0 110673299 1249447936 63379 33554432000 4194304 16246674 140733571939904 140733571939216 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 305041 63386 875 2943 0 301935 0
[pid=16644/tid=16645] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 63391 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 63396 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 63400 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700389 s]
/proc/loadavg: 2.12 2.12 2.11 3/179 16644
/proc/meminfo: memFree=29504040/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 148950 0 0 0 49 20 0 0 20 0 4 0 110673299 1249447936 149249 33554432000 4194304 16246674 140733571939904 140733571939216 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 305041 149256 875 2943 0 301935 0
[pid=16644/tid=16645] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 149258 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 149260 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1249447936 149262 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50039 s]
/proc/loadavg: 2.12 2.12 2.11 3/183 16648
/proc/meminfo: memFree=28558668/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 266228 0 0 0 113 36 0 0 20 0 4 0 110673299 1332285440 266526 33554432000 4194304 16246674 140733571939904 140733571939216 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 325265 266526 880 2943 0 322159 0
[pid=16644/tid=16645] ppid=16641 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1332285440 266526 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1332285440 266526 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1332285440 266526 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.12 2.12 2.11 3/183 16648
/proc/meminfo: memFree=28433172/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 267984 0 0 0 273 36 0 0 20 0 4 0 110673299 1338576896 268282 33554432000 4194304 16246674 140733571939904 140733571921792 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 326801 268282 884 2943 0 323695 0
[pid=16644/tid=16645] ppid=16641 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1338576896 268282 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1338576896 268282 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1338576896 268282 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.11 2.12 2.11 3/183 16648
/proc/meminfo: memFree=28432192/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 267984 0 0 0 593 36 0 0 20 0 4 0 110673299 1338576896 268282 33554432000 4194304 16246674 140733571939904 140733571921792 6020661 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 326801 268282 884 2943 0 323695 0
[pid=16644/tid=16645] ppid=16641 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1338576896 268282 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1338576896 268282 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1338576896 268282 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.10 2.12 2.11 3/183 16648
/proc/meminfo: memFree=28432340/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 267995 0 0 0 1233 36 0 0 20 0 4 0 110673299 1339625472 268293 33554432000 4194304 16246674 140733571939904 140733571921792 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327057 268293 885 2943 0 323951 0
[pid=16644/tid=16645] ppid=16641 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1339625472 268293 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1339625472 268293 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1339625472 268293 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.08 2.11 2.11 3/183 16648
/proc/meminfo: memFree=28431784/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268241 0 0 0 2512 36 0 0 20 0 4 0 110673299 1339625472 268539 33554432000 4194304 16246674 140733571939904 140733571921792 12875392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327057 268539 885 2943 0 323951 0
[pid=16644/tid=16645] ppid=16641 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1339625472 268539 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1339625472 268539 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1339625472 268539 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.11 2.12 2.11 3/183 16648
/proc/meminfo: memFree=28431544/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=51.09 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268305 0 0 0 5072 37 0 0 20 0 4 0 110673299 1340674048 268603 33554432000 4194304 16246674 140733571939904 140733571921792 12483376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 268603 885 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 268603 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 268603 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 268603 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.14 2.13 2.11 4/183 16650
/proc/meminfo: memFree=28429108/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268497 0 0 0 10191 37 0 0 20 0 4 0 110673299 1340674048 268795 33554432000 4194304 16246674 140733571939904 140733571921792 5589109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 268795 885 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 268795 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 268795 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 268795 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.15 2.14 2.10 3/183 16681
/proc/meminfo: memFree=28424748/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1361.93 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268734 0 0 0 136084 109 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571921792 13901575 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.09 2.13 2.10 3/184 16685
/proc/meminfo: memFree=28424424/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1421.91 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268771 0 0 0 142077 114 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571921792 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.22 2.15 2.10 3/183 16686
/proc/meminfo: memFree=28424432/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1481.85 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268814 0 0 0 148068 117 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571937728 5974204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.22 2.16 2.11 3/183 16687
/proc/meminfo: memFree=28425352/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1541.85 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268825 0 0 0 154064 121 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571939080 5822179 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.10 3/183 16689
/proc/meminfo: memFree=28425116/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1601.84 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268825 0 0 0 160059 125 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571921792 5822989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.12 2.14 2.10 3/183 16739
/proc/meminfo: memFree=28418924/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1661.82 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268825 0 0 0 166053 129 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571939000 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.16 2.15 2.10 3/183 16740
/proc/meminfo: memFree=28418316/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1721.82 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268825 0 0 0 172048 134 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571921792 5974204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.10 4/183 16741
/proc/meminfo: memFree=28418452/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1781.81 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268825 0 0 0 178044 137 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571921792 13892406 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 16741
/proc/meminfo: memFree=28418700/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1800.01 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268825 0 0 0 179863 138 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571921792 13006794 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1309252

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

[startup+1800.5 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 16741
/proc/meminfo: memFree=28418700/32872528 swapFree=12208/1156848
[pid=16644] ppid=16641 vsize=1309252 CPUtime=1800.01 cores=0,2,4,6
/proc/16644/stat : 16644 (toysat) R 16641 16644 15571 0 -1 4202496 268825 0 0 0 179863 138 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140733571921792 13006794 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 327313 269052 886 2943 0 324207 0
[pid=16644/tid=16645] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16645/stat : 16645 (toysat) S 16641 16644 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705270836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16644/tid=16646] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16646/stat : 16646 (toysat) S 16641 16644 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705260346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16644/tid=16647] ppid=16641 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16644/task/16647/stat : 16647 (toysat) S 16641 16644 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110673299 1340674048 269052 33554432000 4194304 16246674 140733571939904 140705141877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1309252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1798.64
CPU system time (s): 1.38179
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.38179
maximum resident set size= 1076208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268825
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= 343
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47532 second user time and 7.02493 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 10:16:27
IDJOB=4078876
IDBENCH=90220
IDSOLVER=2542
FILE ID=node114/4078876-1465287387
RUNJOBID= node114-1465276339-15587
PBS_JOBID= 19843307
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 03e282ee85097a100b1dfa3533d9978b
RANDOM SEED=1031883926

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.54
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.852
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:        29504676 kB
Buffers:          146632 kB
Cached:           249144 kB
SwapCached:         1696 kB
Active:          1226880 kB
Inactive:         247456 kB
Active(anon):    1079696 kB
Inactive(anon):     1252 kB
Active(file):     147184 kB
Inactive(file):   246204 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       2234580 kB
Mapped:            10620 kB
Shmem:                 0 kB
Slab:             603356 kB
SReclaimable:      46564 kB
SUnreclaim:       556792 kB
KernelStack:        1464 kB
PageTables:         8756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2377160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1150976 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 node114 at 2016-06-07 10:46:28