Trace number 4078936

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/ShortestPathTate/
normalized-TateBritain_K85.opb
MD5SUM1487741f4fc087d76a7a64081b5bebd6
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 variables5780
Total number of constraints5952
Number of constraints which are clauses5867
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint85
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 86
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T08:50:27+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078936-1465282227.opb"]
0.00/0.01	c use --random-gen="3460923983 2044559212 1164222423 842588189 2436899519 3674427952 786089392 688156316 1952081944 4177269350 1857745889 248024094 1214508969 583459767 3893019402 857601562 1487726409 2920018818 2327666982 1616644798 3531780883 2735456673 1494176308 4094777 1569841079 468731346 4172741743 1328543033 2562763039 484924615 3397632610 1068295570 1900235943 2773976827 2863692669 1326698873 616444569 3002978203 3002461888 4197488255 3030144839 2749011840 3313895272 2364184789 4196932873 1593829936 3445029271 1878299922 3952827222 3329426433 2329753080 946784833 498285874 1318289978 3965960684 1329514355 1889744332 3326805060 1646889989 407858662 3376110300 2302210010 4287662044 1516839221 1719270100 775605248 2777836962 2812621032 2612747152 566652238 3466347195 300637876 2665487160 3770294433 8718688 4132433563 3476307498 3564697133 280821708 1390192706 2072150649 2248447370 2597402600 3061642725 3049135615 79387172 2052713808 3813704186 1143791509 1625903656 790621315 3283203201 3527714922 2552324831 4252078902 2839880338 4076293600 2171537302 1329659543 4256025646 3340901254 3316694580 2823952569 3041635002 2646140063 3750877649 3699850916 1900149966 355733951 3746321954 962199104 417705595 2303496817 2690088168 3540407347 915397975 2426292731 75274443 2198961768 2018443035 3851482962 3840870218 400901543 697486270 619234250 3763447892 1597100769 2954527867 2366390556 1437019989 625367497 2830834085 1917337065 1275502662 2713400624 3094203864 429151584 3855375150 1275148658 1664992893 2255703935 2762515917 1354586823 1379077078 192541361 4178653543 2817226139 626250205 3096855555 1705448441 2331421750 4084008693 1950422179 3397927010 1898278272 4267976686 1253189173 3316806207 2832948483 1290980791 2880612116 2421028191 2194475092 1998872795 4099297786 204141117 3502130012 758006398 4063564393 2668991132 1099005951 341580782 2524261819 3346186998 4063054924 2106044985 14455327 4294867694 3256688274 1042037357 1578220709 3803174407 1403927513 3251732512 1535531440 3508366497 1285490363 1336239726 1695270270 3871721959 3760457165 3426471332 114651668 543197827 3284609757 3368808066 1448910443 1897897984 2798634784 200635069 134017704 73767804 2596833190 167621662 1411058688 2085903737 1696320028 3174877499 3713848760 2259744403 4065541709 2409231556 593528479 1883261585 2995915677 1159052567 2105267691 1023783499 3462861029 2604595608 2482554190 2525101301 3840732876 1504341257 3234487815 1281341953 417932668 3065753871 759879001 3214514789 3609099679 3355599928 3046981473 3394281421 692631972 1952630273 3991499566 2816662681 1623349651 1903174322 1751605388 1158380530 836558785 1127177835 3134263970 1727743156 2397640246 1192248042 228293274 3882371593 1912926850 1458811054 1974817951 1700273013 4004869739 1906234480 255 362436" option to reproduce the execution
0.09/0.10	c #vars 5780
0.09/0.10	c #constraints 5952
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     3910      0 |      362 |        0
0.29/0.35	c  0.1s |       1 |     3215 |      100 |     3910      0 |      363 |      304
0.49/0.59	c  0.4s |       2 |     4131 |      250 |     4301      0 |      364 |      305
0.79/0.85	c  0.6s |       3 |     8165 |      475 |     4732      0 |      364 |      305
1.39/1.46	c  1.2s |       4 |    10005 |      813 |     5206      0 |      364 |      305
1.89/1.97	c  1.8s |       5 |    15061 |     1320 |     5727      0 |      364 |      305
2.59/2.67	c  2.4s |       6 |    29571 |     2081 |     6931      0 |      364 |      305
4.19/4.25	c  4.0s |       7 |    38821 |     3223 |     7625      0 |      365 |      306
6.29/6.39	c  6.2s |       7 |    52433 |     4523 |     7625      0 |      366 |      307
7.09/7.10	c  6.9s |       8 |    54568 |     4936 |     8388      0 |      366 |      307
9.09/9.15	c  8.9s |       8 |    80770 |     6636 |     8388      0 |      367 |      308
10.19/10.22	c 10.0s |       9 |    90325 |     7506 |     9227      0 |      368 |      309
12.39/12.41	c 12.2s |       9 |   110643 |     9106 |     9227      0 |      369 |      310
14.50/14.56	c 14.3s |       9 |   112543 |    10006 |     9227      0 |      369 |      310
16.60/16.70	c 16.5s |       9 |   114433 |    10706 |     9227      0 |      369 |      310
18.69/18.78	c 18.6s |       9 |   118139 |    11306 |    10150      1 |      369 |      310
18.80/18.84	c 18.6s |      10 |   118240 |    11361 |    10150      1 |      369 |      310
20.89/20.97	c 20.8s |      10 |   129885 |    12161 |    10150      1 |      371 |      312
22.99/23.00	c 22.8s |      10 |   141814 |    13661 |    10150      1 |      371 |      312
24.99/25.01	c 24.8s |      10 |   159430 |    15061 |    10150      1 |      372 |      313
26.99/27.02	c 26.8s |      10 |   176529 |    16661 |    10150      1 |      372 |      313
27.89/27.94	c 27.7s |      11 |   182899 |    17144 |    11165      2 |      372 |      313
30.19/30.20	c 30.0s |      11 |   203614 |    18444 |    11165      2 |      373 |      314
32.29/32.30	c 32.1s |      11 |   205101 |    18844 |    11165      2 |      373 |      314
34.29/34.36	c 34.1s |      11 |   215789 |    20044 |    11165      2 |      374 |      315
36.29/36.38	c 36.2s |      11 |   222182 |    21344 |    11165      2 |      374 |      315
38.59/38.63	c 38.4s |      11 |   225532 |    22344 |    11165      2 |      374 |      315
40.68/40.78	c 40.6s |      11 |   230096 |    23344 |    11165      2 |      374 |      315
42.99/43.01	c 42.8s |      11 |   231822 |    23944 |    11165      2 |      374 |      315
45.19/45.27	c 45.1s |      11 |   234288 |    24744 |    11165      2 |      374 |      315
47.29/47.38	c 47.2s |      11 |   236208 |    25344 |    11165      2 |      374 |      315
48.99/49.04	c 48.8s |      12 |   238042 |    25819 |    12282      2 |      374 |      315
50.99/51.09	c 50.9s |      12 |   252153 |    27019 |    12282      3 |      377 |      318
53.08/53.12	c 52.9s |      12 |   265699 |    28519 |    12282      3 |      377 |      318
55.09/55.13	c 54.9s |      12 |   278360 |    30019 |    12282      3 |      377 |      318
57.08/57.17	c 56.9s |      12 |   286305 |    31019 |    12282      3 |      377 |      318
59.08/59.18	c 59.0s |      12 |   299078 |    32419 |    12282      4 |      377 |      318
61.18/61.27	c 61.0s |      12 |   316368 |    33919 |    12282      4 |      379 |      320
63.38/63.45	c 63.2s |      12 |   338030 |    35519 |    12282      4 |      379 |      320
65.48/65.50	c 65.3s |      12 |   358589 |    37319 |    12282      4 |      379 |      320
67.58/67.63	c 67.4s |      12 |   370066 |    38619 |    13511      4 |      379 |      320
68.29/68.35	c 68.1s |      13 |   370589 |    38832 |    13511      4 |      379 |      320
70.38/70.40	c 70.2s |      13 |   390019 |    40332 |    13511      5 |      380 |      321
72.38/72.47	c 72.3s |      13 |   410572 |    41932 |    13511      5 |      380 |      321
74.58/74.60	c 74.4s |      13 |   416378 |    43232 |    13511      5 |      380 |      321
76.58/76.69	c 76.5s |      13 |   424739 |    44232 |    13511      5 |      381 |      322
78.68/78.73	c 78.5s |      13 |   438152 |    45832 |    13511      5 |      381 |      322
80.78/80.86	c 80.6s |      13 |   447522 |    47332 |    13511      5 |      381 |      322
82.88/82.96	c 82.7s |      13 |   462814 |    48732 |    13511      6 |      382 |      323
85.08/85.15	c 84.9s |      13 |   472998 |    50032 |    13511      6 |      383 |      324
87.09/87.18	c 87.0s |      13 |   481760 |    51432 |    13511      6 |      383 |      324
89.19/89.20	c 89.0s |      13 |   498275 |    52832 |    13511      6 |      383 |      324
91.28/91.32	c 91.1s |      13 |   506831 |    53932 |    13511      6 |      383 |      324
93.38/93.45	c 93.2s |      13 |   508892 |    54632 |    13511      6 |      383 |      324
95.48/95.53	c 95.3s |      13 |   512056 |    55232 |    13511      7 |      383 |      324
97.58/97.63	c 97.4s |      13 |   527970 |    56732 |    13511      7 |      383 |      324
99.68/99.74	c 99.5s |      13 |   544573 |    58332 |    14863      7 |      383 |      324
99.68/99.79	c 99.6s |      14 |   544595 |    58352 |    14863      7 |      383 |      324
101.68/101.79	c  101s |      14 |   548168 |    59352 |    14863      7 |      383 |      324
103.78/103.86	c  103s |      14 |   550393 |    60152 |    14863      7 |      383 |      324
105.78/105.87	c  105s |      14 |   552019 |    60852 |    14863      7 |      383 |      324
107.98/108.02	c  107s |      14 |   554472 |    61652 |    14863      7 |      383 |      324
109.97/110.06	c  109s |      14 |   562462 |    62552 |    14863      7 |      383 |      324
112.07/112.11	c  111s |      14 |   572347 |    63952 |    14863      7 |      383 |      324
114.07/114.18	c  113s |      14 |   578309 |    65052 |    14863      8 |      383 |      324
116.57/116.61	c  116s |      14 |   580051 |    65752 |    14863      8 |      383 |      324
119.07/119.15	c  118s |      14 |   581895 |    66252 |    14863      8 |      383 |      324
121.57/121.64	c  121s |      14 |   582603 |    66552 |    14863      8 |      383 |      324
123.67/123.72	c  123s |      14 |   586004 |    67352 |    14863      8 |      383 |      324
125.67/125.74	c  125s |      14 |   588015 |    68052 |    14863      8 |      383 |      324
127.87/127.95	c  127s |      14 |   592116 |    68852 |    14863      8 |      383 |      324
129.98/130.09	c  129s |      14 |   593742 |    69352 |    14863      8 |      383 |      324
132.17/132.21	c  131s |      14 |   596372 |    70152 |    14863      8 |      383 |      324
134.27/134.31	c  134s |      14 |   598815 |    70752 |    14863      8 |      383 |      324
136.47/136.55	c  136s |      14 |   601650 |    71452 |    14863      8 |      383 |      324
138.97/139.06	c  138s |      14 |   603455 |    72052 |    14863      8 |      383 |      324
141.17/141.27	c  141s |      14 |   605159 |    72552 |    14863      8 |      383 |      324
143.36/143.46	c  143s |      14 |   606194 |    72952 |    14863      8 |      383 |      324
145.56/145.66	c  145s |      14 |   606594 |    73152 |    14863      8 |      383 |      324
148.36/148.49	c  148s |      14 |   607269 |    73452 |    14863      8 |      383 |      324
150.46/150.50	c  150s |      14 |   607648 |    73652 |    14863      8 |      383 |      324
152.66/152.74	c  152s |      14 |   609439 |    74152 |    14863      9 |      383 |      324
154.96/155.04	c  154s |      14 |   611446 |    74752 |    14863      9 |      383 |      324
157.17/157.29	c  157s |      14 |   612980 |    75252 |    14863      9 |      383 |      324
159.58/159.65	c  159s |      14 |   613790 |    75552 |    14863      9 |      383 |      324
161.67/161.70	c  161s |      14 |   615801 |    75952 |    14863      9 |      383 |      324
164.08/164.11	c  163s |      14 |   617239 |    76352 |    14863      9 |      383 |      324
166.28/166.39	c  166s |      14 |   618964 |    76652 |    14863      9 |      383 |      324
168.37/168.49	c  168s |      14 |   620297 |    76952 |    14863      9 |      383 |      324
170.97/171.08	c  170s |      14 |   621895 |    77352 |    14863      9 |      383 |      324
173.27/173.31	c  173s |      14 |   623841 |    77852 |    14863      9 |      383 |      324
175.57/175.62	c  175s |      14 |   625123 |    78252 |    14863      9 |      383 |      324
177.77/177.85	c  177s |      14 |   626303 |    78652 |    14863      9 |      383 |      324
179.96/180.02	c  179s |      14 |   626900 |    78852 |    14863      9 |      383 |      324
182.36/182.44	c  182s |      14 |   627886 |    79152 |    14863      9 |      383 |      324
184.46/184.58	c  184s |      14 |   629883 |    79652 |    14863      9 |      383 |      324
186.66/186.72	c  186s |      14 |   631097 |    80052 |    14863      9 |      383 |      324
189.06/189.16	c  188s |      14 |   632172 |    80452 |    14863      9 |      383 |      324
191.47/191.59	c  191s |      14 |   634898 |    81152 |    14863      9 |      383 |      324
193.56/193.61	c  193s |      14 |   636261 |    81652 |    14863      9 |      383 |      324
195.87/195.96	c  195s |      14 |   638183 |    82152 |    14863      9 |      383 |      324
198.66/198.78	c  198s |      14 |   639011 |    82552 |    14863      9 |      383 |      324
201.26/201.39	c  201s |      14 |   641596 |    83152 |    14863     10 |      383 |      324
203.36/203.45	c  203s |      14 |   644404 |    83852 |    14863     10 |      383 |      324
205.46/205.52	c  205s |      14 |   646731 |    84452 |    14863     10 |      383 |      324
207.56/207.63	c  207s |      14 |   654231 |    85352 |    14863     10 |      385 |      326
209.56/209.67	c  209s |      14 |   669841 |    86852 |    14863     10 |      385 |      326
210.86/210.91	c  210s |      15 |   673632 |    87632 |    16350     10 |      385 |      326
212.86/212.95	c  212s |      15 |   690677 |    88832 |    16350     10 |      387 |      328
214.85/214.97	c  214s |      15 |   700486 |    89932 |    16350     10 |      387 |      328
216.95/217.03	c  216s |      15 |   706798 |    90632 |    16350     10 |      387 |      328
219.35/219.41	c  219s |      15 |   717820 |    91932 |    16350     11 |      387 |      328
221.45/221.50	c  221s |      15 |   729971 |    92932 |    16350     11 |      387 |      328
223.65/223.71	c  223s |      15 |   737797 |    94032 |    16350     11 |      387 |      328
225.75/225.89	c  225s |      15 |   740350 |    94732 |    16350     11 |      387 |      328
228.15/228.20	c  227s |      15 |   742344 |    95232 |    16350     11 |      387 |      328
230.45/230.52	c  230s |      15 |   743981 |    95732 |    16350     11 |      387 |      328
232.55/232.65	c  232s |      15 |   747004 |    96132 |    16350     11 |      387 |      328
234.55/234.67	c  234s |      15 |   751913 |    97032 |    16350     11 |      387 |      328
237.15/237.25	c  237s |      15 |   761928 |    98132 |    16350     11 |      387 |      328
239.25/239.33	c  239s |      15 |   771953 |    99232 |    16350     11 |      387 |      328
241.25/241.37	c  241s |      15 |   776473 |    99932 |    16350     11 |      387 |      328
243.56/243.63	c  243s |      15 |   781991 |   100732 |    16350     11 |      387 |      328
245.66/245.76	c  245s |      15 |   785907 |   101332 |    16350     12 |      387 |      328
247.96/248.03	c  247s |      15 |   789712 |   102332 |    16350     12 |      387 |      328
249.96/250.07	c  249s |      15 |   791982 |   103032 |    16350     12 |      387 |      328
252.06/252.15	c  251s |      15 |   801580 |   104232 |    16350     12 |      388 |      329
254.36/254.41	c  254s |      15 |   806282 |   105332 |    16350     12 |      388 |      329
256.36/256.43	c  256s |      15 |   823460 |   106832 |    16350     12 |      388 |      329
258.45/258.54	c  258s |      15 |   840835 |   108132 |    16350     12 |      389 |      330
260.55/260.60	c  260s |      15 |   845887 |   108932 |    16350     12 |      389 |      330
262.55/262.61	c  262s |      15 |   862882 |   110332 |    16350     13 |      389 |      330
264.55/264.62	c  264s |      15 |   876816 |   111732 |    16350     13 |      389 |      330
266.55/266.64	c  266s |      15 |   891299 |   113132 |    16350     13 |      389 |      330
268.75/268.84	c  268s |      15 |   895926 |   114132 |    16350     13 |      389 |      330
270.95/271.07	c  270s |      15 |   898533 |   114932 |    16350     13 |      389 |      330
273.15/273.20	c  272s |      15 |   900105 |   115532 |    16350     13 |      389 |      330
275.16/275.23	c  275s |      15 |   904242 |   116132 |    16350     13 |      389 |      330
277.26/277.30	c  277s |      15 |   923541 |   117632 |    16350     13 |      389 |      330
279.25/279.39	c  279s |      15 |   935898 |   118932 |    16350     14 |      389 |      330
281.45/281.52	c  281s |      15 |   943743 |   120132 |    16350     14 |      389 |      330
283.55/283.64	c  283s |      15 |   946831 |   121032 |    16350     14 |      389 |      330
285.85/285.93	c  285s |      15 |   948600 |   121632 |    16350     14 |      389 |      330
287.95/288.09	c  287s |      15 |   950992 |   122432 |    16350     14 |      389 |      330
290.05/290.18	c  289s |      15 |   953035 |   123132 |    16350     14 |      389 |      330
292.45/292.58	c  292s |      15 |   953715 |   123432 |    16350     14 |      389 |      330
294.45/294.59	c  294s |      15 |   954569 |   123732 |    16350     14 |      389 |      330
296.54/296.61	c  296s |      15 |   955300 |   124032 |    16350     14 |      389 |      330
298.84/298.93	c  298s |      15 |   956317 |   124432 |    16350     14 |      389 |      330
300.94/301.07	c  300s |      15 |   957539 |   124832 |    16350     14 |      389 |      330
303.14/303.28	c  303s |      15 |   959734 |   125332 |    16350     14 |      389 |      330
305.54/305.60	c  305s |      15 |   960936 |   125832 |    16350     14 |      389 |      330
307.54/307.67	c  307s |      15 |   961991 |   126232 |    16350     14 |      389 |      330
309.84/309.97	c  309s |      15 |   963296 |   126732 |    16350     14 |      389 |      330
312.34/312.42	c  312s |      15 |   964313 |   127132 |    16350     14 |      389 |      330
314.65/314.71	c  314s |      15 |   965811 |   127532 |    16350     14 |      389 |      330
317.04/317.13	c  316s |      15 |   966431 |   127832 |    16350     14 |      389 |      330
319.24/319.34	c  319s |      15 |   967634 |   128232 |    16350     14 |      389 |      330
322.04/322.14	c  321s |      15 |   968407 |   128532 |    16350     14 |      389 |      330
324.64/324.76	c  324s |      15 |   970318 |   129132 |    16350     14 |      389 |      330
327.14/327.23	c  327s |      15 |   970993 |   129432 |    16350     14 |      389 |      330
329.24/329.33	c  329s |      15 |   971539 |   129732 |    16350     14 |      389 |      330
331.53/331.67	c  331s |      15 |   972471 |   130132 |    16350     15 |      389 |      330
333.83/333.94	c  333s |      15 |   974035 |   130632 |    16350     15 |      389 |      330
336.33/336.48	c  336s |      15 |   975587 |   131132 |    17985     15 |      389 |      330
338.84/338.99	c  338s |      15 |   976664 |   131532 |    17985     15 |      389 |      330
338.94/339.07	c  338s |      16 |   976697 |   131552 |    17985     15 |      389 |      330
341.04/341.12	c  340s |      16 |   987738 |   132952 |    17985     15 |      389 |      330
343.03/343.15	c  342s |      16 |   998213 |   134352 |    17985     15 |      389 |      330
345.03/345.18	c  344s |      16 |  1011476 |   135752 |    17985     15 |      389 |      330
347.03/347.18	c  346s |      16 |  1022437 |   136952 |    17985     15 |      389 |      330
349.13/349.28	c  349s |      16 |  1035748 |   138452 |    17985     15 |      389 |      330
351.64/351.77	c  351s |      16 |  1043087 |   139552 |    17985     15 |      389 |      330
353.94/354.05	c  353s |      16 |  1044246 |   140052 |    17985     15 |      389 |      330
356.24/356.33	c  356s |      16 |  1045563 |   140552 |    17985     15 |      389 |      330
358.24/358.38	c  358s |      16 |  1056445 |   141652 |    17985     16 |      389 |      330
360.34/360.45	c  360s |      16 |  1067472 |   143452 |    17985     16 |      389 |      330
362.34/362.45	c  362s |      16 |  1078483 |   144752 |    17985     16 |      389 |      330
364.34/364.47	c  364s |      16 |  1092540 |   145952 |    17985     16 |      389 |      330
366.74/366.84	c  366s |      16 |  1101774 |   147052 |    17985     16 |      389 |      330
368.74/368.89	c  368s |      16 |  1110031 |   148052 |    17985     16 |      389 |      330
371.04/371.15	c  370s |      16 |  1116553 |   149152 |    17985     16 |      389 |      330
373.04/373.19	c  372s |      16 |  1129866 |   150452 |    17985     17 |      390 |      331
375.14/375.27	c  375s |      16 |  1160707 |   152252 |    17985     17 |      390 |      331
377.23/377.30	c  377s |      16 |  1169020 |   153652 |    17985     17 |      390 |      331
379.33/379.43	c  379s |      16 |  1188206 |   155152 |    17985     17 |      391 |      332
381.43/381.51	c  381s |      16 |  1199152 |   156552 |    17985     17 |      391 |      332
383.83/383.93	c  383s |      16 |  1206574 |   157452 |    17985     17 |      391 |      332
385.93/386.04	c  385s |      16 |  1210007 |   158252 |    17985     17 |      391 |      332
388.13/388.29	c  388s |      16 |  1222943 |   159352 |    17985     18 |      391 |      332
390.13/390.29	c  390s |      16 |  1237826 |   160852 |    17985     18 |      391 |      332
392.23/392.33	c  392s |      16 |  1251637 |   162052 |    17985     18 |      391 |      332
394.33/394.44	c  394s |      16 |  1256357 |   163052 |    17985     18 |      391 |      332
396.43/396.51	c  396s |      16 |  1274041 |   164552 |    17985     18 |      391 |      332
398.43/398.54	c  398s |      16 |  1289393 |   165852 |    17985     18 |      391 |      332
400.54/400.61	c  400s |      16 |  1299839 |   167052 |    17985     18 |      391 |      332
402.64/402.72	c  402s |      16 |  1309260 |   168052 |    17985     18 |      391 |      332
404.94/405.03	c  404s |      16 |  1313241 |   168852 |    17985     18 |      391 |      332
407.04/407.16	c  406s |      16 |  1316067 |   169552 |    17985     18 |      391 |      332
409.03/409.18	c  408s |      16 |  1321383 |   170252 |    17985     19 |      391 |      332
411.13/411.26	c  411s |      16 |  1332991 |   171552 |    17985     19 |      391 |      332
413.23/413.34	c  413s |      16 |  1345690 |   172852 |    17985     19 |      391 |      332
415.33/415.44	c  415s |      16 |  1356348 |   173852 |    17985     19 |      391 |      332
417.43/417.54	c  417s |      16 |  1357969 |   174352 |    17985     19 |      391 |      332
419.53/419.69	c  419s |      16 |  1364915 |   175252 |    17985     19 |      391 |      332
421.83/421.99	c  421s |      16 |  1371860 |   176652 |    17985     19 |      391 |      332
424.23/424.37	c  424s |      16 |  1376411 |   177752 |    17985     19 |      391 |      332
426.32/426.47	c  426s |      16 |  1378767 |   178452 |    17985     19 |      391 |      332
428.42/428.55	c  428s |      16 |  1381830 |   179252 |    17985     19 |      391 |      332
430.42/430.57	c  430s |      16 |  1391095 |   180452 |    17985     20 |      391 |      332
432.52/432.65	c  432s |      16 |  1399426 |   181652 |    17985     20 |      391 |      332
434.63/434.78	c  434s |      16 |  1406230 |   182952 |    17985     20 |      391 |      332
436.73/436.89	c  436s |      16 |  1411026 |   184352 |    17985     20 |      391 |      332
438.82/438.90	c  438s |      16 |  1418995 |   185652 |    17985     20 |      391 |      332
440.82/440.91	c  440s |      16 |  1432018 |   187152 |    17985     20 |      392 |      333
442.92/443.09	c  442s |      16 |  1443850 |   188752 |    17985     20 |      392 |      333
445.12/445.25	c  445s |      16 |  1445593 |   189452 |    17985     20 |      392 |      333
447.22/447.35	c  447s |      16 |  1452041 |   190252 |    17985     21 |      392 |      333
449.42/449.55	c  449s |      16 |  1455693 |   191252 |    17985     21 |      392 |      333
451.42/451.55	c  451s |      16 |  1459535 |   192152 |    17985     21 |      392 |      333
453.52/453.60	c  453s |      16 |  1480649 |   193752 |    17985     21 |      393 |      334
455.62/455.71	c  455s |      16 |  1488712 |   195252 |    17985     21 |      393 |      334
457.62/457.76	c  457s |      16 |  1502682 |   196752 |    19784     21 |      393 |      334
458.62/458.74	c  458s |      17 |  1509623 |   197432 |    19784     21 |      393 |      334
460.62/460.77	c  460s |      17 |  1518652 |   198832 |    19784     21 |      393 |      334
462.72/462.87	c  462s |      17 |  1524309 |   200032 |    19784     21 |      393 |      334
465.12/465.21	c  464s |      17 |  1528933 |   201132 |    19784     21 |      393 |      334
467.22/467.37	c  467s |      17 |  1533875 |   202232 |    19784     21 |      393 |      334
469.41/469.57	c  469s |      17 |  1539589 |   203332 |    19784     22 |      393 |      334
471.41/471.59	c  471s |      17 |  1543048 |   204132 |    19784     22 |      393 |      334
473.51/473.68	c  473s |      17 |  1544630 |   204732 |    19784     22 |      393 |      334
475.71/475.84	c  475s |      17 |  1551254 |   205932 |    19784     22 |      393 |      334
477.81/477.96	c  477s |      17 |  1562702 |   207032 |    19784     22 |      393 |      334
480.11/480.24	c  480s |      17 |  1564836 |   207732 |    19784     22 |      393 |      334
482.11/482.25	c  482s |      17 |  1569021 |   208632 |    19784     22 |      393 |      334
484.71/484.83	c  484s |      17 |  1570407 |   209132 |    19784     22 |      393 |      334
486.91/487.01	c  486s |      17 |  1581947 |   210332 |    19784     22 |      393 |      334
489.01/489.19	c  488s |      17 |  1586277 |   211032 |    19784     22 |      393 |      334
491.41/491.58	c  491s |      17 |  1590803 |   212032 |    19784     22 |      393 |      334
493.51/493.61	c  493s |      17 |  1592859 |   212732 |    19784     22 |      393 |      334
495.81/495.96	c  495s |      17 |  1595092 |   213232 |    19784     22 |      393 |      334
498.11/498.29	c  498s |      17 |  1595854 |   213532 |    19784     22 |      393 |      334
500.32/500.43	c  500s |      17 |  1596700 |   213832 |    19784     22 |      393 |      334
502.32/502.46	c  502s |      17 |  1601970 |   214732 |    19784     23 |      393 |      334
504.52/504.65	c  504s |      17 |  1607896 |   215832 |    19784     23 |      393 |      334
508.42/508.52	c  508s |      17 |  1610588 |   216532 |    19784     23 |      393 |      334
510.62/510.74	c  510s |      17 |  1612891 |   217132 |    19784     23 |      393 |      334
512.92/513.01	c  512s |      17 |  1614238 |   217632 |    19784     23 |      393 |      334
514.92/515.04	c  514s |      17 |  1616649 |   218032 |    19784     23 |      393 |      334
517.02/517.16	c  516s |      17 |  1636046 |   219432 |    19784     23 |      394 |      335
519.11/519.22	c  519s |      17 |  1640429 |   220432 |    19784     23 |      394 |      335
521.21/521.37	c  521s |      17 |  1654609 |   221632 |    19784     23 |      394 |      335
523.62/523.79	c  523s |      17 |  1661118 |   222632 |    19784     23 |      394 |      335
525.71/525.87	c  525s |      17 |  1667229 |   223432 |    19784     23 |      394 |      335
527.71/527.88	c  527s |      17 |  1672856 |   224032 |    19784     23 |      394 |      335
529.91/530.07	c  529s |      17 |  1681454 |   224932 |    19784     24 |      394 |      335
531.91/532.10	c  531s |      17 |  1699178 |   226432 |    19784     24 |      394 |      335
533.91/534.10	c  533s |      17 |  1701717 |   227132 |    19784     24 |      394 |      335
536.41/536.53	c  536s |      17 |  1704846 |   227832 |    19784     24 |      394 |      335
538.71/538.85	c  538s |      17 |  1709047 |   228432 |    19784     24 |      394 |      335
541.01/541.14	c  540s |      17 |  1712344 |   229032 |    19784     24 |      394 |      335
543.51/543.62	c  543s |      17 |  1714615 |   229532 |    19784     24 |      394 |      335
545.61/545.80	c  545s |      17 |  1716526 |   229932 |    19784     24 |      394 |      335
548.21/548.36	c  548s |      17 |  1717597 |   230232 |    19784     24 |      394 |      335
550.91/551.08	c  550s |      17 |  1718706 |   230532 |    19784     24 |      394 |      335
553.10/553.30	c  553s |      17 |  1719755 |   230832 |    19784     24 |      394 |      335
555.20/555.31	c  555s |      17 |  1723034 |   231332 |    19784     24 |      394 |      335
557.40/557.50	c  557s |      17 |  1725892 |   231932 |    19784     24 |      394 |      335
559.40/559.51	c  559s |      17 |  1726900 |   232232 |    19784     24 |      394 |      335
561.40/561.53	c  561s |      17 |  1728432 |   232632 |    19784     24 |      394 |      335
563.40/563.57	c  563s |      17 |  1731426 |   233232 |    19784     24 |      394 |      335
565.70/565.80	c  565s |      17 |  1734976 |   233932 |    19784     24 |      394 |      335
567.90/568.01	c  567s |      17 |  1736611 |   234332 |    19784     24 |      394 |      335
570.00/570.13	c  569s |      17 |  1740834 |   234932 |    19784     24 |      394 |      335
572.70/572.80	c  572s |      17 |  1744945 |   235532 |    19784     24 |      394 |      335
574.70/574.86	c  574s |      17 |  1749656 |   236332 |    19784     25 |      394 |      335
576.80/576.95	c  576s |      17 |  1765374 |   238132 |    19784     25 |      394 |      335
578.90/579.03	c  578s |      17 |  1774838 |   239532 |    19784     25 |      394 |      335
581.00/581.14	c  580s |      17 |  1786242 |   240932 |    19784     25 |      394 |      335
583.11/583.21	c  582s |      17 |  1795285 |   242032 |    19784     25 |      394 |      335
585.31/585.42	c  585s |      17 |  1797870 |   242732 |    19784     25 |      394 |      335
587.51/587.62	c  587s |      17 |  1800399 |   243332 |    19784     25 |      394 |      335
589.50/589.64	c  589s |      17 |  1803781 |   244032 |    19784     25 |      394 |      335
591.50/591.67	c  591s |      17 |  1810972 |   245032 |    19784     25 |      394 |      335
593.80/593.98	c  593s |      17 |  1814877 |   245932 |    19784     25 |      394 |      335
595.90/596.06	c  595s |      17 |  1821783 |   246932 |    19784     26 |      394 |      335
598.00/598.18	c  597s |      17 |  1828827 |   248432 |    19784     26 |      394 |      335
600.09/600.22	c  600s |      17 |  1836309 |   249632 |    19784     26 |      394 |      335
602.49/602.62	c  602s |      17 |  1840991 |   250632 |    19784     26 |      394 |      335
604.69/604.80	c  604s |      17 |  1845070 |   251532 |    19784     26 |      394 |      335
606.69/606.85	c  606s |      17 |  1847304 |   252132 |    19784     26 |      394 |      335
608.89/609.07	c  608s |      17 |  1848730 |   252632 |    19784     26 |      394 |      335
610.89/611.08	c  610s |      17 |  1851995 |   253232 |    19784     26 |      394 |      335
612.99/613.16	c  612s |      17 |  1857500 |   254332 |    19784     26 |      394 |      335
615.09/615.20	c  614s |      17 |  1861489 |   255232 |    19784     26 |      394 |      335
617.39/617.60	c  617s |      17 |  1863262 |   255832 |    19784     26 |      394 |      335
619.49/619.61	c  619s |      17 |  1867351 |   256532 |    19784     26 |      394 |      335
621.50/621.63	c  621s |      17 |  1871380 |   257332 |    19784     27 |      394 |      335
623.59/623.75	c  623s |      17 |  1876943 |   258732 |    19784     27 |      394 |      335
625.90/626.00	c  625s |      17 |  1879279 |   259432 |    19784     27 |      394 |      335
628.00/628.12	c  627s |      17 |  1880822 |   259932 |    19784     27 |      394 |      335
630.10/630.22	c  629s |      17 |  1882101 |   260432 |    19784     27 |      394 |      335
632.70/632.81	c  632s |      17 |  1883599 |   260932 |    19784     27 |      394 |      335
634.70/634.84	c  634s |      17 |  1884203 |   261232 |    19784     27 |      394 |      335
636.80/636.94	c  636s |      17 |  1890379 |   262432 |    19784     27 |      394 |      335
638.89/639.10	c  638s |      17 |  1896013 |   263632 |    19784     27 |      394 |      335
640.99/641.15	c  640s |      17 |  1904479 |   264832 |    19784     27 |      394 |      335
643.19/643.33	c  643s |      17 |  1908023 |   265532 |    19784     27 |      394 |      335
645.19/645.38	c  645s |      17 |  1909475 |   266032 |    19784     27 |      394 |      335
647.79/647.93	c  647s |      17 |  1911322 |   266632 |    19784     27 |      394 |      335
649.89/650.02	c  649s |      17 |  1912105 |   266932 |    19784     27 |      394 |      335
652.39/652.55	c  652s |      17 |  1913256 |   267232 |    19784     28 |      394 |      335
654.49/654.69	c  654s |      17 |  1920912 |   268632 |    19784     28 |      394 |      335
656.79/656.93	c  656s |      17 |  1926318 |   269732 |    19784     28 |      394 |      335
658.79/658.99	c  658s |      17 |  1933453 |   270932 |    19784     28 |      394 |      335
660.99/661.15	c  660s |      17 |  1940116 |   272132 |    19784     28 |      394 |      335
663.09/663.26	c  663s |      17 |  1941965 |   272732 |    19784     28 |      394 |      335
665.28/665.47	c  665s |      17 |  1944224 |   273432 |    19784     28 |      394 |      335
667.38/667.54	c  667s |      17 |  1946551 |   274232 |    19784     28 |      394 |      335
669.38/669.59	c  669s |      17 |  1949116 |   274932 |    19784     28 |      394 |      335
671.69/671.84	c  671s |      17 |  1950186 |   275432 |    19784     28 |      394 |      335
673.89/674.03	c  673s |      17 |  1951736 |   275932 |    19784     28 |      394 |      335
675.99/676.13	c  675s |      17 |  1952962 |   276332 |    19784     28 |      394 |      335
677.99/678.14	c  677s |      17 |  1953612 |   276632 |    19784     28 |      394 |      335
679.99/680.18	c  679s |      17 |  1956378 |   277232 |    19784     29 |      394 |      335
682.09/682.24	c  682s |      17 |  1960664 |   278332 |    19784     29 |      394 |      335
684.39/684.53	c  684s |      17 |  1962136 |   278932 |    19784     29 |      394 |      335
686.49/686.67	c  686s |      17 |  1967971 |   280132 |    19784     29 |      394 |      335
688.69/688.89	c  688s |      17 |  1970111 |   280832 |    19784     29 |      394 |      335
690.79/690.98	c  690s |      17 |  1975411 |   281732 |    19784     29 |      394 |      335
693.09/693.29	c  693s |      17 |  1978231 |   282532 |    19784     29 |      394 |      335
695.48/695.62	c  695s |      17 |  1979564 |   283132 |    19784     29 |      394 |      335
697.49/697.68	c  697s |      17 |  1980816 |   283632 |    19784     29 |      394 |      335
699.88/700.04	c  699s |      17 |  1982111 |   284132 |    19784     29 |      394 |      335
702.08/702.26	c  702s |      17 |  1983526 |   284632 |    19784     29 |      394 |      335
704.18/704.36	c  704s |      17 |  1985952 |   285332 |    19784     29 |      394 |      335
706.38/706.53	c  706s |      17 |  1987353 |   285832 |    19784     29 |      394 |      335
708.49/708.63	c  708s |      17 |  1990384 |   286632 |    19784     30 |      394 |      335
710.69/710.87	c  710s |      17 |  1994038 |   287532 |    19784     30 |      394 |      335
712.89/713.03	c  712s |      17 |  2001806 |   288432 |    19784     30 |      394 |      335
714.99/715.12	c  714s |      17 |  2008243 |   289432 |    19784     30 |      394 |      335
717.19/717.30	c  717s |      17 |  2022467 |   290832 |    19784     30 |      394 |      335
719.38/719.53	c  719s |      17 |  2027579 |   291732 |    19784     30 |      394 |      335
721.38/721.54	c  721s |      17 |  2029690 |   292432 |    19784     30 |      394 |      335
723.48/723.62	c  723s |      17 |  2033396 |   293232 |    19784     30 |      394 |      335
725.47/725.66	c  725s |      17 |  2042806 |   294232 |    21763     31 |      394 |      335
727.57/727.79	c  727s |      17 |  2049224 |   295432 |    21763     31 |      394 |      335
728.77/728.94	c  728s |      18 |  2055533 |   296252 |    21763     31 |      394 |      335
730.97/731.15	c  730s |      18 |  2071462 |   297752 |    21763     31 |      394 |      335
733.37/733.52	c  733s |      18 |  2080069 |   298852 |    21763     31 |      394 |      335
735.37/735.57	c  735s |      18 |  2082160 |   299552 |    21763     31 |      394 |      335
737.77/737.94	c  737s |      18 |  2085140 |   300152 |    21763     31 |      394 |      335
739.87/740.06	c  739s |      18 |  2091959 |   301052 |    21763     31 |      394 |      335
742.07/742.23	c  742s |      18 |  2102207 |   302052 |    21763     31 |      394 |      335
744.27/744.40	c  744s |      18 |  2109157 |   302852 |    21763     31 |      394 |      335
746.37/746.56	c  746s |      18 |  2117362 |   303652 |    21763     32 |      394 |      335
748.57/748.75	c  748s |      18 |  2122608 |   304452 |    21763     32 |      394 |      335
750.76/750.97	c  750s |      18 |  2126239 |   305052 |    21763     32 |      394 |      335
752.86/753.01	c  752s |      18 |  2131511 |   305652 |    21763     32 |      394 |      335
755.46/755.67	c  755s |      18 |  2133395 |   306152 |    21763     32 |      394 |      335
757.76/757.92	c  757s |      18 |  2136496 |   306752 |    21763     32 |      394 |      335
760.17/760.37	c  760s |      18 |  2140929 |   307452 |    21763     32 |      394 |      335
762.66/762.88	c  762s |      18 |  2143369 |   307852 |    21763     32 |      394 |      335
765.16/765.32	c  765s |      18 |  2145221 |   308252 |    21763     32 |      394 |      335
767.87/768.02	c  767s |      18 |  2146800 |   308652 |    21763     32 |      394 |      335
769.97/770.17	c  769s |      18 |  2147538 |   308952 |    21763     32 |      394 |      335
772.77/772.99	c  772s |      18 |  2148146 |   309252 |    21763     32 |      394 |      335
774.97/775.16	c  774s |      18 |  2148772 |   309552 |    21763     32 |      394 |      335
777.96/778.13	c  777s |      18 |  2149587 |   309952 |    21763     32 |      394 |      335
780.46/780.62	c  780s |      18 |  2149897 |   310152 |    21763     32 |      394 |      335
782.76/782.94	c  782s |      18 |  2150489 |   310452 |    21763     32 |      394 |      335
785.66/785.85	c  785s |      18 |  2151193 |   310752 |    21763     32 |      394 |      335
788.16/788.35	c  788s |      18 |  2154540 |   311152 |    21763     32 |      394 |      335
790.16/790.39	c  790s |      18 |  2156453 |   311552 |    21763     32 |      394 |      335
792.66/792.84	c  792s |      18 |  2157649 |   311852 |    21763     32 |      394 |      335
794.96/795.13	c  794s |      18 |  2160501 |   312352 |    21763     32 |      394 |      335
797.06/797.24	c  797s |      18 |  2161147 |   312652 |    21763     32 |      394 |      335
799.25/799.45	c  799s |      18 |  2162916 |   313052 |    21763     32 |      394 |      335
801.25/801.47	c  801s |      18 |  2166957 |   313752 |    21763     33 |      394 |      335
803.45/803.67	c  803s |      18 |  2172380 |   314752 |    21763     33 |      394 |      335
805.45/805.69	c  805s |      18 |  2175499 |   315352 |    21763     33 |      394 |      335
807.85/808.00	c  807s |      18 |  2176994 |   315752 |    21763     33 |      394 |      335
810.15/810.38	c  810s |      18 |  2182557 |   316652 |    21763     33 |      394 |      335
812.35/812.56	c  812s |      18 |  2186496 |   317252 |    21763     33 |      394 |      335
814.35/814.56	c  814s |      18 |  2188506 |   317652 |    21763     33 |      394 |      335
816.75/816.94	c  816s |      18 |  2191905 |   318352 |    21763     33 |      394 |      335
820.44/820.61	c  820s |      18 |  2194652 |   318952 |    21763     33 |      394 |      335
822.54/822.78	c  822s |      18 |  2195880 |   319252 |    21763     33 |      394 |      335
824.64/824.81	c  824s |      18 |  2197865 |   319552 |    21763     33 |      394 |      335
827.25/827.49	c  827s |      18 |  2198831 |   319952 |    21763     33 |      394 |      335
829.94/830.10	c  829s |      18 |  2201728 |   320352 |    21763     33 |      394 |      335
832.34/832.55	c  832s |      18 |  2202608 |   320552 |    21763     33 |      394 |      335
834.85/835.04	c  834s |      18 |  2205996 |   321052 |    21763     33 |      394 |      335
837.34/837.56	c  837s |      18 |  2206850 |   321352 |    21763     33 |      394 |      335
840.24/840.47	c  840s |      18 |  2207475 |   321652 |    21763     33 |      394 |      335
842.65/842.87	c  842s |      18 |  2208128 |   321952 |    21763     33 |      394 |      335
845.95/846.16	c  845s |      18 |  2210856 |   322352 |    21763     33 |      394 |      335
848.84/849.01	c  848s |      18 |  2211176 |   322552 |    21763     33 |      394 |      335
850.94/851.17	c  850s |      18 |  2215442 |   323252 |    21763     34 |      394 |      335
853.24/853.46	c  853s |      18 |  2218311 |   323852 |    21763     34 |      394 |      335
856.03/856.26	c  856s |      18 |  2219553 |   324252 |    21763     34 |      394 |      335
858.13/858.38	c  858s |      18 |  2221460 |   324952 |    21763     34 |      394 |      335
860.24/860.48	c  860s |      18 |  2223769 |   325652 |    21763     34 |      394 |      335
862.34/862.50	c  862s |      18 |  2224781 |   326052 |    21763     34 |      394 |      335
864.64/864.87	c  864s |      18 |  2228250 |   326552 |    21763     34 |      394 |      335
866.84/867.04	c  866s |      18 |  2231488 |   327152 |    21763     34 |      394 |      335
868.83/869.08	c  868s |      18 |  2233592 |   327552 |    21763     34 |      394 |      335
871.63/871.83	c  871s |      18 |  2236713 |   328052 |    21763     34 |      394 |      335
873.63/873.89	c  873s |      18 |  2238661 |   328352 |    21763     34 |      394 |      335
875.93/876.13	c  875s |      18 |  2240574 |   328652 |    21763     34 |      394 |      335
878.02/878.21	c  877s |      18 |  2241357 |   328852 |    21763     34 |      394 |      335
880.12/880.38	c  880s |      18 |  2241875 |   329052 |    21763     34 |      394 |      335
883.12/883.40	c  883s |      18 |  2242337 |   329252 |    21763     34 |      394 |      335
886.42/886.68	c  886s |      18 |  2242892 |   329452 |    21763     34 |      394 |      335
889.02/889.25	c  889s |      18 |  2243169 |   329552 |    21763     34 |      394 |      335
891.12/891.38	c  891s |      18 |  2243787 |   329752 |    21763     34 |      394 |      335
894.42/894.69	c  894s |      18 |  2244917 |   330052 |    21763     34 |      394 |      335
896.62/896.81	c  896s |      18 |  2245239 |   330252 |    21763     34 |      394 |      335
899.12/899.30	c  899s |      18 |  2245480 |   330352 |    21763     34 |      394 |      335
901.82/902.07	c  901s |      18 |  2245885 |   330552 |    21763     34 |      394 |      335
904.72/904.96	c  904s |      18 |  2246152 |   330752 |    21763     34 |      394 |      335
907.22/907.43	c  907s |      18 |  2246628 |   330952 |    21763     34 |      394 |      335
910.92/911.16	c  910s |      18 |  2247425 |   331252 |    21763     34 |      394 |      335
914.72/914.92	c  914s |      18 |  2247925 |   331452 |    21763     34 |      394 |      335
917.01/917.25	c  917s |      18 |  2248986 |   331552 |    21763     34 |      394 |      335
920.31/920.54	c  920s |      18 |  2249569 |   331652 |    21763     34 |      394 |      335
924.21/924.47	c  924s |      18 |  2251044 |   331952 |    21763     34 |      394 |      335
927.51/927.71	c  927s |      18 |  2251363 |   332152 |    21763     34 |      394 |      335
931.72/931.91	c  931s |      18 |  2251924 |   332352 |    21763     34 |      394 |      335
934.70/934.91	c  934s |      18 |  2253641 |   332552 |    21763     35 |      394 |      335
936.91/937.10	c  936s |      18 |  2256656 |   333352 |    21763     35 |      394 |      335
939.11/939.31	c  939s |      18 |  2259841 |   334152 |    21763     35 |      394 |      335
941.51/941.78	c  941s |      18 |  2263064 |   334752 |    21763     35 |      394 |      335
943.61/943.82	c  943s |      18 |  2264255 |   334952 |    21763     35 |      394 |      335
945.71/945.93	c  945s |      18 |  2268656 |   335652 |    21763     35 |      394 |      335
948.21/948.46	c  948s |      18 |  2270193 |   336052 |    21763     35 |      394 |      335
950.41/950.69	c  950s |      18 |  2271041 |   336252 |    21763     35 |      394 |      335
952.61/952.85	c  952s |      18 |  2273184 |   336752 |    21763     35 |      394 |      335
955.20/955.46	c  955s |      18 |  2276569 |   337352 |    21763     35 |      394 |      335
957.50/957.79	c  957s |      18 |  2277969 |   337752 |    21763     35 |      394 |      335
959.90/960.12	c  959s |      18 |  2280067 |   338252 |    21763     35 |      394 |      335
962.19/962.46	c  962s |      18 |  2280528 |   338452 |    21763     35 |      394 |      335
964.29/964.56	c  964s |      18 |  2282866 |   338852 |    21763     35 |      394 |      335
966.80/967.09	c  966s |      18 |  2283507 |   339152 |    21763     35 |      394 |      335
969.00/969.27	c  969s |      18 |  2284278 |   339452 |    21763     35 |      394 |      335
971.49/971.70	c  971s |      18 |  2285551 |   339852 |    21763     35 |      394 |      335
973.99/974.25	c  974s |      18 |  2287242 |   340252 |    21763     35 |      394 |      335
977.39/977.65	c  977s |      18 |  2287798 |   340452 |    21763     35 |      394 |      335
979.49/979.72	c  979s |      18 |  2288635 |   340752 |    21763     35 |      394 |      335
985.99/986.25	c  986s |      18 |  2289152 |   340952 |    21763     35 |      394 |      335
989.89/990.16	c  989s |      18 |  2289300 |   341052 |    21763     35 |      394 |      335
992.78/993.00	c  992s |      18 |  2289767 |   341252 |    21763     35 |      394 |      335
995.08/995.38	c  995s |      18 |  2290665 |   341452 |    21763     35 |      394 |      335
997.18/997.42	c  997s |      18 |  2294195 |   342052 |    21763     36 |      394 |      335
999.47/999.74	c  999s |      18 |  2298710 |   343052 |    21763     36 |      394 |      335
1001.67/1001.98	c 1001s |      18 |  2301471 |   343652 |    21763     36 |      394 |      335
1003.77/1004.04	c 1003s |      18 |  2302896 |   344252 |    21763     36 |      394 |      335
1006.08/1006.31	c 1006s |      18 |  2303600 |   344652 |    21763     36 |      394 |      335
1008.27/1008.55	c 1008s |      18 |  2304593 |   345052 |    21763     36 |      394 |      335
1010.67/1010.99	c 1010s |      18 |  2305096 |   345252 |    21763     36 |      394 |      335
1013.08/1013.31	c 1013s |      18 |  2305381 |   345452 |    21763     36 |      394 |      335
1016.28/1016.55	c 1016s |      18 |  2305967 |   345752 |    21763     36 |      394 |      335
1018.97/1019.21	c 1018s |      18 |  2306514 |   345952 |    21763     36 |      394 |      335
1021.47/1021.72	c 1021s |      18 |  2308155 |   346352 |    21763     36 |      394 |      335
1023.57/1023.89	c 1023s |      18 |  2310525 |   346752 |    21763     36 |      394 |      335
1026.07/1026.33	c 1026s |      18 |  2311253 |   347252 |    21763     36 |      394 |      335
1028.56/1028.81	c 1028s |      18 |  2313123 |   347652 |    21763     36 |      394 |      335
1030.57/1030.90	c 1030s |      18 |  2314294 |   347952 |    21763     36 |      394 |      335
1033.16/1033.47	c 1033s |      18 |  2314819 |   348252 |    21763     36 |      394 |      335
1035.46/1035.74	c 1035s |      18 |  2315462 |   348452 |    21763     36 |      394 |      335
1038.16/1038.44	c 1038s |      18 |  2316005 |   348652 |    21763     36 |      394 |      335
1040.36/1040.64	c 1040s |      18 |  2316662 |   348952 |    21763     36 |      394 |      335
1043.06/1043.35	c 1043s |      18 |  2318333 |   349252 |    21763     36 |      394 |      335
1045.46/1045.73	c 1045s |      18 |  2320098 |   349552 |    21763     36 |      394 |      335
1048.46/1048.72	c 1048s |      18 |  2321282 |   349952 |    21763     36 |      394 |      335
1050.76/1051.02	c 1050s |      18 |  2322570 |   350252 |    21763     36 |      394 |      335
1054.15/1054.45	c 1054s |      18 |  2323195 |   350452 |    21763     36 |      394 |      335
1057.25/1057.54	c 1057s |      18 |  2323835 |   350552 |    21763     36 |      394 |      335
1059.55/1059.80	c 1059s |      18 |  2326333 |   350852 |    21763     37 |      394 |      335
1061.65/1061.99	c 1061s |      18 |  2330843 |   351652 |    21763     37 |      394 |      335
1064.25/1064.54	c 1064s |      18 |  2332458 |   352152 |    21763     37 |      394 |      335
1066.35/1066.61	c 1066s |      18 |  2335976 |   352752 |    21763     37 |      394 |      335
1068.34/1068.67	c 1068s |      18 |  2340148 |   353452 |    21763     37 |      394 |      335
1070.74/1071.00	c 1070s |      18 |  2342610 |   353752 |    21763     37 |      394 |      335
1072.84/1073.17	c 1072s |      18 |  2346337 |   354252 |    21763     37 |      394 |      335
1075.54/1075.85	c 1075s |      18 |  2347575 |   354652 |    21763     37 |      394 |      335
1078.14/1078.44	c 1078s |      18 |  2348735 |   354952 |    21763     37 |      394 |      335
1081.74/1082.04	c 1081s |      18 |  2352893 |   355652 |    21763     37 |      394 |      335
1085.14/1085.43	c 1085s |      18 |  2359147 |   356152 |    21763     37 |      394 |      335
1087.34/1087.65	c 1087s |      18 |  2360532 |   356452 |    21763     37 |      394 |      335
1090.05/1090.34	c 1090s |      18 |  2361204 |   356752 |    21763     37 |      394 |      335
1092.74/1093.03	c 1092s |      18 |  2362785 |   357052 |    21763     37 |      394 |      335
1095.04/1095.31	c 1095s |      18 |  2363365 |   357252 |    21763     37 |      394 |      335
1097.14/1097.42	c 1097s |      18 |  2364559 |   357752 |    21763     37 |      394 |      335
1100.13/1100.45	c 1100s |      18 |  2365377 |   358152 |    21763     37 |      394 |      335
1103.03/1103.39	c 1103s |      18 |  2367171 |   358652 |    21763     37 |      394 |      335
1105.93/1106.30	c 1106s |      18 |  2367860 |   358952 |    21763     37 |      394 |      335
1108.52/1108.83	c 1108s |      18 |  2368237 |   359152 |    21763     37 |      394 |      335
1112.52/1112.84	c 1112s |      18 |  2368399 |   359252 |    21763     37 |      394 |      335
1114.72/1115.03	c 1114s |      18 |  2369684 |   359552 |    21763     38 |      394 |      335
1117.02/1117.33	c 1117s |      18 |  2373242 |   360452 |    21763     38 |      394 |      335
1120.12/1120.42	c 1120s |      18 |  2377976 |   361252 |    21763     38 |      394 |      335
1122.52/1122.85	c 1122s |      18 |  2379526 |   361652 |    21763     38 |      394 |      335
1124.62/1124.92	c 1124s |      18 |  2380524 |   361952 |    21763     38 |      394 |      335
1127.43/1127.73	c 1127s |      18 |  2381626 |   362152 |    21763     38 |      394 |      335
1129.91/1130.26	c 1130s |      18 |  2382480 |   362352 |    21763     38 |      394 |      335
1132.21/1132.58	c 1132s |      18 |  2383098 |   362552 |    21763     38 |      394 |      335
1134.71/1135.01	c 1134s |      18 |  2384555 |   363152 |    21763     38 |      394 |      335
1137.22/1137.51	c 1137s |      18 |  2385422 |   363552 |    21763     38 |      394 |      335
1139.61/1139.93	c 1139s |      18 |  2386100 |   363952 |    21763     38 |      394 |      335
1142.20/1142.51	c 1142s |      18 |  2388605 |   364652 |    21763     38 |      394 |      335
1144.40/1144.79	c 1144s |      18 |  2390884 |   364952 |    21763     38 |      394 |      335
1146.50/1146.83	c 1146s |      18 |  2391454 |   365152 |    21763     38 |      394 |      335
1148.90/1149.20	c 1148s |      18 |  2393006 |   365352 |    21763     38 |      394 |      335
1151.30/1151.65	c 1151s |      18 |  2394391 |   365752 |    21763     38 |      394 |      335
1153.60/1153.94	c 1153s |      18 |  2395712 |   366252 |    21763     38 |      394 |      335
1155.80/1156.14	c 1155s |      18 |  2396420 |   366552 |    21763     38 |      394 |      335
1158.29/1158.63	c 1158s |      18 |  2400206 |   367052 |    21763     39 |      394 |      335
1160.49/1160.83	c 1160s |      18 |  2406721 |   368352 |    21763     39 |      394 |      335
1162.60/1162.93	c 1162s |      18 |  2409319 |   369052 |    21763     39 |      394 |      335
1164.70/1165.05	c 1164s |      18 |  2420217 |   370352 |    21763     39 |      394 |      335
1166.79/1167.17	c 1166s |      18 |  2435093 |   371952 |    21763     39 |      394 |      335
1168.99/1169.35	c 1169s |      18 |  2441679 |   373052 |    21763     39 |      394 |      335
1171.30/1171.67	c 1171s |      18 |  2446524 |   373952 |    21763     39 |      394 |      335
1173.50/1173.89	c 1173s |      18 |  2447404 |   374252 |    21763     39 |      394 |      335
1175.89/1176.26	c 1176s |      18 |  2449520 |   374652 |    21763     39 |      394 |      335
1178.39/1178.70	c 1178s |      18 |  2452171 |   375152 |    21763     39 |      394 |      335
1180.39/1180.78	c 1180s |      18 |  2456173 |   375852 |    21763     40 |      394 |      335
1182.39/1182.79	c 1182s |      18 |  2460678 |   376752 |    21763     40 |      394 |      335
1184.69/1185.00	c 1184s |      18 |  2467433 |   377852 |    21763     40 |      394 |      335
1186.69/1187.04	c 1186s |      18 |  2470726 |   378452 |    21763     40 |      394 |      335
1188.78/1189.12	c 1188s |      18 |  2472969 |   378952 |    21763     40 |      394 |      335
1191.19/1191.53	c 1191s |      18 |  2474737 |   379352 |    21763     40 |      394 |      335
1193.48/1193.81	c 1193s |      18 |  2476595 |   379752 |    21763     40 |      394 |      335
1195.59/1195.95	c 1195s |      18 |  2478796 |   380252 |    21763     40 |      394 |      335
1198.47/1198.87	c 1198s |      18 |  2481303 |   380852 |    21763     40 |      394 |      335
1200.98/1201.30	c 1201s |      18 |  2482948 |   381252 |    21763     40 |      394 |      335
1203.07/1203.40	c 1203s |      18 |  2484744 |   381652 |    21763     40 |      394 |      335
1205.77/1206.10	c 1205s |      18 |  2485294 |   381952 |    21763     40 |      394 |      335
1207.87/1208.22	c 1207s |      18 |  2485825 |   382152 |    21763     40 |      394 |      335
1210.37/1210.71	c 1210s |      18 |  2486575 |   382452 |    21763     40 |      394 |      335
1212.67/1213.07	c 1212s |      18 |  2486851 |   382652 |    21763     40 |      394 |      335
1214.87/1215.28	c 1215s |      18 |  2488953 |   382952 |    21763     41 |      394 |      335
1216.97/1217.37	c 1217s |      18 |  2505148 |   384552 |    21763     41 |      394 |      335
1219.17/1219.50	c 1219s |      18 |  2518273 |   385652 |    21763     41 |      394 |      335
1221.27/1221.68	c 1221s |      18 |  2526343 |   386652 |    21763     41 |      394 |      335
1223.47/1223.85	c 1223s |      18 |  2528195 |   387052 |    21763     41 |      394 |      335
1225.57/1225.90	c 1225s |      18 |  2538120 |   387952 |    21763     41 |      394 |      335
1227.67/1228.05	c 1227s |      18 |  2541904 |   388752 |    21763     41 |      394 |      335
1229.86/1230.27	c 1230s |      18 |  2543258 |   389252 |    21763     41 |      394 |      335
1232.47/1232.82	c 1232s |      18 |  2547008 |   389852 |    21763     41 |      394 |      335
1234.57/1234.96	c 1234s |      18 |  2550062 |   390352 |    21763     42 |      394 |      335
1236.67/1237.06	c 1236s |      18 |  2570725 |   392052 |    21763     42 |      394 |      335
1238.77/1239.13	c 1238s |      18 |  2580251 |   393152 |    21763     42 |      394 |      335
1240.87/1241.23	c 1241s |      18 |  2592534 |   394252 |    21763     42 |      394 |      335
1243.07/1243.42	c 1243s |      18 |  2602265 |   395552 |    21763     42 |      394 |      335
1245.07/1245.46	c 1245s |      18 |  2605510 |   396352 |    21763     42 |      394 |      335
1247.36/1247.77	c 1247s |      18 |  2610500 |   397352 |    21763     42 |      394 |      335
1249.66/1250.00	c 1249s |      18 |  2612419 |   397952 |    21763     42 |      394 |      335
1251.67/1252.07	c 1251s |      18 |  2613992 |   398352 |    21763     42 |      394 |      335
1253.96/1254.38	c 1254s |      18 |  2616120 |   398952 |    21763     42 |      394 |      335
1256.36/1256.75	c 1256s |      18 |  2617159 |   399352 |    21763     42 |      394 |      335
1258.45/1258.81	c 1258s |      18 |  2620242 |   400152 |    21763     43 |      394 |      335
1260.46/1260.84	c 1260s |      18 |  2624509 |   401252 |    21763     43 |      394 |      335
1262.66/1263.06	c 1262s |      18 |  2626927 |   402052 |    21763     43 |      394 |      335
1264.86/1265.25	c 1265s |      18 |  2629686 |   402752 |    21763     43 |      394 |      335
1266.85/1267.27	c 1267s |      18 |  2632968 |   403452 |    21763     43 |      394 |      335
1268.94/1269.39	c 1269s |      18 |  2635409 |   404152 |    21763     43 |      394 |      335
1271.25/1271.64	c 1271s |      18 |  2637157 |   404652 |    21763     43 |      394 |      335
1273.55/1273.96	c 1273s |      18 |  2638770 |   405152 |    21763     43 |      394 |      335
1275.55/1275.97	c 1275s |      18 |  2651878 |   406352 |    21763     43 |      394 |      335
1277.75/1278.10	c 1277s |      18 |  2664622 |   407952 |    21763     44 |      394 |      335
1279.84/1280.22	c 1280s |      18 |  2669022 |   408952 |    21763     44 |      394 |      335
1281.84/1282.23	c 1282s |      18 |  2683491 |   410552 |    21763     44 |      394 |      335
1283.94/1284.38	c 1284s |      18 |  2697479 |   412052 |    21763     44 |      394 |      335
1286.04/1286.43	c 1286s |      18 |  2708240 |   413252 |    21763     44 |      394 |      335
1288.34/1288.73	c 1288s |      18 |  2713047 |   414252 |    21763     44 |      394 |      335
1290.44/1290.84	c 1290s |      18 |  2718612 |   415352 |    21763     45 |      394 |      335
1292.54/1292.91	c 1292s |      18 |  2731515 |   416852 |    21763     45 |      394 |      335
1294.55/1294.99	c 1294s |      18 |  2740003 |   418252 |    21763     45 |      394 |      335
1296.74/1297.13	c 1296s |      18 |  2743249 |   419152 |    21763     45 |      394 |      335
1298.84/1299.28	c 1299s |      18 |  2746193 |   419852 |    21763     45 |      394 |      335
1300.93/1301.39	c 1301s |      18 |  2750738 |   420752 |    21763     45 |      394 |      335
1303.03/1303.45	c 1303s |      18 |  2755817 |   421652 |    21763     46 |      394 |      335
1305.23/1305.67	c 1305s |      18 |  2763452 |   422752 |    21763     46 |      394 |      335
1307.43/1307.85	c 1307s |      18 |  2770010 |   423952 |    21763     46 |      394 |      335
1309.52/1309.98	c 1309s |      18 |  2772288 |   424452 |    21763     46 |      394 |      335
1312.22/1312.68	c 1312s |      18 |  2773100 |   424752 |    21763     46 |      394 |      335
1314.33/1314.71	c 1314s |      18 |  2774097 |   425152 |    21763     46 |      394 |      335
1316.72/1317.17	c 1316s |      18 |  2775135 |   425552 |    21763     46 |      394 |      335
1319.91/1320.32	c 1320s |      18 |  2776098 |   425852 |    21763     46 |      394 |      335
1324.22/1324.64	c 1324s |      18 |  2776799 |   426152 |    21763     46 |      394 |      335
1326.61/1327.03	c 1326s |      18 |  2777670 |   426452 |    21763     46 |      394 |      335
1329.90/1330.36	c 1330s |      18 |  2778654 |   426852 |    21763     46 |      394 |      335
1333.10/1333.56	c 1333s |      18 |  2778981 |   427052 |    21763     46 |      394 |      335
1335.21/1335.60	c 1335s |      18 |  2787808 |   428552 |    21763     47 |      394 |      335
1337.31/1337.70	c 1337s |      18 |  2799168 |   430252 |    21763     47 |      394 |      335
1339.40/1339.82	c 1339s |      18 |  2804826 |   431652 |    21763     47 |      394 |      335
1341.50/1341.90	c 1341s |      18 |  2808819 |   432752 |    21763     47 |      394 |      335
1343.60/1344.07	c 1343s |      18 |  2820222 |   434252 |    21763     47 |      394 |      335
1345.70/1346.17	c 1345s |      18 |  2834117 |   435652 |    21763     48 |      394 |      335
1347.90/1348.33	c 1348s |      18 |  2841667 |   436952 |    21763     48 |      394 |      335
1350.09/1350.59	c 1350s |      18 |  2848378 |   437852 |    21763     48 |      394 |      335
1352.09/1352.59	c 1352s |      18 |  2852877 |   438552 |    21763     48 |      394 |      335
1354.69/1355.11	c 1354s |      18 |  2857661 |   439352 |    21763     48 |      394 |      335
1356.79/1357.28	c 1357s |      18 |  2860793 |   439952 |    21763     48 |      394 |      335
1358.98/1359.41	c 1359s |      18 |  2869281 |   441052 |    21763     49 |      394 |      335
1361.08/1361.52	c 1361s |      18 |  2878182 |   442652 |    23940     49 |      394 |      335
1363.18/1363.61	c 1363s |      18 |  2886949 |   444152 |    23940     49 |      394 |      335
1363.48/1363.99	c 1363s |      19 |  2889131 |   444482 |    23940     49 |      394 |      335
1365.58/1366.03	c 1365s |      19 |  2909133 |   445982 |    23940     49 |      394 |      335
1367.58/1368.08	c 1367s |      19 |  2917487 |   447382 |    23940     49 |      394 |      335
1369.78/1370.24	c 1370s |      19 |  2922112 |   448582 |    23940     49 |      394 |      335
1371.88/1372.37	c 1372s |      19 |  2928836 |   449782 |    23940     50 |      394 |      335
1374.08/1374.52	c 1374s |      19 |  2939595 |   451482 |    23940     50 |      394 |      335
1376.08/1376.56	c 1376s |      19 |  2945301 |   452682 |    23940     50 |      394 |      335
1378.08/1378.57	c 1378s |      19 |  2949338 |   453782 |    23940     50 |      394 |      335
1380.09/1380.57	c 1380s |      19 |  2954540 |   454982 |    23940     50 |      394 |      335
1382.08/1382.59	c 1382s |      19 |  2958913 |   455982 |    23940     50 |      394 |      335
1384.18/1384.61	c 1384s |      19 |  2961249 |   456882 |    23940     50 |      394 |      335
1386.28/1386.71	c 1386s |      19 |  2965343 |   457582 |    23940     51 |      394 |      335
1388.28/1388.73	c 1388s |      19 |  2979411 |   459182 |    23940     51 |      394 |      335
1390.28/1390.74	c 1390s |      19 |  2991870 |   460882 |    23940     51 |      394 |      335
1392.29/1392.79	c 1392s |      19 |  3010274 |   462282 |    23940     51 |      394 |      335
1394.49/1394.92	c 1394s |      19 |  3018930 |   463482 |    23940     51 |      394 |      335
1396.58/1397.04	c 1396s |      19 |  3029870 |   464582 |    23940     51 |      394 |      335
1398.58/1399.06	c 1398s |      19 |  3035564 |   465582 |    23940     51 |      394 |      335
1400.58/1401.08	c 1400s |      19 |  3051879 |   467182 |    23940     52 |      394 |      335
1402.68/1403.16	c 1402s |      19 |  3067135 |   469082 |    23940     52 |      394 |      335
1404.88/1405.33	c 1405s |      19 |  3084314 |   470782 |    23940     52 |      394 |      335
1407.08/1407.51	c 1407s |      19 |  3092972 |   472182 |    23940     53 |      395 |      336
1409.17/1409.62	c 1409s |      19 |  3098228 |   473582 |    23940     53 |      395 |      336
1411.27/1411.79	c 1411s |      19 |  3101076 |   474582 |    23940     53 |      395 |      336
1413.57/1414.01	c 1413s |      19 |  3103030 |   475282 |    23940     53 |      395 |      336
1415.57/1416.07	c 1415s |      19 |  3105172 |   475982 |    23940     53 |      395 |      336
1417.88/1418.30	c 1418s |      19 |  3107813 |   476782 |    23940     53 |      395 |      336
1420.08/1420.50	c 1420s |      19 |  3110696 |   477582 |    23940     53 |      395 |      336
1422.08/1422.52	c 1422s |      19 |  3113423 |   478282 |    23940     53 |      395 |      336
1424.38/1424.80	c 1424s |      19 |  3115296 |   478882 |    23940     53 |      395 |      336
1426.87/1427.34	c 1427s |      19 |  3116634 |   479382 |    23940     53 |      395 |      336
1428.87/1429.37	c 1429s |      19 |  3117334 |   479682 |    23940     53 |      395 |      336
1431.07/1431.57	c 1431s |      19 |  3119302 |   480282 |    23940     53 |      395 |      336
1433.17/1433.63	c 1433s |      19 |  3121174 |   480782 |    23940     53 |      395 |      336
1435.28/1435.72	c 1435s |      19 |  3122694 |   481282 |    23940     53 |      395 |      336
1437.57/1438.09	c 1437s |      19 |  3124004 |   481682 |    23940     54 |      395 |      336
1439.77/1440.22	c 1439s |      19 |  3128206 |   482482 |    23940     54 |      395 |      336
1441.78/1442.30	c 1442s |      19 |  3131296 |   483182 |    23940     54 |      395 |      336
1444.27/1444.77	c 1444s |      19 |  3132998 |   483682 |    23940     54 |      395 |      336
1446.58/1447.05	c 1446s |      19 |  3133795 |   483982 |    23940     54 |      395 |      336
1448.67/1449.11	c 1448s |      19 |  3145003 |   485382 |    23940     54 |      395 |      336
1450.68/1451.18	c 1450s |      19 |  3149964 |   486582 |    23940     54 |      395 |      336
1452.88/1453.38	c 1453s |      19 |  3164673 |   488082 |    23940     54 |      395 |      336
1454.98/1455.45	c 1455s |      19 |  3186827 |   489682 |    23940     55 |      395 |      336
1457.07/1457.57	c 1457s |      19 |  3194410 |   491082 |    23940     55 |      395 |      336
1459.17/1459.63	c 1459s |      19 |  3202506 |   492382 |    23940     55 |      395 |      336
1461.17/1461.67	c 1461s |      19 |  3205896 |   493282 |    23940     55 |      395 |      336
1463.37/1463.84	c 1463s |      19 |  3209919 |   494382 |    23940     55 |      395 |      336
1465.57/1466.00	c 1465s |      19 |  3212775 |   495282 |    23940     55 |      395 |      336
1467.57/1468.05	c 1467s |      19 |  3216272 |   496082 |    23940     56 |      395 |      336
1469.67/1470.12	c 1469s |      19 |  3221375 |   497282 |    23940     56 |      395 |      336
1471.97/1472.45	c 1472s |      19 |  3224440 |   498082 |    23940     56 |      395 |      336
1474.27/1474.77	c 1474s |      19 |  3228515 |   499182 |    23940     56 |      395 |      336
1476.27/1476.79	c 1476s |      19 |  3233247 |   499882 |    23940     56 |      395 |      336
1478.36/1478.85	c 1478s |      19 |  3251679 |   501582 |    23940     56 |      395 |      336
1480.46/1480.90	c 1480s |      19 |  3264256 |   503082 |    23940     57 |      395 |      336
1482.57/1483.10	c 1482s |      19 |  3273235 |   504582 |    23940     57 |      395 |      336
1484.67/1485.14	c 1484s |      19 |  3277488 |   505682 |    23940     57 |      395 |      336
1486.76/1487.23	c 1487s |      19 |  3279299 |   506482 |    23940     57 |      395 |      336
1488.86/1489.33	c 1489s |      19 |  3281354 |   507182 |    23940     57 |      395 |      336
1490.96/1491.42	c 1491s |      19 |  3289670 |   508582 |    23940     58 |      395 |      336
1492.96/1493.46	c 1493s |      19 |  3302109 |   510282 |    23940     58 |      395 |      336
1495.06/1495.54	c 1495s |      19 |  3304596 |   511082 |    23940     58 |      395 |      336
1497.16/1497.65	c 1497s |      19 |  3306363 |   511782 |    23940     58 |      395 |      336
1499.26/1499.71	c 1499s |      19 |  3308122 |   512482 |    23940     58 |      395 |      336
1501.46/1501.95	c 1501s |      19 |  3309586 |   513082 |    23940     58 |      395 |      336
1503.76/1504.21	c 1503s |      19 |  3310772 |   513682 |    23940     58 |      395 |      336
1505.86/1506.33	c 1506s |      19 |  3311979 |   514182 |    23940     59 |      395 |      336
1507.96/1508.44	c 1508s |      19 |  3313447 |   514882 |    23940     59 |      395 |      336
1510.16/1510.69	c 1510s |      19 |  3314729 |   515482 |    23940     59 |      395 |      336
1512.56/1513.08	c 1512s |      19 |  3315285 |   515782 |    23940     59 |      395 |      336
1514.86/1515.31	c 1515s |      19 |  3316731 |   516382 |    23940     59 |      395 |      336
1516.86/1517.34	c 1517s |      19 |  3318091 |   516982 |    23940     59 |      395 |      336
1519.26/1519.71	c 1519s |      19 |  3319375 |   517582 |    23940     59 |      395 |      336
1521.36/1521.88	c 1521s |      19 |  3320882 |   518282 |    23940     59 |      395 |      336
1523.86/1524.32	c 1524s |      19 |  3322211 |   518882 |    23940     59 |      395 |      336
1526.06/1526.52	c 1526s |      19 |  3323064 |   519382 |    23940     59 |      395 |      336
1528.16/1528.62	c 1528s |      19 |  3325164 |   519982 |    23940     59 |      395 |      336
1530.56/1531.03	c 1530s |      19 |  3326292 |   520482 |    23940     59 |      395 |      336
1532.56/1533.07	c 1532s |      19 |  3326853 |   520782 |    23940     60 |      395 |      336
1534.56/1535.08	c 1534s |      19 |  3338775 |   522382 |    23940     60 |      395 |      336
1536.66/1537.13	c 1536s |      19 |  3358024 |   524182 |    23940     60 |      395 |      336
1538.66/1539.19	c 1538s |      19 |  3366073 |   525382 |    23940     60 |      395 |      336
1540.76/1541.30	c 1541s |      19 |  3372554 |   526182 |    23940     61 |      395 |      336
1542.86/1543.36	c 1543s |      19 |  3374030 |   526782 |    23940     61 |      395 |      336
1545.35/1545.84	c 1545s |      19 |  3375071 |   527282 |    23940     61 |      395 |      336
1547.36/1547.86	c 1547s |      19 |  3375779 |   527682 |    23940     61 |      395 |      336
1549.56/1550.02	c 1549s |      19 |  3377070 |   528182 |    23940     61 |      395 |      336
1551.55/1552.07	c 1551s |      19 |  3385998 |   529482 |    23940     61 |      395 |      336
1553.65/1554.15	c 1553s |      19 |  3400156 |   530982 |    23940     62 |      395 |      336
1555.75/1556.29	c 1556s |      19 |  3404559 |   532082 |    23940     62 |      395 |      336
1557.95/1558.44	c 1558s |      19 |  3410252 |   533182 |    23940     62 |      395 |      336
1560.15/1560.69	c 1560s |      19 |  3413354 |   533982 |    23940     62 |      395 |      336
1562.65/1563.13	c 1562s |      19 |  3416204 |   534782 |    23940     62 |      395 |      336
1565.25/1565.78	c 1565s |      19 |  3417731 |   535182 |    23940     62 |      395 |      336
1567.45/1567.97	c 1567s |      19 |  3418616 |   535482 |    23940     63 |      395 |      336
1569.55/1570.09	c 1569s |      19 |  3425896 |   536782 |    23940     63 |      395 |      336
1571.75/1572.23	c 1572s |      19 |  3432684 |   538082 |    23940     63 |      395 |      336
1573.86/1574.37	c 1574s |      19 |  3436103 |   539182 |    23940     63 |      395 |      336
1576.06/1576.51	c 1576s |      19 |  3438352 |   539882 |    23940     63 |      395 |      336
1578.26/1578.77	c 1578s |      19 |  3440094 |   540582 |    23940     63 |      395 |      336
1580.35/1580.85	c 1580s |      19 |  3444569 |   541382 |    23940     64 |      395 |      336
1582.55/1583.06	c 1582s |      19 |  3447854 |   542282 |    23940     64 |      395 |      336
1584.85/1585.31	c 1585s |      19 |  3450247 |   543082 |    23940     64 |      395 |      336
1586.95/1587.46	c 1587s |      19 |  3453478 |   543982 |    23940     64 |      395 |      336
1589.05/1589.56	c 1589s |      19 |  3455221 |   544582 |    23940     64 |      395 |      336
1591.15/1591.62	c 1591s |      19 |  3456636 |   545082 |    23940     64 |      395 |      336
1593.56/1594.05	c 1593s |      19 |  3458549 |   545682 |    23940     64 |      395 |      336
1595.65/1596.18	c 1595s |      19 |  3460423 |   546182 |    23940     64 |      395 |      336
1598.06/1598.52	c 1598s |      19 |  3462612 |   546782 |    23940     64 |      395 |      336
1600.05/1600.52	c 1600s |      19 |  3465229 |   547482 |    23940     65 |      395 |      336
1602.15/1602.60	c 1602s |      19 |  3467693 |   548182 |    23940     65 |      395 |      336
1604.35/1604.86	c 1604s |      19 |  3471204 |   548982 |    23940     65 |      395 |      336
1606.55/1607.07	c 1606s |      19 |  3474866 |   549882 |    23940     65 |      395 |      336
1608.75/1609.21	c 1608s |      19 |  3476842 |   550482 |    23940     65 |      395 |      336
1611.05/1611.51	c 1611s |      19 |  3479579 |   551082 |    23940     65 |      395 |      336
1613.55/1614.02	c 1613s |      19 |  3481533 |   551682 |    23940     65 |      395 |      336
1615.75/1616.25	c 1616s |      19 |  3484015 |   552382 |    23940     65 |      395 |      336
1617.75/1618.27	c 1618s |      19 |  3489915 |   553482 |    23940     66 |      395 |      336
1620.05/1620.53	c 1620s |      19 |  3492939 |   554282 |    23940     66 |      395 |      336
1622.25/1622.76	c 1622s |      19 |  3496621 |   555082 |    23940     66 |      395 |      336
1624.35/1624.90	c 1624s |      19 |  3499555 |   555782 |    23940     66 |      395 |      336
1626.55/1627.03	c 1626s |      19 |  3502035 |   556382 |    23940     66 |      395 |      336
1628.75/1629.21	c 1628s |      19 |  3505211 |   557182 |    23940     66 |      395 |      336
1630.74/1631.27	c 1631s |      19 |  3506476 |   557682 |    23940     66 |      395 |      336
1633.04/1633.50	c 1633s |      19 |  3510379 |   558582 |    23940     67 |      395 |      336
1635.35/1635.84	c 1635s |      19 |  3513049 |   559382 |    23940     67 |      395 |      336
1637.34/1637.85	c 1637s |      19 |  3516277 |   560082 |    23940     67 |      395 |      336
1639.34/1639.85	c 1639s |      19 |  3518907 |   560782 |    23940     67 |      395 |      336
1641.84/1642.34	c 1642s |      19 |  3521542 |   561582 |    23940     67 |      395 |      336
1644.14/1644.67	c 1644s |      19 |  3523335 |   562182 |    23940     67 |      395 |      336
1646.64/1647.15	c 1646s |      19 |  3524421 |   562682 |    23940     67 |      395 |      336
1648.84/1649.39	c 1649s |      19 |  3527501 |   563382 |    23940     67 |      395 |      336
1650.94/1651.45	c 1651s |      19 |  3531376 |   564382 |    23940     68 |      395 |      336
1653.04/1653.56	c 1653s |      19 |  3533215 |   565082 |    23940     68 |      395 |      336
1655.03/1655.56	c 1655s |      19 |  3535454 |   565782 |    23940     68 |      395 |      336
1657.44/1657.97	c 1657s |      19 |  3539027 |   566782 |    23940     68 |      395 |      336
1659.55/1660.05	c 1659s |      19 |  3541336 |   567482 |    23940     68 |      395 |      336
1662.04/1662.55	c 1662s |      19 |  3543143 |   568082 |    23940     68 |      395 |      336
1664.44/1664.91	c 1664s |      19 |  3544280 |   568482 |    23940     69 |      395 |      336
1666.44/1666.99	c 1666s |      19 |  3547010 |   569182 |    23940     69 |      395 |      336
1668.64/1669.14	c 1668s |      19 |  3549684 |   569982 |    23940     69 |      395 |      336
1670.65/1671.17	c 1670s |      19 |  3551572 |   570482 |    23940     69 |      395 |      336
1673.24/1673.78	c 1673s |      19 |  3552972 |   570982 |    23940     69 |      395 |      336
1675.44/1675.97	c 1675s |      19 |  3554377 |   571482 |    23940     69 |      395 |      336
1677.54/1678.02	c 1677s |      19 |  3555006 |   571782 |    23940     69 |      395 |      336
1680.23/1680.73	c 1680s |      19 |  3556988 |   572282 |    23940     69 |      395 |      336
1682.33/1682.86	c 1682s |      19 |  3558040 |   572682 |    23940     69 |      395 |      336
1684.63/1685.15	c 1684s |      19 |  3559649 |   573182 |    23940     69 |      395 |      336
1686.73/1687.20	c 1686s |      19 |  3563969 |   573982 |    23940     70 |      395 |      336
1688.73/1689.21	c 1688s |      19 |  3566873 |   574882 |    23940     70 |      395 |      336
1690.93/1691.40	c 1691s |      19 |  3572841 |   576082 |    23940     70 |      395 |      336
1693.03/1693.50	c 1693s |      19 |  3575509 |   576882 |    23940     70 |      395 |      336
1695.23/1695.76	c 1695s |      19 |  3577813 |   577582 |    23940     70 |      395 |      336
1697.33/1697.88	c 1697s |      19 |  3580477 |   578382 |    23940     70 |      395 |      336
1699.43/1699.98	c 1699s |      19 |  3582203 |   578982 |    23940     71 |      395 |      336
1701.53/1702.03	c 1701s |      19 |  3586239 |   579982 |    23940     71 |      395 |      336
1703.54/1704.07	c 1703s |      19 |  3588556 |   580682 |    23940     71 |      395 |      336
1705.53/1706.08	c 1705s |      19 |  3590935 |   581482 |    23940     71 |      395 |      336
1707.83/1708.35	c 1708s |      19 |  3592968 |   582082 |    23940     71 |      395 |      336
1709.83/1710.36	c 1710s |      19 |  3594224 |   582482 |    23940     71 |      395 |      336
1712.03/1712.56	c 1712s |      19 |  3595928 |   583082 |    23940     71 |      395 |      336
1714.13/1714.64	c 1714s |      19 |  3602672 |   584382 |    23940     72 |      395 |      336
1716.33/1716.80	c 1716s |      19 |  3609599 |   585682 |    23940     72 |      395 |      336
1718.33/1718.86	c 1718s |      19 |  3612792 |   586582 |    23940     72 |      395 |      336
1720.43/1720.97	c 1720s |      19 |  3615426 |   587282 |    23940     72 |      395 |      336
1722.43/1722.97	c 1722s |      19 |  3618077 |   587982 |    23940     72 |      395 |      336
1724.54/1725.05	c 1724s |      19 |  3620850 |   588682 |    23940     73 |      395 |      336
1726.83/1727.34	c 1727s |      19 |  3624462 |   589782 |    23940     73 |      395 |      336
1728.94/1729.46	c 1729s |      19 |  3627870 |   590582 |    23940     73 |      395 |      336
1731.23/1731.71	c 1731s |      19 |  3630859 |   591382 |    23940     73 |      395 |      336
1733.43/1733.98	c 1733s |      19 |  3632999 |   592082 |    23940     73 |      395 |      336
1735.63/1736.14	c 1735s |      19 |  3634613 |   592682 |    23940     73 |      395 |      336
1737.73/1738.22	c 1738s |      19 |  3638253 |   593582 |    23940     74 |      395 |      336
1740.23/1740.70	c 1740s |      19 |  3640236 |   594282 |    23940     74 |      395 |      336
1742.33/1742.82	c 1742s |      19 |  3642204 |   594982 |    23940     74 |      395 |      336
1744.33/1744.83	c 1744s |      19 |  3644736 |   595682 |    23940     74 |      395 |      336
1746.43/1746.97	c 1746s |      19 |  3646769 |   596482 |    23940     74 |      395 |      336
1748.42/1748.98	c 1748s |      19 |  3648029 |   596882 |    23940     74 |      395 |      336
1750.62/1751.10	c 1750s |      19 |  3653607 |   597982 |    23940     75 |      395 |      336
1752.72/1753.25	c 1753s |      19 |  3657260 |   599082 |    23940     75 |      395 |      336
1754.92/1755.45	c 1755s |      19 |  3659212 |   599782 |    23940     75 |      395 |      336
1757.02/1757.57	c 1757s |      19 |  3661236 |   600382 |    23940     75 |      395 |      336
1759.23/1759.71	c 1759s |      19 |  3665391 |   601182 |    23940     75 |      395 |      336
1761.33/1761.85	c 1761s |      19 |  3667382 |   601782 |    23940     75 |      395 |      336
1763.52/1764.02	c 1763s |      19 |  3669861 |   602582 |    23940     76 |      395 |      336
1765.72/1766.23	c 1766s |      19 |  3672693 |   603482 |    23940     76 |      395 |      336
1767.82/1768.31	c 1768s |      19 |  3676164 |   604282 |    23940     76 |      395 |      336
1769.92/1770.42	c 1770s |      19 |  3678955 |   604982 |    23940     76 |      395 |      336
1772.22/1772.72	c 1772s |      19 |  3681350 |   605682 |    23940     76 |      395 |      336
1774.42/1774.95	c 1774s |      19 |  3682650 |   606182 |    23940     76 |      395 |      336
1776.62/1777.10	c 1776s |      19 |  3685239 |   606882 |    23940     77 |      395 |      336
1778.62/1779.16	c 1778s |      19 |  3692284 |   608182 |    23940     77 |      395 |      336
1780.62/1781.18	c 1780s |      19 |  3694263 |   608982 |    23940     77 |      395 |      336
1782.92/1783.45	c 1783s |      19 |  3698773 |   609982 |    23940     77 |      395 |      336
1784.92/1785.48	c 1785s |      19 |  3706702 |   611382 |    23940     78 |      395 |      336
1786.91/1787.49	c 1787s |      19 |  3713993 |   612582 |    23940     78 |      395 |      336
1789.11/1789.61	c 1789s |      19 |  3718551 |   613382 |    23940     78 |      395 |      336
1791.41/1791.91	c 1791s |      19 |  3721405 |   614282 |    23940     78 |      395 |      336
1793.73/1794.24	c 1794s |      19 |  3724832 |   615182 |    23940     78 |      395 |      336
1795.82/1796.31	c 1796s |      19 |  3729743 |   616282 |    23940     79 |      395 |      336
1797.82/1798.37	c 1798s |      19 |  3732667 |   617082 |    23940     79 |      395 |      336

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

pid=13131
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.27 2.20 2.18 3/180 13134
/proc/meminfo: memFree=29213456/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 2800 0 0 0 0 0 0 0 20 0 4 0 110156052 768012288 3672 33554432000 4194304 16246674 140734449114032 140734449113456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 188015 3680 441 2943 0 184909 0
[pid=13134/tid=13135] ppid=13131 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 785838080 3741 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=772540 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 791080960 3761 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=776636 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 795275264 3777 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 13134
/proc/meminfo: memFree=29213456/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 28429 0 0 0 5 4 0 0 20 0 4 0 110156052 1251545088 29238 33554432000 4194304 16246674 140734449114032 140734449113344 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 305553 29241 801 2943 0 302447 0
[pid=13134/tid=13135] ppid=13131 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1251545088 29244 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1251545088 29246 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1251545088 29249 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1222212

[startup+0.200494 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 13134
/proc/meminfo: memFree=29213456/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 48311 0 0 0 12 7 0 0 20 0 4 0 110156052 1332285440 49120 33554432000 4194304 16246674 140734449114032 140734449095936 12454440 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 325265 49120 833 2943 0 322159 0
[pid=13134/tid=13135] ppid=13131 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1332285440 49120 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1332285440 49120 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1332285440 49120 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1301060

[startup+0.300496 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 13134
/proc/meminfo: memFree=29213456/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 56434 0 0 0 21 8 0 0 20 0 4 0 110156052 1333334016 57244 33554432000 4194304 16246674 140734449114032 140734449095936 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 325521 57249 876 2943 0 322415 0
[pid=13134/tid=13135] ppid=13131 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1333334016 57255 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1333334016 57261 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1333334016 57267 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1302084

[startup+0.700385 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 13134
/proc/meminfo: memFree=29213456/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 142339 0 0 0 49 20 0 0 20 0 4 0 110156052 1333334016 143149 33554432000 4194304 16246674 140734449114032 140734449095936 5721660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 325521 143169 876 2943 0 322415 0
[pid=13134/tid=13135] ppid=13131 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1333334016 143178 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1333334016 143192 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1333334016 143206 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1302084

[startup+1.50036 s]
/proc/loadavg: 2.27 2.20 2.18 4/184 13138
/proc/meminfo: memFree=28269276/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1310276 CPUtime=1.49 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 248451 0 0 0 114 35 0 0 20 0 4 0 110156052 1341722624 249260 33554432000 4194304 16246674 140734449114032 140734449095936 12483667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 327569 249260 882 2943 0 324463 0
[pid=13134/tid=13135] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 249260 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 249260 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 249260 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1310276

[startup+3.1004 s]
/proc/loadavg: 2.27 2.20 2.18 3/184 13138
/proc/meminfo: memFree=28215956/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1310276 CPUtime=3.09 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 268747 0 0 0 271 38 0 0 20 0 4 0 110156052 1341722624 269556 33554432000 4194304 16246674 140734449114032 140734449095936 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 327569 269556 882 2943 0 324463 0
[pid=13134/tid=13135] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269556 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269556 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269556 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30042 s]
/proc/loadavg: 2.25 2.20 2.18 3/184 13138
/proc/meminfo: memFree=28134988/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 268750 0 0 0 591 38 0 0 20 0 4 0 110156052 1341722624 269559 33554432000 4194304 16246674 140734449114032 140734449095936 13191661 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 327569 269559 885 2943 0 324463 0
[pid=13134/tid=13135] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269559 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269559 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269559 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.23 2.20 2.18 3/184 13138
/proc/meminfo: memFree=28134908/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 268750 0 0 0 1231 38 0 0 20 0 4 0 110156052 1341722624 269559 33554432000 4194304 16246674 140734449114032 140734449095936 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 327569 269559 885 2943 0 324463 0
[pid=13134/tid=13135] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269559 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269559 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269559 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5075 s]
/proc/loadavg: 2.25 2.20 2.18 4/184 13138
/proc/meminfo: memFree=28135332/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1310276 CPUtime=25.5 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 268751 0 0 0 2512 38 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140734449095936 5722267 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 327569 269560 886 2943 0 324463 0
[pid=13134/tid=13135] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.16 2.18 2.18 4/183 13138
/proc/meminfo: memFree=28132020/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1310276 CPUtime=51.09 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 268751 0 0 0 5070 39 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140734449095936 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 327569 269560 886 2943 0 324463 0
[pid=13134/tid=13135] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 13140
/proc/meminfo: memFree=28131740/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 268751 0 0 0 10189 39 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140734449113208 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 327569 269560 886 2943 0 324463 0
[pid=13134/tid=13135] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1341722624 269560 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1310276


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

/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.27 2.27 2.20 4/183 13193
/proc/meminfo: memFree=28123360/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1301.93 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270076 0 0 0 130139 54 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449097032 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.31 2.28 2.20 3/183 13194
/proc/meminfo: memFree=28123036/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1361.88 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270123 0 0 0 136134 54 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449095936 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.49 2.33 2.22 3/183 13195
/proc/meminfo: memFree=28123560/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1421.88 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270126 0 0 0 142132 56 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449095936 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.36 2.31 2.22 3/183 13245
/proc/meminfo: memFree=28128848/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1481.86 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270126 0 0 0 148129 57 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449095936 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1314372

[startup+1542.3 s]
/proc/loadavg: 2.27 2.30 2.22 3/183 13246
/proc/meminfo: memFree=28128840/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1541.86 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270126 0 0 0 154128 58 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449095936 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.23 2.29 2.22 3/183 13248
/proc/meminfo: memFree=28129332/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1601.85 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270126 0 0 0 160126 59 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449113208 5546177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1314372

[startup+1662.31 s]
/proc/loadavg: 2.25 2.28 2.22 3/183 13249
/proc/meminfo: memFree=28129584/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1661.85 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270126 0 0 0 166125 60 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449113208 5721840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.24 2.27 2.22 4/183 13250
/proc/meminfo: memFree=28130084/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1721.83 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270126 0 0 0 172122 61 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449113128 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.42 2.31 2.23 3/184 13254
/proc/meminfo: memFree=28128840/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1781.82 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270126 0 0 0 178120 62 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449095936 12483423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 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) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.40 2.31 2.23 3/184 13254
/proc/meminfo: memFree=28129420/32872528 swapFree=15272/1656604
[pid=13134] ppid=13131 vsize=1314372 CPUtime=1800.02 cores=0,2,4,6
/proc/13134/stat : 13134 (toysat) R 13131 13134 9894 0 -1 4202496 270126 0 0 0 179939 63 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140734449095936 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13134/statm: 328593 270587 886 2943 0 325487 0
[pid=13134/tid=13135] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13135/stat : 13135 (toysat) S 13131 13134 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695910198512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13134/tid=13136] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13136/stat : 13136 (toysat) S 13131 13134 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695899708656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13134/tid=13137] ppid=13131 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13134/task/13137/stat : 13137 (toysat) S 13131 13134 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110156052 1345916928 270587 33554432000 4194304 16246674 140734449114032 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1314372

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.630904
maximum resident set size= 1082348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270126
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= 365
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5632 second user time and 17.6183 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 08:50:27
IDJOB=4078936
IDBENCH=90118
IDSOLVER=2542
FILE ID=node136/4078936-1465282227
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 1487741f4fc087d76a7a64081b5bebd6
RANDOM SEED=1310962537

node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29214000 kB
Buffers:           48484 kB
Cached:           141848 kB
SwapCached:          768 kB
Active:          1150004 kB
Inactive:         118596 kB
Active(anon):    1077620 kB
Inactive(anon):     3540 kB
Active(file):      72384 kB
Inactive(file):   115056 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             16748 kB
Writeback:             8 kB
AnonPages:       2687316 kB
Mapped:            10848 kB
Shmem:                 0 kB
Slab:             597860 kB
SReclaimable:      42056 kB
SUnreclaim:       555804 kB
KernelStack:        1528 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1599488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node136 at 2016-06-07 09:20:28