Trace number 4078905

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K156.opb
MD5SUMb01d5fef61cfdf78caaec08ee0d21bae
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18564
Total number of constraints18878
Number of constraints which are clauses18722
Number of constraints which are cardinality constraints (but not clauses)156
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint156
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 157
Number of bits of the biggest sum of numbers8
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-07T09:46:26+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-4078905-1465285586.opb"]
0.00/0.01	c use --random-gen="4266877156 2169940054 948454264 206378739 2153957801 3926042185 3108883061 3052231550 1685828176 2283170819 3930277542 3561741511 3850909769 943848041 1462499644 704090869 1615169204 2295210767 3517286677 495538654 2811095988 1994834179 4174719092 4225483819 507354392 1805104618 403021058 398804157 820499548 29947049 1133562286 2384378795 4106987761 1922042166 1043051798 2746927727 2343277514 1990640892 2070047348 3377626336 3332219077 859263116 3103519331 2606978782 2327487290 986639567 396735350 2584937350 3685764268 220115583 3048252971 1744190447 544565403 2996153708 2429672930 3377708282 2013481786 2882516399 2349910236 1955702943 2665910523 845923188 1966920125 2559157058 46112582 3097212096 656542892 2828871948 1233412666 2113614047 2884275878 196290167 1186703462 656411296 2657764438 1876640910 1743414950 460348342 3966434024 3256277544 650370491 1015149322 1483953788 4189324646 4152895770 875323568 2729913399 142369406 2607275904 2121479644 1996549236 3113427433 3816039684 3427239852 1293411628 3280585136 1905100126 525125515 134277534 2090429633 22041836 711263068 804654025 3803696557 1739928739 3929368984 1572084141 3381021948 2873401167 781538366 3247292466 3761616773 12342236 635340857 1681356789 2052927076 3676895277 1197817939 3714754516 987483398 2705234379 3195043100 1115956292 1410101463 1676010081 277615951 3557808922 3809969370 3361870985 2057953254 2468622861 2233898179 4289040491 3079165008 710231368 2112063437 2140359462 3973384777 647188619 2112809824 2983236892 2347491209 1602485159 1321341677 94299435 3828174089 2926760011 2475923255 710519141 4248078742 1686387646 2104068129 3153126145 1300759967 2112806367 96761279 905088867 4266578250 2171159418 2156341095 61600823 135419470 2300486226 4063744472 4025107203 2853221471 1524984442 3428650187 397207140 1293991716 731389823 1131931669 1825440409 1752592017 2903175418 2470710815 1702693300 1052042648 741749364 1754848228 458286141 3910484203 349897631 3551643827 3236155047 2126878577 3364772809 2406508342 3220444756 2271278691 2157254371 3876734974 3018579577 3324858249 2080560390 329541925 4151798400 3039964608 301276429 2224792004 3424282140 2917601344 3092502823 924040633 3551776230 3485616170 2907611159 3878434224 874488737 1471445104 432642272 2078609735 1331321488 1800744095 2738027551 1565378874 38843411 3884186219 1037362393 4150161454 3353754882 2694238459 1170813911 771364097 1737909304 1753831995 562858887 1865297027 93855514 958419493 2741831832 4231432148 9726953 3682885397 2318577563 1372246726 3130397205 2296062873 3772771418 1971871883 2573310404 3102796744 1970754081 1496375522 1102155643 1833111141 442844060 4037048978 4019165415 3976618244 654657315 2275503349 184427894 1650848108 4083273919 1642193313 255 362436" option to reproduce the execution
0.19/0.27	c #vars 18564
0.19/0.27	c #constraints 18878
0.59/0.66	c Solving starts ...
0.69/0.71	c ============================[ Search Statistics ]============================
0.69/0.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.71	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.71	c =============================================================================
0.69/0.71	c  0.0s |       0 |        0 |        0 |    12480      0 |      742 |        0
0.99/1.04	c  0.3s |       1 |     3700 |      100 |    12480      0 |      743 |      634
1.39/1.48	c  0.8s |       2 |    11311 |      250 |    13729      0 |      743 |      634
1.89/1.95	c  1.2s |       3 |    15085 |      475 |    15102      0 |      743 |      634
2.98/3.02	c  2.3s |       4 |    32336 |      813 |    16613      0 |      743 |      634
4.28/4.32	c  3.6s |       5 |    50822 |     1320 |    18275      0 |      744 |      635
6.28/6.30	c  5.6s |       6 |    85845 |     2081 |    22114      0 |      744 |      635
8.28/8.31	c  7.6s |       6 |   117334 |     2781 |    22114      0 |      744 |      635
9.48/9.59	c  8.9s |       7 |   132087 |     3223 |    24326      0 |      745 |      636
11.68/11.71	c 11.0s |       7 |   159821 |     4023 |    24326      0 |      747 |      638
13.68/13.79	c 13.1s |       7 |   186427 |     4923 |    26759      0 |      747 |      638
13.78/13.82	c 13.1s |       8 |   186791 |     4936 |    26759      0 |      747 |      638
16.18/16.29	c 15.6s |       8 |   203239 |     5736 |    26759      0 |      748 |      639
18.39/18.40	c 17.7s |       8 |   204741 |     6236 |    26759      0 |      748 |      639
20.69/20.76	c 20.0s |       8 |   206101 |     6736 |    26759      0 |      748 |      639
22.89/22.95	c 22.2s |       8 |   215904 |     7236 |    26759      0 |      748 |      639
23.59/23.67	c 23.0s |       9 |   220059 |     7506 |    29435      0 |      748 |      639
25.89/25.96	c 25.2s |       9 |   250209 |     8306 |    29435      0 |      749 |      640
27.89/27.97	c 27.3s |       9 |   276524 |     8906 |    29435      0 |      751 |      642
29.99/30.04	c 29.3s |       9 |   299001 |     9606 |    29435      0 |      751 |      642
32.19/32.25	c 31.5s |       9 |   336174 |    10106 |    29435      0 |      752 |      643
34.39/34.46	c 33.7s |       9 |   353864 |    10806 |    29435      0 |      752 |      643
35.49/35.57	c 34.9s |      10 |   358671 |    11361 |    32379      0 |      752 |      643
37.69/37.70	c 37.0s |      10 |   380921 |    12061 |    32379      0 |      752 |      643
39.69/39.74	c 39.0s |      10 |   398590 |    12761 |    32379      0 |      752 |      643
41.89/41.97	c 41.3s |      10 |   424039 |    13561 |    32379      0 |      752 |      643
44.09/44.19	c 43.5s |      10 |   455484 |    14161 |    32379      0 |      752 |      643
46.38/46.47	c 45.8s |      10 |   486494 |    14861 |    32379      0 |      752 |      643
48.39/48.50	c 47.8s |      10 |   501783 |    15561 |    32379      0 |      752 |      643
51.28/51.34	c 50.6s |      10 |   529122 |    16161 |    32379      0 |      755 |      646
53.28/53.38	c 52.7s |      10 |   556186 |    16861 |    32379      0 |      755 |      646
53.89/54.00	c 53.3s |      11 |   559282 |    17144 |    35617      0 |      755 |      646
56.28/56.38	c 55.7s |      11 |   571242 |    17844 |    35617      0 |      755 |      646
58.48/58.57	c 57.9s |      11 |   598131 |    18544 |    35617      0 |      755 |      646
60.78/60.84	c 60.1s |      11 |   617426 |    19344 |    35617      0 |      755 |      646
62.88/62.91	c 62.2s |      11 |   624481 |    19744 |    35617      0 |      757 |      648
64.99/65.01	c 64.3s |      11 |   640737 |    20344 |    35617      0 |      757 |      648
67.18/67.29	c 66.6s |      11 |   665047 |    21044 |    35617      0 |      757 |      648
69.28/69.34	c 68.6s |      11 |   685289 |    21644 |    35617      0 |      757 |      648
71.38/71.49	c 70.8s |      11 |   712486 |    22244 |    35617      0 |      757 |      648
73.68/73.79	c 73.1s |      11 |   727822 |    23044 |    35617      0 |      757 |      648
75.88/75.98	c 75.3s |      11 |   754533 |    23544 |    35617      0 |      758 |      649
78.18/78.24	c 77.5s |      11 |   777306 |    24144 |    35617      0 |      759 |      650
80.38/80.42	c 79.7s |      11 |   798945 |    24844 |    35617      0 |      759 |      650
82.77/82.85	c 82.1s |      11 |   827727 |    25444 |    35617      0 |      759 |      650
84.37/84.45	c 83.7s |      12 |   847354 |    25819 |    39179      0 |      759 |      650
86.98/87.01	c 86.3s |      12 |   868892 |    26419 |    39179      0 |      759 |      650
89.37/89.46	c 88.7s |      12 |   894892 |    27119 |    39179      0 |      759 |      650
91.77/91.82	c 91.1s |      12 |   910714 |    27619 |    39179      0 |      760 |      651
93.87/93.95	c 93.2s |      12 |   936578 |    28119 |    39179      0 |      760 |      651
96.67/96.75	c 96.0s |      12 |   962454 |    28719 |    39179      0 |      761 |      652
98.77/98.80	c 98.1s |      12 |   985697 |    29219 |    39179      0 |      761 |      652
101.07/101.17	c  100s |      12 |  1009535 |    29919 |    39179      0 |      761 |      652
103.17/103.28	c  102s |      12 |  1032273 |    30419 |    39179      0 |      761 |      652
105.58/105.70	c  104s |      12 |  1044630 |    31019 |    39179      0 |      761 |      652
107.97/108.09	c  107s |      12 |  1057039 |    31719 |    39179      0 |      761 |      652
110.17/110.20	c  109s |      12 |  1059961 |    32219 |    39179      0 |      761 |      652
112.87/112.90	c  112s |      12 |  1079966 |    32919 |    39179      0 |      762 |      653
115.07/115.17	c  114s |      12 |  1086292 |    33519 |    39179      0 |      762 |      653
117.37/117.41	c  116s |      12 |  1109162 |    34119 |    39179      0 |      762 |      653
119.57/119.61	c  118s |      12 |  1132074 |    34619 |    39179      0 |      762 |      653
121.57/121.63	c  120s |      12 |  1149853 |    35119 |    39179      0 |      762 |      653
124.17/124.22	c  123s |      12 |  1168544 |    35619 |    39179      0 |      763 |      654
126.26/126.33	c  125s |      12 |  1173652 |    36019 |    39179      0 |      763 |      654
128.46/128.53	c  127s |      12 |  1186552 |    36519 |    39179      0 |      763 |      654
130.66/130.71	c  129s |      12 |  1211500 |    37119 |    39179      0 |      763 |      654
132.76/132.89	c  132s |      12 |  1223937 |    37619 |    39179      0 |      763 |      654
135.06/135.12	c  134s |      12 |  1246137 |    38119 |    39179      0 |      763 |      654
137.47/137.52	c  136s |      12 |  1254967 |    38719 |    43097      0 |      763 |      654
138.36/138.43	c  137s |      13 |  1255177 |    38832 |    43097      0 |      763 |      654
140.46/140.52	c  139s |      13 |  1271890 |    39232 |    43097      0 |      763 |      654
142.46/142.54	c  141s |      13 |  1288118 |    39832 |    43097      0 |      763 |      654
144.47/144.55	c  143s |      13 |  1301275 |    40332 |    43097      0 |      763 |      654
146.97/147.09	c  146s |      13 |  1321025 |    40732 |    43097      0 |      764 |      655
149.68/149.74	c  149s |      13 |  1343955 |    41232 |    43097      0 |      765 |      656
151.67/151.79	c  151s |      13 |  1361547 |    41732 |    43097      0 |      765 |      656
153.87/153.93	c  153s |      13 |  1374264 |    42332 |    43097      0 |      765 |      656
155.97/156.01	c  155s |      13 |  1392001 |    42832 |    43097      0 |      765 |      656
157.97/158.04	c  157s |      13 |  1413653 |    43232 |    43097      0 |      765 |      656
159.97/160.08	c  159s |      13 |  1435210 |    43732 |    43097      0 |      765 |      656
162.07/162.15	c  161s |      13 |  1446699 |    44432 |    43097      0 |      765 |      656
164.07/164.18	c  163s |      13 |  1457979 |    44932 |    43097      0 |      765 |      656
166.47/166.55	c  165s |      13 |  1468811 |    45532 |    43097      0 |      765 |      656
169.07/169.11	c  168s |      13 |  1488473 |    46232 |    43097      0 |      765 |      656
171.27/171.33	c  170s |      13 |  1497001 |    46732 |    43097      0 |      765 |      656
174.47/174.52	c  173s |      13 |  1519539 |    47332 |    43097      1 |      765 |      656
176.47/176.54	c  175s |      13 |  1536732 |    47932 |    43097      1 |      765 |      656
178.47/178.55	c  177s |      13 |  1556098 |    48532 |    43097      1 |      765 |      656
180.67/180.77	c  180s |      13 |  1570806 |    49232 |    43097      1 |      765 |      656
182.67/182.78	c  182s |      13 |  1580941 |    49832 |    43097      1 |      765 |      656
184.66/184.79	c  184s |      13 |  1594727 |    50432 |    43097      1 |      765 |      656
186.86/186.90	c  186s |      13 |  1599892 |    51032 |    43097      1 |      765 |      656
189.06/189.18	c  188s |      13 |  1606688 |    51532 |    43097      1 |      765 |      656
191.56/191.67	c  190s |      13 |  1631176 |    52132 |    43097      1 |      765 |      656
193.76/193.81	c  193s |      13 |  1648146 |    52632 |    43097      1 |      765 |      656
195.87/195.92	c  195s |      13 |  1661232 |    53132 |    43097      1 |      765 |      656
197.97/198.06	c  197s |      13 |  1676424 |    53832 |    43097      1 |      765 |      656
200.36/200.44	c  199s |      13 |  1686094 |    54532 |    43097      1 |      765 |      656
202.37/202.50	c  201s |      13 |  1698815 |    55032 |    43097      1 |      765 |      656
204.57/204.64	c  203s |      13 |  1711440 |    55532 |    43097      1 |      765 |      656
206.56/206.64	c  205s |      13 |  1721956 |    56032 |    43097      1 |      765 |      656
208.97/209.02	c  208s |      13 |  1737448 |    56432 |    43097      1 |      765 |      656
211.36/211.42	c  210s |      13 |  1749323 |    57032 |    43097      1 |      765 |      656
213.36/213.46	c  212s |      13 |  1766080 |    57532 |    43097      1 |      765 |      656
215.56/215.62	c  214s |      13 |  1781069 |    58132 |    47407      1 |      765 |      656
216.46/216.56	c  215s |      14 |  1788646 |    58352 |    47407      1 |      765 |      656
218.56/218.62	c  217s |      14 |  1806400 |    58652 |    47407      1 |      765 |      656
220.96/221.09	c  220s |      14 |  1823396 |    59152 |    47407      1 |      766 |      657
223.56/223.62	c  222s |      14 |  1846221 |    59552 |    47407      1 |      767 |      658
225.75/225.84	c  225s |      14 |  1867647 |    60052 |    47407      1 |      767 |      658
228.05/228.13	c  227s |      14 |  1887214 |    60552 |    47407      1 |      767 |      658
230.15/230.29	c  229s |      14 |  1899645 |    60952 |    47407      1 |      768 |      659
232.45/232.54	c  231s |      14 |  1912851 |    61452 |    47407      1 |      768 |      659
234.85/234.90	c  234s |      14 |  1929076 |    61852 |    47407      1 |      769 |      660
237.05/237.15	c  236s |      14 |  1949013 |    62352 |    47407      1 |      769 |      660
239.15/239.27	c  238s |      14 |  1970409 |    62752 |    47407      1 |      769 |      660
241.35/241.48	c  240s |      14 |  1981035 |    63352 |    47407      1 |      769 |      660
243.85/243.90	c  243s |      14 |  2001810 |    63952 |    47407      1 |      769 |      660
246.36/246.42	c  245s |      14 |  2023235 |    64552 |    47407      1 |      769 |      660
248.75/248.84	c  248s |      14 |  2047242 |    65052 |    47407      1 |      769 |      660
250.76/250.85	c  250s |      14 |  2058360 |    65552 |    47407      1 |      769 |      660
253.06/253.15	c  252s |      14 |  2069017 |    65952 |    47407      1 |      769 |      660
255.16/255.28	c  254s |      14 |  2085019 |    66452 |    47407      1 |      769 |      660
257.36/257.42	c  256s |      14 |  2098955 |    66952 |    47407      1 |      769 |      660
259.45/259.51	c  258s |      14 |  2112545 |    67452 |    47407      1 |      769 |      660
261.45/261.54	c  260s |      14 |  2128775 |    67952 |    47407      1 |      769 |      660
263.95/264.03	c  263s |      14 |  2143924 |    68552 |    47407      1 |      769 |      660
266.35/266.41	c  265s |      14 |  2157193 |    69152 |    47407      1 |      769 |      660
268.35/268.42	c  267s |      14 |  2173013 |    69552 |    47407      1 |      769 |      660
270.75/270.85	c  270s |      14 |  2190451 |    70152 |    47407      1 |      769 |      660
272.85/272.92	c  272s |      14 |  2202129 |    70652 |    47407      1 |      769 |      660
274.85/274.94	c  274s |      14 |  2215561 |    71052 |    47407      1 |      769 |      660
276.95/277.06	c  276s |      14 |  2222225 |    71452 |    47407      1 |      769 |      660
278.94/279.09	c  278s |      14 |  2234202 |    71752 |    47407      1 |      769 |      660
281.34/281.43	c  280s |      14 |  2251693 |    72252 |    47407      1 |      769 |      660
283.34/283.45	c  282s |      14 |  2268553 |    72752 |    47407      1 |      769 |      660
285.44/285.50	c  284s |      14 |  2278070 |    73152 |    47407      1 |      769 |      660
288.54/288.60	c  287s |      14 |  2292576 |    73652 |    47407      2 |      769 |      660
290.74/290.87	c  290s |      14 |  2303763 |    74352 |    47407      2 |      769 |      660
292.94/293.00	c  292s |      14 |  2313977 |    74952 |    47407      2 |      769 |      660
295.04/295.13	c  294s |      14 |  2322773 |    75552 |    47407      2 |      769 |      660
297.24/297.37	c  296s |      14 |  2343514 |    76052 |    47407      2 |      769 |      660
299.54/299.67	c  298s |      14 |  2370108 |    76552 |    47407      2 |      769 |      660
301.94/302.07	c  301s |      14 |  2393549 |    77152 |    47407      2 |      769 |      660
304.24/304.37	c  303s |      14 |  2409100 |    77852 |    47407      2 |      769 |      660
306.64/306.75	c  306s |      14 |  2426726 |    78552 |    47407      2 |      769 |      660
309.05/309.14	c  308s |      14 |  2450397 |    79252 |    47407      2 |      769 |      660
311.25/311.34	c  310s |      14 |  2467497 |    79752 |    47407      2 |      770 |      661
313.45/313.57	c  312s |      14 |  2479480 |    80252 |    47407      2 |      770 |      661
315.84/315.97	c  315s |      14 |  2483557 |    80852 |    47407      2 |      770 |      661
318.04/318.12	c  317s |      14 |  2487588 |    81452 |    47407      2 |      770 |      661
320.14/320.20	c  319s |      14 |  2491800 |    81952 |    47407      2 |      770 |      661
322.44/322.55	c  321s |      14 |  2502775 |    82452 |    47407      2 |      770 |      661
324.44/324.58	c  323s |      14 |  2519433 |    82952 |    47407      2 |      770 |      661
326.54/326.62	c  325s |      14 |  2537428 |    83452 |    47407      2 |      770 |      661
329.04/329.14	c  328s |      14 |  2556337 |    84052 |    47407      2 |      770 |      661
331.43/331.53	c  330s |      14 |  2577981 |    84752 |    47407      2 |      770 |      661
333.43/333.55	c  332s |      14 |  2590589 |    85252 |    47407      2 |      770 |      661
335.63/335.70	c  334s |      14 |  2601720 |    85852 |    47407      2 |      770 |      661
338.03/338.10	c  337s |      14 |  2624275 |    86252 |    47407      2 |      771 |      662
340.33/340.40	c  339s |      14 |  2642447 |    86752 |    47407      2 |      771 |      662
342.43/342.51	c  341s |      14 |  2654804 |    87252 |    52148      2 |      771 |      662
344.53/344.61	c  343s |      15 |  2675177 |    87632 |    52148      2 |      771 |      662
347.03/347.15	c  346s |      15 |  2685570 |    88132 |    52148      2 |      771 |      662
349.03/349.18	c  348s |      15 |  2690659 |    88632 |    52148      2 |      771 |      662
351.33/351.41	c  350s |      15 |  2708061 |    89032 |    52148      2 |      771 |      662
353.53/353.64	c  352s |      15 |  2722320 |    89532 |    52148      2 |      771 |      662
355.63/355.76	c  355s |      15 |  2735213 |    89932 |    52148      2 |      771 |      662
357.73/357.89	c  357s |      15 |  2738686 |    90232 |    52148      2 |      771 |      662
359.93/360.09	c  359s |      15 |  2754114 |    90732 |    52148      2 |      771 |      662
362.23/362.35	c  361s |      15 |  2767669 |    91132 |    52148      2 |      772 |      663
364.83/364.94	c  364s |      15 |  2785188 |    91532 |    52148      2 |      773 |      664
366.83/366.98	c  366s |      15 |  2792486 |    92132 |    52148      2 |      773 |      664
369.14/369.29	c  368s |      15 |  2814626 |    92732 |    52148      2 |      773 |      664
371.54/371.67	c  370s |      15 |  2831840 |    93332 |    52148      2 |      773 |      664
373.74/373.83	c  373s |      15 |  2840062 |    93832 |    52148      2 |      773 |      664
376.14/376.21	c  375s |      15 |  2863126 |    94332 |    52148      2 |      773 |      664
378.34/378.45	c  377s |      15 |  2876025 |    94832 |    52148      2 |      773 |      664
380.44/380.51	c  379s |      15 |  2888204 |    95332 |    52148      2 |      773 |      664
382.63/382.76	c  382s |      15 |  2899319 |    95832 |    52148      2 |      773 |      664
384.73/384.86	c  384s |      15 |  2908485 |    96232 |    52148      2 |      773 |      664
386.83/386.95	c  386s |      15 |  2928605 |    96732 |    52148      2 |      773 |      664
389.23/389.37	c  388s |      15 |  2943538 |    97332 |    52148      2 |      773 |      664
391.33/391.42	c  390s |      15 |  2954248 |    97732 |    52148      2 |      773 |      664
393.63/393.78	c  393s |      15 |  2966647 |    98232 |    52148      2 |      773 |      664
395.83/395.91	c  395s |      15 |  2982967 |    98732 |    52148      2 |      773 |      664
398.33/398.44	c  397s |      15 |  3003787 |    99232 |    52148      2 |      773 |      664
400.34/400.44	c  399s |      15 |  3018250 |    99732 |    52148      2 |      773 |      664
402.54/402.63	c  401s |      15 |  3036448 |   100232 |    52148      2 |      773 |      664
404.63/404.78	c  404s |      15 |  3050834 |   100632 |    52148      2 |      773 |      664
406.73/406.84	c  406s |      15 |  3064876 |   101032 |    52148      2 |      773 |      664
409.03/409.20	c  408s |      15 |  3075794 |   101532 |    52148      2 |      773 |      664
411.23/411.34	c  410s |      15 |  3086916 |   102032 |    52148      2 |      773 |      664
413.33/413.45	c  412s |      15 |  3102881 |   102532 |    52148      2 |      773 |      664
415.43/415.53	c  414s |      15 |  3121117 |   102932 |    52148      2 |      773 |      664
417.73/417.86	c  417s |      15 |  3129555 |   103432 |    52148      2 |      773 |      664
420.32/420.46	c  419s |      15 |  3131726 |   103932 |    52148      2 |      773 |      664
422.92/423.06	c  422s |      15 |  3132648 |   104232 |    52148      2 |      773 |      664
425.02/425.15	c  424s |      15 |  3133084 |   104432 |    52148      2 |      773 |      664
427.53/427.60	c  426s |      15 |  3134113 |   104732 |    52148      2 |      773 |      664
429.63/429.75	c  429s |      15 |  3134749 |   104932 |    52148      2 |      773 |      664
432.42/432.51	c  431s |      15 |  3136054 |   105332 |    52148      2 |      773 |      664
434.92/435.01	c  434s |      15 |  3137297 |   105632 |    52148      2 |      773 |      664
437.02/437.13	c  436s |      15 |  3138469 |   105932 |    52148      2 |      773 |      664
439.02/439.14	c  438s |      15 |  3139086 |   106132 |    52148      2 |      773 |      664
441.13/441.28	c  440s |      15 |  3140192 |   106332 |    52148      2 |      773 |      664
443.62/443.76	c  443s |      15 |  3141223 |   106632 |    52148      2 |      773 |      664
447.12/447.27	c  446s |      15 |  3146282 |   106932 |    52148      3 |      773 |      664
449.42/449.55	c  448s |      15 |  3164408 |   107532 |    52148      3 |      773 |      664
451.82/451.96	c  451s |      15 |  3185620 |   108132 |    52148      3 |      773 |      664
453.92/454.07	c  453s |      15 |  3194787 |   108732 |    52148      3 |      773 |      664
456.12/456.24	c  455s |      15 |  3214958 |   109332 |    52148      3 |      773 |      664
458.22/458.31	c  457s |      15 |  3217495 |   109732 |    52148      3 |      773 |      664
460.92/461.03	c  460s |      15 |  3222628 |   110232 |    52148      3 |      773 |      664
462.91/463.10	c  462s |      15 |  3232911 |   110832 |    52148      3 |      773 |      664
465.01/465.10	c  464s |      15 |  3250050 |   111332 |    52148      3 |      773 |      664
467.01/467.12	c  466s |      15 |  3264205 |   111832 |    52148      3 |      773 |      664
469.11/469.28	c  468s |      15 |  3276997 |   112432 |    52148      3 |      773 |      664
471.51/471.64	c  470s |      15 |  3290938 |   113032 |    52148      3 |      773 |      664
473.61/473.76	c  473s |      15 |  3303323 |   113532 |    52148      3 |      773 |      664
475.81/475.99	c  475s |      15 |  3312579 |   114432 |    52148      3 |      773 |      664
478.01/478.10	c  477s |      15 |  3328010 |   115232 |    52148      3 |      773 |      664
480.31/480.43	c  479s |      15 |  3338685 |   115932 |    52148      3 |      773 |      664
482.41/482.53	c  481s |      15 |  3347129 |   116432 |    52148      3 |      773 |      664
484.51/484.68	c  483s |      15 |  3364509 |   116932 |    52148      3 |      773 |      664
486.61/486.78	c  486s |      15 |  3385589 |   117432 |    52148      3 |      773 |      664
489.12/489.23	c  488s |      15 |  3402434 |   117932 |    52148      3 |      773 |      664
491.22/491.34	c  490s |      15 |  3413962 |   118432 |    52148      3 |      773 |      664
493.72/493.83	c  493s |      15 |  3429922 |   118932 |    52148      3 |      773 |      664
496.02/496.11	c  495s |      15 |  3442391 |   119432 |    52148      3 |      773 |      664
498.02/498.17	c  497s |      15 |  3443501 |   119732 |    52148      3 |      773 |      664
500.81/500.91	c  500s |      15 |  3445390 |   120132 |    52148      3 |      773 |      664
503.51/503.64	c  502s |      15 |  3447326 |   120432 |    52148      3 |      773 |      664
505.71/505.80	c  505s |      15 |  3461312 |   120932 |    52148      3 |      773 |      664
507.81/507.96	c  507s |      15 |  3474884 |   121532 |    52148      3 |      773 |      664
510.11/510.28	c  509s |      15 |  3489787 |   122032 |    52148      3 |      773 |      664
512.71/512.89	c  512s |      15 |  3491774 |   122432 |    52148      3 |      773 |      664
515.11/515.25	c  514s |      15 |  3501881 |   122832 |    52148      3 |      773 |      664
517.21/517.30	c  516s |      15 |  3519624 |   123232 |    52148      3 |      773 |      664
519.51/519.62	c  518s |      15 |  3537315 |   123832 |    52148      3 |      773 |      664
521.71/521.83	c  521s |      15 |  3546908 |   124332 |    52148      3 |      773 |      664
523.71/523.85	c  523s |      15 |  3549592 |   125032 |    52148      3 |      773 |      664
525.72/525.88	c  525s |      15 |  3561541 |   125732 |    52148      3 |      773 |      664
527.81/527.92	c  527s |      15 |  3563011 |   126232 |    52148      3 |      773 |      664
530.31/530.44	c  529s |      15 |  3578044 |   126732 |    52148      3 |      773 |      664
532.51/532.63	c  531s |      15 |  3593337 |   127232 |    52148      3 |      773 |      664
534.71/534.84	c  534s |      15 |  3605456 |   127632 |    52148      3 |      773 |      664
536.91/537.04	c  536s |      15 |  3606923 |   128032 |    52148      3 |      773 |      664
539.41/539.50	c  538s |      15 |  3619722 |   128532 |    52148      3 |      773 |      664
541.61/541.72	c  541s |      15 |  3630949 |   129032 |    52148      3 |      773 |      664
543.81/543.98	c  543s |      15 |  3645656 |   129432 |    52148      3 |      773 |      664
546.31/546.47	c  545s |      15 |  3660367 |   129932 |    52148      3 |      773 |      664
548.31/548.48	c  547s |      15 |  3672223 |   130432 |    52148      3 |      773 |      664
550.81/550.94	c  550s |      15 |  3684463 |   130932 |    57363      3 |      773 |      664
553.00/553.10	c  552s |      15 |  3694562 |   131332 |    57363      3 |      773 |      664
553.80/553.98	c  553s |      16 |  3698258 |   131552 |    57363      3 |      773 |      664
555.90/556.04	c  555s |      16 |  3706092 |   131852 |    57363      3 |      773 |      664
558.10/558.24	c  557s |      16 |  3720788 |   132452 |    57363      3 |      773 |      664
560.30/560.47	c  559s |      16 |  3735028 |   132852 |    57363      3 |      773 |      664
562.30/562.47	c  561s |      16 |  3741124 |   133252 |    57363      3 |      773 |      664
564.50/564.62	c  563s |      16 |  3746730 |   134052 |    57363      3 |      773 |      664
566.80/566.90	c  566s |      16 |  3757657 |   134452 |    57363      3 |      773 |      664
568.80/568.96	c  568s |      16 |  3774091 |   134852 |    57363      3 |      773 |      664
571.10/571.24	c  570s |      16 |  3789393 |   135352 |    57363      3 |      773 |      664
573.30/573.45	c  572s |      16 |  3799141 |   135852 |    57363      3 |      773 |      664
575.40/575.53	c  574s |      16 |  3810419 |   136452 |    57363      3 |      773 |      664
577.70/577.87	c  577s |      16 |  3824509 |   136952 |    57363      3 |      773 |      664
579.99/580.14	c  579s |      16 |  3833543 |   137452 |    57363      3 |      773 |      664
584.10/584.22	c  583s |      16 |  3852671 |   137852 |    57363      4 |      773 |      664
586.30/586.46	c  585s |      16 |  3877747 |   138352 |    57363      4 |      773 |      664
588.69/588.84	c  588s |      16 |  3899422 |   138952 |    57363      4 |      773 |      664
590.79/590.95	c  590s |      16 |  3908916 |   139452 |    57363      4 |      773 |      664
593.08/593.25	c  592s |      16 |  3925065 |   140052 |    57363      4 |      773 |      664
595.18/595.33	c  594s |      16 |  3938415 |   140652 |    57363      4 |      773 |      664
597.19/597.38	c  596s |      16 |  3953271 |   141152 |    57363      4 |      773 |      664
599.49/599.61	c  598s |      16 |  3971105 |   141652 |    57363      4 |      773 |      664
601.69/601.82	c  601s |      16 |  3983924 |   142152 |    57363      4 |      773 |      664
603.89/604.01	c  603s |      16 |  3993939 |   142752 |    57363      4 |      773 |      664
605.88/606.05	c  605s |      16 |  4003489 |   143252 |    57363      4 |      773 |      664
608.08/608.20	c  607s |      16 |  4021313 |   143752 |    57363      4 |      773 |      664
610.08/610.23	c  609s |      16 |  4036354 |   144152 |    57363      4 |      773 |      664
612.08/612.29	c  611s |      16 |  4052850 |   144652 |    57363      4 |      773 |      664
614.18/614.34	c  613s |      16 |  4063443 |   145052 |    57363      4 |      774 |      665
616.67/616.88	c  616s |      16 |  4065867 |   145452 |    57363      4 |      774 |      665
619.29/619.43	c  618s |      16 |  4076840 |   145952 |    57363      4 |      775 |      666
621.28/621.44	c  620s |      16 |  4085116 |   146452 |    57363      4 |      775 |      666
623.59/623.71	c  622s |      16 |  4093860 |   146952 |    57363      4 |      775 |      666
625.68/625.83	c  625s |      16 |  4107666 |   147452 |    57363      4 |      775 |      666
627.99/628.12	c  627s |      16 |  4124605 |   147952 |    57363      4 |      775 |      666
630.18/630.39	c  629s |      16 |  4142135 |   148552 |    57363      4 |      775 |      666
632.48/632.64	c  631s |      16 |  4156224 |   149052 |    57363      4 |      775 |      666
634.68/634.89	c  634s |      16 |  4164801 |   149452 |    57363      4 |      775 |      666
636.68/636.90	c  636s |      16 |  4179411 |   149852 |    57363      4 |      775 |      666
639.08/639.24	c  638s |      16 |  4188107 |   150552 |    57363      4 |      775 |      666
641.57/641.72	c  641s |      16 |  4201830 |   151252 |    57363      4 |      775 |      666
643.67/643.84	c  643s |      16 |  4204623 |   151652 |    57363      4 |      775 |      666
646.07/646.22	c  645s |      16 |  4206786 |   152152 |    57363      4 |      775 |      666
648.37/648.55	c  647s |      16 |  4211907 |   152552 |    57363      4 |      775 |      666
650.36/650.58	c  649s |      16 |  4224662 |   153052 |    57363      4 |      775 |      666
652.66/652.88	c  652s |      16 |  4234521 |   153652 |    57363      4 |      775 |      666
654.66/654.89	c  654s |      16 |  4244289 |   154052 |    57363      4 |      776 |      667
656.76/656.90	c  656s |      16 |  4258985 |   154452 |    57363      4 |      776 |      667
658.96/659.16	c  658s |      16 |  4271829 |   154952 |    57363      4 |      776 |      667
661.07/661.24	c  660s |      16 |  4292317 |   155352 |    57363      4 |      776 |      667
663.56/663.74	c  663s |      16 |  4313567 |   155852 |    57363      4 |      776 |      667
665.56/665.75	c  665s |      16 |  4323600 |   156352 |    57363      4 |      776 |      667
667.67/667.86	c  667s |      16 |  4341928 |   156852 |    57363      4 |      776 |      667
669.96/670.17	c  669s |      16 |  4343012 |   157252 |    57363      4 |      776 |      667
672.26/672.40	c  671s |      16 |  4353611 |   157652 |    57363      4 |      776 |      667
674.75/674.93	c  674s |      16 |  4366367 |   158252 |    57363      4 |      776 |      667
677.25/677.46	c  676s |      16 |  4385564 |   158752 |    57363      4 |      776 |      667
679.35/679.57	c  678s |      16 |  4396895 |   159352 |    57363      4 |      776 |      667
681.55/681.77	c  681s |      16 |  4417980 |   159852 |    57363      4 |      776 |      667
684.16/684.39	c  683s |      16 |  4429345 |   160352 |    57363      4 |      776 |      667
686.55/686.73	c  686s |      16 |  4442913 |   160852 |    57363      4 |      776 |      667
688.56/688.75	c  688s |      16 |  4460193 |   161252 |    57363      4 |      776 |      667
690.65/690.88	c  690s |      16 |  4470177 |   161752 |    57363      4 |      776 |      667
692.75/692.99	c  692s |      16 |  4484030 |   162252 |    57363      4 |      776 |      667
694.85/695.02	c  694s |      16 |  4495422 |   162752 |    57363      4 |      776 |      667
696.85/697.08	c  696s |      16 |  4507015 |   163152 |    57363      4 |      776 |      667
699.04/699.21	c  698s |      16 |  4512009 |   163652 |    57363      4 |      776 |      667
701.04/701.24	c  700s |      16 |  4525583 |   164052 |    57363      4 |      776 |      667
703.24/703.49	c  702s |      16 |  4539267 |   164452 |    57363      4 |      776 |      667
706.05/706.21	c  705s |      16 |  4548551 |   164952 |    57363      4 |      776 |      667
708.36/708.53	c  707s |      16 |  4552068 |   165352 |    57363      4 |      776 |      667
710.46/710.62	c  709s |      16 |  4562471 |   165852 |    57363      4 |      776 |      667
712.55/712.74	c  712s |      16 |  4576604 |   166352 |    57363      4 |      776 |      667
714.96/715.19	c  714s |      16 |  4587783 |   166852 |    57363      4 |      776 |      667
717.06/717.29	c  716s |      16 |  4602896 |   167252 |    57363      4 |      776 |      667
719.25/719.44	c  718s |      16 |  4608674 |   167752 |    57363      4 |      776 |      667
721.35/721.50	c  720s |      16 |  4611453 |   168152 |    57363      4 |      776 |      667
723.95/724.10	c  723s |      16 |  4616155 |   168652 |    57363      4 |      776 |      667
725.95/726.18	c  725s |      16 |  4618091 |   169052 |    57363      4 |      776 |      667
728.05/728.27	c  727s |      16 |  4620815 |   169452 |    57363      4 |      776 |      667
730.74/730.98	c  730s |      16 |  4623030 |   169852 |    57363      4 |      776 |      667
733.14/733.36	c  732s |      16 |  4625286 |   170252 |    57363      4 |      776 |      667
735.24/735.43	c  734s |      16 |  4627444 |   170652 |    57363      4 |      776 |      667
737.54/737.71	c  736s |      16 |  4628600 |   170952 |    57363      4 |      776 |      667
740.04/740.25	c  739s |      16 |  4629529 |   171152 |    57363      4 |      776 |      667
742.64/742.85	c  742s |      16 |  4630426 |   171352 |    57363      4 |      776 |      667
744.64/744.90	c  744s |      16 |  4632550 |   171652 |    57363      4 |      776 |      667
746.94/747.10	c  746s |      16 |  4633585 |   171952 |    57363      4 |      776 |      667
749.14/749.33	c  748s |      16 |  4635424 |   172252 |    57363      4 |      776 |      667
751.34/751.57	c  750s |      16 |  4636572 |   172552 |    57363      4 |      776 |      667
753.54/753.71	c  752s |      16 |  4637634 |   172852 |    57363      4 |      776 |      667
756.34/756.56	c  755s |      16 |  4639915 |   173252 |    57363      4 |      776 |      667
758.85/759.09	c  758s |      16 |  4641558 |   173652 |    57363      4 |      776 |      667
760.84/761.09	c  760s |      16 |  4643097 |   173952 |    57363      4 |      776 |      667
763.35/763.54	c  762s |      16 |  4645797 |   174352 |    57363      4 |      776 |      667
765.44/765.61	c  764s |      16 |  4647551 |   174652 |    57363      4 |      776 |      667
767.74/767.90	c  767s |      16 |  4648928 |   174952 |    57363      4 |      776 |      667
770.23/770.47	c  769s |      16 |  4649615 |   175252 |    57363      4 |      776 |      667
772.33/772.52	c  771s |      16 |  4650589 |   175552 |    57363      4 |      776 |      667
774.93/775.16	c  774s |      16 |  4652138 |   175852 |    57363      4 |      776 |      667
778.33/778.51	c  777s |      16 |  4653321 |   176152 |    57363      4 |      776 |      667
780.43/780.68	c  779s |      16 |  4653541 |   176252 |    57363      4 |      776 |      667
783.63/783.84	c  783s |      16 |  4654403 |   176452 |    57363      4 |      776 |      667
785.93/786.16	c  785s |      16 |  4655631 |   176752 |    57363      4 |      776 |      667
788.64/788.88	c  788s |      16 |  4656070 |   176952 |    57363      4 |      776 |      667
790.93/791.17	c  790s |      16 |  4656560 |   177152 |    57363      4 |      776 |      667
793.13/793.38	c  792s |      16 |  4657652 |   177352 |    57363      4 |      776 |      667
795.83/796.01	c  795s |      16 |  4658111 |   177452 |    57363      5 |      776 |      667
797.83/798.09	c  797s |      16 |  4659215 |   177652 |    57363      5 |      776 |      667
800.93/801.19	c  800s |      16 |  4659939 |   177852 |    57363      5 |      776 |      667
804.03/804.29	c  803s |      16 |  4660881 |   178052 |    57363      5 |      776 |      667
806.23/806.46	c  805s |      16 |  4661531 |   178252 |    57363      5 |      776 |      667
808.43/808.64	c  807s |      16 |  4661915 |   178352 |    57363      5 |      776 |      667
811.52/811.70	c  810s |      16 |  4662629 |   178552 |    57363      5 |      776 |      667
814.22/814.40	c  813s |      16 |  4662877 |   178652 |    57363      5 |      776 |      667
817.23/817.45	c  816s |      16 |  4664697 |   178852 |    57363      5 |      776 |      667
821.11/821.35	c  820s |      16 |  4665364 |   179052 |    57363      5 |      776 |      667
823.21/823.47	c  822s |      16 |  4665697 |   179152 |    57363      5 |      776 |      667
825.31/825.53	c  824s |      16 |  4666326 |   179252 |    57363      5 |      776 |      667
828.81/829.03	c  828s |      16 |  4667005 |   179452 |    57363      5 |      776 |      667
830.91/831.12	c  830s |      16 |  4667416 |   179552 |    57363      5 |      776 |      667
834.41/834.64	c  833s |      16 |  4668064 |   179752 |    57363      5 |      776 |      667
836.81/837.07	c  836s |      16 |  4668465 |   179852 |    57363      5 |      776 |      667
838.90/839.12	c  838s |      16 |  4669116 |   179952 |    57363      5 |      776 |      667
841.32/841.53	c  840s |      16 |  4669430 |   180052 |    57363      5 |      776 |      667
845.31/845.51	c  844s |      16 |  4670010 |   180252 |    57363      5 |      776 |      667
849.30/849.50	c  848s |      16 |  4670934 |   180452 |    57363      5 |      776 |      667
851.40/851.64	c  850s |      16 |  4671376 |   180552 |    57363      5 |      776 |      667
853.80/854.03	c  853s |      16 |  4671596 |   180652 |    57363      5 |      776 |      667
856.20/856.45	c  855s |      16 |  4673571 |   181052 |    57363      5 |      776 |      667
858.40/858.62	c  857s |      16 |  4674125 |   181252 |    57363      5 |      776 |      667
861.49/861.70	c  860s |      16 |  4676214 |   181552 |    57363      5 |      776 |      667
864.29/864.52	c  863s |      16 |  4677470 |   181752 |    57363      5 |      776 |      667
866.30/866.55	c  865s |      16 |  4678266 |   181852 |    57363      5 |      776 |      667
869.49/869.76	c  869s |      16 |  4679850 |   182152 |    57363      5 |      776 |      667
871.49/871.78	c  871s |      16 |  4680040 |   182252 |    57363      5 |      776 |      667
873.59/873.84	c  873s |      16 |  4680590 |   182352 |    57363      5 |      776 |      667
877.29/877.56	c  876s |      16 |  4681479 |   182552 |    57363      5 |      776 |      667
880.99/881.27	c  880s |      16 |  4682199 |   182752 |    57363      5 |      776 |      667
883.68/883.94	c  883s |      16 |  4683436 |   182952 |    57363      5 |      776 |      667
885.68/885.96	c  885s |      16 |  4684023 |   183052 |    57363      5 |      776 |      667
887.98/888.28	c  887s |      16 |  4685215 |   183252 |    57363      5 |      776 |      667
890.89/891.18	c  890s |      16 |  4686104 |   183452 |    57363      5 |      776 |      667
894.09/894.39	c  893s |      16 |  4686322 |   183552 |    57363      5 |      776 |      667
896.88/897.17	c  896s |      16 |  4686774 |   183652 |    57363      5 |      776 |      667
900.68/900.96	c  900s |      16 |  4687414 |   183852 |    57363      5 |      776 |      667
903.17/903.41	c  902s |      16 |  4687953 |   183952 |    57363      5 |      776 |      667
906.07/906.31	c  905s |      16 |  4688451 |   184152 |    57363      5 |      776 |      667
908.48/908.73	c  908s |      16 |  4689316 |   184352 |    57363      5 |      776 |      667
910.58/910.88	c  910s |      16 |  4690116 |   184552 |    57363      5 |      776 |      667
912.78/913.07	c  912s |      16 |  4691040 |   184752 |    57363      5 |      776 |      667
915.37/915.68	c  914s |      16 |  4691721 |   184952 |    57363      5 |      776 |      667
918.47/918.78	c  918s |      16 |  4692517 |   185152 |    57363      5 |      776 |      667
921.57/921.82	c  921s |      16 |  4693356 |   185352 |    57363      5 |      776 |      667
924.76/925.02	c  924s |      16 |  4693714 |   185452 |    57363      5 |      776 |      667
927.17/927.43	c  926s |      16 |  4694084 |   185552 |    57363      5 |      776 |      667
930.86/931.12	c  930s |      16 |  4695043 |   185752 |    57363      5 |      776 |      667
933.06/933.33	c  932s |      16 |  4695338 |   185852 |    57363      5 |      776 |      667
935.56/935.86	c  935s |      16 |  4695523 |   185952 |    57363      5 |      776 |      667
939.06/939.35	c  938s |      16 |  4696162 |   186152 |    57363      5 |      776 |      667
941.15/941.48	c  940s |      16 |  4696324 |   186252 |    57363      5 |      776 |      667
943.66/943.95	c  943s |      16 |  4696663 |   186352 |    57363      5 |      776 |      667
945.65/946.00	c  945s |      16 |  4697081 |   186452 |    57363      5 |      776 |      667
949.25/949.52	c  948s |      16 |  4697871 |   186652 |    57363      5 |      776 |      667
951.36/951.64	c  950s |      16 |  4699502 |   186952 |    57363      5 |      776 |      667
953.46/953.73	c  953s |      16 |  4700658 |   187152 |    57363      5 |      776 |      667
955.76/956.03	c  955s |      16 |  4701420 |   187352 |    57363      5 |      776 |      667
958.15/958.49	c  957s |      16 |  4702393 |   187552 |    57363      5 |      776 |      667
961.94/962.23	c  961s |      16 |  4703257 |   187752 |    57363      5 |      776 |      667
964.14/964.48	c  963s |      16 |  4704561 |   187952 |    57363      5 |      776 |      667
967.94/968.20	c  967s |      16 |  4705430 |   188152 |    57363      5 |      776 |      667
971.14/971.42	c  970s |      16 |  4706508 |   188352 |    57363      5 |      776 |      667
973.94/974.20	c  973s |      16 |  4708996 |   188652 |    57363      5 |      776 |      667
977.83/978.11	c  977s |      16 |  4709728 |   188852 |    57363      5 |      776 |      667
980.03/980.38	c  979s |      16 |  4709979 |   188952 |    57363      5 |      776 |      667
983.64/983.98	c  983s |      16 |  4710582 |   189152 |    57363      5 |      776 |      667
986.24/986.54	c  985s |      16 |  4713114 |   189452 |    57363      5 |      776 |      667
988.43/988.76	c  988s |      16 |  4716719 |   189752 |    57363      5 |      776 |      667
991.23/991.52	c  990s |      16 |  4718032 |   190052 |    57363      5 |      776 |      667
994.33/994.62	c  993s |      16 |  4720156 |   190252 |    57363      5 |      776 |      667
996.53/996.84	c  996s |      16 |  4730810 |   190652 |    57363      5 |      776 |      667
998.54/998.85	c  998s |      16 |  4744442 |   191252 |    57363      5 |      776 |      667
1000.62/1000.90	c 1000s |      16 |  4747340 |   191752 |    57363      5 |      776 |      667
1003.03/1003.31	c 1002s |      16 |  4749214 |   192252 |    57363      5 |      776 |      667
1005.23/1005.50	c 1004s |      16 |  4751581 |   192652 |    57363      5 |      776 |      667
1007.22/1007.53	c 1006s |      16 |  4753573 |   192952 |    57363      5 |      776 |      667
1009.41/1009.76	c 1009s |      16 |  4755613 |   193352 |    57363      5 |      776 |      667
1013.71/1014.07	c 1013s |      16 |  4755799 |   193452 |    57363      5 |      776 |      667
1016.31/1016.61	c 1015s |      16 |  4756291 |   193652 |    57363      5 |      776 |      667
1018.81/1019.16	c 1018s |      16 |  4757966 |   194052 |    57363      5 |      776 |      667
1021.40/1021.79	c 1021s |      16 |  4759019 |   194352 |    57363      5 |      776 |      667
1023.50/1023.86	c 1023s |      16 |  4759616 |   194552 |    57363      5 |      776 |      667
1026.12/1026.47	c 1025s |      16 |  4760371 |   194752 |    57363      5 |      776 |      667
1028.81/1029.14	c 1028s |      16 |  4761831 |   195052 |    57363      5 |      776 |      667
1031.61/1031.97	c 1031s |      16 |  4762310 |   195252 |    57363      5 |      776 |      667
1034.31/1034.62	c 1033s |      16 |  4763489 |   195452 |    57363      5 |      776 |      667
1037.60/1037.95	c 1037s |      16 |  4764015 |   195652 |    57363      5 |      776 |      667
1040.00/1040.39	c 1039s |      16 |  4764498 |   195852 |    57363      5 |      776 |      667
1043.00/1043.30	c 1042s |      16 |  4765697 |   196152 |    63100      5 |      776 |      667
1046.20/1046.53	c 1045s |      16 |  4766296 |   196352 |    63100      5 |      776 |      667
1049.60/1049.96	c 1049s |      16 |  4766962 |   196552 |    63100      5 |      776 |      667
1052.80/1053.11	c 1052s |      16 |  4767671 |   196752 |    63100      5 |      776 |      667
1055.29/1055.61	c 1054s |      16 |  4768449 |   196952 |    63100      5 |      776 |      667
1058.59/1058.92	c 1058s |      16 |  4768920 |   197152 |    63100      5 |      776 |      667
1061.89/1062.21	c 1061s |      16 |  4769553 |   197352 |    63100      5 |      776 |      667
1063.29/1063.62	c 1062s |      17 |  4769868 |   197432 |    63100      5 |      776 |      667
1065.49/1065.88	c 1065s |      17 |  4778464 |   197632 |    63100      5 |      776 |      667
1067.48/1067.88	c 1067s |      17 |  4790456 |   198132 |    63100      5 |      776 |      667
1069.58/1069.90	c 1069s |      17 |  4796019 |   198532 |    63100      5 |      776 |      667
1071.78/1072.14	c 1071s |      17 |  4813483 |   199032 |    63100      5 |      776 |      667
1073.98/1074.37	c 1073s |      17 |  4832000 |   199532 |    63100      5 |      776 |      667
1076.39/1076.70	c 1075s |      17 |  4845805 |   200132 |    63100      5 |      776 |      667
1078.39/1078.70	c 1077s |      17 |  4855889 |   200632 |    63100      5 |      776 |      667
1080.58/1080.92	c 1080s |      17 |  4871331 |   201132 |    63100      5 |      776 |      667
1082.88/1083.21	c 1082s |      17 |  4884108 |   201732 |    63100      5 |      776 |      667
1084.88/1085.25	c 1084s |      17 |  4890361 |   202332 |    63100      5 |      776 |      667
1087.18/1087.51	c 1086s |      17 |  4913133 |   202832 |    63100      5 |      776 |      667
1089.47/1089.84	c 1089s |      17 |  4931324 |   203332 |    63100      5 |      776 |      667
1091.77/1092.10	c 1091s |      17 |  4933016 |   203932 |    63100      5 |      776 |      667
1093.97/1094.35	c 1093s |      17 |  4945075 |   204432 |    63100      5 |      776 |      667
1096.27/1096.61	c 1095s |      17 |  4960063 |   205032 |    63100      5 |      776 |      667
1098.27/1098.65	c 1097s |      17 |  4972623 |   205732 |    63100      5 |      776 |      667
1100.36/1100.72	c 1100s |      17 |  4980694 |   206332 |    63100      5 |      776 |      667
1102.46/1102.88	c 1102s |      17 |  4982814 |   206932 |    63100      5 |      776 |      667
1104.86/1105.20	c 1104s |      17 |  4984600 |   207432 |    63100      5 |      776 |      667
1107.17/1107.58	c 1106s |      17 |  4987945 |   207832 |    63100      5 |      776 |      667
1109.46/1109.85	c 1109s |      17 |  4991905 |   208432 |    63100      5 |      776 |      667
1111.77/1112.16	c 1111s |      17 |  4994128 |   208732 |    63100      5 |      776 |      667
1116.46/1116.82	c 1116s |      17 |  5004096 |   209132 |    63100      6 |      776 |      667
1118.56/1118.93	c 1118s |      17 |  5025852 |   209732 |    63100      6 |      776 |      667
1120.76/1121.13	c 1120s |      17 |  5048411 |   210432 |    63100      6 |      776 |      667
1123.06/1123.46	c 1122s |      17 |  5059033 |   211132 |    63100      6 |      776 |      667
1125.16/1125.57	c 1124s |      17 |  5060032 |   211432 |    63100      6 |      776 |      667
1128.06/1128.46	c 1127s |      17 |  5061360 |   211732 |    63100      6 |      776 |      667
1130.35/1130.74	c 1130s |      17 |  5062586 |   212032 |    63100      6 |      776 |      667
1132.55/1132.94	c 1132s |      17 |  5064588 |   212432 |    63100      6 |      776 |      667
1135.15/1135.53	c 1134s |      17 |  5065965 |   212832 |    63100      6 |      776 |      667
1137.95/1138.34	c 1137s |      17 |  5072397 |   213132 |    63100      6 |      776 |      667
1140.24/1140.62	c 1139s |      17 |  5084488 |   213732 |    63100      6 |      776 |      667
1142.44/1142.81	c 1142s |      17 |  5108620 |   214232 |    63100      6 |      776 |      667
1144.64/1145.09	c 1144s |      17 |  5122069 |   214832 |    63100      6 |      776 |      667
1146.74/1147.16	c 1146s |      17 |  5138670 |   215332 |    63100      6 |      776 |      667
1149.24/1149.66	c 1148s |      17 |  5158451 |   215932 |    63100      6 |      776 |      667
1151.24/1151.69	c 1150s |      17 |  5177873 |   216532 |    63100      6 |      776 |      667
1153.43/1153.87	c 1153s |      17 |  5196569 |   217132 |    63100      6 |      776 |      667
1155.74/1156.17	c 1155s |      17 |  5213504 |   217732 |    63100      6 |      776 |      667
1157.83/1158.22	c 1157s |      17 |  5226747 |   218232 |    63100      6 |      776 |      667
1159.93/1160.33	c 1159s |      17 |  5239014 |   218932 |    63100      6 |      776 |      667
1162.13/1162.52	c 1161s |      17 |  5255203 |   219532 |    63100      6 |      776 |      667
1164.33/1164.74	c 1164s |      17 |  5270926 |   220132 |    63100      6 |      776 |      667
1166.73/1167.18	c 1166s |      17 |  5281691 |   220732 |    63100      6 |      776 |      667
1168.73/1169.19	c 1168s |      17 |  5283269 |   221132 |    63100      6 |      776 |      667
1171.93/1172.38	c 1171s |      17 |  5284298 |   221432 |    63100      6 |      776 |      667
1174.03/1174.48	c 1173s |      17 |  5288128 |   221732 |    63100      6 |      776 |      667
1176.74/1177.14	c 1176s |      17 |  5293257 |   222332 |    63100      6 |      776 |      667
1178.93/1179.31	c 1178s |      17 |  5303467 |   222832 |    63100      6 |      776 |      667
1181.03/1181.48	c 1180s |      17 |  5309407 |   223432 |    63100      6 |      776 |      667
1183.12/1183.55	c 1182s |      17 |  5327575 |   224032 |    63100      6 |      776 |      667
1185.43/1185.81	c 1185s |      17 |  5340746 |   224632 |    63100      6 |      776 |      667
1187.52/1187.95	c 1187s |      17 |  5352759 |   225232 |    63100      6 |      776 |      667
1189.52/1189.97	c 1189s |      17 |  5353917 |   225532 |    63100      6 |      776 |      667
1191.52/1191.99	c 1191s |      17 |  5359473 |   225932 |    63100      6 |      776 |      667
1193.81/1194.27	c 1193s |      17 |  5375837 |   226432 |    63100      6 |      776 |      667
1196.21/1196.65	c 1195s |      17 |  5393378 |   227032 |    63100      6 |      776 |      667
1198.21/1198.69	c 1197s |      17 |  5399494 |   227532 |    63100      6 |      776 |      667
1200.51/1200.93	c 1200s |      17 |  5405069 |   227932 |    63100      6 |      776 |      667
1202.61/1203.01	c 1202s |      17 |  5419734 |   228432 |    63100      6 |      776 |      667
1204.71/1205.12	c 1204s |      17 |  5425164 |   228732 |    63100      6 |      776 |      667
1207.71/1208.17	c 1207s |      17 |  5425463 |   228932 |    63100      6 |      776 |      667
1210.30/1210.70	c 1209s |      17 |  5425836 |   229132 |    63100      6 |      776 |      667
1212.60/1213.09	c 1212s |      17 |  5428990 |   229332 |    63100      6 |      776 |      667
1215.00/1215.50	c 1214s |      17 |  5443239 |   229932 |    63100      6 |      776 |      667
1217.31/1217.76	c 1217s |      17 |  5453745 |   230532 |    63100      6 |      776 |      667
1219.40/1219.80	c 1219s |      17 |  5464150 |   231032 |    63100      6 |      776 |      667
1221.70/1222.12	c 1221s |      17 |  5477764 |   231632 |    63100      6 |      776 |      667
1223.90/1224.33	c 1223s |      17 |  5489194 |   232132 |    63100      6 |      776 |      667
1226.40/1226.83	c 1226s |      17 |  5496985 |   232732 |    63100      6 |      776 |      667
1228.60/1229.03	c 1228s |      17 |  5499721 |   233432 |    63100      6 |      776 |      667
1231.29/1231.72	c 1231s |      17 |  5501168 |   233832 |    63100      6 |      776 |      667
1233.59/1234.05	c 1233s |      17 |  5511978 |   234432 |    63100      6 |      776 |      667
1235.79/1236.21	c 1235s |      17 |  5522829 |   234932 |    63100      6 |      776 |      667
1238.20/1238.64	c 1237s |      17 |  5534246 |   235632 |    63100      6 |      776 |      667
1240.51/1240.92	c 1240s |      17 |  5549295 |   236132 |    63100      6 |      776 |      667
1242.71/1243.19	c 1242s |      17 |  5551020 |   236732 |    63100      6 |      776 |      667
1245.10/1245.56	c 1244s |      17 |  5555931 |   237232 |    63100      6 |      776 |      667
1247.30/1247.70	c 1246s |      17 |  5570054 |   237632 |    63100      6 |      776 |      667
1249.50/1249.98	c 1249s |      17 |  5585033 |   238132 |    63100      6 |      776 |      667
1251.60/1252.05	c 1251s |      17 |  5596250 |   238632 |    63100      6 |      776 |      667
1253.71/1254.19	c 1253s |      17 |  5601241 |   239232 |    63100      6 |      776 |      667
1256.00/1256.45	c 1255s |      17 |  5613988 |   239932 |    63100      6 |      776 |      667
1258.50/1258.91	c 1258s |      17 |  5628645 |   240532 |    63100      6 |      776 |      667
1260.50/1260.96	c 1260s |      17 |  5639397 |   240932 |    63100      6 |      776 |      667
1262.80/1263.29	c 1262s |      17 |  5654005 |   241432 |    63100      6 |      776 |      667
1266.80/1267.23	c 1266s |      17 |  5663399 |   241832 |    63100      7 |      776 |      667
1268.80/1269.29	c 1268s |      17 |  5683423 |   242332 |    63100      7 |      776 |      667
1271.10/1271.55	c 1270s |      17 |  5697159 |   242932 |    63100      7 |      776 |      667
1273.20/1273.66	c 1272s |      17 |  5711149 |   243532 |    63100      7 |      776 |      667
1275.70/1276.15	c 1275s |      17 |  5717454 |   244032 |    63100      7 |      776 |      667
1278.29/1278.74	c 1278s |      17 |  5718149 |   244332 |    63100      7 |      776 |      667
1280.69/1281.11	c 1280s |      17 |  5719386 |   244732 |    63100      7 |      776 |      667
1283.19/1283.60	c 1282s |      17 |  5720230 |   245032 |    63100      7 |      776 |      667
1285.59/1286.04	c 1285s |      17 |  5728186 |   245332 |    63100      7 |      777 |      668
1287.60/1288.06	c 1287s |      17 |  5740444 |   246032 |    63100      7 |      777 |      668
1289.80/1290.29	c 1289s |      17 |  5758654 |   246732 |    63100      7 |      777 |      668
1291.99/1292.45	c 1291s |      17 |  5766813 |   247432 |    63100      7 |      777 |      668
1293.99/1294.46	c 1293s |      17 |  5778850 |   247932 |    63100      7 |      777 |      668
1296.39/1296.89	c 1296s |      17 |  5791562 |   248532 |    63100      7 |      777 |      668
1298.59/1299.01	c 1298s |      17 |  5807583 |   249232 |    63100      7 |      777 |      668
1300.69/1301.14	c 1300s |      17 |  5816486 |   249832 |    63100      7 |      777 |      668
1302.99/1303.41	c 1302s |      17 |  5826020 |   250532 |    63100      7 |      777 |      668
1305.09/1305.50	c 1304s |      17 |  5832866 |   251032 |    63100      7 |      777 |      668
1307.39/1307.84	c 1307s |      17 |  5851894 |   251632 |    63100      7 |      777 |      668
1309.49/1309.92	c 1309s |      17 |  5866375 |   252232 |    63100      7 |      777 |      668
1311.69/1312.16	c 1311s |      17 |  5883861 |   252732 |    63100      7 |      777 |      668
1313.89/1314.33	c 1313s |      17 |  5903832 |   253332 |    63100      7 |      777 |      668
1316.19/1316.60	c 1315s |      17 |  5920449 |   253932 |    63100      7 |      777 |      668
1318.19/1318.60	c 1317s |      17 |  5931490 |   254532 |    63100      7 |      777 |      668
1320.19/1320.65	c 1319s |      17 |  5952140 |   255032 |    63100      7 |      777 |      668
1322.19/1322.69	c 1321s |      17 |  5967843 |   255532 |    63100      7 |      777 |      668
1324.29/1324.78	c 1324s |      17 |  5985671 |   256132 |    63100      7 |      777 |      668
1326.49/1326.93	c 1326s |      17 |  6004409 |   256632 |    63100      7 |      777 |      668
1328.59/1329.01	c 1328s |      17 |  6020246 |   257132 |    63100      7 |      777 |      668
1330.89/1331.36	c 1330s |      17 |  6026383 |   257832 |    63100      7 |      777 |      668
1332.99/1333.49	c 1332s |      17 |  6041638 |   258332 |    63100      7 |      777 |      668
1335.29/1335.72	c 1335s |      17 |  6061079 |   258932 |    63100      7 |      777 |      668
1337.59/1338.01	c 1337s |      17 |  6072390 |   259632 |    63100      7 |      777 |      668
1340.39/1340.88	c 1340s |      17 |  6075618 |   260132 |    63100      7 |      777 |      668
1342.49/1342.94	c 1342s |      17 |  6082450 |   260532 |    63100      7 |      777 |      668
1344.69/1345.15	c 1344s |      17 |  6095920 |   261132 |    63100      7 |      777 |      668
1346.79/1347.26	c 1346s |      17 |  6109307 |   261632 |    63100      7 |      777 |      668
1349.18/1349.67	c 1348s |      17 |  6131991 |   262132 |    63100      7 |      777 |      668
1351.18/1351.68	c 1350s |      17 |  6144954 |   262632 |    63100      7 |      777 |      668
1353.38/1353.85	c 1353s |      17 |  6158578 |   263132 |    63100      7 |      777 |      668
1355.48/1355.95	c 1355s |      17 |  6174287 |   263632 |    63100      7 |      777 |      668
1357.78/1358.25	c 1357s |      17 |  6197403 |   264232 |    63100      7 |      777 |      668
1359.98/1360.42	c 1359s |      17 |  6212235 |   264732 |    63100      7 |      777 |      668
1362.28/1362.76	c 1362s |      17 |  6223107 |   265332 |    63100      7 |      777 |      668
1364.48/1364.93	c 1364s |      17 |  6230536 |   265832 |    63100      7 |      777 |      668
1366.78/1367.25	c 1366s |      17 |  6239404 |   266332 |    63100      7 |      777 |      668
1369.09/1369.56	c 1368s |      17 |  6249639 |   266932 |    63100      7 |      777 |      668
1371.18/1371.66	c 1370s |      17 |  6263377 |   267432 |    63100      7 |      777 |      668
1373.78/1374.24	c 1373s |      17 |  6265049 |   267832 |    63100      7 |      777 |      668
1375.98/1376.49	c 1375s |      17 |  6266056 |   268132 |    63100      7 |      777 |      668
1378.08/1378.54	c 1377s |      17 |  6267389 |   268532 |    63100      7 |      777 |      668
1380.28/1380.75	c 1380s |      17 |  6269819 |   268932 |    63100      7 |      777 |      668
1382.28/1382.78	c 1382s |      17 |  6271655 |   269232 |    63100      7 |      777 |      668
1384.58/1385.04	c 1384s |      17 |  6272597 |   269532 |    63100      7 |      777 |      668
1386.78/1387.27	c 1386s |      17 |  6273622 |   269832 |    63100      7 |      777 |      668
1388.98/1389.41	c 1388s |      17 |  6274476 |   270032 |    63100      7 |      777 |      668
1390.97/1391.47	c 1390s |      17 |  6275169 |   270232 |    63100      7 |      777 |      668
1393.17/1393.65	c 1392s |      17 |  6277894 |   270532 |    63100      7 |      777 |      668
1395.17/1395.65	c 1394s |      17 |  6288057 |   271032 |    63100      7 |      777 |      668
1397.27/1397.74	c 1397s |      17 |  6299339 |   271532 |    63100      7 |      777 |      668
1399.37/1399.84	c 1399s |      17 |  6305406 |   272132 |    63100      7 |      777 |      668
1401.57/1402.05	c 1401s |      17 |  6312959 |   272732 |    63100      7 |      777 |      668
1403.87/1404.32	c 1403s |      17 |  6316384 |   273132 |    63100      7 |      777 |      668
1405.97/1406.48	c 1405s |      17 |  6318160 |   273432 |    63100      7 |      777 |      668
1408.27/1408.71	c 1407s |      17 |  6323489 |   273932 |    63100      7 |      777 |      668
1410.37/1410.86	c 1410s |      17 |  6329932 |   274432 |    63100      7 |      777 |      668
1412.67/1413.19	c 1412s |      17 |  6341754 |   275132 |    63100      7 |      777 |      668
1415.07/1415.50	c 1414s |      17 |  6351512 |   275632 |    63100      7 |      777 |      668
1417.87/1418.33	c 1417s |      17 |  6361513 |   275932 |    63100      8 |      777 |      668
1419.97/1420.44	c 1419s |      17 |  6383214 |   276532 |    63100      8 |      777 |      668
1422.17/1422.64	c 1421s |      17 |  6403644 |   277232 |    63100      8 |      777 |      668
1424.17/1424.65	c 1423s |      17 |  6416891 |   278032 |    63100      8 |      777 |      668
1426.57/1427.04	c 1426s |      17 |  6428234 |   278732 |    63100      8 |      777 |      668
1428.67/1429.18	c 1428s |      17 |  6449947 |   279432 |    63100      8 |      777 |      668
1430.97/1431.49	c 1430s |      17 |  6458870 |   279932 |    63100      8 |      777 |      668
1433.27/1433.72	c 1433s |      17 |  6460402 |   280332 |    63100      8 |      777 |      668
1435.37/1435.81	c 1435s |      17 |  6461687 |   280632 |    63100      8 |      777 |      668
1437.77/1438.24	c 1437s |      17 |  6462929 |   280932 |    63100      8 |      777 |      668
1440.16/1440.63	c 1439s |      17 |  6465857 |   281432 |    63100      8 |      777 |      668
1442.16/1442.65	c 1441s |      17 |  6469832 |   281932 |    63100      8 |      777 |      668
1444.36/1444.81	c 1444s |      17 |  6472783 |   282432 |    63100      8 |      777 |      668
1446.36/1446.86	c 1446s |      17 |  6489731 |   282932 |    63100      8 |      777 |      668
1448.66/1449.13	c 1448s |      17 |  6508095 |   283532 |    63100      8 |      777 |      668
1450.96/1451.48	c 1450s |      17 |  6522702 |   284032 |    63100      8 |      777 |      668
1452.96/1453.49	c 1452s |      17 |  6540521 |   284532 |    63100      8 |      777 |      668
1455.06/1455.57	c 1454s |      17 |  6560352 |   285132 |    63100      8 |      777 |      668
1457.07/1457.58	c 1456s |      17 |  6576268 |   285632 |    63100      8 |      777 |      668
1459.37/1459.89	c 1459s |      17 |  6593468 |   286232 |    63100      8 |      777 |      668
1461.76/1462.28	c 1461s |      17 |  6613917 |   286832 |    63100      8 |      777 |      668
1463.86/1464.33	c 1463s |      17 |  6617254 |   287332 |    63100      8 |      777 |      668
1466.17/1466.67	c 1465s |      17 |  6635989 |   287832 |    63100      8 |      777 |      668
1468.47/1468.93	c 1468s |      17 |  6646199 |   288532 |    63100      8 |      777 |      668
1470.77/1471.29	c 1470s |      17 |  6658872 |   289032 |    63100      8 |      777 |      668
1473.57/1474.06	c 1473s |      17 |  6664995 |   289532 |    63100      8 |      777 |      668
1475.56/1476.07	c 1475s |      17 |  6667772 |   289932 |    63100      8 |      777 |      668
1478.26/1478.70	c 1477s |      17 |  6669659 |   290332 |    63100      8 |      777 |      668
1480.27/1480.71	c 1479s |      17 |  6671667 |   290632 |    63100      8 |      777 |      668
1482.47/1482.99	c 1482s |      17 |  6677759 |   291032 |    63100      8 |      777 |      668
1484.57/1485.07	c 1484s |      17 |  6688333 |   291632 |    63100      8 |      777 |      668
1486.66/1487.19	c 1486s |      17 |  6690057 |   292232 |    63100      8 |      777 |      668
1489.07/1489.52	c 1488s |      17 |  6692860 |   292832 |    63100      8 |      777 |      668
1491.06/1491.56	c 1490s |      17 |  6710727 |   293232 |    63100      8 |      777 |      668
1493.56/1494.02	c 1493s |      17 |  6721440 |   293832 |    63100      8 |      777 |      668
1495.76/1496.27	c 1495s |      17 |  6739382 |   294332 |    69410      8 |      777 |      668
1498.06/1498.50	c 1497s |      17 |  6751464 |   294832 |    69410      8 |      777 |      668
1500.16/1500.64	c 1499s |      17 |  6766942 |   295332 |    69410      8 |      777 |      668
1502.46/1502.95	c 1502s |      17 |  6777120 |   295832 |    69410      8 |      777 |      668
1504.26/1504.76	c 1504s |      18 |  6790405 |   296252 |    69410      8 |      777 |      668
1506.56/1507.03	c 1506s |      18 |  6799121 |   296752 |    69410      8 |      777 |      668
1508.86/1509.36	c 1508s |      18 |  6809367 |   297252 |    69410      8 |      777 |      668
1511.16/1511.63	c 1510s |      18 |  6831362 |   297752 |    69410      8 |      777 |      668
1513.36/1513.89	c 1513s |      18 |  6846470 |   298352 |    69410      8 |      777 |      668
1515.85/1516.33	c 1515s |      18 |  6867975 |   298952 |    69410      8 |      777 |      668
1518.05/1518.57	c 1517s |      18 |  6880888 |   299552 |    69410      8 |      777 |      668
1520.45/1520.97	c 1520s |      18 |  6900285 |   300152 |    69410      8 |      777 |      668
1522.75/1523.28	c 1522s |      18 |  6921482 |   300652 |    69410      8 |      777 |      668
1524.85/1525.34	c 1524s |      18 |  6937903 |   301252 |    69410      8 |      777 |      668
1527.15/1527.64	c 1526s |      18 |  6953917 |   301652 |    69410      8 |      778 |      669
1529.25/1529.80	c 1529s |      18 |  6967901 |   302152 |    69410      8 |      778 |      669
1531.65/1532.12	c 1531s |      18 |  6984903 |   302752 |    69410      8 |      778 |      669
1533.65/1534.18	c 1533s |      18 |  6992892 |   303052 |    69410      8 |      779 |      670
1535.95/1536.49	c 1535s |      18 |  7016634 |   303552 |    69410      8 |      779 |      670
1538.35/1538.83	c 1538s |      18 |  7031846 |   304152 |    69410      8 |      779 |      670
1540.76/1541.25	c 1540s |      18 |  7056424 |   304652 |    69410      8 |      779 |      670
1542.75/1543.28	c 1542s |      18 |  7063954 |   305052 |    69410      8 |      779 |      670
1545.06/1545.55	c 1544s |      18 |  7070143 |   305652 |    69410      8 |      779 |      670
1547.26/1547.78	c 1547s |      18 |  7081943 |   306152 |    69410      8 |      779 |      670
1550.15/1550.65	c 1549s |      18 |  7083705 |   306552 |    69410      8 |      779 |      670
1552.25/1552.76	c 1552s |      18 |  7084402 |   306752 |    69410      8 |      779 |      670
1554.95/1555.44	c 1554s |      18 |  7085969 |   307052 |    69410      8 |      779 |      670
1558.25/1558.75	c 1558s |      18 |  7087004 |   307252 |    69410      8 |      779 |      670
1560.95/1561.40	c 1560s |      18 |  7088403 |   307552 |    69410      8 |      779 |      670
1564.25/1564.74	c 1564s |      18 |  7088940 |   307752 |    69410      8 |      779 |      670
1566.45/1566.97	c 1566s |      18 |  7090079 |   308052 |    69410      8 |      779 |      670
1569.15/1569.63	c 1568s |      18 |  7091051 |   308352 |    69410      8 |      779 |      670
1571.45/1571.91	c 1571s |      18 |  7092064 |   308552 |    69410      8 |      779 |      670
1573.75/1574.23	c 1573s |      18 |  7110703 |   309152 |    69410      8 |      779 |      670
1575.95/1576.49	c 1575s |      18 |  7128752 |   309652 |    69410      8 |      779 |      670
1578.24/1578.79	c 1578s |      18 |  7140554 |   310152 |    69410      8 |      779 |      670
1580.44/1580.97	c 1580s |      18 |  7157569 |   310652 |    69410      8 |      779 |      670
1582.55/1583.03	c 1582s |      18 |  7169654 |   311152 |    69410      8 |      779 |      670
1584.54/1585.06	c 1584s |      18 |  7187151 |   311652 |    69410      8 |      779 |      670
1586.95/1587.47	c 1586s |      18 |  7202285 |   312252 |    69410      8 |      779 |      670
1589.15/1589.66	c 1588s |      18 |  7222153 |   312752 |    69410      8 |      779 |      670
1591.25/1591.71	c 1590s |      18 |  7237131 |   313252 |    69410      8 |      779 |      670
1593.24/1593.75	c 1593s |      18 |  7255804 |   313652 |    69410      8 |      779 |      670
1595.54/1596.05	c 1595s |      18 |  7271483 |   314252 |    69410      8 |      779 |      670
1599.94/1600.40	c 1599s |      18 |  7279037 |   314852 |    69410      9 |      780 |      671
1602.25/1602.73	c 1602s |      18 |  7296534 |   315652 |    69410      9 |      780 |      671
1604.55/1605.01	c 1604s |      18 |  7316279 |   316452 |    69410      9 |      780 |      671
1606.54/1607.03	c 1606s |      18 |  7336257 |   316952 |    69410      9 |      780 |      671
1608.74/1609.27	c 1608s |      18 |  7354059 |   317752 |    69410      9 |      780 |      671
1610.84/1611.39	c 1610s |      18 |  7366998 |   318552 |    69410      9 |      780 |      671
1613.34/1613.88	c 1613s |      18 |  7370264 |   319252 |    69410      9 |      780 |      671
1615.74/1616.24	c 1615s |      18 |  7386613 |   319752 |    69410      9 |      780 |      671
1618.14/1618.64	c 1617s |      18 |  7408328 |   320352 |    69410      9 |      780 |      671
1620.44/1620.94	c 1620s |      18 |  7429856 |   321152 |    69410      9 |      780 |      671
1622.74/1623.20	c 1622s |      18 |  7449654 |   321752 |    69410      9 |      780 |      671
1625.04/1625.59	c 1624s |      18 |  7472657 |   322352 |    69410      9 |      780 |      671
1627.14/1627.68	c 1626s |      18 |  7495162 |   322952 |    69410      9 |      780 |      671
1629.24/1629.70	c 1628s |      18 |  7512629 |   323552 |    69410      9 |      780 |      671
1631.34/1631.80	c 1631s |      18 |  7522191 |   324252 |    69410      9 |      780 |      671
1633.43/1633.98	c 1633s |      18 |  7533595 |   324852 |    69410      9 |      780 |      671
1636.53/1637.09	c 1636s |      18 |  7534813 |   325152 |    69410      9 |      780 |      671
1638.83/1639.37	c 1638s |      18 |  7549126 |   325852 |    69410      9 |      780 |      671
1640.84/1641.38	c 1640s |      18 |  7557841 |   326352 |    69410      9 |      780 |      671
1643.13/1643.64	c 1642s |      18 |  7570043 |   326952 |    69410      9 |      780 |      671
1645.24/1645.78	c 1645s |      18 |  7579337 |   327452 |    69410      9 |      780 |      671
1647.63/1648.14	c 1647s |      18 |  7599075 |   328152 |    69410      9 |      780 |      671
1649.93/1650.43	c 1649s |      18 |  7614898 |   328752 |    69410      9 |      780 |      671
1652.13/1652.65	c 1651s |      18 |  7630358 |   329452 |    69410      9 |      780 |      671
1654.33/1654.85	c 1654s |      18 |  7636076 |   330052 |    69410      9 |      780 |      671
1656.43/1656.96	c 1656s |      18 |  7645996 |   330552 |    69410      9 |      780 |      671
1658.73/1659.21	c 1658s |      18 |  7657484 |   331152 |    69410      9 |      780 |      671
1660.93/1661.44	c 1660s |      18 |  7667793 |   331752 |    69410      9 |      780 |      671
1662.93/1663.46	c 1662s |      18 |  7682612 |   332352 |    69410      9 |      780 |      671
1665.23/1665.71	c 1664s |      18 |  7700555 |   332952 |    69410      9 |      780 |      671
1667.33/1667.80	c 1667s |      18 |  7707432 |   333452 |    69410      9 |      780 |      671
1669.53/1670.08	c 1669s |      18 |  7716910 |   334152 |    69410      9 |      780 |      671
1671.73/1672.27	c 1671s |      18 |  7729944 |   334652 |    69410      9 |      780 |      671
1674.13/1674.63	c 1673s |      18 |  7745410 |   335252 |    69410      9 |      780 |      671
1676.24/1676.79	c 1676s |      18 |  7752197 |   335952 |    69410      9 |      780 |      671
1678.64/1679.15	c 1678s |      18 |  7759957 |   336552 |    69410      9 |      780 |      671
1680.94/1681.47	c 1680s |      18 |  7775182 |   337052 |    69410      9 |      780 |      671
1683.14/1683.63	c 1682s |      18 |  7786932 |   337652 |    69410      9 |      780 |      671
1685.33/1685.82	c 1685s |      18 |  7792427 |   338152 |    69410      9 |      780 |      671
1687.53/1688.03	c 1687s |      18 |  7808425 |   338752 |    69410      9 |      780 |      671
1689.83/1690.39	c 1689s |      18 |  7823625 |   339352 |    69410      9 |      780 |      671
1692.03/1692.55	c 1691s |      18 |  7834111 |   340052 |    69410      9 |      780 |      671
1694.33/1694.88	c 1694s |      18 |  7836656 |   340452 |    69410      9 |      780 |      671
1696.53/1697.02	c 1696s |      18 |  7846704 |   341052 |    69410      9 |      780 |      671
1698.53/1699.02	c 1698s |      18 |  7862898 |   341652 |    69410      9 |      780 |      671
1701.03/1701.53	c 1700s |      18 |  7881032 |   342252 |    69410      9 |      780 |      671
1703.33/1703.83	c 1703s |      18 |  7889187 |   342852 |    69410      9 |      780 |      671
1705.33/1705.88	c 1705s |      18 |  7904113 |   343352 |    69410      9 |      780 |      671
1707.73/1708.23	c 1707s |      18 |  7919297 |   343952 |    69410      9 |      780 |      671
1709.93/1710.44	c 1709s |      18 |  7931968 |   344452 |    69410      9 |      780 |      671
1712.13/1712.64	c 1711s |      18 |  7944188 |   345052 |    69410      9 |      780 |      671
1714.23/1714.70	c 1713s |      18 |  7950118 |   345652 |    69410      9 |      780 |      671
1716.23/1716.71	c 1715s |      18 |  7967812 |   346152 |    69410      9 |      780 |      671
1718.43/1718.92	c 1718s |      18 |  7975816 |   346752 |    69410      9 |      780 |      671
1720.63/1721.15	c 1720s |      18 |  7983955 |   347152 |    69410      9 |      780 |      671
1722.73/1723.24	c 1722s |      18 |  7988149 |   347652 |    69410      9 |      780 |      671
1724.83/1725.32	c 1724s |      18 |  7992824 |   348152 |    69410      9 |      780 |      671
1727.03/1727.53	c 1726s |      18 |  8001962 |   348752 |    69410      9 |      780 |      671
1729.43/1729.90	c 1729s |      18 |  8015721 |   349252 |    69410      9 |      780 |      671
1731.63/1732.19	c 1731s |      18 |  8034394 |   349752 |    69410      9 |      780 |      671
1733.83/1734.32	c 1733s |      18 |  8039462 |   349952 |    69410     10 |      780 |      671
1735.83/1736.38	c 1735s |      18 |  8053220 |   350552 |    69410     10 |      780 |      671
1737.92/1738.41	c 1737s |      18 |  8067327 |   351052 |    69410     10 |      780 |      671
1740.02/1740.56	c 1739s |      18 |  8082817 |   351552 |    69410     10 |      780 |      671
1742.12/1742.66	c 1741s |      18 |  8096897 |   352252 |    69410     10 |      780 |      671
1744.32/1744.83	c 1744s |      18 |  8112037 |   352952 |    69410     10 |      780 |      671
1746.33/1746.87	c 1746s |      18 |  8127155 |   353652 |    69410     10 |      780 |      671
1748.63/1749.18	c 1748s |      18 |  8140625 |   354352 |    69410     10 |      780 |      671
1751.12/1751.64	c 1750s |      18 |  8143636 |   354852 |    69410     10 |      780 |      671
1753.52/1754.01	c 1753s |      18 |  8148150 |   355352 |    69410     10 |      780 |      671
1756.02/1756.52	c 1755s |      18 |  8151237 |   355952 |    69410     10 |      780 |      671
1758.53/1759.00	c 1758s |      18 |  8156371 |   356552 |    69410     10 |      780 |      671
1760.52/1761.03	c 1760s |      18 |  8165025 |   357152 |    69410     10 |      780 |      671
1762.83/1763.33	c 1762s |      18 |  8190815 |   357752 |    69410     10 |      780 |      671
1764.92/1765.49	c 1764s |      18 |  8212264 |   358352 |    69410     10 |      780 |      671
1767.33/1767.81	c 1767s |      18 |  8229934 |   358952 |    69410     10 |      780 |      671
1769.43/1769.94	c 1769s |      18 |  8238786 |   359552 |    69410     10 |      780 |      671
1771.82/1772.36	c 1771s |      18 |  8259260 |   360152 |    69410     10 |      780 |      671
1774.22/1774.70	c 1773s |      18 |  8274174 |   360652 |    69410     10 |      781 |      672
1776.32/1776.89	c 1776s |      18 |  8295126 |   361252 |    69410     10 |      781 |      672
1778.52/1779.05	c 1778s |      18 |  8317996 |   361852 |    69410     10 |      781 |      672
1780.62/1781.12	c 1780s |      18 |  8337040 |   362452 |    69410     10 |      781 |      672
1782.62/1783.20	c 1782s |      18 |  8353809 |   363052 |    69410     10 |      781 |      672
1784.82/1785.36	c 1784s |      18 |  8363228 |   363652 |    69410     10 |      781 |      672
1787.32/1787.81	c 1787s |      18 |  8382800 |   364352 |    69410     10 |      781 |      672
1789.51/1790.00	c 1789s |      18 |  8404468 |   364852 |    69410     10 |      781 |      672
1791.52/1792.03	c 1791s |      18 |  8418742 |   365452 |    69410     10 |      781 |      672
1793.91/1794.43	c 1793s |      18 |  8436095 |   366052 |    69410     10 |      781 |      672
1796.21/1796.70	c 1795s |      18 |  8456309 |   366552 |    69410     10 |      781 |      672
1798.21/1798.73	c 1798s |      18 |  8471453 |   367052 |    69410     10 |      781 |      672

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.18 2.14 3/179 16431
/proc/meminfo: memFree=29491120/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=688572 CPUtime=0 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 2564 0 0 0 0 0 0 0 20 0 4 0 110493192 705097728 3435 33554432000 4194304 16246674 140733451400720 140733451400144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 172911 3445 441 2943 0 169805 0
[pid=16431/tid=16432] ppid=16428 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 723972096 3507 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 729214976 3524 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 733409280 3541 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100156 s]
/proc/loadavg: 2.22 2.18 2.14 3/179 16431
/proc/meminfo: memFree=29491120/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 27700 0 0 0 6 3 0 0 20 0 4 0 110493192 1333334016 28510 33554432000 4194304 16246674 140733451400720 140733451400032 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 325521 28524 800 2943 0 322415 0
[pid=16431/tid=16432] ppid=16428 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1333334016 28534 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1333334016 28546 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1333334016 28556 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200494 s]
/proc/loadavg: 2.22 2.18 2.14 3/179 16431
/proc/meminfo: memFree=29491120/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 47562 0 0 0 14 5 0 0 20 0 4 0 110493192 1344868352 48882 33554432000 4194304 16246674 140733451400720 140733451400032 7439429 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328337 48882 800 2943 0 325231 0
[pid=16431/tid=16432] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 48882 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 48882 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 48882 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.3005 s]
/proc/loadavg: 2.22 2.18 2.14 3/179 16431
/proc/meminfo: memFree=29491120/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 54652 0 0 0 23 6 0 0 20 0 4 0 110493192 1344868352 55972 33554432000 4194304 16246674 140733451400720 140733451400032 5875604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328337 55972 831 2943 0 325231 0
[pid=16431/tid=16432] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 55972 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 55972 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 55972 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700378 s]
/proc/loadavg: 2.22 2.18 2.14 3/179 16431
/proc/meminfo: memFree=29491120/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 118586 0 0 0 54 15 0 0 20 0 4 0 110493192 1344868352 119906 33554432000 4194304 16246674 140733451400720 140733451400032 4206568 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328337 119906 841 2943 0 325231 0
[pid=16431/tid=16432] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 119906 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 119906 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1344868352 119906 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50034 s]
/proc/loadavg: 2.22 2.18 2.14 3/183 16435
/proc/meminfo: memFree=29011372/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 118885 0 0 0 134 15 0 0 20 0 4 0 110493192 1345916928 120205 33554432000 4194304 16246674 140733451400720 140733451382592 5532372 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328593 120205 879 2943 0 325487 0
[pid=16431/tid=16432] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 120205 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 120205 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 120205 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10039 s]
/proc/loadavg: 2.22 2.18 2.14 3/183 16435
/proc/meminfo: memFree=28577124/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1314372 CPUtime=3.08 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 269260 0 0 0 273 35 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140733451382592 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328593 270580 881 2943 0 325487 0
[pid=16431/tid=16432] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372

[startup+6.30039 s]
/proc/loadavg: 2.20 2.18 2.14 4/183 16435
/proc/meminfo: memFree=28409492/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1314372 CPUtime=6.28 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 269260 0 0 0 593 35 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140733451382592 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328593 270580 881 2943 0 325487 0
[pid=16431/tid=16432] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.18 2.18 2.14 4/183 16435
/proc/meminfo: memFree=28409572/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1314372 CPUtime=12.68 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 269260 0 0 0 1233 35 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140733451382592 5829380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328593 270580 881 2943 0 325487 0
[pid=16431/tid=16432] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270580 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5004 s]
/proc/loadavg: 2.14 2.17 2.14 3/183 16435
/proc/meminfo: memFree=28409996/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 269263 0 0 0 2513 36 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140733451382592 6842312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328593 270583 884 2943 0 325487 0
[pid=16431/tid=16432] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.15 2.17 2.14 3/183 16436
/proc/meminfo: memFree=28409584/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 269263 0 0 0 5072 36 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140733451382592 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328593 270583 884 2943 0 325487 0
[pid=16431/tid=16432] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.18 2.17 2.14 3/183 16437
/proc/meminfo: memFree=28410284/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 269263 0 0 0 10192 36 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140733451382592 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 328593 270583 884 2943 0 325487 0
[pid=16431/tid=16432] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1345916928 270583 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.17 2.15 2.13 3/183 16491
/proc/meminfo: memFree=28405400/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1316420 CPUtime=1361.88 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 270152 0 0 0 136131 57 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140733451382592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 329105 271101 886 2943 0 325999 0
[pid=16431/tid=16432] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.17 2.15 2.13 4/184 16495
/proc/meminfo: memFree=28405388/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1316420 CPUtime=1421.87 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 270152 0 0 0 142130 57 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140733451382592 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 329105 271101 886 2943 0 325999 0
[pid=16431/tid=16432] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16496
/proc/meminfo: memFree=28405844/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1316420 CPUtime=1481.86 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 270152 0 0 0 148128 58 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140733451382592 5829313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 329105 271101 886 2943 0 325999 0
[pid=16431/tid=16432] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16497
/proc/meminfo: memFree=28405844/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1316420 CPUtime=1541.86 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 270152 0 0 0 154128 58 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140733451399896 5723965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 329105 271101 886 2943 0 325999 0
[pid=16431/tid=16432] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1348014080 271101 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.14 2.14 2.12 3/183 16547
/proc/meminfo: memFree=28411720/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1324612 CPUtime=1601.84 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 272026 0 0 0 160125 59 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140733451382592 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 331153 272975 886 2943 0 328047 0
[pid=16431/tid=16432] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.15 2.14 2.12 3/183 16597
/proc/meminfo: memFree=28413372/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1324612 CPUtime=1661.83 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 272026 0 0 0 166124 59 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140733451382592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 331153 272975 886 2943 0 328047 0
[pid=16431/tid=16432] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.11 2.13 2.12 3/183 16598
/proc/meminfo: memFree=28413264/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1324612 CPUtime=1721.83 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 272026 0 0 0 172123 60 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140733451382592 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 331153 272975 886 2943 0 328047 0
[pid=16431/tid=16432] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.08 2.12 2.11 3/183 16599
/proc/meminfo: memFree=28412440/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1324612 CPUtime=1781.82 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 272026 0 0 0 178122 60 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140733451382592 13191512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 331153 272975 886 2943 0 328047 0
[pid=16431/tid=16432] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.12 2.11 3/183 16599
/proc/meminfo: memFree=28412320/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1324612 CPUtime=1800.01 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 272026 0 0 0 179941 60 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140733451382592 12478229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 331153 272975 886 2943 0 328047 0
[pid=16431/tid=16432] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1324612

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.12 2.11 3/183 16599
/proc/meminfo: memFree=28412320/32872528 swapFree=12208/1156848
[pid=16431] ppid=16428 vsize=1324612 CPUtime=1800.01 cores=0,2,4,6
/proc/16431/stat : 16431 (toysat) R 16428 16431 15571 0 -1 4202496 272026 0 0 0 179941 60 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140733451382592 12478229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16431/statm: 331153 272975 886 2943 0 328047 0
[pid=16431/tid=16432] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16432/stat : 16432 (toysat) S 16428 16431 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446835649776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16431/tid=16433] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16433/stat : 16433 (toysat) S 16428 16431 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446825159920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16431/tid=16434] ppid=16428 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16431/task/16434/stat : 16434 (toysat) S 16428 16431 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110493192 1356402688 272975 33554432000 4194304 16246674 140733451400720 140446705642672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1324612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.42
CPU system time (s): 0.606907
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.606907
maximum resident set size= 1091900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272026
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= 391
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5983 second user time and 6.99594 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 09:46:26
IDJOB=4078905
IDBENCH=90181
IDSOLVER=2542
FILE ID=node114/4078905-1465285586
RUNJOBID= node114-1465276339-15587
PBS_JOBID= 19843307
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= b01d5fef61cfdf78caaec08ee0d21bae
RANDOM SEED=1638012099

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:        29491384 kB
Buffers:          144704 kB
Cached:           250312 kB
SwapCached:         1696 kB
Active:          1240620 kB
Inactive:         246096 kB
Active(anon):    1092692 kB
Inactive(anon):     1252 kB
Active(file):     147928 kB
Inactive(file):   244844 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             17488 kB
Writeback:             0 kB
AnonPages:       2248004 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             602668 kB
SReclaimable:      46476 kB
SUnreclaim:       556192 kB
KernelStack:        1464 kB
PageTables:         8440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2394568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1359872 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:16:27