Trace number 4100177

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb
MD5SUMab5e35dff8e81ea7a1176a4145ab1bff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables13736
Total number of constraints597
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints592
Minimum length of a constraint7
Maximum length of a constraint390
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524564
Number of bits of the biggest sum of numbers20
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-18T02:59:16+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-4100177-1466211556.opb"]
0.00/0.01	c use --random-gen="842695297 1273344542 1269031416 558140459 2647860494 1040796276 478346224 1601958082 1292543552 667165106 2750330948 3805531005 329527513 3553011948 752592452 294646072 3055936353 959962627 2672099896 4187050421 3018599624 4266084652 303057278 916736576 1435446248 3531214284 1227760438 3109449566 1027661875 775498588 161473510 3990782218 3598787793 2715070257 1813862347 3717384901 3401272627 2239018539 97473299 736385778 4175318595 1570135844 2432960496 1661647871 1115799206 1724169014 2749737036 393849417 2980002359 2742337582 4068200102 17281233 2753257156 750864148 3146830136 2256132412 2729081355 2927509449 3813912837 1130098825 3774018625 1763776509 2949871047 3504451436 1372921683 3035796773 2277240567 492271825 2325926649 3504754280 1384367105 4100847030 1143801163 3150341096 1188333657 4190677099 4108920355 919727923 522336442 206857746 3984503842 2276568606 665903240 454077665 705017541 3241805821 3733748323 1810320388 3425562187 308838521 3416073928 218262847 2144805980 3218493366 3714372550 2962867736 1586333053 1913194510 2273932207 1821422911 1075279900 1064713502 2083404743 3698345851 3357688342 3664681913 2083191657 2348556881 3893425498 3571850332 1922860616 1191739213 938967193 706575554 579124796 4123484 4088264310 4106508818 3984020745 4077521058 540807714 442493647 3003081611 2423355123 629331979 2727916067 3620887857 3598767733 73224188 4279796656 1922976529 1725765504 3053674460 4166609437 2811980576 2922067764 3184156121 1013677373 2310564664 3708548114 4268161572 2886211831 193264196 3176346019 2020888468 1843894431 1493731835 4208295726 3684975846 745942777 3929283119 643652061 110702629 931030861 2504174353 385401076 3401794877 2963676814 3688445505 1047939927 1757395056 2779921243 2833517669 890900479 116217851 1584790611 2900586638 2201783623 2950777996 3971394351 3539516133 3064047004 337657826 3080073747 1039177097 4130987189 1386075449 1287198887 1009566067 2213648038 947373607 2518459784 2612972332 1582080840 2147284571 4093218561 2310445834 895775914 2858831914 191964179 3321704286 2759552292 1183127822 3254796457 3300089502 2088684740 2666497373 881666196 2489709802 3156484830 122001534 4249991240 2562153541 32239298 832581473 2005477761 3976272214 803301433 2409298314 3066207179 882449048 4209326686 271152058 1204464343 965772855 2019707776 2700843857 1213597554 3246770154 1563462907 3715373066 3526974849 2333101267 1118363123 3314927240 2300482008 3664956325 557753301 506355927 1802735988 419111249 927029089 2174521682 307962025 939314586 2073740552 1185518365 3739652999 1388533666 4294022494 3925577419 1571335314 528664102 3325032970 906498552 2564450098 85057965 3161766403 908294437 590526240 3746192099 2062782447 3059717819 3966395413 1362206211 44380767 255 362436" option to reproduce the execution
0.08/0.13	c #vars 13736
0.08/0.13	c #constraints 597
0.39/0.48	c BCD2: Hardening is enabled.
0.39/0.48	c BCD2: BiasedSearch is enabled.
0.39/0.48	c Solving starts ...
0.39/0.48	c ============================[ Search Statistics ]============================
0.39/0.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.48	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.48	c =============================================================================
0.39/0.48	c  0.0s |       0 |        0 |        0 |     4820      0 |     5583 |        0
0.59/0.61	c  0.1s |       1 |      161 |      100 |     4820      0 |     5583 |        0
0.59/0.68	c  0.2s |       2 |      349 |      250 |     5302      0 |     5583 |        0
0.79/0.81	c  0.3s |       3 |      679 |      475 |     5833      0 |     5583 |        0
0.89/0.97	c  0.5s |       4 |     1128 |      813 |     6417      0 |     5583 |        0
1.09/1.20	c  0.7s |       5 |     1935 |     1320 |     7059      0 |     5583 |        0
1.49/1.53	c  1.1s |       6 |     3027 |     2081 |     8542      0 |     5583 |        0
2.99/3.02	c  2.5s |       7 |     7121 |     3223 |     9397      0 |     5586 |        0
3.59/3.65	c  3.2s |       8 |     9198 |     4936 |    10337      0 |     5586 |        0
4.49/4.56	c  4.1s |       9 |    12776 |     7506 |    11371      0 |     5588 |        0
6.49/6.57	c  6.1s |      10 |    19999 |    11361 |    12509      0 |     5588 |        0
8.48/8.59	c  8.1s |      10 |    29850 |    15161 |    12509      0 |     5588 |        0
9.68/9.72	c  9.2s |      11 |    33972 |    17144 |    13760      0 |     5588 |        0
11.68/11.75	c 11.3s |      11 |    41052 |    20944 |    13760      1 |     5588 |        0
13.68/13.75	c 13.3s |      11 |    47923 |    23544 |    13760      1 |     5589 |        0
15.79/15.81	c 15.3s |      11 |    49714 |    25144 |    13760      1 |     5589 |        0
16.50/16.59	c 16.1s |      12 |    50523 |    25819 |    15137      1 |     5589 |        0
18.80/18.89	c 18.4s |      12 |    51419 |    26419 |    15137      1 |     5589 |        0
21.00/21.10	c 20.6s |      12 |    52109 |    27119 |    15137      1 |     5589 |        0
23.20/23.28	c 22.8s |      12 |    52816 |    27819 |    15137      1 |     5589 |        0
25.49/25.58	c 25.1s |      12 |    53521 |    28519 |    15137      1 |     5589 |        0
27.79/27.86	c 27.4s |      12 |    54229 |    29219 |    15137      1 |     5589 |        0
29.80/29.86	c 29.4s |      12 |    54816 |    29819 |    15137      1 |     5589 |        0
32.09/32.18	c 31.7s |      12 |    55519 |    30519 |    15137      1 |     5589 |        0
34.49/34.50	c 34.0s |      12 |    56227 |    31219 |    15137      1 |     5589 |        0
36.49/36.53	c 36.1s |      12 |    56829 |    31819 |    15137      1 |     5589 |        0
38.49/38.58	c 38.1s |      12 |    57427 |    32419 |    15137      1 |     5589 |        0
40.59/40.61	c 40.1s |      12 |    58029 |    33019 |    15137      1 |     5589 |        0
42.59/42.63	c 42.1s |      12 |    58627 |    33619 |    15137      1 |     5589 |        0
44.59/44.69	c 44.2s |      12 |    59233 |    34219 |    15137      1 |     5589 |        0
46.79/46.89	c 46.4s |      12 |    59742 |    34719 |    15137      2 |     5589 |        0
48.99/49.08	c 48.6s |      12 |    60336 |    35319 |    15137      2 |     5589 |        0
51.19/51.21	c 50.7s |      12 |    60936 |    35919 |    15137      2 |     5589 |        0
53.28/53.30	c 52.8s |      12 |    61535 |    36519 |    15137      2 |     5589 |        0
55.38/55.48	c 55.0s |      12 |    62141 |    37119 |    15137      2 |     5589 |        0
57.58/57.66	c 57.2s |      12 |    62740 |    37719 |    15137      2 |     5589 |        0
59.88/59.90	c 59.4s |      12 |    63346 |    38319 |    15137      2 |     5589 |        0
61.88/61.94	c 61.5s |      13 |    63856 |    38832 |    16651      2 |     5589 |        0
63.98/64.02	c 63.5s |      13 |    66204 |    40032 |    16651      2 |     5589 |        0
65.99/66.09	c 65.6s |      13 |    67720 |    41532 |    16651      2 |     5589 |        0
68.08/68.13	c 67.7s |      13 |    69117 |    42932 |    16651      2 |     5589 |        0
70.18/70.27	c 69.8s |      13 |    70517 |    44332 |    16651      2 |     5589 |        0
72.38/72.41	c 71.9s |      13 |    71815 |    45632 |    16651      2 |     5589 |        0
74.48/74.50	c 74.0s |      13 |    73019 |    46832 |    16651      2 |     5589 |        0
76.58/76.62	c 76.1s |      13 |    74219 |    48032 |    16651      2 |     5589 |        0
78.68/78.71	c 78.2s |      13 |    75322 |    49132 |    16651      2 |     5589 |        0
80.78/80.83	c 80.3s |      13 |    76424 |    50232 |    16651      2 |     5589 |        0
82.88/82.92	c 82.4s |      13 |    77329 |    51132 |    16651      3 |     5589 |        0
85.08/85.12	c 84.6s |      13 |    78428 |    52232 |    16651      3 |     5589 |        0
87.08/87.13	c 86.6s |      13 |    79332 |    53132 |    16651      3 |     5589 |        0
89.19/89.28	c 88.8s |      13 |    80330 |    54132 |    16651      3 |     5589 |        0
91.29/91.36	c 90.9s |      13 |    81434 |    55232 |    16651      3 |     5589 |        0
93.28/93.39	c 92.9s |      13 |    82428 |    56232 |    16651      3 |     5589 |        0
95.48/95.59	c 95.1s |      13 |    83330 |    57132 |    16651      3 |     5589 |        0
97.68/97.78	c 97.3s |      13 |    84233 |    58032 |    18317      3 |     5589 |        0
98.38/98.47	c 98.0s |      14 |    84557 |    58352 |    18317      3 |     5589 |        0
100.48/100.57	c  100s |      14 |    87114 |    59352 |    18317      3 |     5589 |        0
102.58/102.61	c  102s |      14 |    88467 |    60652 |    18317      3 |     5589 |        0
104.68/104.72	c  104s |      14 |    89589 |    61752 |    18317      3 |     5589 |        0
106.68/106.74	c  106s |      14 |    90549 |    62652 |    18317      3 |     5589 |        0
108.67/108.78	c  108s |      14 |    98032 |    66152 |    18317      3 |     5589 |        0
110.67/110.79	c  110s |      14 |   101440 |    68952 |    18317      4 |     5589 |        0
112.77/112.83	c  112s |      14 |   104842 |    72152 |    18317      4 |     5589 |        0
114.77/114.84	c  114s |      14 |   109349 |    75452 |    18317      4 |     5589 |        0
116.77/116.89	c  116s |      14 |   113694 |    78452 |    18317      4 |     5589 |        0
118.88/118.91	c  118s |      14 |   117523 |    81152 |    18317      4 |     5589 |        0
120.87/120.92	c  120s |      14 |   120642 |    83452 |    18317      5 |     5589 |        0
122.87/122.95	c  122s |      14 |   124130 |    85952 |    18317      5 |     5589 |        0
124.57/124.69	c  124s |      15 |   126596 |    87632 |    20149      5 |     5589 |        0
126.67/126.73	c  126s |      15 |   132086 |    89432 |    20149      5 |     5589 |        0
128.78/128.81	c  128s |      15 |   134385 |    91632 |    20149      5 |     5589 |        0
130.77/130.87	c  130s |      15 |   136664 |    93832 |    20149      5 |     5589 |        0
132.87/132.93	c  132s |      15 |   140378 |    95832 |    20149      5 |     5589 |        0
134.87/134.93	c  134s |      15 |   143262 |    98432 |    20149      5 |     5589 |        0
136.87/136.95	c  136s |      15 |   145674 |   100832 |    20149      6 |     5589 |        0
138.97/139.00	c  138s |      15 |   147673 |   102432 |    20149      6 |     5589 |        0
140.97/141.08	c  140s |      15 |   149860 |   104032 |    20149      6 |     5589 |        0
143.17/143.24	c  142s |      15 |   152439 |   105532 |    20149      6 |     5589 |        0
145.27/145.34	c  144s |      15 |   154424 |   106932 |    20149      6 |     5589 |        0
147.37/147.47	c  146s |      15 |   156100 |   108332 |    20149      6 |     5589 |        0
149.47/149.51	c  149s |      15 |   157583 |   109632 |    20149      6 |     5589 |        0
151.57/151.64	c  151s |      15 |   159198 |   110932 |    20149      6 |     5589 |        0
153.66/153.74	c  153s |      15 |   160846 |   112232 |    20149      6 |     5589 |        0
155.66/155.76	c  155s |      15 |   162247 |   113332 |    20149      6 |     5589 |        0
157.76/157.82	c  157s |      15 |   163544 |   114432 |    20149      6 |     5589 |        0
159.86/159.94	c  159s |      15 |   164441 |   115232 |    20149      6 |     5589 |        0
162.06/162.12	c  161s |      15 |   165348 |   116032 |    20149      6 |     5589 |        0
164.36/164.46	c  163s |      15 |   166288 |   116832 |    20149      7 |     5589 |        0
166.76/166.84	c  166s |      15 |   167440 |   117732 |    20149      7 |     5589 |        0
168.86/168.98	c  168s |      15 |   168877 |   118832 |    20149      7 |     5589 |        0
170.96/171.01	c  170s |      15 |   169982 |   119732 |    20149      7 |     5589 |        0
173.16/173.24	c  172s |      15 |   170839 |   120532 |    20149      7 |     5589 |        0
175.16/175.26	c  174s |      15 |   171549 |   121232 |    20149      7 |     5589 |        0
177.36/177.45	c  176s |      15 |   172670 |   122132 |    20149      7 |     5589 |        0
179.37/179.48	c  178s |      15 |   173559 |   122832 |    20149      7 |     5589 |        0
181.36/181.50	c  181s |      15 |   174372 |   123532 |    20149      7 |     5589 |        0
183.56/183.64	c  183s |      15 |   175211 |   124332 |    20149      7 |     5589 |        0
185.66/185.79	c  185s |      15 |   176034 |   125032 |    20149      7 |     5589 |        0
187.86/187.98	c  187s |      15 |   177010 |   125832 |    20149      7 |     5589 |        0
189.96/190.08	c  189s |      15 |   177946 |   126732 |    20149      7 |     5589 |        0
192.26/192.31	c  191s |      15 |   178946 |   127632 |    20149      7 |     5589 |        0
194.36/194.48	c  193s |      15 |   179872 |   128532 |    20149      7 |     5589 |        0
196.36/196.49	c  196s |      15 |   180803 |   129432 |    20149      7 |     5589 |        0
198.46/198.51	c  198s |      15 |   182312 |   130432 |    20149      7 |     5589 |        0
200.66/200.76	c  200s |      15 |   183579 |   131432 |    22164      7 |     5589 |        0
200.86/200.97	c  200s |      16 |   183774 |   131552 |    22164      7 |     5589 |        0
204.67/204.75	c  204s |      16 |   184564 |   131652 |    22164      8 |     5589 |        0
206.77/206.83	c  206s |      16 |   188167 |   134052 |    22164      8 |     5589 |        0
208.76/208.83	c  208s |      16 |   190177 |   136052 |    22164      8 |     5589 |        0
210.76/210.88	c  210s |      16 |   191978 |   137852 |    22164      8 |     5589 |        0
212.86/212.92	c  212s |      16 |   193891 |   139752 |    22164      8 |     5589 |        0
214.96/215.05	c  214s |      16 |   195609 |   141452 |    22164      8 |     5589 |        0
217.06/217.10	c  216s |      16 |   198251 |   143452 |    22164      8 |     5589 |        0
219.06/219.13	c  218s |      16 |   200462 |   145652 |    22164      8 |     5589 |        0
221.07/221.16	c  220s |      16 |   202466 |   147652 |    22164      8 |     5589 |        0
223.16/223.26	c  222s |      16 |   204281 |   149452 |    22164      8 |     5589 |        0
225.36/225.46	c  224s |      16 |   205581 |   150752 |    22164      9 |     5589 |        0
227.36/227.49	c  227s |      16 |   207191 |   152352 |    22164      9 |     5589 |        0
229.46/229.58	c  229s |      16 |   208603 |   153752 |    22164      9 |     5589 |        0
231.56/231.60	c  231s |      16 |   210009 |   155152 |    22164      9 |     5589 |        0
233.66/233.77	c  233s |      16 |   211525 |   156652 |    22164      9 |     5589 |        0
235.76/235.83	c  235s |      16 |   212835 |   157952 |    22164      9 |     5589 |        0
237.86/237.94	c  237s |      16 |   214145 |   159252 |    22164      9 |     5589 |        0
239.86/239.98	c  239s |      16 |   215453 |   160552 |    22164      9 |     5589 |        0
241.96/242.04	c  241s |      16 |   216659 |   161752 |    22164      9 |     5589 |        0
244.16/244.21	c  243s |      16 |   217867 |   162952 |    22164      9 |     5589 |        0
246.26/246.31	c  245s |      16 |   219174 |   164252 |    22164      9 |     5589 |        0
248.26/248.34	c  247s |      16 |   220380 |   165452 |    22164      9 |     5589 |        0
250.26/250.37	c  249s |      16 |   221478 |   166552 |    22164      9 |     5589 |        0
252.35/252.43	c  251s |      16 |   222480 |   167552 |    22164      9 |     5589 |        0
254.55/254.64	c  254s |      16 |   223082 |   168152 |    22164     10 |     5589 |        0
256.55/256.65	c  256s |      16 |   224185 |   169252 |    22164     10 |     5589 |        0
258.65/258.78	c  258s |      16 |   225686 |   170752 |    22164     10 |     5589 |        0
260.76/260.81	c  260s |      16 |   226591 |   171652 |    22164     10 |     5589 |        0
262.86/262.97	c  262s |      16 |   227793 |   172852 |    22164     10 |     5589 |        0
264.85/264.98	c  264s |      16 |   228800 |   173852 |    22164     10 |     5589 |        0
266.95/267.06	c  266s |      16 |   230000 |   175052 |    22164     10 |     5589 |        0
268.95/269.06	c  268s |      16 |   230899 |   175952 |    22164     10 |     5589 |        0
274.45/274.58	c  274s |      16 |   231808 |   176852 |    22164     10 |     5589 |        0
276.65/276.71	c  276s |      16 |   232809 |   177852 |    22164     10 |     5589 |        0
278.85/278.92	c  278s |      16 |   233813 |   178852 |    22164     10 |     5589 |        0
280.85/280.99	c  280s |      16 |   234717 |   179752 |    22164     10 |     5589 |        0
283.05/283.14	c  282s |      16 |   235726 |   180752 |    22164     10 |     5589 |        0
285.25/285.30	c  284s |      16 |   236634 |   181652 |    22164     10 |     5589 |        0
287.25/287.39	c  286s |      16 |   237636 |   182652 |    22164     10 |     5589 |        0
289.36/289.45	c  288s |      16 |   238538 |   183552 |    22164     10 |     5589 |        0
291.46/291.57	c  291s |      16 |   239442 |   184452 |    22164     10 |     5589 |        0
293.55/293.69	c  293s |      16 |   240345 |   185352 |    22164     10 |     5589 |        0
295.65/295.74	c  295s |      16 |   240740 |   185752 |    22164     11 |     5589 |        0
297.85/297.91	c  297s |      16 |   241248 |   186252 |    22164     11 |     5589 |        0
299.95/300.02	c  299s |      16 |   242551 |   187552 |    22164     11 |     5589 |        0
301.94/302.09	c  301s |      16 |   243957 |   188952 |    22164     11 |     5589 |        0
304.04/304.16	c  303s |      16 |   245357 |   190352 |    22164     11 |     5589 |        0
306.14/306.22	c  305s |      16 |   246668 |   191652 |    22164     11 |     5589 |        0
308.14/308.29	c  307s |      16 |   247868 |   192852 |    22164     11 |     5589 |        0
310.25/310.34	c  309s |      16 |   249074 |   194052 |    22164     11 |     5589 |        0
312.35/312.41	c  311s |      16 |   250177 |   195152 |    22164     11 |     5589 |        0
314.34/314.48	c  313s |      16 |   251381 |   196352 |    24381     11 |     5589 |        0
317.44/317.54	c  317s |      16 |   252399 |   197352 |    24381     11 |     5589 |        0
317.64/317.76	c  317s |      17 |   252480 |   197432 |    24381     11 |     5589 |        0
324.84/324.93	c  324s |      17 |   252979 |   197732 |    24381     11 |     5589 |        0
326.84/326.98	c  326s |      17 |   253617 |   198332 |    24381     11 |     5589 |        0
329.14/329.27	c  328s |      17 |   254443 |   199132 |    24381     12 |     5589 |        0
331.34/331.43	c  330s |      17 |   254550 |   199232 |    24381     12 |     5589 |        0
333.43/333.51	c  333s |      17 |   255872 |   200532 |    24381     12 |     5589 |        0
335.54/335.63	c  335s |      17 |   256810 |   201432 |    24381     12 |     5589 |        0
337.64/337.75	c  337s |      17 |   257843 |   202432 |    24381     12 |     5589 |        0
339.73/339.87	c  339s |      17 |   259046 |   203632 |    24381     12 |     5589 |        0
342.14/342.26	c  341s |      17 |   260470 |   205032 |    24381     12 |     5589 |        0
344.23/344.39	c  343s |      17 |   261775 |   206332 |    24381     12 |     5589 |        0
346.33/346.42	c  345s |      17 |   263085 |   207632 |    24381     12 |     5589 |        0
348.43/348.50	c  348s |      17 |   264192 |   208732 |    24381     12 |     5589 |        0
350.52/350.66	c  350s |      17 |   265297 |   209832 |    24381     12 |     5589 |        0
352.62/352.72	c  352s |      17 |   266296 |   210832 |    24381     12 |     5589 |        0
354.72/354.87	c  354s |      17 |   267703 |   212232 |    24381     12 |     5589 |        0
356.72/356.88	c  356s |      17 |   269011 |   213532 |    24381     12 |     5589 |        0
358.92/359.01	c  358s |      17 |   270313 |   214832 |    24381     12 |     5589 |        0
360.92/361.04	c  360s |      17 |   270718 |   215232 |    24381     13 |     5589 |        0
363.02/363.18	c  362s |      17 |   272223 |   216732 |    24381     13 |     5589 |        0
365.12/365.28	c  364s |      17 |   273532 |   218032 |    24381     13 |     5589 |        0
367.21/367.38	c  366s |      17 |   274839 |   219332 |    24381     13 |     5589 |        0
369.31/369.48	c  368s |      17 |   276144 |   220632 |    24381     13 |     5589 |        0
371.51/371.60	c  371s |      17 |   277453 |   221932 |    24381     13 |     5589 |        0
373.51/373.64	c  373s |      17 |   278558 |   223032 |    24381     13 |     5589 |        0
375.61/375.70	c  375s |      17 |   279761 |   224232 |    24381     13 |     5589 |        0
377.71/377.86	c  377s |      17 |   280971 |   225432 |    24381     13 |     5589 |        0
379.81/379.97	c  379s |      17 |   282183 |   226632 |    24381     13 |     5589 |        0
381.91/382.07	c  381s |      17 |   283388 |   227832 |    24381     13 |     5589 |        0
384.00/384.16	c  383s |      17 |   284588 |   229032 |    24381     13 |     5589 |        0
386.01/386.17	c  385s |      17 |   285592 |   230032 |    24381     13 |     5589 |        0
388.60/388.73	c  388s |      17 |   286496 |   230932 |    24381     14 |     5589 |        0
390.60/390.79	c  390s |      17 |   287795 |   232232 |    24381     14 |     5589 |        0
392.80/392.91	c  392s |      17 |   288997 |   233432 |    24381     14 |     5589 |        0
394.91/395.01	c  394s |      17 |   290296 |   234732 |    24381     14 |     5589 |        0
396.90/397.05	c  396s |      17 |   291510 |   235932 |    24381     14 |     5589 |        0
399.00/399.11	c  398s |      17 |   292713 |   237132 |    24381     14 |     5589 |        0
401.00/401.14	c  400s |      17 |   294017 |   238432 |    24381     14 |     5589 |        0
402.99/403.19	c  402s |      17 |   295220 |   239632 |    24381     14 |     5589 |        0
405.09/405.25	c  404s |      17 |   296321 |   240732 |    24381     14 |     5589 |        0
407.19/407.35	c  406s |      17 |   297421 |   241832 |    24381     14 |     5589 |        0
409.39/409.52	c  409s |      17 |   298428 |   242832 |    24381     14 |     5589 |        0
411.49/411.61	c  411s |      17 |   299428 |   243832 |    24381     14 |     5589 |        0
413.50/413.63	c  413s |      17 |   300437 |   244832 |    24381     14 |     5589 |        0
415.59/415.74	c  415s |      17 |   301442 |   245832 |    24381     14 |     5589 |        0
417.90/418.09	c  417s |      17 |   302347 |   246732 |    24381     15 |     5589 |        0
420.10/420.24	c  419s |      17 |   302956 |   247332 |    24381     15 |     5589 |        0
422.10/422.27	c  421s |      17 |   304357 |   248732 |    24381     15 |     5589 |        0
424.29/424.44	c  423s |      17 |   305661 |   250032 |    24381     15 |     5589 |        0
426.29/426.49	c  426s |      17 |   306867 |   251232 |    24381     15 |     5589 |        0
428.49/428.60	c  428s |      17 |   308169 |   252532 |    24381     15 |     5589 |        0
442.38/442.53	c  442s |      17 |   309217 |   253532 |    24381     15 |     5589 |        0
446.18/446.38	c  445s |      17 |   309326 |   253632 |    24381     15 |     5589 |        0
448.28/448.49	c  448s |      17 |   310389 |   254532 |    24381     15 |     5589 |        0
450.38/450.55	c  450s |      17 |   311500 |   255532 |    24381     15 |     5589 |        0
452.48/452.66	c  452s |      17 |   312584 |   256532 |    24381     15 |     5589 |        0
454.48/454.68	c  454s |      17 |   313561 |   257432 |    24381     15 |     5589 |        0
456.68/456.85	c  456s |      17 |   314553 |   258332 |    24381     15 |     5589 |        0
458.68/458.88	c  458s |      17 |   315509 |   259232 |    24381     15 |     5589 |        0
460.78/460.93	c  460s |      17 |   316517 |   260232 |    24381     15 |     5589 |        0
462.87/463.02	c  462s |      17 |   317528 |   261232 |    24381     15 |     5589 |        0
464.87/465.05	c  464s |      17 |   318629 |   262332 |    24381     15 |     5589 |        0
466.97/467.13	c  466s |      17 |   318830 |   262532 |    24381     16 |     5589 |        0
469.07/469.25	c  468s |      17 |   320137 |   263832 |    24381     16 |     5589 |        0
471.07/471.29	c  470s |      17 |   321438 |   265132 |    24381     16 |     5589 |        0
473.27/473.45	c  472s |      17 |   322844 |   266532 |    24381     16 |     5589 |        0
475.26/475.49	c  475s |      17 |   324048 |   267732 |    24381     16 |     5589 |        0
477.46/477.68	c  477s |      17 |   325155 |   268832 |    24381     16 |     5589 |        0
479.57/479.75	c  479s |      17 |   326339 |   269932 |    24381     16 |     5589 |        0
481.67/481.85	c  481s |      17 |   327599 |   271032 |    24381     16 |     5589 |        0
483.76/483.90	c  483s |      17 |   328717 |   272032 |    24381     16 |     5589 |        0
485.86/486.08	c  485s |      17 |   329918 |   273232 |    24381     16 |     5589 |        0
487.96/488.19	c  487s |      17 |   331035 |   274332 |    24381     16 |     5589 |        0
490.16/490.38	c  489s |      17 |   332174 |   275432 |    24381     16 |     5589 |        0
492.26/492.43	c  491s |      17 |   333222 |   276432 |    24381     16 |     5589 |        0
494.26/494.44	c  493s |      17 |   334321 |   277432 |    24381     16 |     5589 |        0
496.66/496.87	c  496s |      17 |   335228 |   278232 |    24381     17 |     5589 |        0
498.76/498.92	c  498s |      17 |   336598 |   279532 |    24381     17 |     5589 |        0
500.85/501.07	c  500s |      17 |   338021 |   280832 |    24381     17 |     5589 |        0
502.95/503.16	c  502s |      17 |   339324 |   282032 |    24381     17 |     5589 |        0
508.05/508.25	c  507s |      17 |   339884 |   282532 |    24381     17 |     5589 |        0
510.15/510.38	c  509s |      17 |   341003 |   283532 |    24381     17 |     5589 |        0
512.15/512.39	c  511s |      17 |   341848 |   284332 |    24381     17 |     5589 |        0
514.35/514.59	c  514s |      17 |   342928 |   285332 |    24381     17 |     5589 |        0
516.45/516.69	c  516s |      17 |   344020 |   286332 |    24381     17 |     5589 |        0
518.55/518.73	c  518s |      17 |   345161 |   287332 |    24381     17 |     5589 |        0
520.75/520.97	c  520s |      17 |   346283 |   288332 |    24381     17 |     5589 |        0
522.95/523.19	c  522s |      17 |   347455 |   289432 |    24381     17 |     5589 |        0
525.15/525.33	c  524s |      17 |   348419 |   290332 |    24381     17 |     5589 |        0
527.15/527.39	c  526s |      17 |   349386 |   291232 |    24381     17 |     5589 |        0
529.25/529.44	c  528s |      17 |   350294 |   292032 |    24381     17 |     5589 |        0
531.44/531.62	c  531s |      17 |   351282 |   292932 |    24381     17 |     5589 |        0
533.45/533.62	c  533s |      17 |   352170 |   293732 |    24381     17 |     5589 |        0
535.44/535.63	c  535s |      17 |   352794 |   294332 |    26820     18 |     5589 |        0
537.44/537.69	c  537s |      17 |   354061 |   295432 |    26820     18 |     5589 |        0
538.95/539.11	c  538s |      18 |   354981 |   296252 |    26820     18 |     5589 |        0
541.04/541.23	c  540s |      18 |   356724 |   296552 |    26820     18 |     5589 |        0
543.14/543.30	c  542s |      18 |   359490 |   297252 |    26820     18 |     5589 |        0
545.34/545.54	c  545s |      18 |   360391 |   298152 |    26820     18 |     5589 |        0
547.33/547.58	c  547s |      18 |   361195 |   298952 |    26820     18 |     5589 |        0
549.43/549.67	c  549s |      18 |   361994 |   299752 |    26820     18 |     5589 |        0
551.53/551.78	c  551s |      18 |   362794 |   300552 |    26820     18 |     5589 |        0
553.73/553.95	c  553s |      18 |   363598 |   301352 |    26820     18 |     5589 |        0
555.93/556.18	c  555s |      18 |   364405 |   302152 |    26820     18 |     5589 |        0
558.23/558.45	c  557s |      18 |   365208 |   302952 |    26820     18 |     5589 |        0
560.43/560.68	c  560s |      18 |   366005 |   303752 |    26820     18 |     5589 |        0
562.53/562.72	c  562s |      18 |   366708 |   304452 |    26820     18 |     5589 |        0
564.53/564.73	c  564s |      18 |   367410 |   305152 |    26820     18 |     5589 |        0
566.62/566.82	c  566s |      18 |   368117 |   305852 |    26820     18 |     5589 |        0
568.72/568.90	c  568s |      18 |   368816 |   306552 |    26820     18 |     5589 |        0
570.83/571.02	c  570s |      18 |   369516 |   307252 |    26820     18 |     5589 |        0
572.93/573.17	c  572s |      18 |   370216 |   307952 |    26820     18 |     5589 |        0
575.13/575.39	c  574s |      18 |   370919 |   308652 |    26820     18 |     5589 |        0
577.43/577.69	c  577s |      18 |   371622 |   309352 |    26820     18 |     5589 |        0
579.72/579.99	c  579s |      18 |   372321 |   310052 |    26820     18 |     5589 |        0
581.92/582.14	c  581s |      18 |   373026 |   310752 |    26820     18 |     5589 |        0
584.12/584.36	c  583s |      18 |   373729 |   311452 |    26820     18 |     5589 |        0
586.42/586.66	c  586s |      18 |   374428 |   312152 |    26820     18 |     5589 |        0
588.52/588.73	c  588s |      18 |   375027 |   312752 |    26820     18 |     5589 |        0
590.82/591.05	c  590s |      18 |   375735 |   313452 |    26820     18 |     5589 |        0
592.91/593.16	c  592s |      18 |   376331 |   314052 |    26820     18 |     5589 |        0
595.11/595.33	c  594s |      18 |   376933 |   314652 |    26820     18 |     5589 |        0
597.31/597.54	c  597s |      18 |   377536 |   315252 |    26820     18 |     5589 |        0
599.61/599.81	c  599s |      18 |   378137 |   315852 |    26820     18 |     5589 |        0
601.81/602.09	c  601s |      18 |   378739 |   316452 |    26820     18 |     5589 |        0
603.91/604.13	c  603s |      18 |   379243 |   316952 |    26820     18 |     5589 |        0
605.91/606.17	c  605s |      18 |   379743 |   317452 |    26820     18 |     5589 |        0
608.01/608.25	c  607s |      18 |   380149 |   317852 |    26820     19 |     5589 |        0
610.31/610.57	c  610s |      18 |   380746 |   318452 |    26820     19 |     5589 |        0
612.61/612.81	c  612s |      18 |   381346 |   319052 |    26820     19 |     5589 |        0
614.81/615.00	c  614s |      18 |   381948 |   319652 |    26820     19 |     5589 |        0
617.01/617.23	c  616s |      18 |   382551 |   320252 |    26820     19 |     5589 |        0
619.11/619.38	c  618s |      18 |   383153 |   320852 |    26820     19 |     5589 |        0
621.31/621.56	c  621s |      18 |   383753 |   321452 |    26820     19 |     5589 |        0
623.50/623.75	c  623s |      18 |   384351 |   322052 |    26820     19 |     5589 |        0
625.70/625.91	c  625s |      18 |   384956 |   322652 |    26820     19 |     5589 |        0
627.70/627.92	c  627s |      18 |   385454 |   323152 |    26820     19 |     5589 |        0
629.70/629.98	c  629s |      18 |   385961 |   323652 |    26820     19 |     5589 |        0
631.80/632.04	c  631s |      18 |   386461 |   324152 |    26820     19 |     5589 |        0
633.79/634.05	c  633s |      18 |   386959 |   324652 |    26820     19 |     5589 |        0
635.89/636.14	c  635s |      18 |   387456 |   325152 |    26820     19 |     5589 |        0
638.09/638.33	c  637s |      18 |   387961 |   325652 |    26820     19 |     5589 |        0
640.49/640.72	c  640s |      18 |   388564 |   326252 |    26820     19 |     5589 |        0
643.09/643.35	c  642s |      18 |   389162 |   326852 |    26820     19 |     5589 |        0
645.38/645.60	c  645s |      18 |   389664 |   327352 |    26820     19 |     5589 |        0
647.58/647.87	c  647s |      18 |   390265 |   327952 |    26820     19 |     5589 |        0
649.99/650.21	c  649s |      18 |   390866 |   328552 |    26820     19 |     5589 |        0
652.19/652.48	c  651s |      18 |   391467 |   329152 |    26820     19 |     5589 |        0
654.38/654.69	c  654s |      18 |   391969 |   329652 |    26820     19 |     5589 |        0
656.48/656.72	c  656s |      18 |   392475 |   330152 |    26820     19 |     5589 |        0
658.57/658.89	c  658s |      18 |   392971 |   330652 |    26820     19 |     5589 |        0
660.77/661.08	c  660s |      18 |   393472 |   331152 |    26820     19 |     5589 |        0
662.97/663.24	c  662s |      18 |   393971 |   331652 |    26820     19 |     5589 |        0
664.97/665.24	c  664s |      18 |   394374 |   332052 |    26820     19 |     5589 |        0
667.27/667.55	c  667s |      18 |   394875 |   332552 |    26820     19 |     5589 |        0
669.68/669.94	c  669s |      18 |   395376 |   333052 |    26820     19 |     5589 |        0
671.98/672.23	c  671s |      18 |   395880 |   333552 |    26820     19 |     5589 |        0
674.17/674.44	c  673s |      18 |   396382 |   334052 |    26820     19 |     5589 |        0
676.57/676.86	c  676s |      18 |   396877 |   334552 |    26820     19 |     5589 |        0
678.86/679.12	c  678s |      18 |   397381 |   335052 |    26820     19 |     5589 |        0
681.26/681.55	c  681s |      18 |   397884 |   335552 |    26820     19 |     5589 |        0
683.56/683.85	c  683s |      18 |   398382 |   336052 |    26820     19 |     5589 |        0
685.66/685.94	c  685s |      18 |   398884 |   336552 |    26820     19 |     5589 |        0
687.86/688.12	c  687s |      18 |   399385 |   337052 |    26820     19 |     5589 |        0
690.16/690.49	c  690s |      18 |   399887 |   337552 |    26820     19 |     5589 |        0
692.56/692.84	c  692s |      18 |   400089 |   337752 |    26820     20 |     5589 |        0
694.97/695.23	c  694s |      18 |   400591 |   338252 |    26820     20 |     5589 |        0
697.17/697.49	c  697s |      18 |   401188 |   338852 |    26820     20 |     5589 |        0
699.47/699.78	c  699s |      18 |   401791 |   339452 |    26820     20 |     5589 |        0
701.76/702.07	c  701s |      18 |   402396 |   340052 |    26820     20 |     5589 |        0
703.96/704.27	c  703s |      18 |   402993 |   340652 |    26820     20 |     5589 |        0
706.15/706.48	c  706s |      18 |   403592 |   341252 |    26820     20 |     5589 |        0
708.55/708.80	c  708s |      18 |   403996 |   341652 |    26820     20 |     5589 |        0
710.85/711.13	c  710s |      18 |   404594 |   342252 |    26820     20 |     5589 |        0
713.05/713.34	c  712s |      18 |   405198 |   342852 |    26820     20 |     5589 |        0
715.25/715.54	c  715s |      18 |   405800 |   343452 |    26820     20 |     5589 |        0
717.45/717.77	c  717s |      18 |   406404 |   344052 |    26820     20 |     5589 |        0
719.75/720.06	c  719s |      18 |   407008 |   344652 |    26820     20 |     5589 |        0
722.15/722.46	c  721s |      18 |   407608 |   345252 |    26820     20 |     5589 |        0
724.35/724.60	c  724s |      18 |   408110 |   345752 |    26820     20 |     5589 |        0
726.45/726.76	c  726s |      18 |   408610 |   346252 |    26820     20 |     5589 |        0
728.75/729.05	c  728s |      18 |   409213 |   346852 |    26820     20 |     5589 |        0
730.95/731.29	c  730s |      18 |   409712 |   347352 |    26820     20 |     5589 |        0
733.25/733.58	c  733s |      18 |   410319 |   347952 |    26820     20 |     5589 |        0
735.66/735.97	c  735s |      18 |   410917 |   348552 |    26820     20 |     5589 |        0
752.54/752.84	c  752s |      18 |   411324 |   348952 |    26820     20 |     5589 |        0
754.54/754.85	c  754s |      18 |   411826 |   349452 |    26820     20 |     5589 |        0
756.55/756.88	c  756s |      18 |   412321 |   349952 |    26820     20 |     5589 |        0
758.64/758.97	c  758s |      18 |   412826 |   350452 |    26820     20 |     5589 |        0
760.74/761.03	c  760s |      18 |   413327 |   350952 |    26820     20 |     5589 |        0
762.84/763.13	c  762s |      18 |   413829 |   351452 |    26820     20 |     5589 |        0
764.94/765.23	c  764s |      18 |   414330 |   351952 |    26820     20 |     5589 |        0
767.04/767.35	c  766s |      18 |   414828 |   352452 |    26820     20 |     5589 |        0
769.24/769.58	c  769s |      18 |   415331 |   352952 |    26820     20 |     5589 |        0
771.54/771.80	c  771s |      18 |   415832 |   353452 |    26820     20 |     5589 |        0
773.64/773.95	c  773s |      18 |   416335 |   353952 |    26820     20 |     5589 |        0
775.74/776.03	c  775s |      18 |   416831 |   354452 |    26820     20 |     5589 |        0
777.84/778.15	c  777s |      18 |   417330 |   354952 |    26820     20 |     5589 |        0
779.94/780.20	c  779s |      18 |   417832 |   355452 |    26820     20 |     5589 |        0
782.04/782.34	c  781s |      18 |   418335 |   355952 |    26820     20 |     5589 |        0
784.34/784.62	c  784s |      18 |   418840 |   356452 |    26820     20 |     5589 |        0
786.64/786.90	c  786s |      18 |   419341 |   356952 |    26820     20 |     5589 |        0
788.84/789.14	c  788s |      18 |   419839 |   357452 |    26820     20 |     5589 |        0
791.24/791.54	c  791s |      18 |   419941 |   357552 |    26820     21 |     5589 |        0
793.24/793.55	c  793s |      18 |   420439 |   358052 |    26820     21 |     5589 |        0
795.54/795.83	c  795s |      18 |   421038 |   358652 |    26820     21 |     5589 |        0
797.64/797.90	c  797s |      18 |   421538 |   359152 |    26820     21 |     5589 |        0
799.94/800.24	c  799s |      18 |   422144 |   359752 |    26820     21 |     5589 |        0
802.14/802.42	c  801s |      18 |   422741 |   360352 |    26820     21 |     5589 |        0
804.33/804.65	c  804s |      18 |   423341 |   360952 |    26820     21 |     5589 |        0
807.63/807.95	c  807s |      18 |   423643 |   361252 |    26820     21 |     5589 |        0
809.83/810.13	c  809s |      18 |   424246 |   361852 |    26820     21 |     5589 |        0
812.13/812.41	c  811s |      18 |   424847 |   362452 |    26820     21 |     5589 |        0
814.23/814.52	c  814s |      18 |   425345 |   362952 |    26820     21 |     5589 |        0
816.22/816.53	c  816s |      18 |   425848 |   363452 |    26820     21 |     5589 |        0
818.52/818.89	c  818s |      18 |   426448 |   364052 |    26820     21 |     5589 |        0
820.62/820.96	c  820s |      18 |   426955 |   364552 |    26820     21 |     5589 |        0
823.02/823.32	c  822s |      18 |   427550 |   365152 |    26820     21 |     5589 |        0
825.12/825.41	c  824s |      18 |   428154 |   365752 |    26820     21 |     5589 |        0
827.22/827.56	c  827s |      18 |   428751 |   366352 |    26820     21 |     5589 |        0
829.42/829.72	c  829s |      18 |   429353 |   366952 |    26820     21 |     5589 |        0
831.62/831.97	c  831s |      18 |   429954 |   367552 |    26820     21 |     5589 |        0
833.82/834.10	c  833s |      18 |   430557 |   368152 |    26820     21 |     5589 |        0
835.91/836.23	c  835s |      18 |   431156 |   368752 |    26820     21 |     5589 |        0
838.11/838.46	c  837s |      18 |   431754 |   369352 |    26820     21 |     5589 |        0
840.22/840.54	c  840s |      18 |   432162 |   369752 |    26820     21 |     5589 |        0
842.51/842.87	c  842s |      18 |   432758 |   370352 |    26820     21 |     5589 |        0
844.62/844.96	c  844s |      18 |   433259 |   370852 |    26820     21 |     5589 |        0
846.61/846.96	c  846s |      18 |   433764 |   371352 |    26820     21 |     5589 |        0
848.61/848.98	c  848s |      18 |   434262 |   371852 |    26820     21 |     5589 |        0
850.81/851.12	c  850s |      18 |   434763 |   372352 |    26820     21 |     5589 |        0
853.01/853.30	c  852s |      18 |   435272 |   372852 |    26820     21 |     5589 |        0
855.11/855.43	c  854s |      18 |   435763 |   373352 |    26820     21 |     5589 |        0
857.31/857.65	c  857s |      18 |   436270 |   373852 |    26820     21 |     5589 |        0
859.71/860.09	c  859s |      18 |   436775 |   374352 |    26820     21 |     5589 |        0
862.11/862.44	c  861s |      18 |   437274 |   374852 |    26820     21 |     5589 |        0
864.31/864.67	c  864s |      18 |   437773 |   375352 |    26820     21 |     5589 |        0
866.51/866.86	c  866s |      18 |   438275 |   375852 |    26820     21 |     5589 |        0
868.81/869.11	c  868s |      18 |   438778 |   376352 |    26820     21 |     5589 |        0
871.10/871.43	c  870s |      18 |   439276 |   376852 |    26820     21 |     5589 |        0
874.90/875.20	c  874s |      18 |   439778 |   377352 |    26820     22 |     5589 |        0
877.00/877.37	c  876s |      18 |   440280 |   377852 |    26820     22 |     5589 |        0
879.20/879.59	c  879s |      18 |   440878 |   378452 |    26820     22 |     5589 |        0
881.30/881.60	c  881s |      18 |   441377 |   378952 |    26820     22 |     5589 |        0
883.50/883.84	c  883s |      18 |   441984 |   379552 |    26820     22 |     5589 |        0
885.80/886.11	c  885s |      18 |   442582 |   380152 |    26820     22 |     5589 |        0
888.00/888.37	c  887s |      18 |   443189 |   380752 |    26820     22 |     5589 |        0
889.99/890.40	c  889s |      18 |   443690 |   381252 |    26820     22 |     5589 |        0
892.39/892.76	c  892s |      18 |   444289 |   381852 |    26820     22 |     5589 |        0
894.69/895.08	c  894s |      18 |   444894 |   382452 |    26820     22 |     5589 |        0
896.99/897.34	c  896s |      18 |   445495 |   383052 |    26820     22 |     5589 |        0
899.29/899.62	c  899s |      18 |   446093 |   383652 |    26820     22 |     5589 |        0
901.49/901.81	c  901s |      18 |   446695 |   384252 |    26820     22 |     5589 |        0
903.59/903.90	c  903s |      18 |   447303 |   384852 |    26820     22 |     5589 |        0
905.69/906.01	c  905s |      18 |   447900 |   385452 |    26820     22 |     5589 |        0
907.79/908.11	c  907s |      18 |   448497 |   386052 |    26820     22 |     5589 |        0
909.89/910.27	c  909s |      18 |   449100 |   386652 |    26820     22 |     5589 |        0
912.09/912.47	c  911s |      18 |   449707 |   387252 |    26820     22 |     5589 |        0
914.39/914.76	c  914s |      18 |   450306 |   387852 |    26820     22 |     5589 |        0
916.69/917.02	c  916s |      18 |   450903 |   388452 |    26820     22 |     5589 |        0
918.79/919.11	c  918s |      18 |   451506 |   389052 |    26820     22 |     5589 |        0
920.89/921.20	c  920s |      18 |   452102 |   389652 |    26820     22 |     5589 |        0
923.08/923.44	c  922s |      18 |   452705 |   390252 |    26820     22 |     5589 |        0
925.38/925.71	c  925s |      18 |   453310 |   390852 |    26820     22 |     5589 |        0
927.68/928.03	c  927s |      18 |   453915 |   391452 |    26820     22 |     5589 |        0
929.98/930.36	c  929s |      18 |   454517 |   392052 |    26820     22 |     5589 |        0
932.38/932.76	c  932s |      18 |   455114 |   392652 |    26820     22 |     5589 |        0
934.69/935.01	c  934s |      18 |   455713 |   393252 |    26820     22 |     5589 |        0
937.08/937.40	c  936s |      18 |   456317 |   393852 |    26820     22 |     5589 |        0
939.09/939.46	c  938s |      18 |   456815 |   394352 |    26820     22 |     5589 |        0
941.18/941.56	c  941s |      18 |   457318 |   394852 |    26820     22 |     5589 |        0
943.28/943.67	c  943s |      18 |   457817 |   395352 |    26820     22 |     5589 |        0
945.38/945.76	c  945s |      18 |   458325 |   395852 |    26820     22 |     5589 |        0
947.68/948.05	c  947s |      18 |   458931 |   396452 |    26820     22 |     5589 |        0
950.08/950.43	c  949s |      18 |   459531 |   397052 |    26820     22 |     5589 |        0
952.08/952.50	c  952s |      18 |   459828 |   397352 |    26820     23 |     5589 |        0
954.27/954.62	c  954s |      18 |   460129 |   397652 |    26820     23 |     5589 |        0
956.57/956.96	c  956s |      18 |   460735 |   398252 |    26820     23 |     5589 |        0
958.67/959.03	c  958s |      18 |   461236 |   398752 |    26820     23 |     5589 |        0
960.97/961.31	c  960s |      18 |   461834 |   399352 |    26820     23 |     5589 |        0
963.27/963.62	c  963s |      18 |   462435 |   399952 |    26820     23 |     5589 |        0
965.57/965.93	c  965s |      18 |   463037 |   400552 |    26820     23 |     5589 |        0
967.67/968.09	c  967s |      18 |   463637 |   401152 |    26820     23 |     5589 |        0
969.97/970.36	c  969s |      18 |   464236 |   401752 |    26820     23 |     5589 |        0
972.27/972.62	c  972s |      18 |   464837 |   402352 |    26820     23 |     5589 |        0
974.46/974.89	c  974s |      18 |   465439 |   402952 |    26820     23 |     5589 |        0
976.76/977.19	c  976s |      18 |   466044 |   403552 |    26820     23 |     5589 |        0
978.96/979.35	c  978s |      18 |   466642 |   404152 |    26820     23 |     5589 |        0
981.06/981.46	c  980s |      18 |   467244 |   404752 |    26820     23 |     5589 |        0
983.17/983.57	c  983s |      18 |   467848 |   405352 |    26820     23 |     5589 |        0
986.66/987.09	c  986s |      18 |   468052 |   405552 |    26820     23 |     5589 |        0
988.76/989.18	c  988s |      18 |   468653 |   406152 |    26820     23 |     5589 |        0
990.96/991.30	c  990s |      18 |   469248 |   406752 |    26820     23 |     5589 |        0
993.06/993.44	c  992s |      18 |   469855 |   407352 |    26820     23 |     5589 |        0
995.26/995.61	c  995s |      18 |   470451 |   407952 |    26820     23 |     5589 |        0
997.46/997.86	c  997s |      18 |   471053 |   408552 |    26820     23 |     5589 |        0
999.76/1000.14	c  999s |      18 |   471658 |   409152 |    26820     23 |     5589 |        0
1002.16/1002.55	c 1002s |      18 |   472256 |   409752 |    26820     23 |     5589 |        0
1004.35/1004.70	c 1004s |      18 |   472859 |   410352 |    26820     23 |     5589 |        0
1006.35/1006.76	c 1006s |      18 |   473460 |   410952 |    26820     23 |     5589 |        0
1008.46/1008.89	c 1008s |      18 |   474058 |   411552 |    26820     23 |     5589 |        0
1010.66/1011.06	c 1010s |      18 |   474662 |   412152 |    26820     23 |     5589 |        0
1012.87/1013.27	c 1012s |      18 |   475261 |   412752 |    26820     23 |     5589 |        0
1015.26/1015.60	c 1015s |      18 |   475864 |   413352 |    26820     23 |     5589 |        0
1017.46/1017.83	c 1017s |      18 |   476464 |   413952 |    26820     23 |     5589 |        0
1019.66/1020.01	c 1019s |      18 |   477065 |   414552 |    26820     23 |     5589 |        0
1021.96/1022.34	c 1021s |      18 |   477670 |   415152 |    26820     23 |     5589 |        0
1024.26/1024.66	c 1024s |      18 |   478270 |   415752 |    26820     23 |     5589 |        0
1026.66/1027.01	c 1026s |      18 |   478868 |   416352 |    26820     23 |     5589 |        0
1028.66/1029.02	c 1028s |      18 |   479367 |   416852 |    26820     23 |     5589 |        0
1031.86/1032.21	c 1031s |      18 |   479472 |   416952 |    26820     24 |     5589 |        0
1033.95/1034.32	c 1033s |      18 |   479977 |   417452 |    26820     24 |     5589 |        0
1036.05/1036.49	c 1036s |      18 |   480575 |   418052 |    26820     24 |     5589 |        0
1038.25/1038.62	c 1038s |      18 |   481171 |   418652 |    26820     24 |     5589 |        0
1040.45/1040.80	c 1040s |      18 |   481776 |   419252 |    26820     24 |     5589 |        0
1042.65/1043.06	c 1042s |      18 |   482378 |   419852 |    26820     24 |     5589 |        0
1044.76/1045.17	c 1044s |      18 |   482878 |   420352 |    26820     24 |     5589 |        0
1046.85/1047.27	c 1046s |      18 |   483479 |   420952 |    26820     24 |     5589 |        0
1049.05/1049.41	c 1048s |      18 |   484079 |   421552 |    26820     24 |     5589 |        0
1051.15/1051.58	c 1051s |      18 |   484681 |   422152 |    26820     24 |     5589 |        0
1053.25/1053.64	c 1053s |      18 |   485284 |   422752 |    26820     24 |     5589 |        0
1055.35/1055.72	c 1055s |      18 |   485885 |   423352 |    26820     24 |     5589 |        0
1057.45/1057.86	c 1057s |      18 |   486487 |   423952 |    26820     24 |     5589 |        0
1059.55/1059.90	c 1059s |      18 |   487088 |   424552 |    26820     24 |     5589 |        0
1061.65/1062.03	c 1061s |      18 |   487689 |   425152 |    26820     24 |     5589 |        0
1063.74/1064.14	c 1063s |      18 |   488293 |   425752 |    26820     24 |     5589 |        0
1065.84/1066.23	c 1065s |      18 |   488893 |   426352 |    26820     24 |     5589 |        0
1067.94/1068.32	c 1067s |      18 |   489494 |   426952 |    26820     24 |     5589 |        0
1070.05/1070.42	c 1069s |      18 |   490095 |   427552 |    26820     24 |     5589 |        0
1072.15/1072.60	c 1072s |      18 |   490697 |   428152 |    26820     24 |     5589 |        0
1074.45/1074.85	c 1074s |      18 |   491298 |   428752 |    26820     24 |     5589 |        0
1076.74/1077.10	c 1076s |      18 |   491901 |   429352 |    26820     24 |     5589 |        0
1078.94/1079.30	c 1078s |      18 |   492499 |   429952 |    26820     24 |     5589 |        0
1081.14/1081.53	c 1081s |      18 |   493099 |   430552 |    26820     24 |     5589 |        0
1083.34/1083.76	c 1083s |      18 |   493699 |   431152 |    26820     24 |     5589 |        0
1085.64/1086.02	c 1085s |      18 |   494303 |   431752 |    26820     24 |     5589 |        0
1087.94/1088.32	c 1087s |      18 |   494904 |   432352 |    26820     24 |     5589 |        0
1090.24/1090.65	c 1090s |      18 |   495504 |   432952 |    26820     24 |     5589 |        0
1102.73/1103.13	c 1102s |      18 |   496110 |   433552 |    26820     24 |     5589 |        0
1104.73/1105.16	c 1104s |      18 |   496605 |   434052 |    26820     24 |     5589 |        0
1106.73/1107.19	c 1106s |      18 |   497109 |   434552 |    26820     24 |     5589 |        0
1108.83/1109.20	c 1108s |      18 |   497610 |   435052 |    26820     24 |     5589 |        0
1111.13/1111.51	c 1111s |      18 |   498211 |   435652 |    26820     24 |     5589 |        0
1113.43/1113.90	c 1113s |      18 |   498817 |   436252 |    26820     24 |     5589 |        0
1116.83/1117.25	c 1116s |      18 |   499422 |   436852 |    26820     25 |     5589 |        0
1118.83/1119.26	c 1118s |      18 |   499921 |   437352 |    26820     25 |     5589 |        0
1120.94/1121.31	c 1120s |      18 |   500324 |   437752 |    26820     25 |     5589 |        0
1122.93/1123.39	c 1122s |      18 |   500927 |   438352 |    26820     25 |     5589 |        0
1125.33/1125.73	c 1125s |      18 |   501628 |   439052 |    26820     25 |     5589 |        0
1127.33/1127.77	c 1127s |      18 |   502227 |   439652 |    26820     25 |     5589 |        0
1129.83/1130.24	c 1129s |      18 |   502731 |   440152 |    26820     25 |     5589 |        0
1131.93/1132.36	c 1131s |      18 |   503332 |   440752 |    26820     25 |     5589 |        0
1133.93/1134.38	c 1133s |      18 |   503932 |   441352 |    29503     25 |     5589 |        0
1136.13/1136.52	c 1136s |      18 |   504541 |   441952 |    29503     25 |     5589 |        0
1138.33/1138.70	c 1138s |      18 |   505141 |   442552 |    29503     25 |     5589 |        0
1140.53/1140.95	c 1140s |      18 |   505742 |   443152 |    29503     25 |     5589 |        0
1142.83/1143.22	c 1142s |      18 |   506342 |   443752 |    29503     25 |     5589 |        0
1145.03/1145.41	c 1144s |      18 |   506945 |   444352 |    29503     25 |     5589 |        0
1145.43/1145.89	c 1145s |      19 |   507076 |   444482 |    29503     25 |     5589 |        0
1147.63/1148.04	c 1147s |      19 |   511845 |   445182 |    29503     25 |     5589 |        0
1149.73/1150.13	c 1149s |      19 |   512647 |   445982 |    29503     25 |     5589 |        0
1151.83/1152.23	c 1151s |      19 |   513443 |   446782 |    29503     25 |     5589 |        0
1153.83/1154.29	c 1153s |      19 |   514248 |   447582 |    29503     25 |     5589 |        0
1156.03/1156.40	c 1155s |      19 |   515056 |   448382 |    29503     25 |     5589 |        0
1158.13/1158.58	c 1158s |      19 |   515849 |   449182 |    29503     25 |     5589 |        0
1160.33/1160.76	c 1160s |      19 |   516648 |   449982 |    29503     25 |     5589 |        0
1162.53/1162.93	c 1162s |      19 |   517453 |   450782 |    29503     25 |     5589 |        0
1164.73/1165.15	c 1164s |      19 |   518253 |   451582 |    29503     25 |     5589 |        0
1166.73/1167.18	c 1166s |      19 |   518955 |   452282 |    29503     25 |     5589 |        0
1168.83/1169.21	c 1168s |      19 |   519663 |   452982 |    29503     25 |     5589 |        0
1170.83/1171.23	c 1170s |      19 |   520364 |   453682 |    29503     25 |     5589 |        0
1172.82/1173.26	c 1172s |      19 |   521065 |   454382 |    29503     25 |     5589 |        0
1174.92/1175.32	c 1174s |      19 |   521768 |   455082 |    29503     25 |     5589 |        0
1176.92/1177.36	c 1176s |      19 |   522478 |   455782 |    29503     25 |     5589 |        0
1178.93/1179.38	c 1178s |      19 |   523193 |   456482 |    29503     25 |     5589 |        0
1181.13/1181.54	c 1181s |      19 |   523791 |   457082 |    29503     25 |     5589 |        0
1183.33/1183.76	c 1183s |      19 |   524396 |   457682 |    29503     25 |     5589 |        0
1185.53/1185.95	c 1185s |      19 |   525001 |   458282 |    29503     25 |     5589 |        0
1187.73/1188.15	c 1187s |      19 |   525713 |   458982 |    29503     25 |     5589 |        0
1189.72/1190.20	c 1189s |      19 |   526213 |   459482 |    29503     26 |     5589 |        0
1191.82/1192.21	c 1191s |      19 |   526910 |   460182 |    29503     26 |     5589 |        0
1193.92/1194.30	c 1193s |      19 |   527614 |   460882 |    29503     26 |     5589 |        0
1195.92/1196.39	c 1195s |      19 |   528318 |   461582 |    29503     26 |     5589 |        0
1198.02/1198.50	c 1198s |      19 |   529026 |   462282 |    29503     26 |     5589 |        0
1200.22/1200.61	c 1200s |      19 |   529723 |   462982 |    29503     26 |     5589 |        0
1202.42/1202.84	c 1202s |      19 |   530440 |   463682 |    29503     26 |     5589 |        0
1204.52/1204.95	c 1204s |      19 |   531149 |   464382 |    29503     26 |     5589 |        0
1206.72/1207.12	c 1206s |      19 |   531851 |   465082 |    29503     26 |     5589 |        0
1208.82/1209.27	c 1208s |      19 |   532555 |   465782 |    29503     26 |     5589 |        0
1210.92/1211.37	c 1210s |      19 |   533250 |   466482 |    29503     26 |     5589 |        0
1213.02/1213.45	c 1212s |      19 |   533968 |   467182 |    29503     26 |     5589 |        0
1215.12/1215.51	c 1215s |      19 |   534670 |   467882 |    29503     26 |     5589 |        0
1217.22/1217.68	c 1217s |      19 |   535372 |   468582 |    29503     26 |     5589 |        0
1219.52/1219.98	c 1219s |      19 |   536074 |   469282 |    29503     26 |     5589 |        0
1221.92/1222.33	c 1221s |      19 |   536675 |   469882 |    29503     26 |     5589 |        0
1224.12/1224.52	c 1224s |      19 |   537298 |   470482 |    29503     26 |     5589 |        0
1226.12/1226.58	c 1226s |      19 |   537790 |   470982 |    29503     26 |     5589 |        0
1228.32/1228.76	c 1228s |      19 |   538405 |   471582 |    29503     26 |     5589 |        0
1230.42/1230.87	c 1230s |      19 |   539049 |   472182 |    29503     26 |     5589 |        0
1232.51/1232.94	c 1232s |      19 |   539687 |   472782 |    29503     26 |     5589 |        0
1234.71/1235.11	c 1234s |      19 |   540300 |   473382 |    29503     26 |     5589 |        0
1237.01/1237.40	c 1236s |      19 |   540908 |   473982 |    29503     26 |     5589 |        0
1239.01/1239.48	c 1238s |      19 |   541415 |   474482 |    29503     26 |     5589 |        0
1241.11/1241.51	c 1241s |      19 |   541933 |   474982 |    29503     26 |     5589 |        0
1243.41/1243.83	c 1243s |      19 |   542549 |   475582 |    29503     26 |     5589 |        0
1245.81/1246.22	c 1245s |      19 |   543161 |   476182 |    29503     26 |     5589 |        0
1247.91/1248.34	c 1247s |      19 |   543672 |   476682 |    29503     26 |     5589 |        0
1249.91/1250.36	c 1249s |      19 |   544180 |   477182 |    29503     26 |     5589 |        0
1251.91/1252.37	c 1251s |      19 |   544721 |   477682 |    29503     26 |     5589 |        0
1254.31/1254.78	c 1254s |      19 |   545221 |   478182 |    29503     26 |     5589 |        0
1256.31/1256.79	c 1256s |      19 |   545628 |   478582 |    29503     26 |     5589 |        0
1258.41/1258.81	c 1258s |      19 |   546148 |   479082 |    29503     26 |     5589 |        0
1260.51/1260.95	c 1260s |      19 |   546649 |   479582 |    29503     26 |     5589 |        0
1262.81/1263.28	c 1262s |      19 |   547147 |   480082 |    29503     26 |     5589 |        0
1265.41/1265.82	c 1265s |      19 |   547449 |   480382 |    29503     27 |     5589 |        0
1267.81/1268.27	c 1267s |      19 |   547753 |   480682 |    29503     27 |     5589 |        0
1270.01/1270.43	c 1269s |      19 |   548260 |   481182 |    29503     27 |     5589 |        0
1272.42/1272.81	c 1272s |      19 |   548772 |   481682 |    29503     27 |     5589 |        0
1274.71/1275.17	c 1274s |      19 |   549363 |   482282 |    29503     27 |     5589 |        0
1276.91/1277.31	c 1276s |      19 |   549975 |   482882 |    29503     27 |     5589 |        0
1279.01/1279.44	c 1278s |      19 |   550484 |   483382 |    29503     27 |     5589 |        0
1281.21/1281.68	c 1281s |      19 |   551081 |   483982 |    29503     27 |     5589 |        0
1284.51/1284.93	c 1284s |      19 |   551805 |   484682 |    29503     27 |     5589 |        0
1286.50/1286.97	c 1286s |      19 |   552305 |   485182 |    29503     27 |     5589 |        0
1288.60/1289.04	c 1288s |      19 |   552800 |   485682 |    29503     27 |     5589 |        0
1290.70/1291.15	c 1290s |      19 |   553301 |   486182 |    29503     27 |     5589 |        0
1293.00/1293.40	c 1292s |      19 |   553797 |   486682 |    29503     27 |     5589 |        0
1295.10/1295.52	c 1295s |      19 |   554204 |   487082 |    29503     27 |     5589 |        0
1297.40/1297.88	c 1297s |      19 |   554702 |   487582 |    29503     27 |     5589 |        0
1299.40/1299.89	c 1299s |      19 |   555108 |   487982 |    29503     27 |     5589 |        0
1301.50/1301.94	c 1301s |      19 |   555504 |   488382 |    29503     27 |     5589 |        0
1303.90/1304.37	c 1303s |      19 |   556008 |   488882 |    29503     27 |     5589 |        0
1306.10/1306.56	c 1306s |      19 |   556513 |   489382 |    29503     27 |     5589 |        0
1308.20/1308.60	c 1308s |      19 |   557018 |   489882 |    29503     27 |     5589 |        0
1310.60/1311.05	c 1310s |      19 |   557524 |   490382 |    29503     27 |     5589 |        0
1312.90/1313.38	c 1312s |      19 |   558025 |   490882 |    29503     27 |     5589 |        0
1315.40/1315.82	c 1315s |      19 |   558525 |   491382 |    29503     27 |     5589 |        0
1317.80/1318.20	c 1317s |      19 |   559026 |   491882 |    29503     27 |     5589 |        0
1320.20/1320.65	c 1320s |      19 |   559525 |   492382 |    29503     27 |     5589 |        0
1322.30/1322.77	c 1322s |      19 |   560034 |   492882 |    29503     27 |     5589 |        0
1324.50/1324.94	c 1324s |      19 |   560525 |   493382 |    29503     27 |     5589 |        0
1326.60/1327.03	c 1326s |      19 |   561040 |   493882 |    29503     27 |     5589 |        0
1328.80/1329.23	c 1328s |      19 |   561545 |   494382 |    29503     27 |     5589 |        0
1331.10/1331.51	c 1331s |      19 |   562042 |   494882 |    29503     27 |     5589 |        0
1333.30/1333.73	c 1333s |      19 |   562550 |   495382 |    29503     27 |     5589 |        0
1335.30/1335.77	c 1335s |      19 |   562944 |   495782 |    29503     27 |     5589 |        0
1337.40/1337.88	c 1337s |      19 |   563346 |   496182 |    29503     27 |     5589 |        0
1339.50/1339.97	c 1339s |      19 |   563744 |   496582 |    29503     27 |     5589 |        0
1341.60/1342.00	c 1341s |      19 |   564151 |   496982 |    29503     27 |     5589 |        0
1343.69/1344.10	c 1343s |      19 |   564553 |   497382 |    29503     27 |     5589 |        0
1345.89/1346.35	c 1345s |      19 |   564954 |   497782 |    29503     27 |     5589 |        0
1348.20/1348.67	c 1348s |      19 |   565352 |   498182 |    29503     27 |     5589 |        0
1350.29/1350.73	c 1350s |      19 |   565760 |   498582 |    29503     27 |     5589 |        0
1352.39/1352.84	c 1352s |      19 |   566154 |   498982 |    29503     27 |     5589 |        0
1354.59/1355.06	c 1354s |      19 |   566560 |   499382 |    29503     27 |     5589 |        0
1356.79/1357.25	c 1356s |      19 |   566954 |   499782 |    29503     27 |     5589 |        0
1358.79/1359.25	c 1358s |      19 |   567358 |   500182 |    29503     27 |     5589 |        0
1360.89/1361.36	c 1360s |      19 |   567758 |   500582 |    29503     27 |     5589 |        0
1363.09/1363.60	c 1363s |      19 |   568170 |   500982 |    29503     27 |     5589 |        0
1365.19/1365.63	c 1365s |      19 |   568570 |   501382 |    29503     27 |     5589 |        0
1368.89/1369.34	c 1368s |      19 |   568765 |   501582 |    29503     28 |     5589 |        0
1371.49/1371.97	c 1371s |      19 |   568857 |   501682 |    29503     28 |     5589 |        0
1373.89/1374.38	c 1373s |      19 |   569470 |   502282 |    29503     28 |     5589 |        0
1376.28/1376.72	c 1376s |      19 |   570068 |   502882 |    29503     28 |     5589 |        0
1378.69/1379.11	c 1378s |      19 |   570472 |   503282 |    29503     28 |     5589 |        0
1382.59/1383.03	c 1382s |      19 |   570770 |   503582 |    29503     28 |     5589 |        0
1384.69/1385.11	c 1384s |      19 |   571267 |   504082 |    29503     28 |     5589 |        0
1386.89/1387.33	c 1386s |      19 |   571888 |   504682 |    29503     28 |     5589 |        0
1389.19/1389.60	c 1389s |      19 |   572489 |   505282 |    29503     28 |     5589 |        0
1391.29/1391.72	c 1391s |      19 |   572994 |   505782 |    29503     28 |     5589 |        0
1393.39/1393.83	c 1393s |      19 |   573501 |   506282 |    29503     28 |     5589 |        0
1395.49/1395.95	c 1395s |      19 |   573988 |   506782 |    29503     28 |     5589 |        0
1397.59/1398.02	c 1397s |      19 |   574492 |   507282 |    29503     28 |     5589 |        0
1399.69/1400.14	c 1399s |      19 |   574996 |   507782 |    29503     28 |     5589 |        0
1401.89/1402.37	c 1401s |      19 |   575507 |   508282 |    29503     28 |     5589 |        0
1404.29/1404.70	c 1404s |      19 |   576004 |   508782 |    29503     28 |     5589 |        0
1406.59/1407.08	c 1406s |      19 |   576506 |   509282 |    29503     28 |     5589 |        0
1408.69/1409.11	c 1408s |      19 |   576899 |   509682 |    29503     28 |     5589 |        0
1410.68/1411.13	c 1410s |      19 |   577306 |   510082 |    29503     28 |     5589 |        0
1413.09/1413.53	c 1413s |      19 |   577805 |   510582 |    29503     28 |     5589 |        0
1415.18/1415.60	c 1415s |      19 |   578206 |   510982 |    29503     28 |     5589 |        0
1417.18/1417.65	c 1417s |      19 |   578606 |   511382 |    29503     28 |     5589 |        0
1419.38/1419.83	c 1419s |      19 |   579010 |   511782 |    29503     28 |     5589 |        0
1421.48/1421.93	c 1421s |      19 |   579412 |   512182 |    29503     28 |     5589 |        0
1423.48/1423.98	c 1423s |      19 |   579807 |   512582 |    29503     28 |     5589 |        0
1425.58/1426.08	c 1425s |      19 |   580208 |   512982 |    29503     28 |     5589 |        0
1427.78/1428.28	c 1427s |      19 |   580616 |   513382 |    29503     28 |     5589 |        0
1430.08/1430.52	c 1430s |      19 |   581120 |   513882 |    29503     28 |     5589 |        0
1432.38/1432.83	c 1432s |      19 |   581637 |   514382 |    29503     28 |     5589 |        0
1434.78/1435.21	c 1434s |      19 |   582151 |   514882 |    29503     28 |     5589 |        0
1436.88/1437.35	c 1436s |      19 |   582677 |   515382 |    29503     28 |     5589 |        0
1438.98/1439.49	c 1439s |      19 |   583204 |   515882 |    29503     28 |     5589 |        0
1441.18/1441.63	c 1441s |      19 |   583699 |   516382 |    29503     28 |     5589 |        0
1443.48/1443.96	c 1443s |      19 |   584223 |   516882 |    29503     28 |     5589 |        0
1445.78/1446.24	c 1445s |      19 |   584733 |   517382 |    29503     28 |     5589 |        0
1448.08/1448.53	c 1448s |      19 |   585231 |   517882 |    29503     28 |     5589 |        0
1450.48/1450.97	c 1450s |      19 |   585742 |   518382 |    29503     28 |     5589 |        0
1452.48/1452.98	c 1452s |      19 |   586139 |   518782 |    29503     28 |     5589 |        0
1454.98/1455.48	c 1455s |      19 |   586647 |   519282 |    29503     28 |     5589 |        0
1457.08/1457.56	c 1457s |      19 |   587058 |   519682 |    29503     28 |     5589 |        0
1459.07/1459.58	c 1459s |      19 |   587453 |   520082 |    29503     28 |     5589 |        0
1461.48/1461.95	c 1461s |      19 |   587960 |   520582 |    29503     28 |     5589 |        0
1463.47/1463.95	c 1463s |      19 |   588362 |   520982 |    29503     28 |     5589 |        0
1465.98/1466.42	c 1465s |      19 |   588870 |   521482 |    29503     28 |     5589 |        0
1468.18/1468.65	c 1468s |      19 |   589261 |   521882 |    29503     28 |     5589 |        0
1470.38/1470.82	c 1470s |      19 |   589660 |   522282 |    29503     28 |     5589 |        0
1473.68/1474.13	c 1473s |      19 |   590062 |   522682 |    29503     29 |     5589 |        0
1476.67/1477.17	c 1476s |      19 |   590580 |   523182 |    29503     29 |     5589 |        0
1479.08/1479.51	c 1479s |      19 |   591180 |   523782 |    29503     29 |     5589 |        0
1481.07/1481.58	c 1481s |      19 |   591674 |   524282 |    29503     29 |     5589 |        0
1483.48/1483.96	c 1483s |      19 |   592185 |   524782 |    29503     29 |     5589 |        0
1485.57/1486.00	c 1485s |      19 |   592679 |   525282 |    29503     29 |     5589 |        0
1487.67/1488.12	c 1487s |      19 |   593185 |   525782 |    29503     29 |     5589 |        0
1489.77/1490.25	c 1489s |      19 |   593686 |   526282 |    29503     29 |     5589 |        0
1491.87/1492.33	c 1491s |      19 |   594087 |   526682 |    29503     29 |     5589 |        0
1493.97/1494.46	c 1493s |      19 |   594593 |   527182 |    29503     29 |     5589 |        0
1496.17/1496.64	c 1496s |      19 |   595092 |   527682 |    29503     29 |     5589 |        0
1498.37/1498.85	c 1498s |      19 |   595596 |   528182 |    29503     29 |     5589 |        0
1500.67/1501.19	c 1500s |      19 |   596100 |   528682 |    29503     29 |     5589 |        0
1502.97/1503.45	c 1502s |      19 |   596597 |   529182 |    29503     29 |     5589 |        0
1505.27/1505.72	c 1505s |      19 |   597110 |   529682 |    29503     29 |     5589 |        0
1507.68/1508.14	c 1507s |      19 |   597615 |   530182 |    29503     29 |     5589 |        0
1510.07/1510.51	c 1510s |      19 |   598111 |   530682 |    29503     29 |     5589 |        0
1516.17/1516.63	c 1516s |      19 |   598425 |   530982 |    29503     29 |     5589 |        0
1518.27/1518.76	c 1518s |      19 |   598929 |   531482 |    29503     29 |     5589 |        0
1520.37/1520.89	c 1520s |      19 |   599426 |   531982 |    29503     29 |     5589 |        0
1522.67/1523.14	c 1522s |      19 |   599922 |   532482 |    29503     29 |     5589 |        0
1524.97/1525.47	c 1524s |      19 |   600425 |   532982 |    29503     29 |     5589 |        0
1527.07/1527.56	c 1527s |      19 |   600935 |   533482 |    29503     29 |     5589 |        0
1529.37/1529.81	c 1529s |      19 |   601433 |   533982 |    29503     29 |     5589 |        0
1531.57/1532.03	c 1531s |      19 |   601933 |   534482 |    29503     29 |     5589 |        0
1533.97/1534.43	c 1533s |      19 |   602433 |   534982 |    29503     29 |     5589 |        0
1536.27/1536.71	c 1536s |      19 |   602942 |   535482 |    29503     29 |     5589 |        0
1538.47/1538.97	c 1538s |      19 |   603453 |   535982 |    29503     29 |     5589 |        0
1540.77/1541.25	c 1540s |      19 |   603969 |   536482 |    29503     29 |     5589 |        0
1542.87/1543.40	c 1542s |      19 |   604489 |   536982 |    29503     29 |     5589 |        0
1545.27/1545.72	c 1545s |      19 |   605004 |   537482 |    29503     29 |     5589 |        0
1547.66/1548.10	c 1547s |      19 |   605516 |   537982 |    29503     29 |     5589 |        0
1549.86/1550.38	c 1549s |      19 |   606016 |   538482 |    29503     29 |     5589 |        0
1552.36/1552.82	c 1552s |      19 |   606523 |   538982 |    29503     29 |     5589 |        0
1554.86/1555.31	c 1554s |      19 |   607020 |   539482 |    29503     29 |     5589 |        0
1557.17/1557.67	c 1557s |      19 |   607534 |   539982 |    29503     29 |     5589 |        0
1559.26/1559.73	c 1559s |      19 |   607924 |   540382 |    29503     29 |     5589 |        0
1561.36/1561.83	c 1561s |      19 |   608461 |   540882 |    29503     29 |     5589 |        0
1563.46/1563.90	c 1563s |      19 |   608972 |   541382 |    29503     29 |     5589 |        0
1565.56/1566.00	c 1565s |      19 |   609487 |   541882 |    29503     29 |     5589 |        0
1567.66/1568.12	c 1567s |      19 |   609999 |   542382 |    29503     29 |     5589 |        0
1569.86/1570.35	c 1569s |      19 |   610687 |   542982 |    29503     29 |     5589 |        0
1571.86/1572.39	c 1571s |      19 |   611212 |   543482 |    29503     29 |     5589 |        0
1574.25/1574.76	c 1574s |      19 |   611534 |   543782 |    29503     30 |     5589 |        0
1576.46/1576.94	c 1576s |      19 |   611835 |   544082 |    29503     30 |     5589 |        0
1578.76/1579.20	c 1578s |      19 |   612343 |   544582 |    29503     30 |     5589 |        0
1580.96/1581.44	c 1580s |      19 |   612957 |   545182 |    29503     30 |     5589 |        0
1583.26/1583.70	c 1583s |      19 |   613587 |   545782 |    29503     30 |     5589 |        0
1585.36/1585.80	c 1585s |      19 |   614096 |   546282 |    29503     30 |     5589 |        0
1587.76/1588.21	c 1587s |      19 |   614711 |   546882 |    29503     30 |     5589 |        0
1589.86/1590.34	c 1589s |      19 |   615218 |   547382 |    29503     30 |     5589 |        0
1591.96/1592.46	c 1591s |      19 |   615626 |   547782 |    29503     30 |     5589 |        0
1594.05/1594.57	c 1594s |      19 |   616121 |   548282 |    29503     30 |     5589 |        0
1596.05/1596.58	c 1596s |      19 |   616620 |   548782 |    29503     30 |     5589 |        0
1598.25/1598.79	c 1598s |      19 |   617125 |   549282 |    29503     30 |     5589 |        0
1600.45/1600.92	c 1600s |      19 |   617623 |   549782 |    29503     30 |     5589 |        0
1602.55/1603.03	c 1602s |      19 |   618136 |   550282 |    29503     30 |     5589 |        0
1604.75/1605.28	c 1604s |      19 |   618635 |   550782 |    29503     30 |     5589 |        0
1606.95/1607.43	c 1606s |      19 |   619145 |   551282 |    29503     30 |     5589 |        0
1609.15/1609.62	c 1609s |      19 |   619649 |   551782 |    29503     30 |     5589 |        0
1611.35/1611.80	c 1611s |      19 |   620145 |   552282 |    29503     30 |     5589 |        0
1613.65/1614.11	c 1613s |      19 |   620654 |   552782 |    29503     30 |     5589 |        0
1615.75/1616.26	c 1615s |      19 |   621166 |   553282 |    29503     30 |     5589 |        0
1617.85/1618.39	c 1617s |      19 |   621671 |   553782 |    29503     30 |     5589 |        0
1620.05/1620.56	c 1620s |      19 |   622169 |   554282 |    29503     30 |     5589 |        0
1622.35/1622.86	c 1622s |      19 |   622675 |   554782 |    29503     30 |     5589 |        0
1624.55/1625.02	c 1624s |      19 |   623182 |   555282 |    29503     30 |     5589 |        0
1626.75/1627.26	c 1626s |      19 |   623692 |   555782 |    29503     30 |     5589 |        0
1629.15/1629.63	c 1629s |      19 |   624181 |   556282 |    29503     30 |     5589 |        0
1631.25/1631.75	c 1631s |      19 |   624582 |   556682 |    29503     30 |     5589 |        0
1633.35/1633.81	c 1633s |      19 |   624985 |   557082 |    29503     30 |     5589 |        0
1635.35/1635.86	c 1635s |      19 |   625388 |   557482 |    29503     30 |     5589 |        0
1637.75/1638.27	c 1637s |      19 |   625898 |   557982 |    29503     30 |     5589 |        0
1640.05/1640.51	c 1640s |      19 |   626391 |   558482 |    29503     30 |     5589 |        0
1642.15/1642.65	c 1642s |      19 |   626798 |   558882 |    29503     30 |     5589 |        0
1644.35/1644.84	c 1644s |      19 |   627189 |   559282 |    29503     30 |     5589 |        0
1646.35/1646.88	c 1646s |      19 |   627602 |   559682 |    29503     30 |     5589 |        0
1648.95/1649.43	c 1648s |      19 |   628093 |   560182 |    29503     30 |     5589 |        0
1651.15/1651.65	c 1651s |      19 |   628497 |   560582 |    29503     30 |     5589 |        0
1653.24/1653.76	c 1653s |      19 |   628899 |   560982 |    29503     30 |     5589 |        0
1655.74/1656.25	c 1655s |      19 |   629408 |   561482 |    29503     30 |     5589 |        0
1657.84/1658.34	c 1657s |      19 |   629808 |   561882 |    29503     30 |     5589 |        0
1659.94/1660.49	c 1660s |      19 |   630206 |   562282 |    29503     30 |     5589 |        0
1662.04/1662.58	c 1662s |      19 |   630616 |   562682 |    29503     30 |     5589 |        0
1664.24/1664.79	c 1664s |      19 |   631013 |   563082 |    29503     30 |     5589 |        0
1666.64/1667.11	c 1666s |      19 |   631522 |   563582 |    29503     30 |     5589 |        0
1668.84/1669.39	c 1668s |      19 |   632030 |   564082 |    29503     30 |     5589 |        0
1671.14/1671.68	c 1671s |      19 |   632540 |   564582 |    29503     30 |     5589 |        0
1675.54/1676.03	c 1675s |      19 |   632937 |   564982 |    29503     31 |     5589 |        0
1677.94/1678.40	c 1677s |      19 |   633447 |   565482 |    29503     31 |     5589 |        0
1680.35/1680.83	c 1680s |      19 |   633946 |   565982 |    29503     31 |     5589 |        0
1682.44/1682.97	c 1682s |      19 |   634459 |   566482 |    29503     31 |     5589 |        0
1684.75/1685.30	c 1684s |      19 |   634950 |   566982 |    29503     31 |     5589 |        0
1687.64/1688.18	c 1687s |      19 |   635266 |   567282 |    29503     31 |     5589 |        0
1689.84/1690.31	c 1689s |      19 |   635788 |   567782 |    29503     31 |     5589 |        0
1691.84/1692.31	c 1691s |      19 |   636309 |   568282 |    29503     31 |     5589 |        0
1693.84/1694.33	c 1693s |      19 |   636826 |   568782 |    29503     31 |     5589 |        0
1699.44/1699.94	c 1699s |      19 |   637155 |   569082 |    29503     31 |     5589 |        0
1701.64/1702.13	c 1701s |      19 |   638025 |   569782 |    29503     31 |     5589 |        0
1703.94/1704.44	c 1703s |      19 |   638837 |   570482 |    29503     31 |     5589 |        0
1706.04/1706.50	c 1706s |      19 |   639508 |   571082 |    29503     31 |     5589 |        0
1708.14/1708.65	c 1708s |      19 |   640164 |   571682 |    29503     31 |     5589 |        0
1710.34/1710.87	c 1710s |      19 |   640827 |   572282 |    29503     31 |     5589 |        0
1712.54/1713.00	c 1712s |      19 |   641267 |   572682 |    29503     31 |     5589 |        0
1714.74/1715.24	c 1714s |      19 |   641919 |   573282 |    29503     31 |     5589 |        0
1716.84/1717.39	c 1716s |      19 |   642566 |   573882 |    29503     31 |     5589 |        0
1719.14/1719.69	c 1719s |      19 |   643213 |   574482 |    29503     31 |     5589 |        0
1721.54/1722.09	c 1721s |      19 |   643822 |   575082 |    29503     31 |     5589 |        0
1723.64/1724.16	c 1723s |      19 |   644328 |   575582 |    29503     31 |     5589 |        0
1725.84/1726.39	c 1725s |      19 |   644954 |   576182 |    29503     31 |     5589 |        0
1728.24/1728.76	c 1728s |      19 |   645560 |   576782 |    29503     31 |     5589 |        0
1730.64/1731.17	c 1730s |      19 |   646165 |   577382 |    29503     31 |     5589 |        0
1732.74/1733.27	c 1732s |      19 |   646659 |   577882 |    29503     31 |     5589 |        0
1735.14/1735.65	c 1735s |      19 |   647161 |   578382 |    29503     31 |     5589 |        0
1737.44/1737.91	c 1737s |      19 |   647662 |   578882 |    29503     31 |     5589 |        0
1739.44/1739.95	c 1739s |      19 |   648068 |   579282 |    29503     31 |     5589 |        0
1741.74/1742.29	c 1741s |      19 |   648581 |   579782 |    29503     31 |     5589 |        0
1744.03/1744.59	c 1744s |      19 |   649106 |   580282 |    29503     31 |     5589 |        0
1746.23/1746.77	c 1746s |      19 |   649621 |   580782 |    29503     31 |     5589 |        0
1748.43/1748.99	c 1748s |      19 |   650151 |   581282 |    29503     31 |     5589 |        0
1750.53/1751.01	c 1750s |      19 |   650711 |   581782 |    29503     31 |     5589 |        0
1752.53/1753.04	c 1752s |      19 |   651264 |   582282 |    29503     31 |     5589 |        0
1754.63/1755.17	c 1754s |      19 |   651803 |   582782 |    29503     31 |     5589 |        0
1756.83/1757.38	c 1756s |      19 |   652329 |   583282 |    29503     31 |     5589 |        0
1759.03/1759.59	c 1759s |      19 |   652832 |   583782 |    29503     31 |     5589 |        0
1761.53/1762.02	c 1761s |      19 |   653332 |   584282 |    29503     31 |     5589 |        0
1763.73/1764.25	c 1763s |      19 |   653869 |   584782 |    29503     31 |     5589 |        0
1766.14/1766.64	c 1766s |      19 |   654395 |   585282 |    29503     31 |     5589 |        0
1768.23/1768.72	c 1768s |      19 |   654793 |   585682 |    29503     31 |     5589 |        0
1771.23/1771.71	c 1771s |      19 |   655194 |   586082 |    29503     32 |     5589 |        0
1773.53/1774.08	c 1773s |      19 |   655401 |   586282 |    29503     32 |     5589 |        0
1775.63/1776.11	c 1775s |      19 |   655902 |   586782 |    29503     32 |     5589 |        0
1777.73/1778.28	c 1777s |      19 |   656511 |   587382 |    29503     32 |     5589 |        0
1780.23/1780.70	c 1780s |      19 |   657117 |   587982 |    29503     32 |     5589 |        0
1782.53/1783.08	c 1782s |      19 |   657715 |   588582 |    29503     32 |     5589 |        0
1784.73/1785.29	c 1784s |      19 |   658226 |   589082 |    29503     32 |     5589 |        0
1787.03/1787.60	c 1787s |      19 |   658723 |   589582 |    29503     32 |     5589 |        0
1789.43/1789.96	c 1789s |      19 |   659234 |   590082 |    29503     32 |     5589 |        0
1791.53/1792.09	c 1791s |      19 |   659741 |   590582 |    29503     32 |     5589 |        0
1793.63/1794.14	c 1793s |      19 |   660253 |   591082 |    29503     32 |     5589 |        0
1796.02/1796.51	c 1796s |      19 |   660862 |   591682 |    29503     32 |     5589 |        0
1798.13/1798.61	c 1798s |      19 |   661381 |   592182 |    29503     32 |     5589 |        0

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

pid=12222
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.09 2.12 2.09 3/179 12225
/proc/meminfo: memFree=31175584/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 2767 0 0 0 0 0 0 0 20 0 4 0 23201234 758575104 2618 33554432000 4194304 16246674 140733562052096 140733562051520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 185711 2626 441 2943 0 182605 0
[pid=12225/tid=12226] ppid=12222 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 776400896 2686 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 781643776 2703 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23201234 785838080 2722 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.09 2.12 2.09 3/179 12225
/proc/meminfo: memFree=31175584/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 27822 0 0 0 5 3 0 0 20 0 4 0 23201234 1333334016 27611 33554432000 4194304 16246674 140733562052096 140733562051408 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 325521 27628 800 2943 0 322415 0
[pid=12225/tid=12226] ppid=12222 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1333334016 27639 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1333334016 27650 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1333334016 27661 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200508 s]
/proc/loadavg: 2.09 2.12 2.09 3/179 12225
/proc/meminfo: memFree=31175584/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1315396 CPUtime=0.19 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 46782 0 0 0 13 6 0 0 20 0 4 0 23201234 1346965504 46570 33554432000 4194304 16246674 140733562052096 140733562051408 12654556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 328849 46570 833 2943 0 325743 0
[pid=12225/tid=12226] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 46570 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 46570 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 46570 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1315396

[startup+0.30047 s]
/proc/loadavg: 2.09 2.12 2.09 3/179 12225
/proc/meminfo: memFree=31175584/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1315396 CPUtime=0.29 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 68705 0 0 0 20 9 0 0 20 0 4 0 23201234 1346965504 68494 33554432000 4194304 16246674 140733562052096 140733562051408 12371341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 328849 68510 833 2943 0 325743 0
[pid=12225/tid=12226] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 68520 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 68530 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 68541 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1315396

[startup+0.700385 s]
/proc/loadavg: 2.09 2.12 2.09 3/179 12225
/proc/meminfo: memFree=31175584/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 82624 0 0 0 58 11 0 0 20 0 4 0 23201234 1346965504 82412 33554432000 4194304 16246674 140733562052096 140733562033984 5813483 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 328849 82415 887 2943 0 325743 0
[pid=12225/tid=12226] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 82415 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 82418 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 82420 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1315396

[startup+1.50037 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 12229
/proc/meminfo: memFree=30705608/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 150167 0 0 0 129 20 0 0 20 0 4 0 23201234 1346965504 149955 33554432000 4194304 16246674 140733562052096 140733562033984 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 328849 149960 887 2943 0 325743 0
[pid=12225/tid=12226] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 149966 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 149973 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 149976 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1315396

[startup+3.10038 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 12229
/proc/meminfo: memFree=30418424/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1315396 CPUtime=3.08 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 250954 0 0 0 276 32 0 0 20 0 4 0 23201234 1346965504 250742 33554432000 4194304 16246674 140733562052096 140733562033984 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 328849 250746 891 2943 0 325743 0
[pid=12225/tid=12226] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 250748 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 250752 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 250757 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1315396

[startup+6.30039 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 12229
/proc/meminfo: memFree=30041300/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 270044 0 0 0 594 35 0 0 20 0 4 0 23201234 1346965504 269832 33554432000 4194304 16246674 140733562052096 140733562035096 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 328849 269832 898 2943 0 325743 0
[pid=12225/tid=12226] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 269832 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 269832 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1346965504 269832 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 12229
/proc/meminfo: memFree=29875848/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1320516 CPUtime=12.68 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 271173 0 0 0 1233 35 0 0 20 0 4 0 23201234 1352208384 270961 33554432000 4194304 16246674 140733562052096 140733562035096 5600492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 330129 270961 901 2943 0 327023 0
[pid=12225/tid=12226] ppid=12222 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1352208384 270961 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1352208384 270961 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1352208384 270961 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 12229
/proc/meminfo: memFree=29865432/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1322564 CPUtime=25.49 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 271841 0 0 0 2513 36 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140733562033984 5711705 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 330641 271629 901 2943 0 327535 0
[pid=12225/tid=12226] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1322564

[startup+51.1005 s]
/proc/loadavg: 2.09 2.11 2.09 3/184 12232
/proc/meminfo: memFree=29783444/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1322564 CPUtime=51.09 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 271841 0 0 0 5073 36 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140733562033984 5712184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 330641 271629 901 2943 0 327535 0
[pid=12225/tid=12226] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1322564

[startup+102.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/184 12233
/proc/meminfo: memFree=29614804/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1322564 CPUtime=102.28 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 271841 0 0 0 10192 36 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140733562033984 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 330641 271629 901 2943 0 327535 0
[pid=12225/tid=12226] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1354305536 271629 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1322564


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

/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1744375808 366873 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1703492

[startup+1362.3 s]
/proc/loadavg: 2.11 2.09 2.07 3/183 12540
/proc/meminfo: memFree=28721688/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1703492 CPUtime=1361.89 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 367191 0 0 0 136128 61 0 0 20 0 4 0 23201234 1744375808 366873 33554432000 4194304 16246674 140733562052096 140733562033984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 425873 366873 901 2943 0 422767 0
[pid=12225/tid=12226] ppid=12222 vsize=1703492 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1744375808 366873 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1703492 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1744375808 366873 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1703492 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1744375808 366873 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1703492

[startup+1422.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/183 12542
/proc/meminfo: memFree=28664052/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1759812 CPUtime=1421.89 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 381515 0 0 0 142125 64 0 0 20 0 4 0 23201234 1802047488 381197 33554432000 4194304 16246674 140733562052096 140733562033984 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 439953 381197 901 2943 0 436847 0
[pid=12225/tid=12226] ppid=12222 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1802047488 381197 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1802047488 381197 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1802047488 381197 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1759812

[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.06 4/183 12543
/proc/meminfo: memFree=28663836/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1759812 CPUtime=1481.87 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 381515 0 0 0 148123 64 0 0 20 0 4 0 23201234 1802047488 381197 33554432000 4194304 16246674 140733562052096 140733562033984 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 439953 381197 901 2943 0 436847 0
[pid=12225/tid=12226] ppid=12222 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1802047488 381197 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1802047488 381197 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1802047488 381197 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1759812

[startup+1542.31 s]
/proc/loadavg: 2.08 2.07 2.06 3/183 12544
/proc/meminfo: memFree=28662752/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1760836 CPUtime=1541.87 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 381771 0 0 0 154121 66 0 0 20 0 4 0 23201234 1803096064 381453 33554432000 4194304 16246674 140733562052096 140733562033984 5599986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 440209 381453 901 2943 0 437103 0
[pid=12225/tid=12226] ppid=12222 vsize=1760836 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1803096064 381453 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1760836 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1803096064 381453 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1760836 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1803096064 381453 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1760836

[startup+1602.3 s]
/proc/loadavg: 2.11 2.08 2.07 3/183 12545
/proc/meminfo: memFree=28629792/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1793604 CPUtime=1601.85 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 389963 0 0 0 160118 67 0 0 20 0 4 0 23201234 1836650496 389645 33554432000 4194304 16246674 140733562052096 140733562033984 5711318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 448401 389645 901 2943 0 445295 0
[pid=12225/tid=12226] ppid=12222 vsize=1793604 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1836650496 389645 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1793604 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1836650496 389645 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1793604 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1836650496 389645 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1793604

[startup+1662.3 s]
/proc/loadavg: 2.20 2.11 2.08 4/183 12546
/proc/meminfo: memFree=28629824/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1793604 CPUtime=1661.84 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 389963 0 0 0 166117 67 0 0 20 0 4 0 23201234 1836650496 389645 33554432000 4194304 16246674 140733562052096 140733562033984 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 448401 389645 901 2943 0 445295 0
[pid=12225/tid=12226] ppid=12222 vsize=1793604 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1836650496 389645 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1793604 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1836650496 389645 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1793604 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1836650496 389645 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1793604

[startup+1722.3 s]
/proc/loadavg: 2.21 2.12 2.08 3/183 12548
/proc/meminfo: memFree=28569584/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1852996 CPUtime=1721.84 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 404811 0 0 0 172113 71 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140733562033984 5711506 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 463249 404493 901 2943 0 460143 0
[pid=12225/tid=12226] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1852996

[startup+1782.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/183 12549
/proc/meminfo: memFree=28569632/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1852996 CPUtime=1781.83 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 404811 0 0 0 178112 71 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140733562033984 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 463249 404493 901 2943 0 460143 0
[pid=12225/tid=12226] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252571225264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1852996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.10 2.08 3/183 12549
/proc/meminfo: memFree=28569600/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1852996 CPUtime=1800.02 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 404811 0 0 0 179931 71 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140733562033984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 463249 404493 901 2943 0 460143 0
[pid=12225/tid=12226] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1852996

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.10 2.08 3/183 12549
/proc/meminfo: memFree=28569600/32872528 swapFree=534252/566956
[pid=12225] ppid=12222 vsize=1852996 CPUtime=1800.02 cores=0,2,4,6
/proc/12225/stat : 12225 (toysat) R 12222 12225 10353 0 -1 4202496 404811 0 0 0 179931 71 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140733562033984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12225/statm: 463249 404493 901 2943 0 460143 0
[pid=12225/tid=12226] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (toysat) S 12222 12225 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252592188656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12225/tid=12227] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (toysat) S 12222 12225 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252581698800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12225/tid=12228] ppid=12222 vsize=1852996 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (toysat) S 12222 12225 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201234 1897467904 404493 33554432000 4194304 16246674 140733562052096 140252571225264 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) 1852996

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.06
CPU user time (s): 1799.32
CPU system time (s): 0.735888
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1852996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.735888
maximum resident set size= 1617972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404811
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= 394
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85626 second user time and 6.83896 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 02:59:16
IDJOB=4100177
IDBENCH=1583
IDSOLVER=2542
FILE ID=node138/4100177-1466211556
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100177-1466211556/watcher-4100177-1466211556 -o /tmp/evaluation-result-4100177-1466211556/solver-4100177-1466211556 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100177-1466211556.opb

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

MD5SUM BENCH= ab5e35dff8e81ea7a1176a4145ab1bff
RANDOM SEED=880601227

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31176112 kB
Buffers:           46328 kB
Cached:           105344 kB
SwapCached:         1056 kB
Active:           354172 kB
Inactive:          67880 kB
Active(anon):     271300 kB
Inactive(anon):     1192 kB
Active(file):      82872 kB
Inactive(file):    66688 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             34952 kB
Writeback:             0 kB
AnonPages:        838292 kB
Mapped:            10848 kB
Shmem:                 0 kB
Slab:             573716 kB
SReclaimable:      17080 kB
SUnreclaim:       556636 kB
KernelStack:        1504 kB
PageTables:         7488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1804248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71696 MiB
End job on node138 at 2016-06-18 03:29:17