Trace number 4078875

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K65.opb
MD5SUMa4b90b74bc3d4958439bc17b9ac2ee03
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1039.78
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3575
Total number of constraints3707
Number of constraints which are clauses3642
Number of constraints which are cardinality constraints (but not clauses)65
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint65
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 66
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:13:43+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-4078875-1465287223.opb"]
0.00/0.01	c use --random-gen="3306576257 4076976627 1533101656 356299882 310884809 3519493109 3600568398 1661874135 4290827347 918219144 3101476005 3779908123 2272846016 3588732736 1753566265 2163057348 647886967 1188049859 202223311 3541130765 1847981627 1808801896 2983728741 1424918149 3529413519 2569456996 2231806669 1400048460 1600465950 3262977463 3949845578 3228272330 2027731413 2610770748 83544196 153174901 4162184400 230332982 1815697066 1738617435 2586679160 2118234668 101887030 1926892902 3844512931 2866915047 3822118393 8377810 3472649969 3018228055 2144323651 2930108731 3817274610 414054758 42697722 4196411217 1333297165 1183679079 284882087 3710410475 1233194206 3310201275 936092098 947169841 904658655 1890180954 3378623766 3523577342 2138422310 3016166387 899258175 3835503150 2775906912 724893948 3611959044 2075777078 3334508803 816643359 3372576275 1782559868 3164551269 2387405784 431025351 2491405630 3801187218 3976470056 1535249030 2422454789 3942993749 4214158810 1018734745 3686024495 4205733173 718872060 3265336094 458784523 3769050868 3171038215 3848460345 1399304146 1324756865 235153823 735651610 1626260079 4021743473 2288123057 1247026778 333087023 3918332718 4118388273 2061724825 2565205254 3005949079 2929738857 2333855033 3956925504 1413962638 3944141982 3462418581 519549930 3892779733 451890597 337974780 2112290860 2530539253 3407555991 4139523431 3154528828 2416141366 2709014390 4010936113 2386147612 267259831 1236412547 3652196669 2767275868 3770760076 1133630532 3026012445 1037696076 1694933980 2264466227 3322784452 1534926080 479224035 1549269775 1146426016 525308136 1671827257 442954993 3640085788 3769981947 1525857662 1980074120 3553206807 2554534694 1202529463 2304932533 1490252443 1511984950 2926131740 2839905597 1270555273 302686323 229962336 3308911552 2022482470 4195471039 1259925185 1018613806 4272093833 4160468717 3975602172 728137449 1745807825 3122165950 1041335784 200937413 377491517 2113404457 1373928245 2762852965 1037814262 3175702755 1393756750 2750286754 53810067 1267303912 4248468988 684773789 1670090111 1419173817 1155917590 1296833112 3925364494 3583634801 1985210191 941508517 2808726982 2476623419 2545807723 561184501 2334205501 4086196914 2395686990 1333685446 1685458324 2066765347 383412411 3589766546 1874022054 4159793394 3432650967 224564462 3137856436 2134738064 1626026746 1675753885 1161958956 3710386887 2455213130 1470074661 3435078641 3850427856 713397673 60338611 1844579861 1633789641 4272490163 2457078509 4291123336 3994538063 470798309 2134915919 2849430208 462377424 3745246464 3881190135 3259385995 1332287578 3575785207 2284704110 2163574563 3772267837 167671600 4194132689 1059328165 573588473 1651432055 1684278698 1305265032 4175381563 1297761870 3475316838 2064058768 2074160786 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3575
0.00/0.06	c #constraints 3707
0.08/0.14	c Solving starts ...
0.08/0.14	c ============================[ Search Statistics ]============================
0.08/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.14	c =============================================================================
0.08/0.14	c  0.0s |       0 |        0 |        0 |     2426      0 |      455 |        0
0.18/0.28	c  0.1s |       1 |      887 |      100 |     2426      0 |      456 |      411
0.28/0.42	c  0.3s |       2 |     3506 |      250 |     2669      0 |      457 |      412
0.59/0.63	c  0.5s |       3 |     5512 |      475 |     2936      0 |      458 |      413
0.89/0.96	c  0.8s |       4 |    10913 |      813 |     3230      0 |      459 |      414
1.30/1.35	c  1.2s |       5 |    15998 |     1320 |     3554      0 |      461 |      416
1.89/1.97	c  1.8s |       6 |    23957 |     2081 |     4301      0 |      469 |      424
2.79/2.84	c  2.7s |       7 |    29461 |     3223 |     4732      0 |      469 |      424
4.29/4.39	c  4.2s |       8 |    44563 |     4936 |     5206      0 |      474 |      429
6.39/6.41	c  6.3s |       8 |    57441 |     7036 |     5206      1 |      477 |      432
6.80/6.86	c  6.7s |       9 |    61433 |     7506 |     5727      1 |      478 |      433
8.89/8.94	c  8.8s |       9 |    77620 |     9706 |     5727      1 |      481 |      436
10.29/10.32	c 10.2s |      10 |    90269 |    11361 |     6300      2 |      483 |      438
12.39/12.43	c 12.3s |      10 |   101198 |    13361 |     6300      2 |      484 |      439
14.39/14.43	c 14.3s |      10 |   115497 |    15561 |     6300      3 |      485 |      440
15.89/15.97	c 15.8s |      11 |   122918 |    17144 |     6931      3 |      485 |      440
18.09/18.11	c 18.0s |      11 |   131665 |    18644 |     6931      3 |      485 |      440
20.18/20.25	c 20.1s |      11 |   140394 |    20644 |     6931      4 |      487 |      442
22.28/22.32	c 22.2s |      11 |   149259 |    22544 |     6931      5 |      489 |      444
24.29/24.33	c 24.2s |      11 |   159077 |    24544 |     6931      5 |      490 |      445
25.78/25.86	c 25.7s |      12 |   164336 |    25819 |     7625      5 |      490 |      445
27.88/27.93	c 27.8s |      12 |   175420 |    27419 |     7625      5 |      490 |      445
29.98/30.01	c 29.9s |      12 |   183542 |    28819 |     7625      6 |      490 |      445
31.99/32.07	c 31.9s |      12 |   192495 |    30319 |     7625      6 |      490 |      445
34.08/34.12	c 34.0s |      12 |   200578 |    31619 |     7625      6 |      492 |      447
36.08/36.13	c 36.0s |      12 |   213300 |    33419 |     7625      7 |      493 |      448
38.08/38.18	c 38.0s |      12 |   224324 |    35419 |     7625      7 |      493 |      448
40.18/40.21	c 40.1s |      12 |   236077 |    37119 |     7625      8 |      495 |      450
41.89/41.93	c 41.8s |      13 |   247682 |    38832 |     8388      8 |      495 |      450
43.98/44.01	c 43.9s |      13 |   253595 |    40332 |     8388      8 |      495 |      450
46.08/46.19	c 46.1s |      13 |   258083 |    41532 |     8388      8 |      495 |      450
48.28/48.31	c 48.2s |      13 |   259680 |    42232 |     8388      9 |      495 |      450
50.38/50.49	c 50.3s |      13 |   265207 |    43832 |     8388      9 |      495 |      450
52.58/52.62	c 52.5s |      13 |   269473 |    44932 |     8388      9 |      495 |      450
54.68/54.76	c 54.6s |      13 |   272117 |    45832 |     8388      9 |      495 |      450
56.78/56.84	c 56.7s |      13 |   280663 |    47632 |     8388     10 |      497 |      452
58.78/58.87	c 58.7s |      13 |   295560 |    49732 |     8388     10 |      497 |      452
60.87/60.95	c 60.8s |      13 |   301075 |    51032 |     8388     10 |      497 |      452
62.88/62.95	c 62.8s |      13 |   310581 |    52632 |     8388     11 |      497 |      452
65.17/65.29	c 65.2s |      13 |   315646 |    54032 |     8388     11 |      497 |      452
67.37/67.41	c 67.3s |      13 |   325729 |    55832 |     8388     11 |      498 |      453
69.38/69.49	c 69.4s |      13 |   334701 |    57532 |     8388     12 |      498 |      453
70.37/70.43	c 70.3s |      14 |   338737 |    58352 |     9227     12 |      499 |      454
72.37/72.43	c 72.3s |      14 |   345945 |    59652 |     9227     12 |      501 |      456
74.38/74.44	c 74.3s |      14 |   353760 |    61352 |     9227     12 |      504 |      459
76.48/76.50	c 76.4s |      14 |   369128 |    63552 |     9227     13 |      504 |      459
78.58/78.65	c 78.5s |      14 |   379923 |    65552 |     9227     13 |      504 |      459
80.78/80.82	c 80.7s |      14 |   385024 |    66952 |     9227     13 |      504 |      459
82.88/82.90	c 82.8s |      14 |   390447 |    68452 |     9227     14 |      504 |      459
84.89/84.92	c 84.8s |      14 |   402991 |    70452 |     9227     14 |      505 |      460
87.18/87.26	c 87.1s |      14 |   410171 |    72152 |     9227     15 |      506 |      461
89.18/89.27	c 89.1s |      14 |   424063 |    74252 |     9227     15 |      507 |      462
91.28/91.36	c 91.2s |      14 |   432326 |    76252 |     9227     15 |      507 |      462
93.38/93.41	c 93.3s |      14 |   442616 |    78152 |     9227     16 |      507 |      462
95.48/95.52	c 95.4s |      14 |   449355 |    79752 |     9227     16 |      507 |      462
97.48/97.55	c 97.4s |      14 |   455673 |    80952 |     9227     16 |      507 |      462
99.68/99.71	c 99.6s |      14 |   459435 |    81952 |     9227     16 |      507 |      462
101.78/101.84	c  101s |      14 |   462249 |    82852 |     9227     16 |      507 |      462
103.88/103.93	c  103s |      14 |   466937 |    84052 |     9227     17 |      507 |      462
106.27/106.34	c  106s |      14 |   471479 |    85252 |     9227     17 |      507 |      462
108.37/108.40	c  108s |      14 |   475282 |    86252 |     9227     17 |      507 |      462
110.37/110.42	c  110s |      14 |   480248 |    87352 |    10150     17 |      507 |      462
110.77/110.89	c  110s |      15 |   480950 |    87632 |    10150     17 |      507 |      462
112.87/112.91	c  112s |      15 |   492841 |    89732 |    10150     18 |      508 |      463
114.97/115.02	c  114s |      15 |   502216 |    91532 |    10150     18 |      509 |      464
117.07/117.11	c  116s |      15 |   505669 |    92732 |    10150     18 |      509 |      464
119.17/119.25	c  119s |      15 |   508711 |    93732 |    10150     18 |      509 |      464
121.47/121.52	c  121s |      15 |   511235 |    94532 |    10150     18 |      509 |      464
123.67/123.76	c  123s |      15 |   513529 |    95332 |    10150     18 |      509 |      464
125.67/125.76	c  125s |      15 |   515100 |    95932 |    10150     19 |      509 |      464
127.68/127.80	c  127s |      15 |   518717 |    97132 |    10150     19 |      509 |      464
129.77/129.82	c  129s |      15 |   522718 |    98332 |    10150     19 |      509 |      464
131.87/131.90	c  131s |      15 |   524730 |    99132 |    10150     19 |      509 |      464
133.97/134.07	c  133s |      15 |   526473 |    99732 |    10150     19 |      509 |      464
136.17/136.22	c  136s |      15 |   528002 |   100332 |    10150     19 |      509 |      464
138.37/138.43	c  138s |      15 |   529889 |   101132 |    10150     19 |      509 |      464
140.47/140.56	c  140s |      15 |   532116 |   101932 |    10150     19 |      509 |      464
142.47/142.56	c  142s |      15 |   533920 |   102632 |    10150     20 |      509 |      464
144.57/144.62	c  144s |      15 |   536429 |   103532 |    10150     20 |      509 |      464
146.67/146.77	c  146s |      15 |   538969 |   104432 |    10150     20 |      509 |      464
148.67/148.77	c  148s |      15 |   540757 |   105132 |    10150     20 |      509 |      464
150.77/150.87	c  150s |      15 |   546487 |   106132 |    10150     20 |      509 |      464
152.86/152.97	c  152s |      15 |   551533 |   107532 |    10150     20 |      509 |      464
155.06/155.11	c  154s |      15 |   556688 |   108732 |    10150     21 |      509 |      464
157.06/157.17	c  157s |      15 |   562439 |   110632 |    10150     21 |      509 |      464
159.16/159.28	c  159s |      15 |   565441 |   111732 |    10150     21 |      509 |      464
161.36/161.43	c  161s |      15 |   568030 |   112832 |    10150     21 |      509 |      464
163.36/163.47	c  163s |      15 |   576440 |   114532 |    10150     22 |      509 |      464
165.46/165.56	c  165s |      15 |   581061 |   116132 |    10150     22 |      509 |      464
167.56/167.63	c  167s |      15 |   584886 |   117532 |    10150     22 |      509 |      464
169.76/169.81	c  169s |      15 |   586686 |   118332 |    10150     22 |      509 |      464
171.77/171.87	c  171s |      15 |   588559 |   119032 |    10150     23 |      509 |      464
173.87/173.99	c  173s |      15 |   594623 |   120932 |    10150     23 |      509 |      464
175.96/176.08	c  175s |      15 |   598215 |   122232 |    10150     23 |      509 |      464
178.27/178.31	c  178s |      15 |   600391 |   123132 |    10150     23 |      509 |      464
180.26/180.31	c  180s |      15 |   603637 |   124232 |    10150     23 |      509 |      464
182.36/182.41	c  182s |      15 |   606765 |   125432 |    10150     24 |      509 |      464
184.46/184.56	c  184s |      15 |   613084 |   127132 |    10150     24 |      509 |      464
186.56/186.60	c  186s |      15 |   616230 |   128332 |    10150     24 |      509 |      464
188.66/188.76	c  188s |      15 |   618556 |   129232 |    10150     24 |      509 |      464
190.76/190.86	c  190s |      15 |   621016 |   130032 |    10150     25 |      509 |      464
192.85/192.95	c  192s |      15 |   626499 |   131432 |    11165     25 |      509 |      464
193.05/193.19	c  193s |      16 |   626970 |   131552 |    11165     25 |      509 |      464
195.16/195.24	c  195s |      16 |   637728 |   133352 |    11165     25 |      510 |      465
197.26/197.30	c  197s |      16 |   642013 |   134352 |    11165     25 |      511 |      466
199.27/199.36	c  199s |      16 |   650668 |   136052 |    11165     26 |      512 |      467
201.37/201.42	c  201s |      16 |   660294 |   137952 |    11165     26 |      512 |      467
203.36/203.45	c  203s |      16 |   667698 |   139652 |    11165     26 |      512 |      467
205.36/205.49	c  205s |      16 |   675002 |   141052 |    11165     26 |      512 |      467
207.46/207.55	c  207s |      16 |   676996 |   141852 |    11165     27 |      512 |      467
209.66/209.75	c  209s |      16 |   682755 |   143452 |    11165     27 |      512 |      467
211.86/211.91	c  211s |      16 |   686650 |   144652 |    11165     27 |      512 |      467
213.96/214.03	c  213s |      16 |   692495 |   146352 |    11165     27 |      512 |      467
216.06/216.10	c  215s |      16 |   695811 |   147452 |    11165     27 |      512 |      467
218.06/218.13	c  217s |      16 |   697637 |   148052 |    11165     28 |      512 |      467
220.07/220.17	c  220s |      16 |   701459 |   149352 |    11165     28 |      512 |      467
222.16/222.29	c  222s |      16 |   706354 |   150652 |    11165     28 |      512 |      467
224.26/224.35	c  224s |      16 |   708868 |   151552 |    11165     28 |      512 |      467
226.26/226.39	c  226s |      16 |   710820 |   152252 |    11165     28 |      512 |      467
228.36/228.42	c  228s |      16 |   713209 |   153152 |    11165     28 |      512 |      467
230.36/230.43	c  230s |      16 |   717710 |   154452 |    11165     29 |      512 |      467
232.56/232.63	c  232s |      16 |   721929 |   155952 |    11165     29 |      512 |      467
234.66/234.78	c  234s |      16 |   724881 |   156852 |    11165     29 |      512 |      467
236.96/237.00	c  236s |      16 |   727420 |   157852 |    11165     29 |      512 |      467
239.05/239.17	c  239s |      16 |   730288 |   158952 |    11165     30 |      512 |      467
241.15/241.20	c  241s |      16 |   735483 |   160552 |    11165     30 |      512 |      467
243.26/243.32	c  243s |      16 |   739884 |   161952 |    11165     30 |      512 |      467
245.46/245.55	c  245s |      16 |   742061 |   162952 |    11165     30 |      512 |      467
247.66/247.72	c  247s |      16 |   744356 |   163852 |    11165     31 |      512 |      467
249.76/249.90	c  249s |      16 |   751045 |   165752 |    11165     31 |      512 |      467
252.15/252.27	c  252s |      16 |   754072 |   166652 |    11165     31 |      512 |      467
254.55/254.63	c  254s |      16 |   757150 |   167552 |    11165     31 |      512 |      467
256.75/256.84	c  256s |      16 |   759593 |   168452 |    11165     31 |      512 |      467
258.85/258.90	c  258s |      16 |   762158 |   169252 |    11165     32 |      512 |      467
261.05/261.13	c  260s |      16 |   766565 |   170552 |    11165     32 |      512 |      467
263.05/263.14	c  263s |      16 |   770512 |   171852 |    11165     32 |      512 |      467
265.15/265.21	c  265s |      16 |   774295 |   173152 |    11165     32 |      512 |      467
267.35/267.47	c  267s |      16 |   776453 |   174052 |    11165     32 |      512 |      467
269.45/269.57	c  269s |      16 |   781064 |   175352 |    11165     33 |      512 |      467
271.55/271.64	c  271s |      16 |   785131 |   176652 |    11165     33 |      512 |      467
273.55/273.67	c  273s |      16 |   788639 |   178052 |    11165     33 |      512 |      467
275.75/275.80	c  275s |      16 |   794356 |   179552 |    11165     34 |      512 |      467
277.74/277.82	c  277s |      16 |   802320 |   181152 |    11165     34 |      512 |      467
279.84/279.95	c  279s |      16 |   805470 |   182052 |    11165     34 |      512 |      467
281.94/282.01	c  281s |      16 |   808252 |   182752 |    11165     35 |      512 |      467
283.95/284.04	c  283s |      16 |   813469 |   184052 |    11165     35 |      512 |      467
285.94/286.05	c  285s |      16 |   817652 |   185152 |    11165     35 |      512 |      467
287.94/288.06	c  287s |      16 |   822553 |   186452 |    11165     35 |      512 |      467
290.05/290.15	c  290s |      16 |   834188 |   188252 |    11165     36 |      512 |      467
292.15/292.26	c  292s |      16 |   838102 |   189552 |    11165     36 |      512 |      467
294.25/294.31	c  294s |      16 |   848259 |   191152 |    11165     37 |      512 |      467
296.25/296.32	c  296s |      16 |   856092 |   192752 |    11165     37 |      513 |      468
298.65/298.74	c  298s |      16 |   857526 |   193352 |    11165     37 |      513 |      468
300.65/300.74	c  300s |      16 |   860580 |   194052 |    11165     38 |      513 |      468
302.65/302.76	c  302s |      16 |   877691 |   196652 |    12282     38 |      513 |      468
303.45/303.50	c  303s |      17 |   882428 |   197432 |    12282     38 |      513 |      468
305.45/305.55	c  305s |      17 |   893659 |   199432 |    12282     39 |      515 |      470
307.55/307.66	c  307s |      17 |   898249 |   200832 |    12282     39 |      515 |      470
309.64/309.71	c  309s |      17 |   901738 |   202032 |    12282     39 |      515 |      470
311.64/311.78	c  311s |      17 |   906780 |   203232 |    12282     39 |      515 |      470
313.74/313.87	c  313s |      17 |   912445 |   204832 |    12282     40 |      515 |      470
315.85/315.91	c  315s |      17 |   917043 |   206332 |    12282     40 |      515 |      470
317.95/318.06	c  317s |      17 |   919295 |   207232 |    12282     40 |      515 |      470
320.04/320.15	c  320s |      17 |   926314 |   208532 |    12282     41 |      515 |      470
322.14/322.20	c  322s |      17 |   935487 |   210532 |    12282     41 |      516 |      471
324.14/324.25	c  324s |      17 |   937942 |   211332 |    12282     41 |      516 |      471
326.24/326.34	c  326s |      17 |   939589 |   211832 |    12282     42 |      516 |      471
328.24/328.38	c  328s |      17 |   946464 |   213232 |    12282     42 |      516 |      471
330.44/330.54	c  330s |      17 |   951979 |   214532 |    12282     42 |      516 |      471
332.54/332.63	c  332s |      17 |   954865 |   215332 |    12282     42 |      516 |      471
334.55/334.65	c  334s |      17 |   960499 |   216832 |    12282     43 |      516 |      471
337.04/337.10	c  336s |      17 |   969471 |   218532 |    12282     43 |      516 |      471
339.14/339.23	c  339s |      17 |   973737 |   219632 |    12282     43 |      516 |      471
341.14/341.28	c  341s |      17 |   977158 |   220632 |    12282     44 |      517 |      472
343.24/343.36	c  343s |      17 |   984524 |   222232 |    12282     44 |      517 |      472
345.34/345.46	c  345s |      17 |   987319 |   223332 |    12282     44 |      517 |      472
347.34/347.47	c  347s |      17 |   989606 |   224032 |    12282     44 |      517 |      472
349.73/349.82	c  349s |      17 |   990907 |   224532 |    12282     45 |      517 |      472
351.83/351.90	c  351s |      17 |   998049 |   226532 |    12282     45 |      517 |      472
353.83/353.93	c  353s |      17 |  1002002 |   227732 |    12282     45 |      517 |      472
356.03/356.12	c  355s |      17 |  1006538 |   228832 |    12282     46 |      517 |      472
358.13/358.23	c  358s |      17 |  1014516 |   230732 |    12282     46 |      517 |      472
360.23/360.38	c  360s |      17 |  1018253 |   232032 |    12282     46 |      517 |      472
362.33/362.45	c  362s |      17 |  1021775 |   233232 |    12282     47 |      517 |      472
364.32/364.46	c  364s |      17 |  1025326 |   234632 |    12282     47 |      517 |      472
366.33/366.48	c  366s |      17 |  1027174 |   235532 |    12282     47 |      517 |      472
368.53/368.62	c  368s |      17 |  1034503 |   237232 |    12282     48 |      517 |      472
370.62/370.77	c  370s |      17 |  1037347 |   238032 |    12282     48 |      517 |      472
372.72/372.88	c  372s |      17 |  1040552 |   239032 |    12282     48 |      517 |      472
375.02/375.13	c  374s |      17 |  1046071 |   240532 |    12282     49 |      517 |      472
377.02/377.18	c  377s |      17 |  1048633 |   241632 |    12282     49 |      517 |      472
379.42/379.52	c  379s |      17 |  1052374 |   242832 |    12282     49 |      517 |      472
381.42/381.53	c  381s |      17 |  1055227 |   243932 |    12282     50 |      517 |      472
383.51/383.64	c  383s |      17 |  1057559 |   244732 |    12282     50 |      517 |      472
385.52/385.64	c  385s |      17 |  1060918 |   245932 |    12282     50 |      517 |      472
387.62/387.73	c  387s |      17 |  1066549 |   247432 |    12282     51 |      517 |      472
389.82/389.91	c  389s |      17 |  1072179 |   249132 |    12282     51 |      517 |      472
391.82/391.95	c  391s |      17 |  1076642 |   250532 |    12282     52 |      517 |      472
393.92/394.07	c  393s |      17 |  1080031 |   251732 |    12282     52 |      517 |      472
395.91/396.10	c  395s |      17 |  1082986 |   252732 |    12282     52 |      517 |      472
398.01/398.16	c  398s |      17 |  1087144 |   253932 |    12282     53 |      517 |      472
400.01/400.18	c  400s |      17 |  1091039 |   255232 |    12282     54 |      519 |      474
402.11/402.28	c  402s |      17 |  1097656 |   256532 |    12282     54 |      519 |      474
404.21/404.38	c  404s |      17 |  1103703 |   257832 |    12282     55 |      519 |      474
406.41/406.57	c  406s |      17 |  1108671 |   258932 |    12282     55 |      519 |      474
408.61/408.78	c  408s |      17 |  1109937 |   259532 |    12282     55 |      519 |      474
410.91/411.08	c  410s |      17 |  1112278 |   260232 |    12282     55 |      519 |      474
413.01/413.16	c  413s |      17 |  1117413 |   261332 |    12282     56 |      519 |      474
415.11/415.22	c  415s |      17 |  1120953 |   262332 |    12282     56 |      519 |      474
417.21/417.32	c  417s |      17 |  1130343 |   264132 |    12282     57 |      519 |      474
419.31/419.45	c  419s |      17 |  1136134 |   265432 |    12282     58 |      519 |      474
421.41/421.58	c  421s |      17 |  1140950 |   266732 |    12282     58 |      519 |      474
423.51/423.68	c  423s |      17 |  1146856 |   267932 |    12282     59 |      519 |      474
425.60/425.76	c  425s |      17 |  1152751 |   269132 |    12282     59 |      519 |      474
427.80/427.92	c  427s |      17 |  1159285 |   270732 |    12282     60 |      519 |      474
429.90/430.05	c  429s |      17 |  1166986 |   272732 |    12282     61 |      519 |      474
432.10/432.26	c  432s |      17 |  1171095 |   274232 |    12282     62 |      519 |      474
434.20/434.30	c  434s |      17 |  1180784 |   276232 |    12282     63 |      519 |      474
436.20/436.31	c  436s |      17 |  1190350 |   277932 |    12282     64 |      520 |      475
438.30/438.49	c  438s |      17 |  1199460 |   279732 |    12282     66 |      522 |      477
440.40/440.58	c  440s |      17 |  1205037 |   281332 |    12282     66 |      522 |      477
442.40/442.58	c  442s |      17 |  1208175 |   282532 |    12282     67 |      522 |      477
444.60/444.77	c  444s |      17 |  1210570 |   283632 |    12282     67 |      522 |      477
446.70/446.85	c  446s |      17 |  1219662 |   285332 |    12282     68 |      522 |      477
448.69/448.90	c  448s |      17 |  1224879 |   286732 |    12282     69 |      522 |      477
450.89/451.00	c  450s |      17 |  1226556 |   287432 |    12282     69 |      522 |      477
452.89/453.09	c  452s |      17 |  1229429 |   288532 |    12282     70 |      522 |      477
454.99/455.15	c  455s |      17 |  1232023 |   289632 |    12282     70 |      522 |      477
457.09/457.23	c  457s |      17 |  1234643 |   290632 |    12282     71 |      522 |      477
459.19/459.35	c  459s |      17 |  1236555 |   291432 |    12282     71 |      522 |      477
461.30/461.46	c  461s |      17 |  1238350 |   292232 |    12282     72 |      522 |      477
463.39/463.55	c  463s |      17 |  1245903 |   294032 |    12282     73 |      522 |      477
465.59/465.73	c  465s |      17 |  1249484 |   295432 |    13511     73 |      522 |      477
467.69/467.84	c  467s |      17 |  1251292 |   296232 |    13511     73 |      522 |      477
467.79/467.91	c  467s |      18 |  1251474 |   296252 |    13511     73 |      522 |      477
469.79/469.93	c  469s |      18 |  1257606 |   298052 |    13511     74 |      522 |      477
471.89/472.01	c  471s |      18 |  1260555 |   299052 |    13511     74 |      522 |      477
473.88/474.05	c  473s |      18 |  1265366 |   300352 |    13511     75 |      522 |      477
476.08/476.21	c  476s |      18 |  1269116 |   301552 |    13511     75 |      522 |      477
478.08/478.27	c  478s |      18 |  1272257 |   302552 |    13511     76 |      522 |      477
480.18/480.31	c  480s |      18 |  1276309 |   303952 |    13511     76 |      522 |      477
482.18/482.39	c  482s |      18 |  1279922 |   305252 |    13511     77 |      522 |      477
484.28/484.43	c  484s |      18 |  1285635 |   307052 |    13511     77 |      522 |      477
486.29/486.49	c  486s |      18 |  1290153 |   308552 |    13511     78 |      522 |      477
488.38/488.56	c  488s |      18 |  1292982 |   309652 |    13511     78 |      522 |      477
490.48/490.61	c  490s |      18 |  1299155 |   311452 |    13511     79 |      522 |      477
492.47/492.67	c  492s |      18 |  1306609 |   313452 |    13511     80 |      522 |      477
494.57/494.70	c  494s |      18 |  1309430 |   314652 |    13511     80 |      522 |      477
496.57/496.73	c  496s |      18 |  1314994 |   316252 |    13511     81 |      522 |      477
498.67/498.81	c  498s |      18 |  1318562 |   317652 |    13511     82 |      522 |      477
500.77/500.99	c  500s |      18 |  1322878 |   319052 |    13511     82 |      522 |      477
502.87/503.08	c  502s |      18 |  1327491 |   320552 |    13511     83 |      522 |      477
504.87/505.09	c  504s |      18 |  1331245 |   321852 |    13511     84 |      522 |      477
506.96/507.15	c  507s |      18 |  1334953 |   323152 |    13511     84 |      522 |      477
509.16/509.32	c  509s |      18 |  1338558 |   324452 |    13511     85 |      522 |      477
511.36/511.54	c  511s |      18 |  1343032 |   325952 |    13511     85 |      522 |      477
513.46/513.69	c  513s |      18 |  1346544 |   327152 |    13511     86 |      522 |      477
515.56/515.74	c  515s |      18 |  1349976 |   328452 |    13511     87 |      522 |      477
517.66/517.83	c  517s |      18 |  1354743 |   330052 |    13511     87 |      522 |      477
519.66/519.83	c  519s |      18 |  1360540 |   331752 |    13511     88 |      522 |      477
521.66/521.83	c  521s |      18 |  1365959 |   333352 |    13511     89 |      522 |      477
523.66/523.88	c  523s |      18 |  1371479 |   334952 |    13511     90 |      522 |      477
525.76/525.92	c  525s |      18 |  1376888 |   336552 |    13511     91 |      522 |      477
527.85/528.00	c  527s |      18 |  1382941 |   338352 |    13511     92 |      522 |      477
529.85/530.02	c  529s |      18 |  1387010 |   339752 |    13511     93 |      522 |      477
531.85/532.04	c  531s |      18 |  1390564 |   341152 |    13511     94 |      522 |      477
533.95/534.11	c  533s |      18 |  1393828 |   342452 |    13511     94 |      522 |      477
535.95/536.19	c  536s |      18 |  1399747 |   344152 |    13511     96 |      522 |      477
538.05/538.27	c  538s |      18 |  1406363 |   346052 |    13511     97 |      522 |      477
540.16/540.39	c  540s |      18 |  1411517 |   347652 |    13511     98 |      522 |      477
542.36/542.56	c  542s |      18 |  1416328 |   349152 |    13511     99 |      522 |      477
544.45/544.68	c  544s |      18 |  1421308 |   350652 |    13511    100 |      522 |      477
546.65/546.82	c  546s |      18 |  1426366 |   352252 |    13511    100 |      522 |      477
548.64/548.89	c  548s |      18 |  1431674 |   353952 |    13511    102 |      522 |      477
550.74/550.93	c  550s |      18 |  1436239 |   355552 |    13511    103 |      522 |      477
552.84/553.08	c  552s |      18 |  1440600 |   356952 |    13511    103 |      522 |      477
555.05/555.25	c  555s |      18 |  1445100 |   358352 |    13511    104 |      522 |      477
557.25/557.42	c  557s |      18 |  1449752 |   359752 |    13511    105 |      522 |      477
559.35/559.57	c  559s |      18 |  1453235 |   361052 |    13511    106 |      522 |      477
561.45/561.69	c  561s |      18 |  1459099 |   362852 |    13511    108 |      522 |      477
563.64/563.82	c  563s |      18 |  1462623 |   364252 |    13511    109 |      522 |      477
565.64/565.85	c  565s |      18 |  1465686 |   365352 |    13511    110 |      522 |      477
567.74/567.98	c  567s |      18 |  1468761 |   366452 |    13511    110 |      522 |      477
569.85/570.01	c  569s |      18 |  1473497 |   367852 |    13511    111 |      522 |      477
571.84/572.02	c  571s |      18 |  1477449 |   369152 |    13511    112 |      522 |      477
573.93/574.16	c  574s |      18 |  1482048 |   370452 |    13511    113 |      522 |      477
575.93/576.18	c  576s |      18 |  1487595 |   372052 |    13511    115 |      522 |      477
578.13/578.35	c  578s |      18 |  1493829 |   373852 |    13511    116 |      522 |      477
580.23/580.44	c  580s |      18 |  1499032 |   375452 |    13511    118 |      522 |      477
582.23/582.45	c  582s |      18 |  1503919 |   376952 |    13511    119 |      522 |      477
584.33/584.50	c  584s |      18 |  1508014 |   378352 |    13511    121 |      522 |      477
586.34/586.54	c  586s |      18 |  1511327 |   379652 |    13511    123 |      522 |      477
588.33/588.56	c  588s |      18 |  1515239 |   380752 |    13511    124 |      522 |      477
590.43/590.69	c  590s |      18 |  1518581 |   381752 |    13511    125 |      522 |      477
592.72/592.93	c  592s |      18 |  1523198 |   383252 |    13511    126 |      522 |      477
594.82/595.05	c  594s |      18 |  1526278 |   384352 |    13511    127 |      522 |      477
597.02/597.23	c  597s |      18 |  1529913 |   385452 |    13511    128 |      522 |      477
599.03/599.25	c  599s |      18 |  1535036 |   386952 |    13511    130 |      522 |      477
601.13/601.36	c  601s |      18 |  1540903 |   388552 |    13511    132 |      522 |      477
603.22/603.45	c  603s |      18 |  1545590 |   390052 |    13511    134 |      522 |      477
605.22/605.47	c  605s |      18 |  1551002 |   391652 |    13511    136 |      522 |      477
607.32/607.54	c  607s |      18 |  1555413 |   392952 |    13511    138 |      522 |      477
609.52/609.71	c  609s |      18 |  1557798 |   393952 |    13511    140 |      522 |      477
611.53/611.75	c  611s |      18 |  1560595 |   394852 |    13511    141 |      522 |      477
613.61/613.82	c  613s |      18 |  1564144 |   396052 |    13511    143 |      522 |      477
615.61/615.88	c  615s |      18 |  1568070 |   397252 |    13511    145 |      522 |      477
617.71/617.94	c  617s |      18 |  1572306 |   398652 |    13511    147 |      522 |      477
619.71/619.98	c  619s |      18 |  1578123 |   400452 |    13511    150 |      522 |      477
621.81/622.03	c  621s |      18 |  1583179 |   402052 |    13511    153 |      522 |      477
623.81/624.07	c  623s |      18 |  1586865 |   403352 |    13511    156 |      522 |      477
625.92/626.11	c  625s |      18 |  1592170 |   405152 |    13511    158 |      522 |      477
628.02/628.21	c  628s |      18 |  1598335 |   406952 |    13511    162 |      522 |      477
630.01/630.22	c  630s |      18 |  1604635 |   408852 |    13511    167 |      522 |      477
632.01/632.25	c  632s |      18 |  1610426 |   410752 |    13511    170 |      522 |      477
634.11/634.31	c  634s |      18 |  1615614 |   412452 |    13511    175 |      522 |      477
636.11/636.34	c  636s |      18 |  1620975 |   414252 |    13511    181 |      522 |      477
638.20/638.47	c  638s |      18 |  1625898 |   415952 |    13511    186 |      522 |      477
640.30/640.58	c  640s |      18 |  1631012 |   417652 |    13511    191 |      522 |      477
642.41/642.63	c  642s |      18 |  1636078 |   419452 |    13511    194 |      522 |      477
644.40/644.67	c  644s |      18 |  1640583 |   421052 |    13511    201 |      522 |      477
646.50/646.77	c  646s |      18 |  1644935 |   422752 |    13511    207 |      522 |      477
648.60/648.83	c  648s |      18 |  1651264 |   424952 |    13511    220 |      522 |      477
650.60/650.86	c  650s |      18 |  1657351 |   427052 |    13511    242 |      522 |      477
652.60/652.89	c  652s |      18 |  1662180 |   428952 |    13511    253 |      522 |      477
654.70/654.93	c  654s |      18 |  1666820 |   430852 |    13511    271 |      522 |      477
656.80/657.01	c  656s |      18 |  1669989 |   431652 |    13511    478 |      522 |      477
658.90/659.12	c  658s |      18 |  1673384 |   432352 |    13511    711 |      522 |      477
660.89/661.16	c  661s |      18 |  1678584 |   433752 |    13511    818 |      522 |      477
663.09/663.32	c  663s |      18 |  1682554 |   434952 |    13511    993 |      522 |      477
665.10/665.37	c  665s |      18 |  1686669 |   436152 |    13511   1129 |      522 |      477
667.60/667.85	c  667s |      18 |  1689210 |   436852 |    13511   1466 |      522 |      477
670.79/671.07	c  670s |      18 |  1692197 |   437452 |    13511   1909 |      522 |      477
673.39/673.68	c  673s |      18 |  1694853 |   438152 |    13511   2221 |      522 |      477
675.49/675.75	c  675s |      18 |  1698683 |   439152 |    13511   2421 |      522 |      477
677.49/677.79	c  677s |      18 |  1702352 |   440352 |    13511   2544 |      522 |      477
679.58/679.90	c  679s |      18 |  1707784 |   441852 |    14863   2648 |      522 |      477
681.68/681.97	c  681s |      18 |  1713767 |   443352 |    14863   2650 |      522 |      477
683.38/683.64	c  683s |      19 |  1717429 |   444482 |    14863   2651 |      522 |      477
685.48/685.70	c  685s |      19 |  1723965 |   446082 |    14863   2658 |      522 |      477
687.49/687.77	c  687s |      19 |  1728608 |   447382 |    14863   2741 |      522 |      477
689.60/689.81	c  689s |      19 |  1734843 |   449282 |    14863   2743 |      522 |      477
691.59/691.84	c  691s |      19 |  1740521 |   450682 |    14863   2848 |      522 |      477
693.58/693.87	c  693s |      19 |  1748796 |   452582 |    14863   2862 |      522 |      477
695.68/695.92	c  695s |      19 |  1756378 |   454482 |    14863   2924 |      522 |      477
699.88/700.17	c  700s |      19 |  1761083 |   455082 |    14863   3584 |      522 |      477
702.38/702.69	c  702s |      19 |  1763728 |   455482 |    14863   3968 |      522 |      477
704.47/704.74	c  704s |      19 |  1766613 |   455782 |    14863   4285 |      522 |      477
706.67/706.91	c  706s |      19 |  1772268 |   456782 |    14863   4504 |      522 |      477
709.28/709.60	c  709s |      19 |  1774890 |   457282 |    14863   4881 |      522 |      477
711.37/711.62	c  711s |      19 |  1779819 |   458682 |    14863   4982 |      522 |      477
713.37/713.64	c  713s |      19 |  1784705 |   460082 |    14863   5058 |      522 |      477
715.47/715.73	c  715s |      19 |  1792115 |   461982 |    14863   5131 |      522 |      477
717.57/717.80	c  717s |      19 |  1799742 |   464182 |    14863   5142 |      522 |      477
719.57/719.82	c  719s |      19 |  1804243 |   465982 |    14863   5149 |      522 |      477
721.58/721.87	c  721s |      19 |  1809204 |   467782 |    14863   5157 |      522 |      477
723.67/723.94	c  723s |      19 |  1813765 |   469282 |    14863   5165 |      522 |      477
725.76/726.03	c  725s |      19 |  1818196 |   470982 |    14863   5195 |      522 |      477
727.86/728.16	c  728s |      19 |  1823351 |   472782 |    14863   5222 |      522 |      477
729.96/730.23	c  730s |      19 |  1826797 |   474282 |    14863   5226 |      522 |      477
731.97/732.29	c  732s |      19 |  1830757 |   475882 |    14863   5230 |      522 |      477
734.07/734.38	c  734s |      19 |  1833991 |   477382 |    14863   5235 |      522 |      477
736.16/736.49	c  736s |      19 |  1837072 |   478882 |    14863   5244 |      522 |      477
738.26/738.51	c  738s |      19 |  1841685 |   480382 |    14863   5324 |      522 |      477
740.27/740.55	c  740s |      19 |  1844942 |   481482 |    14863   5464 |      522 |      477
742.76/743.09	c  742s |      19 |  1848858 |   482782 |    14863   5652 |      522 |      477
745.15/745.40	c  745s |      19 |  1851888 |   483982 |    14863   5811 |      522 |      477
747.55/747.82	c  747s |      19 |  1854717 |   485282 |    14863   5928 |      522 |      477
750.16/750.48	c  750s |      19 |  1857682 |   486482 |    14863   6076 |      522 |      477
752.26/752.52	c  752s |      19 |  1861222 |   487682 |    14863   6168 |      522 |      477
754.45/754.72	c  754s |      19 |  1864114 |   488682 |    14863   6305 |      522 |      477
756.46/756.77	c  756s |      19 |  1867656 |   489882 |    14863   6412 |      522 |      477
758.55/758.89	c  758s |      19 |  1870253 |   490782 |    14863   6581 |      522 |      477
761.16/761.42	c  761s |      19 |  1874268 |   492282 |    14863   6702 |      522 |      477
763.15/763.43	c  763s |      19 |  1876259 |   493082 |    14863   6836 |      522 |      477
765.25/765.57	c  765s |      19 |  1879374 |   494282 |    14863   6965 |      522 |      477
767.35/767.62	c  767s |      19 |  1882673 |   495482 |    14863   7059 |      522 |      477
769.45/769.72	c  769s |      19 |  1885919 |   496682 |    14863   7191 |      522 |      477
772.24/772.54	c  772s |      19 |  1887145 |   497082 |    14863   7541 |      522 |      477
775.04/775.31	c  775s |      19 |  1889573 |   497782 |    14863   7886 |      522 |      477
777.24/777.57	c  777s |      19 |  1892819 |   498882 |    14863   8066 |      522 |      477
779.64/779.95	c  779s |      19 |  1894745 |   499682 |    14863   8319 |      522 |      477
781.75/782.06	c  781s |      19 |  1896581 |   500482 |    14863   8499 |      522 |      477
784.25/784.52	c  784s |      19 |  1898040 |   500882 |    14863   8835 |      522 |      477
787.55/787.83	c  787s |      19 |  1900950 |   501982 |    14863   9182 |      522 |      477
789.75/790.06	c  789s |      19 |  1901604 |   502182 |    14863   9509 |      522 |      477
792.24/792.53	c  792s |      19 |  1902157 |   502382 |    14863   9869 |      522 |      477
794.64/794.92	c  794s |      19 |  1902938 |   502782 |    14863  10145 |      522 |      477
797.14/797.46	c  797s |      19 |  1903472 |   502982 |    14863  10505 |      522 |      477
799.64/799.96	c  799s |      19 |  1904582 |   503382 |    14863  10840 |      522 |      477
802.44/802.78	c  802s |      19 |  1905935 |   503882 |    14863  11198 |      522 |      477
805.54/805.82	c  805s |      19 |  1906949 |   504182 |    14863  11650 |      522 |      477
807.93/808.28	c  808s |      19 |  1907626 |   504482 |    14863  11937 |      522 |      477
810.43/810.76	c  810s |      19 |  1908936 |   504982 |    14863  12208 |      522 |      477
812.84/813.18	c  813s |      19 |  1909772 |   505382 |    14863  12508 |      522 |      477
815.04/815.32	c  815s |      19 |  1911052 |   505782 |    14863  12748 |      522 |      477
817.63/817.94	c  817s |      19 |  1911632 |   505982 |    14863  13131 |      522 |      477
819.73/820.05	c  819s |      19 |  1913032 |   506482 |    14863  13387 |      522 |      477
822.52/822.81	c  822s |      19 |  1914411 |   506882 |    14863  13785 |      522 |      477
824.52/824.88	c  824s |      19 |  1914938 |   506982 |    14863  14109 |      522 |      477
827.83/828.19	c  828s |      19 |  1915875 |   507282 |    14863  14596 |      522 |      477
830.52/830.88	c  830s |      19 |  1916620 |   507582 |    14863  14980 |      522 |      477
833.53/833.85	c  833s |      19 |  1917249 |   507782 |    14863  15436 |      522 |      477
836.12/836.47	c  836s |      19 |  1917810 |   507982 |    14863  15829 |      522 |      477
838.62/838.90	c  838s |      19 |  1918364 |   508182 |    14863  16196 |      522 |      477
840.83/841.19	c  841s |      19 |  1918786 |   508382 |    14863  16542 |      522 |      477
843.02/843.38	c  843s |      19 |  1920629 |   509082 |    14863  16776 |      522 |      477
845.21/845.50	c  845s |      19 |  1921808 |   509582 |    14863  16996 |      522 |      477
847.21/847.57	c  847s |      19 |  1923129 |   510182 |    14863  17148 |      522 |      477
849.52/849.88	c  849s |      19 |  1924804 |   510682 |    14863  17397 |      522 |      477
851.62/851.96	c  851s |      19 |  1925727 |   511082 |    14863  17603 |      522 |      477
854.12/854.45	c  854s |      19 |  1926587 |   511482 |    14863  17896 |      522 |      477
856.31/856.65	c  856s |      19 |  1927199 |   511682 |    14863  18209 |      522 |      477
858.72/859.04	c  858s |      19 |  1928331 |   512082 |    14863  18492 |      522 |      477
861.52/861.81	c  861s |      19 |  1929854 |   512682 |    14863  18814 |      522 |      477
864.11/864.41	c  864s |      19 |  1931772 |   513482 |    14863  19093 |      522 |      477
866.81/867.14	c  866s |      19 |  1932781 |   513882 |    14863  19466 |      522 |      477
869.61/869.95	c  869s |      19 |  1933252 |   513982 |    14863  19908 |      522 |      477
872.21/872.57	c  872s |      19 |  1933701 |   514082 |    14863  20331 |      522 |      477
874.81/875.13	c  874s |      19 |  1934275 |   514282 |    14863  20720 |      522 |      477
877.61/877.90	c  877s |      19 |  1935065 |   514582 |    14863  21116 |      522 |      477
879.71/880.10	c  879s |      19 |  1935941 |   514982 |    14863  21404 |      522 |      477
881.80/882.18	c  882s |      19 |  1937822 |   515782 |    14863  21625 |      522 |      477
884.00/884.32	c  884s |      19 |  1940939 |   516982 |    14863  21790 |      522 |      477
886.10/886.48	c  886s |      19 |  1941953 |   517382 |    14863  22060 |      522 |      477
889.71/890.03	c  889s |      19 |  1942987 |   517782 |    14863  22538 |      522 |      477
892.30/892.69	c  892s |      19 |  1944133 |   518282 |    14863  22813 |      522 |      477
894.99/895.37	c  895s |      19 |  1944947 |   518482 |    14863  23201 |      522 |      477
897.09/897.43	c  897s |      19 |  1945787 |   518782 |    14863  23475 |      522 |      477
900.10/900.41	c  900s |      19 |  1946475 |   519082 |    14863  23886 |      522 |      477
902.39/902.77	c  902s |      19 |  1947157 |   519382 |    14863  24199 |      522 |      477
904.80/905.16	c  905s |      19 |  1947666 |   519582 |    14863  24515 |      522 |      477
906.79/907.18	c  907s |      19 |  1948228 |   519882 |    14863  24758 |      522 |      477
909.19/909.58	c  909s |      19 |  1949159 |   520182 |    14863  25092 |      522 |      477
911.59/911.92	c  911s |      19 |  1949652 |   520382 |    14863  25437 |      522 |      477
913.79/914.10	c  913s |      19 |  1950794 |   520782 |    14863  25718 |      522 |      477
916.28/916.69	c  916s |      19 |  1951472 |   521082 |    14863  26071 |      522 |      477
918.49/918.88	c  918s |      19 |  1952269 |   521382 |    14863  26375 |      522 |      477
920.49/920.89	c  920s |      19 |  1952742 |   521582 |    14863  26661 |      522 |      477
923.29/923.63	c  923s |      19 |  1953588 |   521882 |    14863  27043 |      522 |      477
926.09/926.47	c  926s |      19 |  1954572 |   522182 |    14863  27409 |      522 |      477
928.88/929.29	c  929s |      19 |  1955629 |   522482 |    14863  27815 |      522 |      477
931.18/931.52	c  931s |      19 |  1956514 |   522782 |    14863  28075 |      522 |      477
933.87/934.29	c  934s |      19 |  1957161 |   522982 |    14863  28466 |      522 |      477
936.38/936.70	c  936s |      19 |  1957844 |   523282 |    14863  28792 |      522 |      477
938.48/938.88	c  938s |      19 |  1958702 |   523582 |    14863  29081 |      522 |      477
940.68/941.07	c  940s |      19 |  1959516 |   523882 |    14863  29372 |      522 |      477
943.47/943.80	c  943s |      19 |  1960211 |   524182 |    14863  29719 |      522 |      477
946.18/946.53	c  946s |      19 |  1960833 |   524482 |    14863  30077 |      522 |      477
948.87/949.24	c  949s |      19 |  1961673 |   524882 |    14863  30409 |      522 |      477
951.97/952.37	c  952s |      19 |  1962318 |   525182 |    14863  30798 |      522 |      477
954.67/955.05	c  954s |      19 |  1963080 |   525482 |    14863  31133 |      522 |      477
956.66/957.08	c  956s |      19 |  1963537 |   525682 |    14863  31402 |      522 |      477
959.26/959.61	c  959s |      19 |  1964282 |   525982 |    14863  31722 |      522 |      477
962.16/962.56	c  962s |      19 |  1964957 |   526282 |    14863  32100 |      522 |      477
964.57/964.96	c  964s |      19 |  1965437 |   526482 |    14863  32422 |      522 |      477
966.86/967.24	c  967s |      19 |  1965884 |   526682 |    14863  32738 |      522 |      477
969.26/969.61	c  969s |      19 |  1966407 |   526882 |    14863  33060 |      522 |      477
972.27/972.68	c  972s |      19 |  1967054 |   527082 |    14863  33500 |      522 |      477
975.15/975.54	c  975s |      19 |  1967523 |   527282 |    14863  33917 |      522 |      477
977.86/978.29	c  978s |      19 |  1968241 |   527582 |    14863  34286 |      522 |      477
980.06/980.46	c  980s |      19 |  1968841 |   527782 |    14863  34582 |      522 |      477
982.35/982.79	c  982s |      19 |  1969270 |   527982 |    14863  34890 |      522 |      477
984.75/985.10	c  984s |      19 |  1969731 |   528182 |    14863  35196 |      522 |      477
987.15/987.53	c  987s |      19 |  1970350 |   528382 |    14863  35524 |      522 |      477
990.05/990.41	c  990s |      19 |  1970900 |   528582 |    14863  35937 |      522 |      477
992.85/993.25	c  993s |      19 |  1971409 |   528782 |    14863  36334 |      522 |      477
995.45/995.83	c  995s |      19 |  1971850 |   528982 |    14863  36690 |      522 |      477
998.55/999.00	c  998s |      19 |  1972316 |   529182 |    14863  37147 |      522 |      477
1001.55/1001.99	c 1001s |      19 |  1972773 |   529382 |    14863  37566 |      522 |      477
1004.35/1004.72	c 1004s |      19 |  1973163 |   529582 |    14863  37945 |      522 |      477
1006.95/1007.36	c 1007s |      19 |  1973550 |   529782 |    14863  38308 |      522 |      477
1010.24/1010.68	c 1010s |      19 |  1974077 |   529982 |    14863  38782 |      522 |      477
1012.65/1013.06	c 1012s |      19 |  1974496 |   530182 |    14863  39082 |      522 |      477
1015.16/1015.59	c 1015s |      19 |  1975004 |   530382 |    14863  39426 |      522 |      477
1017.25/1017.61	c 1017s |      19 |  1975563 |   530682 |    14863  39645 |      522 |      477
1019.24/1019.66	c 1019s |      19 |  1975992 |   530882 |    14863  39909 |      522 |      477
1021.55/1021.90	c 1021s |      19 |  1976691 |   531182 |    14863  40175 |      522 |      477
1023.75/1024.17	c 1024s |      19 |  1977487 |   531482 |    14863  40472 |      522 |      477
1026.25/1026.67	c 1026s |      19 |  1978057 |   531782 |    14863  40806 |      522 |      477
1029.65/1030.08	c 1029s |      19 |  1978777 |   532082 |    14863  41290 |      522 |      477
1032.34/1032.76	c 1032s |      19 |  1979286 |   532282 |    14863  41680 |      522 |      477
1035.04/1035.42	c 1035s |      19 |  1979800 |   532482 |    14863  42065 |      522 |      477
1038.05/1038.41	c 1038s |      19 |  1980553 |   532682 |    14863  42512 |      522 |      477
1040.24/1040.67	c 1040s |      19 |  1981078 |   532882 |    14863  42833 |      522 |      477
1043.44/1043.82	c 1043s |      19 |  1981691 |   533182 |    14863  43267 |      522 |      477
1045.54/1045.96	c 1045s |      19 |  1982393 |   533482 |    14863  43540 |      522 |      477
1048.05/1048.42	c 1048s |      19 |  1982985 |   533682 |    14863  43891 |      522 |      477
1051.84/1052.23	c 1052s |      19 |  1983769 |   533882 |    14863  44445 |      522 |      477
1053.84/1054.25	c 1054s |      19 |  1984350 |   534082 |    14863  44723 |      522 |      477
1057.54/1057.90	c 1057s |      19 |  1984964 |   534282 |    14863  45272 |      522 |      477
1060.54/1060.91	c 1060s |      19 |  1985503 |   534482 |    14863  45700 |      522 |      477
1063.13/1063.52	c 1063s |      19 |  1985931 |   534582 |    14863  46094 |      522 |      477
1065.65/1066.01	c 1065s |      19 |  1986381 |   534782 |    14863  46440 |      522 |      477
1069.24/1069.68	c 1069s |      19 |  1987007 |   535082 |    14863  46933 |      522 |      477
1072.44/1072.87	c 1072s |      19 |  1987600 |   535282 |    14863  47380 |      522 |      477
1075.03/1075.40	c 1075s |      19 |  1988243 |   535582 |    14863  47685 |      522 |      477
1077.03/1077.48	c 1077s |      19 |  1988697 |   535782 |    14863  47955 |      522 |      477
1079.44/1079.85	c 1079s |      19 |  1989236 |   535882 |    14863  48304 |      522 |      477
1081.64/1082.08	c 1081s |      19 |  1989758 |   535982 |    14863  48643 |      522 |      477
1083.83/1084.22	c 1084s |      19 |  1990430 |   536282 |    14863  48921 |      522 |      477
1086.14/1086.50	c 1086s |      19 |  1990915 |   536482 |    14863  49241 |      522 |      477
1089.54/1089.92	c 1089s |      19 |  1991682 |   536782 |    14863  49735 |      522 |      477
1092.14/1092.53	c 1092s |      19 |  1992315 |   536982 |    14863  50098 |      522 |      477
1094.35/1094.72	c 1094s |      19 |  1992693 |   537082 |    14863  50427 |      522 |      477
1098.03/1098.43	c 1098s |      19 |  1993441 |   537382 |    14863  50948 |      522 |      477
1100.84/1101.24	c 1101s |      19 |  1994126 |   537582 |    14863  51359 |      522 |      477
1103.74/1104.19	c 1104s |      19 |  1994676 |   537782 |    14863  51775 |      522 |      477
1106.03/1106.49	c 1106s |      19 |  1995118 |   537982 |    14863  52099 |      522 |      477
1108.64/1109.03	c 1108s |      19 |  1995672 |   538182 |    14863  52448 |      522 |      477
1111.63/1112.00	c 1111s |      19 |  1996489 |   538482 |    14863  52839 |      522 |      477
1115.53/1115.97	c 1115s |      19 |  1997260 |   538682 |    14863  53424 |      522 |      477
1117.63/1118.06	c 1117s |      19 |  1997641 |   538882 |    14863  53706 |      522 |      477
1120.13/1120.53	c 1120s |      19 |  1998169 |   539082 |    14863  54041 |      522 |      477
1122.23/1122.60	c 1122s |      19 |  1998495 |   539182 |    14863  54338 |      522 |      477
1125.04/1125.47	c 1125s |      19 |  1999035 |   539482 |    14863  54686 |      522 |      477
1127.73/1128.13	c 1127s |      19 |  1999672 |   539682 |    14863  55057 |      522 |      477
1129.83/1130.22	c 1130s |      19 |  2000147 |   539882 |    14863  55318 |      522 |      477
1131.93/1132.33	c 1132s |      19 |  2000641 |   540082 |    14863  55601 |      522 |      477
1134.63/1135.02	c 1134s |      19 |  2001301 |   540382 |    14863  55933 |      522 |      477
1136.82/1137.21	c 1137s |      19 |  2001629 |   540482 |    14863  56226 |      522 |      477
1138.83/1139.29	c 1139s |      19 |  2002287 |   540782 |    14863  56459 |      522 |      477
1141.13/1141.59	c 1141s |      19 |  2002681 |   540882 |    14863  56792 |      522 |      477
1143.43/1143.85	c 1143s |      19 |  2003038 |   540982 |    14863  57130 |      522 |      477
1145.63/1146.04	c 1145s |      19 |  2003493 |   541182 |    14863  57412 |      522 |      477
1148.03/1148.42	c 1148s |      19 |  2004002 |   541382 |    14863  57737 |      522 |      477
1150.33/1150.74	c 1150s |      19 |  2004464 |   541582 |    14863  58030 |      522 |      477
1153.52/1153.98	c 1153s |      19 |  2005039 |   541782 |    14863  58456 |      522 |      477
1156.73/1157.13	c 1156s |      19 |  2005856 |   542082 |    14863  58903 |      522 |      477
1159.13/1159.52	c 1159s |      19 |  2006326 |   542282 |    14863  59237 |      522 |      477
1161.73/1162.14	c 1162s |      19 |  2006775 |   542482 |    14863  59586 |      522 |      477
1164.42/1164.80	c 1164s |      19 |  2007244 |   542682 |    14863  59962 |      522 |      477
1167.02/1167.42	c 1167s |      19 |  2007692 |   542882 |    14863  60332 |      522 |      477
1169.13/1169.56	c 1169s |      19 |  2008111 |   543082 |    14863  60623 |      522 |      477
1171.92/1172.34	c 1172s |      19 |  2008862 |   543382 |    14863  61006 |      522 |      477
1174.22/1174.61	c 1174s |      19 |  2009569 |   543582 |    14863  61322 |      522 |      477
1177.52/1177.95	c 1177s |      19 |  2010317 |   543782 |    14863  61821 |      522 |      477
1179.52/1179.96	c 1179s |      19 |  2010680 |   543982 |    14863  62089 |      522 |      477
1182.02/1182.42	c 1182s |      19 |  2011148 |   544182 |    14863  62437 |      522 |      477
1184.22/1184.69	c 1184s |      19 |  2011781 |   544382 |    14863  62750 |      522 |      477
1188.62/1189.07	c 1188s |      19 |  2012571 |   544682 |    14863  63376 |      522 |      477
1195.62/1196.03	c 1195s |      19 |  2013746 |   544782 |    14863  64482 |      522 |      477
1200.22/1200.65	c 1200s |      19 |  2014612 |   544982 |    14863  65163 |      522 |      477
1204.02/1204.41	c 1204s |      19 |  2015372 |   545082 |    14863  65741 |      522 |      477
1207.22/1207.67	c 1207s |      19 |  2016371 |   545382 |    14863  66220 |      522 |      477
1211.42/1211.83	c 1211s |      19 |  2017041 |   545582 |    14863  66841 |      522 |      477
1216.32/1216.78	c 1216s |      19 |  2017785 |   545782 |    14863  67571 |      522 |      477
1219.62/1220.03	c 1219s |      19 |  2018307 |   545982 |    14863  68042 |      522 |      477
1222.11/1222.56	c 1222s |      19 |  2018696 |   546082 |    14863  68418 |      522 |      477
1224.51/1224.95	c 1224s |      19 |  2019108 |   546182 |    14863  68775 |      522 |      477
1229.21/1229.60	c 1229s |      19 |  2019891 |   546382 |    14863  69455 |      522 |      477
1232.61/1233.07	c 1232s |      19 |  2020415 |   546582 |    14863  69946 |      522 |      477
1236.22/1236.69	c 1236s |      19 |  2020972 |   546782 |    14863  70478 |      522 |      477
1238.32/1238.75	c 1238s |      19 |  2021315 |   546882 |    14863  70783 |      522 |      477
1241.81/1242.21	c 1242s |      19 |  2021826 |   547082 |    14863  71283 |      522 |      477
1245.02/1245.43	c 1245s |      19 |  2022299 |   547282 |    14863  71744 |      522 |      477
1248.31/1248.72	c 1248s |      19 |  2022812 |   547482 |    14863  72218 |      522 |      477
1251.62/1252.01	c 1251s |      19 |  2023445 |   547682 |    14863  72688 |      522 |      477
1254.31/1254.73	c 1254s |      19 |  2023988 |   547782 |    14863  73100 |      522 |      477
1258.31/1258.78	c 1258s |      19 |  2024749 |   547982 |    14863  73682 |      522 |      477
1261.42/1261.81	c 1261s |      19 |  2025369 |   548082 |    14863  74151 |      522 |      477
1263.90/1264.35	c 1264s |      19 |  2025794 |   548182 |    14863  74538 |      522 |      477
1266.20/1266.66	c 1266s |      19 |  2026191 |   548282 |    14863  74884 |      522 |      477
1268.81/1269.26	c 1269s |      19 |  2026699 |   548382 |    14863  75283 |      522 |      477
1272.31/1272.72	c 1272s |      19 |  2027390 |   548582 |    14863  75800 |      522 |      477
1275.30/1275.78	c 1275s |      19 |  2028069 |   548682 |    14863  76248 |      522 |      477
1280.91/1281.37	c 1281s |      19 |  2028979 |   548882 |    14863  77096 |      522 |      477
1283.90/1284.33	c 1284s |      19 |  2029480 |   548982 |    14863  77551 |      522 |      477
1289.20/1289.69	c 1289s |      19 |  2030428 |   549182 |    14863  78360 |      522 |      477
1292.41/1292.80	c 1292s |      19 |  2031073 |   549382 |    14863  78810 |      522 |      477
1294.70/1295.13	c 1294s |      19 |  2031584 |   549582 |    14863  79141 |      522 |      477
1297.00/1297.48	c 1297s |      19 |  2031974 |   549682 |    14863  79490 |      522 |      477
1299.40/1299.89	c 1299s |      19 |  2032513 |   549882 |    14863  79837 |      522 |      477
1303.60/1304.04	c 1303s |      19 |  2033262 |   550082 |    14863  80455 |      522 |      477
1305.80/1306.21	c 1306s |      19 |  2033622 |   550182 |    14863  80759 |      522 |      477
1308.61/1309.08	c 1308s |      19 |  2034189 |   550282 |    14863  81202 |      522 |      477
1313.11/1313.55	c 1313s |      19 |  2035005 |   550482 |    14863  81883 |      522 |      477
1319.00/1319.40	c 1319s |      19 |  2035920 |   550582 |    14863  82780 |      522 |      477
1326.10/1326.54	c 1326s |      19 |  2037030 |   550682 |    14863  83886 |      522 |      477
1329.00/1329.43	c 1329s |      19 |  2037473 |   550782 |    14863  84321 |      522 |      477
1331.60/1332.01	c 1331s |      19 |  2037947 |   550982 |    14863  84683 |      522 |      477
1335.70/1336.11	c 1335s |      19 |  2038675 |   551182 |    14863  85263 |      522 |      477
1339.00/1339.45	c 1339s |      19 |  2039231 |   551382 |    14863  85744 |      522 |      477
1342.50/1342.91	c 1342s |      19 |  2039789 |   551482 |    14863  86264 |      522 |      477
1348.60/1349.01	c 1348s |      19 |  2040741 |   551582 |    14863  87207 |      522 |      477
1352.70/1353.16	c 1353s |      19 |  2041382 |   551682 |    14863  87846 |      522 |      477
1357.90/1358.34	c 1358s |      19 |  2042209 |   551882 |    14863  88620 |      522 |      477
1360.99/1361.45	c 1361s |      19 |  2042700 |   551982 |    14863  89101 |      522 |      477
1363.49/1363.94	c 1363s |      19 |  2043186 |   552082 |    14863  89479 |      522 |      477
1366.10/1366.59	c 1366s |      19 |  2043626 |   552182 |    14863  89876 |      522 |      477
1368.30/1368.77	c 1368s |      19 |  2043996 |   552282 |    14863  90199 |      522 |      477
1370.69/1371.12	c 1370s |      19 |  2044353 |   552382 |    14863  90548 |      522 |      477
1373.09/1373.56	c 1373s |      19 |  2044729 |   552482 |    14863  90914 |      522 |      477
1375.60/1376.02	c 1375s |      19 |  2045095 |   552582 |    14863  91280 |      522 |      477
1378.89/1379.34	c 1379s |      19 |  2045541 |   552882 |    14863  91726 |      522 |      477
1381.30/1381.72	c 1381s |      19 |  2045901 |   552982 |    14863  92076 |      522 |      477
1385.49/1385.97	c 1385s |      19 |  2046544 |   553182 |    14863  92699 |      522 |      477
1389.59/1390.06	c 1389s |      19 |  2047160 |   553382 |    14863  93296 |      522 |      477
1395.38/1395.88	c 1395s |      19 |  2048097 |   553482 |    14863  94202 |      522 |      477
1397.99/1398.42	c 1398s |      19 |  2048469 |   553582 |    14863  94574 |      522 |      477
1400.79/1401.29	c 1401s |      19 |  2048934 |   553682 |    14863  95004 |      522 |      477
1404.59/1405.03	c 1404s |      19 |  2049512 |   553782 |    14863  95570 |      522 |      477
1408.19/1408.69	c 1408s |      19 |  2050095 |   553882 |    14863  96122 |      522 |      477
1411.09/1411.56	c 1411s |      19 |  2050562 |   553982 |    14863  96545 |      522 |      477
1413.09/1413.58	c 1413s |      19 |  2050863 |   554082 |    14863  96838 |      522 |      477
1416.79/1417.28	c 1417s |      19 |  2051434 |   554282 |    14863  97374 |      522 |      477
1420.79/1421.28	c 1421s |      19 |  2052105 |   554482 |    14863  97961 |      522 |      477
1423.09/1423.56	c 1423s |      19 |  2052444 |   554582 |    14863  98300 |      522 |      477
1425.48/1425.94	c 1425s |      19 |  2052795 |   554682 |    14863  98651 |      522 |      477
1428.69/1429.17	c 1429s |      19 |  2053269 |   554882 |    14863  99121 |      522 |      477
1430.89/1431.31	c 1431s |      19 |  2053617 |   554982 |    14863  99433 |      522 |      477
1434.19/1434.69	c 1434s |      19 |  2054098 |   555182 |    14863  99910 |      522 |      477
1436.88/1437.36	c 1437s |      19 |  2054504 |   555382 |    14863 100255 |      522 |      477
1439.88/1440.32	c 1440s |      19 |  2054946 |   555482 |    14863 100692 |      522 |      477
1444.28/1444.74	c 1444s |      19 |  2055610 |   555582 |    14863 101354 |      522 |      477
1446.98/1447.46	c 1447s |      19 |  2056010 |   555682 |    14863 101754 |      522 |      477
1450.08/1450.57	c 1450s |      19 |  2056467 |   555782 |    14863 102210 |      522 |      477
1452.28/1452.78	c 1452s |      19 |  2056790 |   555882 |    14863 102533 |      522 |      477
1455.78/1456.21	c 1456s |      19 |  2057319 |   555982 |    14863 103046 |      522 |      477
1463.18/1463.68	c 1463s |      19 |  2058471 |   556082 |    14863 104191 |      522 |      477
1465.37/1465.85	c 1465s |      19 |  2058807 |   556182 |    14863 104512 |      522 |      477
1467.47/1467.90	c 1467s |      19 |  2059111 |   556282 |    14863 104816 |      522 |      477
1473.48/1473.97	c 1473s |      19 |  2060073 |   556382 |    14863 105741 |      522 |      477
1475.78/1476.28	c 1476s |      19 |  2060423 |   556482 |    14863 106068 |      522 |      477
1479.98/1480.46	c 1480s |      19 |  2061013 |   556682 |    14863 106656 |      522 |      477
1482.28/1482.76	c 1482s |      19 |  2061338 |   556782 |    14863 106972 |      522 |      477
1485.68/1486.13	c 1485s |      19 |  2061846 |   556882 |    14863 107451 |      522 |      477
1489.28/1489.73	c 1489s |      19 |  2062385 |   556982 |    14863 107990 |      522 |      477
1493.17/1493.63	c 1493s |      19 |  2062947 |   557182 |    14863 108552 |      522 |      477
1496.07/1496.57	c 1496s |      19 |  2063373 |   557282 |    14863 108978 |      522 |      477
1498.87/1499.32	c 1499s |      19 |  2063771 |   557382 |    14863 109376 |      522 |      477
1501.17/1501.69	c 1501s |      19 |  2064106 |   557482 |    14863 109711 |      522 |      477
1503.38/1503.88	c 1503s |      19 |  2064420 |   557582 |    14863 110025 |      522 |      477
1507.17/1507.65	c 1507s |      19 |  2064962 |   557782 |    14863 110567 |      522 |      477
1509.27/1509.79	c 1509s |      19 |  2065266 |   557882 |    14863 110871 |      522 |      477
1511.97/1512.48	c 1512s |      19 |  2065663 |   557982 |    14863 111268 |      522 |      477
1515.77/1516.29	c 1516s |      19 |  2066207 |   558182 |    14863 111812 |      522 |      477
1518.37/1518.88	c 1518s |      19 |  2066582 |   558282 |    14863 112187 |      522 |      477
1520.57/1521.00	c 1520s |      19 |  2066885 |   558382 |    14863 112490 |      522 |      477
1522.57/1523.09	c 1522s |      19 |  2067185 |   558482 |    14863 112790 |      522 |      477
1526.37/1526.90	c 1526s |      19 |  2067728 |   558682 |    14863 113333 |      522 |      477
1528.67/1529.11	c 1528s |      19 |  2068050 |   558782 |    14863 113655 |      522 |      477
1530.76/1531.24	c 1531s |      19 |  2068355 |   558882 |    14863 113960 |      522 |      477
1533.08/1533.59	c 1533s |      19 |  2068707 |   558982 |    14863 114304 |      522 |      477
1535.27/1535.80	c 1535s |      19 |  2069025 |   559082 |    14863 114622 |      522 |      477
1538.67/1539.18	c 1539s |      19 |  2069533 |   559182 |    14863 115130 |      522 |      477
1540.88/1541.32	c 1541s |      19 |  2069841 |   559282 |    14863 115438 |      522 |      477
1543.67/1544.11	c 1543s |      19 |  2070247 |   559382 |    14863 115844 |      522 |      477
1548.16/1548.63	c 1548s |      19 |  2070901 |   559582 |    14863 116498 |      522 |      477
1551.27/1551.74	c 1551s |      19 |  2071328 |   559782 |    14863 116925 |      522 |      477
1554.36/1554.87	c 1554s |      19 |  2071774 |   559982 |    14863 117371 |      522 |      477
1556.66/1557.15	c 1557s |      19 |  2072100 |   560082 |    14863 117697 |      522 |      477
1560.16/1560.60	c 1560s |      19 |  2072598 |   560182 |    14863 118195 |      522 |      477
1562.77/1563.23	c 1563s |      19 |  2072984 |   560282 |    14863 118581 |      522 |      477
1565.17/1565.67	c 1565s |      19 |  2073333 |   560382 |    14863 118930 |      522 |      477
1570.47/1570.92	c 1570s |      19 |  2074102 |   560582 |    14863 119699 |      522 |      477
1572.96/1573.44	c 1573s |      19 |  2074467 |   560682 |    14863 120064 |      522 |      477
1574.97/1575.46	c 1575s |      19 |  2074755 |   560782 |    14863 120352 |      522 |      477
1580.16/1580.64	c 1580s |      19 |  2075504 |   560982 |    14863 121101 |      522 |      477
1584.56/1585.00	c 1584s |      19 |  2076152 |   561082 |    14863 121749 |      522 |      477
1587.36/1587.89	c 1587s |      19 |  2076581 |   561182 |    14863 122178 |      522 |      477
1590.76/1591.26	c 1591s |      19 |  2077076 |   561282 |    14863 122664 |      522 |      477
1593.06/1593.53	c 1593s |      19 |  2077397 |   561382 |    14863 122985 |      522 |      477
1599.46/1599.96	c 1599s |      19 |  2078341 |   561482 |    14863 123929 |      522 |      477
1604.66/1605.17	c 1605s |      19 |  2079114 |   561682 |    14863 124678 |      522 |      477
1606.87/1607.38	c 1607s |      19 |  2079452 |   561782 |    14863 125000 |      522 |      477
1610.76/1611.20	c 1611s |      19 |  2079991 |   561982 |    14863 125534 |      522 |      477
1613.25/1613.71	c 1613s |      19 |  2080357 |   562082 |    14863 125900 |      522 |      477
1615.46/1615.92	c 1615s |      19 |  2080672 |   562182 |    14863 126215 |      522 |      477
1620.15/1620.65	c 1620s |      19 |  2081373 |   562382 |    14863 126895 |      522 |      477
1623.46/1623.97	c 1623s |      19 |  2081837 |   562582 |    14863 127359 |      522 |      477
1625.75/1626.20	c 1626s |      19 |  2082159 |   562682 |    14863 127681 |      522 |      477
1628.45/1628.95	c 1628s |      19 |  2082541 |   562782 |    14863 128063 |      522 |      477
1630.75/1631.25	c 1631s |      19 |  2082869 |   562882 |    14863 128391 |      522 |      477
1634.26/1634.73	c 1634s |      19 |  2083346 |   563082 |    14863 128868 |      522 |      477
1637.05/1637.51	c 1637s |      19 |  2083722 |   563282 |    14863 129244 |      522 |      477
1640.65/1641.19	c 1641s |      19 |  2084242 |   563482 |    14863 129763 |      522 |      477
1643.85/1644.38	c 1644s |      19 |  2084687 |   563682 |    14863 130205 |      522 |      477
1646.95/1647.41	c 1647s |      19 |  2085106 |   563782 |    14863 130624 |      522 |      477
1649.76/1650.26	c 1650s |      19 |  2085513 |   563882 |    14863 131031 |      522 |      477
1652.15/1652.66	c 1652s |      19 |  2085858 |   563982 |    14863 131376 |      522 |      477
1655.65/1656.15	c 1656s |      19 |  2086301 |   564182 |    14863 131819 |      522 |      477
1658.95/1659.41	c 1659s |      19 |  2086777 |   564282 |    14863 132295 |      522 |      477
1661.55/1662.05	c 1661s |      19 |  2087141 |   564382 |    14863 132659 |      522 |      477
1664.65/1665.11	c 1664s |      19 |  2087576 |   564482 |    14863 133094 |      522 |      477
1669.24/1669.71	c 1669s |      19 |  2088246 |   564582 |    14863 133764 |      522 |      477
1671.35/1671.87	c 1671s |      19 |  2088549 |   564682 |    14863 134067 |      522 |      477
1673.75/1674.30	c 1674s |      19 |  2088890 |   564782 |    14863 134408 |      522 |      477
1676.45/1676.93	c 1676s |      19 |  2089244 |   564982 |    14863 134762 |      522 |      477
1679.05/1679.54	c 1679s |      19 |  2089603 |   565082 |    14863 135121 |      522 |      477
1681.75/1682.26	c 1682s |      19 |  2089978 |   565182 |    14863 135496 |      522 |      477
1685.54/1686.02	c 1685s |      19 |  2090525 |   565282 |    14863 136043 |      522 |      477
1688.65/1689.14	c 1688s |      19 |  2090981 |   565382 |    14863 136499 |      522 |      477
1690.85/1691.34	c 1691s |      19 |  2091292 |   565482 |    14863 136810 |      522 |      477
1693.75/1694.28	c 1694s |      19 |  2091687 |   565682 |    14863 137205 |      522 |      477
1697.95/1698.48	c 1698s |      19 |  2092280 |   565882 |    14863 137798 |      522 |      477
1701.74/1702.25	c 1702s |      19 |  2092803 |   566082 |    14863 138321 |      522 |      477
1704.14/1704.61	c 1704s |      19 |  2093133 |   566182 |    14863 138651 |      522 |      477
1706.94/1707.46	c 1707s |      19 |  2093541 |   566282 |    14863 139059 |      522 |      477
1709.05/1709.55	c 1709s |      19 |  2093835 |   566382 |    14863 139353 |      522 |      477
1711.14/1711.62	c 1711s |      19 |  2094122 |   566482 |    14863 139640 |      522 |      477
1714.84/1715.31	c 1715s |      19 |  2094641 |   566682 |    14863 140159 |      522 |      477
1717.34/1717.85	c 1717s |      19 |  2094996 |   566782 |    14863 140514 |      522 |      477
1719.44/1719.98	c 1719s |      19 |  2095276 |   566882 |    14863 140794 |      522 |      477
1721.64/1722.15	c 1722s |      19 |  2095585 |   566982 |    14863 141103 |      522 |      477
1723.84/1724.34	c 1724s |      19 |  2095895 |   567082 |    14863 141413 |      522 |      477
1727.54/1728.02	c 1727s |      19 |  2096402 |   567282 |    14863 141920 |      522 |      477
1730.23/1730.74	c 1730s |      19 |  2096773 |   567482 |    14863 142291 |      522 |      477
1734.14/1734.64	c 1734s |      19 |  2097322 |   567682 |    14863 142840 |      522 |      477
1737.64/1738.20	c 1738s |      19 |  2097827 |   567882 |    14863 143345 |      522 |      477
1739.94/1740.48	c 1740s |      19 |  2098151 |   567982 |    14863 143669 |      522 |      477
1743.24/1743.76	c 1743s |      19 |  2098608 |   568182 |    14863 144126 |      522 |      477
1747.14/1747.66	c 1747s |      19 |  2099147 |   568382 |    14863 144665 |      522 |      477
1750.14/1750.61	c 1750s |      19 |  2099542 |   568482 |    14863 145060 |      522 |      477
1752.53/1753.04	c 1752s |      19 |  2099865 |   568582 |    14863 145383 |      522 |      477
1754.53/1755.05	c 1754s |      19 |  2100132 |   568682 |    14863 145650 |      522 |      477
1758.33/1758.83	c 1758s |      19 |  2100643 |   568882 |    14863 146161 |      522 |      477
1761.43/1761.90	c 1761s |      19 |  2101063 |   569082 |    14863 146581 |      522 |      477
1764.83/1765.32	c 1765s |      19 |  2101556 |   569182 |    14863 147074 |      522 |      477
1768.63/1769.19	c 1769s |      19 |  2102086 |   569382 |    14863 147604 |      522 |      477
1772.03/1772.55	c 1772s |      19 |  2102529 |   569582 |    14863 148047 |      522 |      477
1774.33/1774.81	c 1774s |      19 |  2102844 |   569682 |    14863 148362 |      522 |      477
1777.34/1777.89	c 1777s |      19 |  2103273 |   569882 |    14863 148791 |      522 |      477
1780.03/1780.59	c 1780s |      19 |  2103650 |   569982 |    14863 149168 |      522 |      477
1783.23/1783.70	c 1783s |      19 |  2104080 |   570082 |    14863 149598 |      522 |      477
1786.53/1787.06	c 1786s |      19 |  2104529 |   570282 |    14863 150047 |      522 |      477
1789.73/1790.23	c 1790s |      19 |  2104962 |   570482 |    14863 150480 |      522 |      477
1792.73/1793.24	c 1793s |      19 |  2105366 |   570682 |    14863 150884 |      522 |      477

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

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.14 2.12 3/179 16593
/proc/meminfo: memFree=29488760/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 2519 0 0 0 0 0 0 0 20 0 4 0 110656856 694611968 3391 33554432000 4194304 16246674 140733341720976 140733341720400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 170095 3399 441 2943 0 166989 0
[pid=16593/tid=16594] ppid=16590 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 712437760 3458 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 715583488 3474 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 720826368 3491 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.13 2.14 2.12 3/179 16593
/proc/meminfo: memFree=29488760/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 24113 0 0 0 5 3 0 0 20 0 4 0 110656856 1249447936 24923 33554432000 4194304 16246674 140733341720976 140733341720288 5740329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 305041 24930 833 2943 0 301935 0
[pid=16593/tid=16594] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 24935 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 24941 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 24946 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200541 s]
/proc/loadavg: 2.13 2.14 2.12 3/179 16593
/proc/meminfo: memFree=29488760/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1220164 CPUtime=0.18 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 43716 0 0 0 13 5 0 0 20 0 4 0 110656856 1249447936 44526 33554432000 4194304 16246674 140733341720976 140733341702848 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 305041 44533 876 2943 0 301935 0
[pid=16593/tid=16594] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 44537 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 44541 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 44547 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.300522 s]
/proc/loadavg: 2.13 2.14 2.12 3/179 16593
/proc/meminfo: memFree=29488760/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1220164 CPUtime=0.28 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 68179 0 0 0 19 9 0 0 20 0 4 0 110656856 1249447936 68988 33554432000 4194304 16246674 140733341720976 140733341702848 6011022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 305041 69005 876 2943 0 301935 0
[pid=16593/tid=16594] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 69015 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 69024 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 69035 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.70041 s]
/proc/loadavg: 2.13 2.14 2.12 3/179 16593
/proc/meminfo: memFree=29488760/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 156145 0 0 0 47 22 0 0 20 0 4 0 110656856 1249447936 156954 33554432000 4194304 16246674 140733341720976 140733341702848 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 305041 156970 876 2943 0 301935 0
[pid=16593/tid=16594] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 156981 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 156992 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1249447936 157002 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50043 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16597
/proc/meminfo: memFree=28471940/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 266231 0 0 0 112 37 0 0 20 0 4 0 110656856 1332285440 267040 33554432000 4194304 16246674 140733341720976 140733341720288 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 325265 267040 879 2943 0 322159 0
[pid=16593/tid=16594] ppid=16590 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1332285440 267040 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1332285440 267040 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1332285440 267040 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10037 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16597
/proc/meminfo: memFree=28415024/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 267983 0 0 0 272 37 0 0 20 0 4 0 110656856 1338576896 268792 33554432000 4194304 16246674 140733341720976 140733341703976 13962128 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 326801 268792 884 2943 0 323695 0
[pid=16593/tid=16594] ppid=16590 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1338576896 268792 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1338576896 268792 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1338576896 268792 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.12 2.14 2.12 3/183 16597
/proc/meminfo: memFree=28414440/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 267983 0 0 0 592 37 0 0 20 0 4 0 110656856 1338576896 268792 33554432000 4194304 16246674 140733341720976 140733341702848 13950711 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 326801 268792 884 2943 0 323695 0
[pid=16593/tid=16594] ppid=16590 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1338576896 268792 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1338576896 268792 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1338576896 268792 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.11 2.13 2.12 4/183 16597
/proc/meminfo: memFree=28413232/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 268241 0 0 0 1232 37 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140733341702848 5523515 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327057 269050 886 2943 0 323951 0
[pid=16593/tid=16594] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5076 s]
/proc/loadavg: 2.15 2.14 2.12 3/183 16597
/proc/meminfo: memFree=28413372/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 268241 0 0 0 2512 37 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140733341702848 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327057 269050 886 2943 0 323951 0
[pid=16593/tid=16594] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.10 2.13 2.12 3/183 16597
/proc/meminfo: memFree=28413384/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 268241 0 0 0 5071 37 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140733341702848 5717656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327057 269050 886 2943 0 323951 0
[pid=16593/tid=16594] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.08 2.12 2.11 3/183 16598
/proc/meminfo: memFree=28413272/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 268241 0 0 0 10190 38 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140733341702848 12483632 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327057 269050 886 2943 0 323951 0
[pid=16593/tid=16594] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1339625472 269050 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.07 2.14 2.11 3/183 16676
/proc/meminfo: memFree=28425288/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1301.91 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 130093 98 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 5653180 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.18 2.14 2.11 3/183 16677
/proc/meminfo: memFree=28425328/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1361.89 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 136085 104 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.10 2.13 2.10 3/183 16678
/proc/meminfo: memFree=28425244/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1421.88 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 142078 110 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 13818268 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.16 2.15 2.11 3/183 16680
/proc/meminfo: memFree=28424932/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1481.88 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 148072 116 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 13818360 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1311300

[startup+1542.3 s]
/proc/loadavg: 2.12 2.13 2.10 3/183 16681
/proc/meminfo: memFree=28425104/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1541.88 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 154066 122 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 13191802 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/184 16685
/proc/meminfo: memFree=28424952/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1601.86 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 160057 129 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1311300

[startup+1662.31 s]
/proc/loadavg: 2.24 2.16 2.10 3/183 16686
/proc/meminfo: memFree=28424916/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1661.86 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 166051 135 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 13966199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.24 2.17 2.11 3/183 16687
/proc/meminfo: memFree=28425360/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1721.84 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 172043 141 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 13818360 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.12 2.15 2.10 3/183 16689
/proc/meminfo: memFree=28425120/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1781.83 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 178037 146 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.14 2.10 3/183 16690
/proc/meminfo: memFree=28425200/32872528 swapFree=12208/1156848
[pid=16593] ppid=16590 vsize=1311300 CPUtime=1800.03 cores=1,3,5,7
/proc/16593/stat : 16593 (toysat) R 16590 16593 15571 0 -1 4202496 269375 0 0 0 179855 148 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140733341720152 13949825 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16593/statm: 327825 269821 886 2943 0 324719 0
[pid=16593/tid=16594] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16594/stat : 16594 (toysat) S 16590 16593 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592193449200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16593/tid=16595] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16595/stat : 16595 (toysat) S 16590 16593 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592182959344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16593/tid=16596] ppid=16590 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16593/task/16596/stat : 16596 (toysat) S 16590 16593 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110656856 1342771200 269821 33554432000 4194304 16246674 140733341720976 140592063442096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1311300

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16593 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.48277
maximum resident set size= 1079284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269375
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= 380
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83596 second user time and 9.77151 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 10:13:43
IDJOB=4078875
IDBENCH=90217
IDSOLVER=2542
FILE ID=node114/4078875-1465287223
RUNJOBID= node114-1465276339-15588
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_K65.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078875-1465287223/watcher-4078875-1465287223 -o /tmp/evaluation-result-4078875-1465287223/solver-4078875-1465287223 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078875-1465287223.opb

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

MD5SUM BENCH= a4b90b74bc3d4958439bc17b9ac2ee03
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:        29489956 kB
Buffers:          146504 kB
Cached:           250224 kB
SwapCached:         1696 kB
Active:          1242092 kB
Inactive:         247420 kB
Active(anon):    1093868 kB
Inactive(anon):     1252 kB
Active(file):     148224 kB
Inactive(file):   246168 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2255436 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             602424 kB
SReclaimable:      46528 kB
SUnreclaim:       555896 kB
KernelStack:        1520 kB
PageTables:         8440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2392468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2232320 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:43:44