Trace number 4090240

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
Instances3col_OPB/normalized-3col-almost3reg-l090-r089-n1.opb
MD5SUM90253068a8645a663397fff0d99f47e9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4908
Total number of constraints10414
Number of constraints which are clauses8778
Number of constraints which are cardinality constraints (but not clauses)1636
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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-16T03:04:37+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-4090240-1466039077.opb"]
0.00/0.01	c use --random-gen="1239433923 3969585500 1267249804 125684208 2236522703 2318632897 185505512 567524332 2931059489 968643651 3294579767 3705443032 3516927538 1271646159 2285245608 1643618066 4087651219 2628669862 4154971079 1228044060 2184005305 1759042618 2928581402 4228967232 2966831280 247690298 4081664913 1665218348 3328694041 3872024475 4276688793 1661407182 3373512710 1195797039 1505486415 379861322 2671519556 3801115860 3628704053 919502565 674946037 112259078 3900382874 3422192535 3881647964 1841527230 4150436469 526088392 1993114984 3025934410 752121877 1092242024 3428725368 2298002023 991382956 2467452290 53839543 1032087308 2160910285 779550281 1937951649 645329893 2259493906 1470773581 3184382394 1459307235 3707511922 821035471 3019794092 3525311519 1542705008 2458504884 3623586470 175639565 1215942033 3483604317 1641607622 3500828990 3659799129 3009451385 1427451711 3349149115 3705580884 3647417256 2631886196 4189693099 1371826642 3041033889 73503122 4156030659 3449921374 998327404 2048885134 293591728 2869280695 4084280401 1467327356 2254010220 3829260631 1217949429 1220728724 751523827 3125130520 150187708 2700993520 2973889256 1188465748 4224049565 3896974848 2370413746 2098494079 413623219 2627887849 2513397669 3581383706 1488845078 1612578372 2735227241 3838716743 440956276 4233568469 911657475 1024539191 4085350225 2664124456 1580489261 2149039834 3397938126 3706600858 1290749942 4289737829 2980998635 436183485 2559043569 1317663394 4244253627 2563323850 4166413587 4065748562 4176855493 1559532096 1905314055 244962225 2744530372 2473782182 828996994 2480259657 4187251261 279671141 2747578361 2371795002 3594053209 2255205040 3311411594 3489227275 2832849200 1063839106 1434849326 3578292089 673253721 1385718019 4065503305 1700350249 3879047429 159152645 4030521490 1652446146 509578733 1247903155 1492803429 4216350601 4048608075 833524302 302620890 3258639537 3722017798 3240575693 1682548764 3018364670 3541051368 1385344277 3177120980 3823547547 2834324855 499269879 3833547020 3376511415 2322179176 4054814985 3928118967 1607104635 870351001 2423638441 3573005865 812546843 1363111027 1550998330 2168304539 1752901954 139325207 3449000011 443257558 1011193603 2026290660 3816635607 123281075 1076893483 1434283334 396149650 4125426431 2139537297 4052580459 1232893856 2203755962 2585298210 927110230 446298183 2846810153 3599793545 2147128976 1319228263 1561801017 2679328653 1173483771 2408461668 3560720729 3931975501 3236438725 4231490709 3972787286 3722973888 607855852 3949689914 524687345 2342375071 1776864553 3154450208 3722883258 2451470009 2836826309 1835720155 1820212886 236571483 1352667599 301143863 330462587 3741290953 116485803 212814764 1885220440 2985799785 3358206703 89642256 350663040 1407582107 4254140295 255 362436" option to reproduce the execution
0.00/0.07	c #vars 4908
0.00/0.07	c #constraints 10414
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     5652      0 |        0 |        0
0.29/0.37	c  0.1s |       1 |    10527 |      100 |     5652      0 |        0 |        0
0.59/0.68	c  0.4s |       2 |    33626 |      250 |     6218      0 |        0 |        0
1.29/1.32	c  1.1s |       3 |    71440 |      475 |     6840      0 |        0 |        0
2.30/2.37	c  2.1s |       4 |   128370 |      813 |     7525      0 |        0 |        0
3.40/3.46	c  3.2s |       5 |   172683 |     1320 |     8278      0 |        0 |        0
4.50/4.56	c  4.3s |       6 |   178254 |     2081 |    10017      0 |        0 |        0
6.29/6.34	c  6.1s |       7 |   224848 |     3223 |    11019      0 |        0 |        0
8.39/8.43	c  8.2s |       7 |   226881 |     4623 |    11019      0 |        0 |        0
8.79/8.82	c  8.6s |       8 |   238277 |     4936 |    12121      0 |        0 |        0
10.89/10.95	c 10.7s |       8 |   247840 |     6436 |    12121      0 |        0 |        0
12.79/12.80	c 12.6s |       9 |   249475 |     7506 |    13334      0 |        0 |        0
14.78/14.85	c 14.6s |       9 |   254129 |     8506 |    13334      0 |        0 |        0
16.88/16.90	c 16.7s |       9 |   255147 |     9406 |    13334      0 |        0 |        0
18.98/19.03	c 18.8s |       9 |   256524 |    10406 |    13334      0 |        0 |        0
21.08/21.14	c 20.9s |      10 |   257655 |    11361 |    14668      0 |        0 |        0
23.09/23.14	c 22.9s |      10 |   324185 |    12161 |    14668      0 |        0 |        0
25.18/25.25	c 25.0s |      10 |   329668 |    13261 |    14668      0 |        0 |        0
27.18/27.28	c 27.1s |      10 |   330791 |    14261 |    14668      0 |        0 |        0
29.38/29.42	c 29.2s |      10 |   331914 |    15161 |    14668      0 |        0 |        0
31.58/31.64	c 31.4s |      10 |   333902 |    15961 |    14668      1 |        0 |        0
33.78/33.83	c 33.6s |      10 |   334845 |    16761 |    14668      1 |        0 |        0
34.78/34.87	c 34.6s |      11 |   335303 |    17144 |    16135      1 |        0 |        0
36.98/37.01	c 36.8s |      11 |   368885 |    18344 |    16135      1 |        0 |        0
39.08/39.15	c 38.9s |      11 |   372340 |    19744 |    16135      1 |        0 |        0
41.18/41.25	c 41.0s |      11 |   373717 |    20944 |    16135      1 |        0 |        0
43.28/43.32	c 43.1s |      11 |   414495 |    21944 |    16135      1 |        0 |        0
45.38/45.46	c 45.2s |      11 |   418134 |    23044 |    16135      1 |        0 |        0
47.47/47.56	c 47.3s |      11 |   419477 |    24144 |    16135      1 |        0 |        0
49.67/49.73	c 49.5s |      11 |   420673 |    25144 |    16135      2 |        0 |        0
50.87/50.94	c 50.7s |      12 |   421428 |    25819 |    17749      2 |        0 |        0
52.97/53.08	c 52.8s |      12 |   455978 |    26719 |    17749      2 |        0 |        0
54.98/55.09	c 54.9s |      12 |   465023 |    27719 |    17749      2 |        0 |        0
57.07/57.18	c 56.9s |      12 |   466596 |    28719 |    17749      2 |        0 |        0
59.27/59.33	c 59.1s |      12 |   475459 |    29619 |    17749      2 |        0 |        0
61.47/61.55	c 61.3s |      12 |   476373 |    30419 |    17749      2 |        0 |        0
63.57/63.62	c 63.4s |      12 |   479368 |    31119 |    17749      2 |        0 |        0
65.77/65.82	c 65.6s |      12 |   480156 |    31819 |    17749      2 |        0 |        0
68.06/68.10	c 67.9s |      12 |   481089 |    32619 |    17749      2 |        0 |        0
70.36/70.45	c 70.2s |      12 |   481887 |    33319 |    17749      2 |        0 |        0
72.36/72.47	c 72.2s |      12 |   482620 |    33919 |    17749      2 |        0 |        0
74.45/74.53	c 74.3s |      12 |   487555 |    34619 |    17749      2 |        0 |        0
76.55/76.60	c 76.4s |      12 |   490114 |    35319 |    17749      3 |        0 |        0
78.65/78.72	c 78.5s |      12 |   491959 |    36219 |    17749      3 |        0 |        0
80.75/80.83	c 80.6s |      12 |   493164 |    37219 |    17749      3 |        0 |        0
82.85/82.94	c 82.7s |      12 |   494170 |    38119 |    17749      3 |        0 |        0
84.45/84.59	c 84.4s |      13 |   494975 |    38832 |    19524      3 |        0 |        0
86.65/86.78	c 86.6s |      13 |   507264 |    39832 |    19524      3 |        0 |        0
88.85/88.94	c 88.7s |      13 |   508481 |    40932 |    19524      3 |        0 |        0
90.85/90.95	c 90.7s |      13 |   513383 |    41932 |    19524      3 |        0 |        0
92.94/93.03	c 92.8s |      13 |   514566 |    42932 |    19524      3 |        0 |        0
95.04/95.14	c 94.9s |      13 |   515652 |    43932 |    19524      3 |        0 |        0
97.24/97.37	c 97.1s |      13 |   516730 |    44932 |    19524      3 |        0 |        0
99.34/99.46	c 99.2s |      13 |   517722 |    45832 |    19524      3 |        0 |        0
101.34/101.49	c  101s |      13 |   520149 |    46532 |    19524      4 |        0 |        0
103.45/103.57	c  103s |      13 |   529810 |    47332 |    19524      4 |        0 |        0
105.44/105.60	c  105s |      13 |   530737 |    48132 |    19524      4 |        0 |        0
107.63/107.75	c  107s |      13 |   531635 |    48932 |    19524      4 |        0 |        0
109.83/109.95	c  109s |      13 |   532531 |    49732 |    19524      4 |        0 |        0
112.14/112.20	c  111s |      13 |   533418 |    50532 |    19524      4 |        0 |        0
114.23/114.34	c  114s |      13 |   534190 |    51232 |    19524      4 |        0 |        0
116.23/116.39	c  116s |      13 |   534971 |    51932 |    19524      4 |        0 |        0
118.52/118.60	c  118s |      13 |   535837 |    52732 |    19524      4 |        0 |        0
120.62/120.73	c  120s |      13 |   536647 |    53432 |    19524      4 |        0 |        0
122.82/122.97	c  122s |      13 |   537416 |    54132 |    19524      4 |        0 |        0
124.82/124.99	c  124s |      13 |   538071 |    54732 |    19524      4 |        0 |        0
127.02/127.11	c  126s |      13 |   538738 |    55332 |    19524      4 |        0 |        0
129.12/129.29	c  129s |      13 |   539408 |    55932 |    19524      4 |        0 |        0
131.32/131.44	c  131s |      13 |   539969 |    56432 |    19524      5 |        0 |        0
133.42/133.50	c  133s |      13 |   540742 |    57132 |    19524      5 |        0 |        0
135.52/135.62	c  135s |      13 |   541783 |    58032 |    21477      5 |        0 |        0
136.22/136.39	c  136s |      14 |   542145 |    58352 |    21477      5 |        0 |        0
138.42/138.54	c  138s |      14 |   608571 |    59152 |    21477      5 |        0 |        0
140.62/140.72	c  140s |      14 |   612131 |    60452 |    21477      5 |        0 |        0
142.72/142.86	c  142s |      14 |   613468 |    61652 |    21477      5 |        0 |        0
144.92/145.01	c  144s |      14 |   615675 |    62852 |    21477      5 |        0 |        0
146.92/147.07	c  146s |      14 |   616788 |    63852 |    21477      5 |        0 |        0
149.11/149.27	c  149s |      14 |   619291 |    64852 |    21477      5 |        0 |        0
151.31/151.45	c  151s |      14 |   627390 |    65852 |    21477      5 |        0 |        0
153.51/153.64	c  153s |      14 |   629191 |    66852 |    21477      5 |        0 |        0
155.51/155.65	c  155s |      14 |   630282 |    67752 |    21477      5 |        0 |        0
157.50/157.66	c  157s |      14 |   631831 |    68452 |    21477      6 |        0 |        0
159.60/159.77	c  159s |      14 |   633590 |    69652 |    21477      6 |        0 |        0
161.80/161.97	c  161s |      14 |   635033 |    70852 |    21477      6 |        0 |        0
163.81/163.97	c  163s |      14 |   636007 |    71752 |    21477      6 |        0 |        0
166.01/166.10	c  165s |      14 |   637258 |    72752 |    21477      6 |        0 |        0
168.00/168.17	c  167s |      14 |   638214 |    73552 |    21477      6 |        0 |        0
170.00/170.18	c  169s |      14 |   639143 |    74352 |    21477      6 |        0 |        0
172.09/172.29	c  172s |      14 |   673680 |    75252 |    21477      6 |        0 |        0
174.29/174.48	c  174s |      14 |   676918 |    76252 |    21477      6 |        0 |        0
176.59/176.75	c  176s |      14 |   677904 |    77152 |    21477      6 |        0 |        0
178.69/178.86	c  178s |      14 |   681408 |    77752 |    21477      6 |        0 |        0
180.99/181.15	c  180s |      14 |   682199 |    78452 |    21477      6 |        0 |        0
182.99/183.18	c  182s |      14 |   682907 |    79052 |    21477      6 |        0 |        0
185.19/185.35	c  185s |      14 |   683604 |    79652 |    21477      7 |        0 |        0
187.19/187.39	c  187s |      14 |   684521 |    80452 |    21477      7 |        0 |        0
189.28/189.49	c  189s |      14 |   685552 |    81352 |    21477      7 |        0 |        0
191.48/191.70	c  191s |      14 |   686591 |    82252 |    21477      7 |        0 |        0
193.59/193.72	c  193s |      14 |   687505 |    83052 |    21477      7 |        0 |        0
195.79/195.92	c  195s |      14 |   688592 |    83952 |    21477      7 |        0 |        0
197.98/198.12	c  197s |      14 |   689658 |    84852 |    21477      7 |        0 |        0
199.97/200.14	c  199s |      14 |   690592 |    85652 |    21477      7 |        0 |        0
202.17/202.36	c  202s |      14 |   691470 |    86452 |    21477      7 |        0 |        0
204.27/204.42	c  204s |      14 |   692270 |    87152 |    23625      7 |        0 |        0
205.58/205.80	c  205s |      15 |   692812 |    87632 |    23625      7 |        0 |        0
207.66/207.90	c  207s |      15 |   693880 |    88232 |    23625      7 |        0 |        0
209.76/209.95	c  209s |      15 |   694797 |    88932 |    23625      7 |        0 |        0
211.86/212.04	c  211s |      15 |   695588 |    89632 |    23625      7 |        0 |        0
213.86/214.06	c  213s |      15 |   697845 |    90332 |    23625      7 |        0 |        0
215.96/216.17	c  215s |      15 |   712263 |    91032 |    23625      7 |        0 |        0
218.15/218.33	c  218s |      15 |   713277 |    91832 |    23625      7 |        0 |        0
220.55/220.70	c  220s |      15 |   714241 |    92532 |    23625      8 |        0 |        0
222.55/222.72	c  222s |      15 |   715605 |    93532 |    23625      8 |        0 |        0
224.65/224.83	c  224s |      15 |   719327 |    94232 |    23625      8 |        0 |        0
226.75/226.96	c  226s |      15 |   720333 |    95132 |    23625      8 |        0 |        0
228.85/229.06	c  228s |      15 |   721248 |    95932 |    23625      8 |        0 |        0
231.05/231.20	c  230s |      15 |   722358 |    96832 |    23625      8 |        0 |        0
233.06/233.28	c  233s |      15 |   723265 |    97632 |    23625      8 |        0 |        0
235.26/235.47	c  235s |      15 |   724191 |    98432 |    23625      8 |        0 |        0
237.35/237.52	c  237s |      15 |   725090 |    99232 |    23625      8 |        0 |        0
239.55/239.73	c  239s |      15 |   726190 |   100132 |    23625      8 |        0 |        0
241.55/241.79	c  241s |      15 |   727082 |   100832 |    23625      8 |        0 |        0
243.95/244.10	c  243s |      15 |   728045 |   101632 |    23625      8 |        0 |        0
246.15/246.35	c  246s |      15 |   728847 |   102332 |    23625      8 |        0 |        0
248.24/248.43	c  248s |      15 |   729510 |   102932 |    23625      8 |        0 |        0
250.34/250.60	c  250s |      15 |   730423 |   103732 |    23625      8 |        0 |        0
252.74/252.90	c  252s |      15 |   731262 |   104432 |    23625      8 |        0 |        0
254.94/255.11	c  254s |      15 |   731961 |   105032 |    23625      9 |        0 |        0
257.05/257.21	c  256s |      15 |   734135 |   105632 |    23625      9 |        0 |        0
259.15/259.38	c  259s |      15 |   737690 |   106632 |    23625      9 |        0 |        0
261.25/261.44	c  261s |      15 |   738761 |   107532 |    23625      9 |        0 |        0
263.25/263.46	c  263s |      15 |   739747 |   108332 |    23625      9 |        0 |        0
265.35/265.54	c  265s |      15 |   740654 |   109132 |    23625      9 |        0 |        0
267.44/267.61	c  267s |      15 |   741694 |   110032 |    23625      9 |        0 |        0
269.64/269.81	c  269s |      15 |   742927 |   111032 |    23625      9 |        0 |        0
271.84/272.00	c  271s |      15 |   744018 |   111932 |    23625      9 |        0 |        0
273.85/274.02	c  273s |      15 |   744981 |   112732 |    23625      9 |        0 |        0
275.95/276.14	c  275s |      15 |   749301 |   113532 |    23625      9 |        0 |        0
278.25/278.42	c  278s |      15 |   750245 |   114332 |    23625      9 |        0 |        0
280.45/280.69	c  280s |      15 |   751159 |   115132 |    23625      9 |        0 |        0
282.74/282.90	c  282s |      15 |   752134 |   115932 |    23625      9 |        0 |        0
284.84/285.06	c  284s |      15 |   753009 |   116632 |    23625      9 |        0 |        0
286.84/287.10	c  286s |      15 |   753735 |   117232 |    23625     10 |        0 |        0
288.93/289.11	c  288s |      15 |   766101 |   117932 |    23625     10 |        0 |        0
292.33/292.51	c  292s |      15 |   771400 |   118232 |    23625     10 |        0 |        0
294.33/294.53	c  294s |      15 |   777414 |   118932 |    23625     10 |        0 |        0
296.42/296.64	c  296s |      15 |   778231 |   119632 |    23625     10 |        0 |        0
298.72/298.92	c  298s |      15 |   779152 |   120432 |    23625     10 |        0 |        0
300.92/301.12	c  300s |      15 |   780169 |   121232 |    23625     10 |        0 |        0
302.92/303.14	c  302s |      15 |   781141 |   122032 |    23625     10 |        0 |        0
305.12/305.33	c  305s |      15 |   782314 |   122932 |    23625     10 |        0 |        0
307.12/307.39	c  307s |      15 |   783486 |   123732 |    23625     10 |        0 |        0
309.42/309.69	c  309s |      15 |   784708 |   124632 |    23625     10 |        0 |        0
311.52/311.77	c  311s |      15 |   800066 |   125432 |    23625     10 |        0 |        0
313.72/313.97	c  313s |      15 |   802238 |   126232 |    23625     10 |        0 |        0
316.02/316.20	c  315s |      15 |   803225 |   127132 |    23625     10 |        0 |        0
318.22/318.41	c  318s |      15 |   804204 |   128032 |    23625     10 |        0 |        0
320.22/320.49	c  320s |      15 |   805101 |   128832 |    23625     10 |        0 |        0
324.62/324.82	c  324s |      15 |   805969 |   129432 |    23625     11 |        0 |        0
326.72/326.94	c  326s |      15 |   812657 |   130332 |    23625     11 |        0 |        0
328.91/329.14	c  328s |      15 |   814142 |   131332 |    25988     11 |        0 |        0
329.51/329.75	c  329s |      16 |   814377 |   131552 |    25988     11 |        0 |        0
331.71/331.93	c  331s |      16 |   853883 |   132252 |    25988     11 |        0 |        0
333.71/333.99	c  333s |      16 |   857619 |   133052 |    25988     11 |        0 |        0
335.91/336.19	c  335s |      16 |   858510 |   133852 |    25988     11 |        0 |        0
338.00/338.27	c  338s |      16 |   859322 |   134552 |    25988     11 |        0 |        0
340.20/340.40	c  340s |      16 |   861736 |   135152 |    25988     11 |        0 |        0
342.40/342.68	c  342s |      16 |   862503 |   135852 |    25988     11 |        0 |        0
344.70/344.99	c  344s |      16 |   863166 |   136452 |    25988     11 |        0 |        0
346.90/347.16	c  346s |      16 |   863810 |   137052 |    25988     11 |        0 |        0
348.99/349.27	c  349s |      16 |   864453 |   137652 |    25988     11 |        0 |        0
351.19/351.45	c  351s |      16 |   865085 |   138252 |    25988     11 |        0 |        0
353.29/353.54	c  353s |      16 |   866800 |   138852 |    25988     11 |        0 |        0
355.39/355.62	c  355s |      16 |   867471 |   139452 |    25988     11 |        0 |        0
357.50/357.78	c  357s |      16 |   868147 |   140052 |    25988     11 |        0 |        0
359.90/360.10	c  359s |      16 |   868954 |   140752 |    25988     11 |        0 |        0
361.90/362.15	c  361s |      16 |   869518 |   141252 |    25988     11 |        0 |        0
364.20/364.48	c  364s |      16 |   870200 |   141852 |    25988     11 |        0 |        0
366.30/366.51	c  366s |      16 |   870754 |   142352 |    25988     11 |        0 |        0
368.59/368.86	c  368s |      16 |   871405 |   142952 |    25988     11 |        0 |        0
370.69/370.90	c  370s |      16 |   871934 |   143452 |    25988     11 |        0 |        0
372.70/372.94	c  372s |      16 |   872393 |   143852 |    25988     12 |        0 |        0
375.00/375.23	c  375s |      16 |   873065 |   144452 |    25988     12 |        0 |        0
377.19/377.44	c  377s |      16 |   873980 |   145252 |    25988     12 |        0 |        0
379.39/379.65	c  379s |      16 |   874842 |   146052 |    25988     12 |        0 |        0
381.49/381.77	c  381s |      16 |   875729 |   146852 |    25988     12 |        0 |        0
383.69/383.97	c  383s |      16 |   877694 |   147652 |    25988     12 |        0 |        0
385.89/386.11	c  385s |      16 |   881254 |   148352 |    25988     12 |        0 |        0
387.98/388.29	c  388s |      16 |   882064 |   149052 |    25988     12 |        0 |        0
390.18/390.48	c  390s |      16 |   882841 |   149752 |    25988     12 |        0 |        0
392.18/392.49	c  392s |      16 |   883511 |   150352 |    25988     12 |        0 |        0
394.28/394.51	c  394s |      16 |   884173 |   150952 |    25988     12 |        0 |        0
396.38/396.63	c  396s |      16 |   884849 |   151552 |    25988     12 |        0 |        0
398.48/398.79	c  398s |      16 |   885553 |   152152 |    25988     12 |        0 |        0
400.68/400.99	c  400s |      16 |   886225 |   152752 |    25988     12 |        0 |        0
403.08/403.34	c  403s |      16 |   886906 |   153352 |    25988     12 |        0 |        0
405.38/405.60	c  405s |      16 |   887571 |   153952 |    25988     12 |        0 |        0
407.67/407.93	c  407s |      16 |   888375 |   154652 |    25988     12 |        0 |        0
409.77/410.06	c  409s |      16 |   889035 |   155252 |    25988     12 |        0 |        0
411.87/412.11	c  411s |      16 |   889693 |   155852 |    25988     12 |        0 |        0
414.17/414.45	c  414s |      16 |   890486 |   156552 |    25988     12 |        0 |        0
416.47/416.78	c  416s |      16 |   891139 |   157152 |    25988     12 |        0 |        0
418.67/418.95	c  418s |      16 |   891586 |   157552 |    25988     13 |        0 |        0
420.86/421.19	c  420s |      16 |   892355 |   158252 |    25988     13 |        0 |        0
422.96/423.22	c  422s |      16 |   893146 |   158952 |    25988     13 |        0 |        0
425.17/425.49	c  425s |      16 |   897188 |   159452 |    25988     13 |        0 |        0
427.27/427.51	c  427s |      16 |   897987 |   160152 |    25988     13 |        0 |        0
429.46/429.71	c  429s |      16 |   898783 |   160852 |    25988     13 |        0 |        0
431.56/431.82	c  431s |      16 |   899572 |   161552 |    25988     13 |        0 |        0
433.86/434.19	c  433s |      16 |   900379 |   162252 |    25988     13 |        0 |        0
436.16/436.44	c  436s |      16 |   901352 |   163052 |    25988     13 |        0 |        0
438.46/438.75	c  438s |      16 |   902299 |   163852 |    25988     13 |        0 |        0
440.56/440.82	c  440s |      16 |   902964 |   164452 |    25988     13 |        0 |        0
442.66/442.98	c  442s |      16 |   903616 |   165052 |    25988     13 |        0 |        0
444.76/445.01	c  444s |      16 |   904318 |   165652 |    25988     13 |        0 |        0
446.86/447.14	c  446s |      16 |   904970 |   166252 |    25988     13 |        0 |        0
449.26/449.54	c  449s |      16 |   905628 |   166852 |    25988     13 |        0 |        0
451.46/451.78	c  451s |      16 |   906329 |   167452 |    25988     13 |        0 |        0
453.56/453.84	c  453s |      16 |   906871 |   167952 |    25988     13 |        0 |        0
455.65/455.92	c  455s |      16 |   907424 |   168452 |    25988     13 |        0 |        0
457.75/458.01	c  457s |      16 |   907966 |   168952 |    25988     13 |        0 |        0
459.85/460.13	c  459s |      16 |   908503 |   169452 |    25988     13 |        0 |        0
461.95/462.26	c  462s |      16 |   909035 |   169952 |    25988     13 |        0 |        0
464.06/464.33	c  464s |      16 |   909614 |   170452 |    25988     13 |        0 |        0
466.65/466.93	c  466s |      16 |   910060 |   170852 |    25988     14 |        0 |        0
468.84/469.13	c  468s |      16 |   910878 |   171552 |    25988     14 |        0 |        0
471.04/471.37	c  471s |      16 |   911635 |   172252 |    25988     14 |        0 |        0
473.14/473.41	c  473s |      16 |   929023 |   172752 |    25988     14 |        0 |        0
475.24/475.57	c  475s |      16 |   929963 |   173552 |    25988     14 |        0 |        0
477.44/477.73	c  477s |      16 |   930841 |   174352 |    25988     14 |        0 |        0
479.64/479.93	c  479s |      16 |   931743 |   175152 |    25988     14 |        0 |        0
481.73/482.00	c  481s |      16 |   932448 |   175752 |    25988     14 |        0 |        0
484.03/484.33	c  484s |      16 |   933305 |   176452 |    25988     14 |        0 |        0
486.33/486.63	c  486s |      16 |   934083 |   177152 |    25988     14 |        0 |        0
488.33/488.63	c  488s |      16 |   934758 |   177752 |    25988     14 |        0 |        0
490.63/490.92	c  490s |      16 |   935549 |   178452 |    25988     14 |        0 |        0
492.64/492.97	c  492s |      16 |   936252 |   179052 |    25988     14 |        0 |        0
494.74/495.10	c  494s |      16 |   936926 |   179652 |    25988     14 |        0 |        0
497.13/497.41	c  497s |      16 |   937605 |   180252 |    25988     14 |        0 |        0
499.24/499.58	c  499s |      16 |   938280 |   180852 |    25988     14 |        0 |        0
501.53/501.82	c  501s |      16 |   938954 |   181452 |    25988     14 |        0 |        0
503.53/503.87	c  503s |      16 |   939509 |   181952 |    25988     14 |        0 |        0
505.73/506.04	c  505s |      16 |   940054 |   182452 |    25988     14 |        0 |        0
507.72/508.05	c  507s |      16 |   940620 |   182952 |    25988     14 |        0 |        0
509.72/510.06	c  509s |      16 |   941183 |   183452 |    25988     14 |        0 |        0
512.12/512.43	c  512s |      16 |   941837 |   184052 |    25988     14 |        0 |        0
515.02/515.31	c  515s |      16 |   943467 |   184152 |    25988     15 |        0 |        0
517.22/517.54	c  517s |      16 |   954885 |   184952 |    25988     15 |        0 |        0
519.31/519.61	c  519s |      16 |   955525 |   185552 |    25988     15 |        0 |        0
521.51/521.88	c  521s |      16 |   956297 |   186252 |    25988     15 |        0 |        0
523.81/524.18	c  523s |      16 |   957084 |   186952 |    25988     15 |        0 |        0
526.12/526.45	c  526s |      16 |   957844 |   187652 |    25988     15 |        0 |        0
528.21/528.52	c  528s |      16 |   958482 |   188252 |    25988     15 |        0 |        0
530.31/530.67	c  530s |      16 |   959190 |   188852 |    25988     15 |        0 |        0
532.41/532.71	c  532s |      16 |   959868 |   189452 |    25988     15 |        0 |        0
534.51/534.87	c  534s |      16 |   960552 |   190052 |    25988     15 |        0 |        0
536.81/537.16	c  536s |      16 |   964683 |   190652 |    25988     15 |        0 |        0
539.11/539.44	c  539s |      16 |   965318 |   191252 |    25988     15 |        0 |        0
541.11/541.46	c  541s |      16 |   965972 |   191852 |    25988     15 |        0 |        0
543.31/543.61	c  543s |      16 |   966638 |   192452 |    25988     15 |        0 |        0
545.61/545.93	c  545s |      16 |   967385 |   193152 |    25988     15 |        0 |        0
547.80/548.18	c  547s |      16 |   968041 |   193752 |    25988     15 |        0 |        0
550.10/550.47	c  550s |      16 |   968686 |   194352 |    25988     15 |        0 |        0
552.40/552.71	c  552s |      16 |   969361 |   194952 |    25988     15 |        0 |        0
554.80/555.10	c  554s |      16 |   970030 |   195552 |    25988     15 |        0 |        0
556.80/557.18	c  556s |      16 |   970560 |   196052 |    25988     15 |        0 |        0
559.10/559.47	c  559s |      16 |   972589 |   196652 |    28587     15 |        0 |        0
561.29/561.61	c  561s |      16 |   973131 |   197152 |    28587     15 |        0 |        0
562.69/563.03	c  562s |      17 |   973439 |   197432 |    28587     15 |        0 |        0
564.99/565.33	c  565s |      17 |   992839 |   197932 |    28587     15 |        0 |        0
566.99/567.37	c  567s |      17 |   993405 |   198432 |    28587     15 |        0 |        0
569.39/569.74	c  569s |      17 |   994082 |   199032 |    28587     15 |        0 |        0
571.39/571.74	c  571s |      17 |   994629 |   199532 |    28587     15 |        0 |        0
573.39/573.76	c  573s |      17 |   995167 |   200032 |    28587     15 |        0 |        0
575.79/576.15	c  575s |      17 |   995508 |   200332 |    28587     16 |        0 |        0
578.08/578.47	c  578s |      17 |   996627 |   200932 |    28587     16 |        0 |        0
580.18/580.54	c  580s |      17 |  1020561 |   201532 |    28587     16 |        0 |        0
582.28/582.67	c  582s |      17 |  1021224 |   202132 |    28587     16 |        0 |        0
584.48/584.87	c  584s |      17 |  1021882 |   202732 |    28587     16 |        0 |        0
586.88/587.20	c  586s |      17 |  1022622 |   203432 |    28587     16 |        0 |        0
588.88/589.29	c  589s |      17 |  1023173 |   203932 |    28587     16 |        0 |        0
590.98/591.31	c  591s |      17 |  1034939 |   204332 |    28587     16 |        0 |        0
593.18/593.58	c  593s |      17 |  1037730 |   205032 |    28587     16 |        0 |        0
595.28/595.61	c  595s |      17 |  1038577 |   205632 |    28587     16 |        0 |        0
597.48/597.81	c  597s |      17 |  1039412 |   206332 |    28587     16 |        0 |        0
599.68/600.08	c  599s |      17 |  1040186 |   207032 |    28587     16 |        0 |        0
601.78/602.15	c  601s |      17 |  1040848 |   207632 |    28587     16 |        0 |        0
604.08/604.45	c  604s |      17 |  1041634 |   208332 |    28587     16 |        0 |        0
606.18/606.58	c  606s |      17 |  1042421 |   209032 |    28587     16 |        0 |        0
608.27/608.65	c  608s |      17 |  1043072 |   209632 |    28587     16 |        0 |        0
610.57/610.92	c  610s |      17 |  1043875 |   210332 |    28587     16 |        0 |        0
612.67/613.01	c  612s |      17 |  1044544 |   210932 |    28587     16 |        0 |        0
614.87/615.26	c  615s |      17 |  1045192 |   211532 |    28587     16 |        0 |        0
616.88/617.28	c  617s |      17 |  1045716 |   212032 |    28587     16 |        0 |        0
619.17/619.51	c  619s |      17 |  1047471 |   212632 |    28587     16 |        0 |        0
621.17/621.54	c  621s |      17 |  1048172 |   213232 |    28587     16 |        0 |        0
623.27/623.67	c  623s |      17 |  1048883 |   213832 |    28587     16 |        0 |        0
625.47/625.82	c  625s |      17 |  1049555 |   214432 |    28587     16 |        0 |        0
627.77/628.16	c  627s |      17 |  1050094 |   214932 |    28587     17 |        0 |        0
629.87/630.20	c  629s |      17 |  1050884 |   215632 |    28587     17 |        0 |        0
631.87/632.25	c  632s |      17 |  1051638 |   216232 |    28587     17 |        0 |        0
633.96/634.34	c  634s |      17 |  1052429 |   216932 |    28587     17 |        0 |        0
636.06/636.45	c  636s |      17 |  1053237 |   217632 |    28587     17 |        0 |        0
638.16/638.52	c  638s |      17 |  1054037 |   218332 |    28587     17 |        0 |        0
640.36/640.76	c  640s |      17 |  1054943 |   219132 |    28587     17 |        0 |        0
642.56/642.97	c  642s |      17 |  1055706 |   219832 |    28587     17 |        0 |        0
644.76/645.18	c  644s |      17 |  1056490 |   220532 |    28587     17 |        0 |        0
646.76/647.19	c  646s |      17 |  1057200 |   221132 |    28587     17 |        0 |        0
648.95/649.33	c  649s |      17 |  1057897 |   221732 |    28587     17 |        0 |        0
650.96/651.39	c  651s |      17 |  1058567 |   222332 |    28587     17 |        0 |        0
653.35/653.74	c  653s |      17 |  1059382 |   223032 |    28587     17 |        0 |        0
655.65/656.00	c  655s |      17 |  1065055 |   223532 |    28587     17 |        0 |        0
657.65/658.01	c  657s |      17 |  1065588 |   224032 |    28587     17 |        0 |        0
659.75/660.19	c  659s |      17 |  1066252 |   224632 |    28587     17 |        0 |        0
661.85/662.27	c  662s |      17 |  1066924 |   225232 |    28587     17 |        0 |        0
664.05/664.45	c  664s |      17 |  1067468 |   225732 |    28587     17 |        0 |        0
666.35/666.71	c  666s |      17 |  1068122 |   226332 |    28587     17 |        0 |        0
668.45/668.89	c  668s |      17 |  1068779 |   226932 |    28587     17 |        0 |        0
670.65/671.04	c  670s |      17 |  1069311 |   227432 |    28587     17 |        0 |        0
672.85/673.23	c  673s |      17 |  1069859 |   227932 |    28587     17 |        0 |        0
674.94/675.35	c  675s |      17 |  1070433 |   228432 |    28587     17 |        0 |        0
677.04/677.44	c  677s |      17 |  1071006 |   228932 |    28587     17 |        0 |        0
679.23/679.66	c  679s |      17 |  1071560 |   229432 |    28587     17 |        0 |        0
681.53/681.92	c  681s |      17 |  1072009 |   229832 |    28587     18 |        0 |        0
683.73/684.19	c  683s |      17 |  1072674 |   230432 |    28587     18 |        0 |        0
685.83/686.28	c  686s |      17 |  1073490 |   231132 |    28587     18 |        0 |        0
688.13/688.52	c  688s |      17 |  1074272 |   231832 |    28587     18 |        0 |        0
690.13/690.54	c  690s |      17 |  1075080 |   232532 |    28587     18 |        0 |        0
692.33/692.74	c  692s |      17 |  1075899 |   233232 |    28587     18 |        0 |        0
694.33/694.79	c  694s |      17 |  1076538 |   233832 |    28587     18 |        0 |        0
696.43/696.88	c  696s |      17 |  1077299 |   234432 |    28587     18 |        0 |        0
698.63/699.03	c  698s |      17 |  1083078 |   234932 |    28587     18 |        0 |        0
700.83/701.29	c  701s |      17 |  1085842 |   235632 |    28587     18 |        0 |        0
702.93/703.32	c  703s |      17 |  1086501 |   236232 |    28587     18 |        0 |        0
704.93/705.38	c  705s |      17 |  1087189 |   236832 |    28587     18 |        0 |        0
707.23/707.65	c  707s |      17 |  1087877 |   237432 |    28587     18 |        0 |        0
709.43/709.82	c  709s |      17 |  1088407 |   237932 |    28587     18 |        0 |        0
711.83/712.20	c  711s |      17 |  1090188 |   238532 |    28587     18 |        0 |        0
714.13/714.58	c  714s |      17 |  1090834 |   239132 |    28587     18 |        0 |        0
716.23/716.65	c  716s |      17 |  1091383 |   239632 |    28587     18 |        0 |        0
718.63/719.03	c  718s |      17 |  1092095 |   240232 |    28587     18 |        0 |        0
720.83/721.24	c  721s |      17 |  1092730 |   240832 |    28587     18 |        0 |        0
723.33/723.71	c  723s |      17 |  1093389 |   241432 |    28587     18 |        0 |        0
725.63/726.10	c  725s |      17 |  1094066 |   242032 |    28587     18 |        0 |        0
728.03/728.41	c  728s |      17 |  1094645 |   242532 |    28587     18 |        0 |        0
730.03/730.45	c  730s |      17 |  1095205 |   243032 |    28587     18 |        0 |        0
732.02/732.48	c  732s |      17 |  1095750 |   243532 |    28587     18 |        0 |        0
734.32/734.70	c  734s |      17 |  1096285 |   244032 |    28587     18 |        0 |        0
736.32/736.77	c  736s |      17 |  1096717 |   244432 |    28587     19 |        0 |        0
738.52/738.95	c  738s |      17 |  1097360 |   245032 |    28587     19 |        0 |        0
740.73/741.15	c  740s |      17 |  1098171 |   245732 |    28587     19 |        0 |        0
742.93/743.32	c  743s |      17 |  1098937 |   246432 |    28587     19 |        0 |        0
745.03/745.40	c  745s |      17 |  1099591 |   247032 |    28587     19 |        0 |        0
747.23/747.67	c  747s |      17 |  1100244 |   247632 |    28587     19 |        0 |        0
749.43/749.84	c  749s |      17 |  1100868 |   248232 |    28587     19 |        0 |        0
752.43/752.88	c  752s |      17 |  1106687 |   248832 |    28587     19 |        0 |        0
754.43/754.89	c  754s |      17 |  1107379 |   249432 |    28587     19 |        0 |        0
756.53/756.98	c  756s |      17 |  1108017 |   250032 |    28587     19 |        0 |        0
758.73/759.13	c  758s |      17 |  1108678 |   250632 |    28587     19 |        0 |        0
760.73/761.17	c  760s |      17 |  1109240 |   251132 |    28587     19 |        0 |        0
763.03/763.45	c  763s |      17 |  1109927 |   251732 |    28587     19 |        0 |        0
765.33/765.74	c  765s |      17 |  1110592 |   252332 |    28587     19 |        0 |        0
767.53/767.94	c  767s |      17 |  1111155 |   252832 |    28587     19 |        0 |        0
769.52/770.00	c  769s |      17 |  1111713 |   253332 |    28587     19 |        0 |        0
771.93/772.33	c  772s |      17 |  1112401 |   253932 |    28587     19 |        0 |        0
774.22/774.61	c  774s |      17 |  1113105 |   254532 |    28587     19 |        0 |        0
776.42/776.87	c  776s |      17 |  1116810 |   255132 |    28587     19 |        0 |        0
778.72/779.18	c  778s |      17 |  1117474 |   255732 |    28587     19 |        0 |        0
781.12/781.55	c  781s |      17 |  1118135 |   256332 |    28587     19 |        0 |        0
783.12/783.56	c  783s |      17 |  1118699 |   256832 |    28587     19 |        0 |        0
785.42/785.85	c  785s |      17 |  1119276 |   257332 |    28587     19 |        0 |        0
787.52/787.99	c  787s |      17 |  1119838 |   257832 |    28587     19 |        0 |        0
789.62/790.07	c  789s |      17 |  1120390 |   258332 |    28587     19 |        0 |        0
791.92/792.38	c  792s |      17 |  1120939 |   258832 |    28587     19 |        0 |        0
794.02/794.46	c  794s |      17 |  1121270 |   259132 |    28587     20 |        0 |        0
796.32/796.71	c  796s |      17 |  1122166 |   259932 |    28587     20 |        0 |        0
798.42/798.84	c  798s |      17 |  1122949 |   260632 |    28587     20 |        0 |        0
800.62/801.04	c  800s |      17 |  1123886 |   261432 |    28587     20 |        0 |        0
802.82/803.28	c  803s |      17 |  1124673 |   262132 |    28587     20 |        0 |        0
804.82/805.29	c  805s |      17 |  1125358 |   262732 |    28587     20 |        0 |        0
807.12/807.53	c  807s |      17 |  1126191 |   263432 |    28587     20 |        0 |        0
809.42/809.84	c  809s |      17 |  1126982 |   264132 |    28587     20 |        0 |        0
811.42/811.87	c  811s |      17 |  1127623 |   264732 |    28587     20 |        0 |        0
813.52/813.96	c  813s |      17 |  1128314 |   265332 |    28587     20 |        0 |        0
815.62/816.03	c  815s |      17 |  1128975 |   265932 |    28587     20 |        0 |        0
817.92/818.32	c  818s |      17 |  1129759 |   266632 |    28587     20 |        0 |        0
820.02/820.41	c  820s |      17 |  1130401 |   267232 |    28587     20 |        0 |        0
822.02/822.46	c  822s |      17 |  1131056 |   267832 |    28587     20 |        0 |        0
824.21/824.60	c  824s |      17 |  1131711 |   268432 |    28587     20 |        0 |        0
826.51/826.94	c  826s |      17 |  1132365 |   269032 |    28587     20 |        0 |        0
828.61/829.05	c  828s |      17 |  1132890 |   269532 |    28587     20 |        0 |        0
830.71/831.14	c  830s |      17 |  1133447 |   270032 |    28587     20 |        0 |        0
832.81/833.21	c  832s |      17 |  1134009 |   270532 |    28587     20 |        0 |        0
834.81/835.23	c  834s |      17 |  1134567 |   271032 |    28587     20 |        0 |        0
837.01/837.46	c  837s |      17 |  1135114 |   271532 |    28587     20 |        0 |        0
839.41/839.80	c  839s |      17 |  1135650 |   272032 |    28587     20 |        0 |        0
841.51/841.95	c  841s |      17 |  1136188 |   272532 |    28587     20 |        0 |        0
843.81/844.20	c  843s |      17 |  1136742 |   273032 |    28587     20 |        0 |        0
846.21/846.62	c  846s |      17 |  1137268 |   273532 |    28587     20 |        0 |        0
848.51/848.92	c  848s |      17 |  1137702 |   273932 |    28587     21 |        0 |        0
851.12/851.54	c  851s |      17 |  1138505 |   274232 |    28587     21 |        0 |        0
853.11/853.59	c  853s |      17 |  1139152 |   274832 |    28587     21 |        0 |        0
855.42/855.81	c  855s |      17 |  1139906 |   275532 |    28587     21 |        0 |        0
857.41/857.86	c  857s |      17 |  1140551 |   276132 |    28587     21 |        0 |        0
859.81/860.23	c  860s |      17 |  1141308 |   276832 |    28587     21 |        0 |        0
862.11/862.57	c  862s |      17 |  1142063 |   277532 |    28587     21 |        0 |        0
864.41/864.85	c  864s |      17 |  1142838 |   278232 |    28587     21 |        0 |        0
866.41/866.88	c  866s |      17 |  1143487 |   278832 |    28587     21 |        0 |        0
868.61/869.01	c  868s |      17 |  1144122 |   279432 |    28587     21 |        0 |        0
870.61/871.03	c  870s |      17 |  1144649 |   279932 |    28587     21 |        0 |        0
873.01/873.44	c  873s |      17 |  1145293 |   280532 |    28587     21 |        0 |        0
875.21/875.62	c  875s |      17 |  1151833 |   281132 |    28587     21 |        0 |        0
877.30/877.74	c  877s |      17 |  1156097 |   281732 |    28587     21 |        0 |        0
879.30/879.74	c  879s |      17 |  1159390 |   282232 |    28587     21 |        0 |        0
881.60/882.01	c  881s |      17 |  1160096 |   282832 |    28587     21 |        0 |        0
883.90/884.38	c  884s |      17 |  1160781 |   283432 |    28587     21 |        0 |        0
886.21/886.67	c  886s |      17 |  1161426 |   284032 |    28587     21 |        0 |        0
888.41/888.88	c  888s |      17 |  1161981 |   284532 |    28587     21 |        0 |        0
890.50/890.95	c  890s |      17 |  1162565 |   285032 |    28587     21 |        0 |        0
892.91/893.36	c  893s |      17 |  1163266 |   285632 |    28587     21 |        0 |        0
895.01/895.46	c  895s |      17 |  1163823 |   286132 |    28587     21 |        0 |        0
897.31/897.71	c  897s |      17 |  1170526 |   286632 |    28587     21 |        0 |        0
899.30/899.72	c  899s |      17 |  1173789 |   287132 |    28587     21 |        0 |        0
901.71/902.11	c  901s |      17 |  1174950 |   287732 |    28587     21 |        0 |        0
903.81/904.25	c  904s |      17 |  1175488 |   288232 |    28587     21 |        0 |        0
905.90/906.37	c  906s |      17 |  1175811 |   288532 |    28587     22 |        0 |        0
908.80/909.23	c  909s |      17 |  1176500 |   289132 |    28587     22 |        0 |        0
910.80/911.29	c  911s |      17 |  1177287 |   289832 |    28587     22 |        0 |        0
913.10/913.52	c  913s |      17 |  1178175 |   290632 |    28587     22 |        0 |        0
915.40/915.81	c  915s |      17 |  1179054 |   291432 |    28587     22 |        0 |        0
917.40/917.87	c  917s |      17 |  1179847 |   292132 |    28587     22 |        0 |        0
919.50/919.95	c  919s |      17 |  1180619 |   292832 |    28587     22 |        0 |        0
921.59/922.01	c  921s |      17 |  1181643 |   293432 |    28587     22 |        0 |        0
923.60/924.05	c  923s |      17 |  1182314 |   294032 |    28587     22 |        0 |        0
925.80/926.25	c  926s |      17 |  1183104 |   294732 |    31446     22 |        0 |        0
928.00/928.43	c  928s |      17 |  1183878 |   295432 |    31446     22 |        0 |        0
930.20/930.65	c  930s |      17 |  1184523 |   296032 |    31446     22 |        0 |        0
930.99/931.41	c  931s |      18 |  1184769 |   296252 |    31446     22 |        0 |        0
933.10/933.53	c  933s |      18 |  1196584 |   296652 |    31446     22 |        0 |        0
935.40/935.85	c  935s |      18 |  1199802 |   297352 |    31446     22 |        0 |        0
937.60/938.03	c  937s |      18 |  1203088 |   298052 |    31446     22 |        0 |        0
939.80/940.23	c  940s |      18 |  1203745 |   298652 |    31446     22 |        0 |        0
942.00/942.45	c  942s |      18 |  1204531 |   299352 |    31446     22 |        0 |        0
944.30/944.74	c  944s |      18 |  1205984 |   299952 |    31446     22 |        0 |        0
946.40/946.86	c  946s |      18 |  1215721 |   300552 |    31446     22 |        0 |        0
948.60/949.07	c  948s |      18 |  1250346 |   301252 |    31446     22 |        0 |        0
951.00/951.49	c  951s |      18 |  1251514 |   301852 |    31446     22 |        0 |        0
953.31/953.72	c  953s |      18 |  1252063 |   302352 |    31446     22 |        0 |        0
955.50/955.93	c  955s |      18 |  1252609 |   302852 |    31446     22 |        0 |        0
957.60/958.05	c  957s |      18 |  1253192 |   303352 |    31446     22 |        0 |        0
959.80/960.21	c  959s |      18 |  1253731 |   303852 |    31446     22 |        0 |        0
961.80/962.25	c  962s |      18 |  1254543 |   304352 |    31446     22 |        0 |        0
963.90/964.38	c  964s |      18 |  1256287 |   304852 |    31446     22 |        0 |        0
966.00/966.43	c  966s |      18 |  1258817 |   305352 |    31446     22 |        0 |        0
968.90/969.31	c  969s |      18 |  1286110 |   305852 |    31446     23 |        0 |        0
971.10/971.55	c  971s |      18 |  1287161 |   306452 |    31446     23 |        0 |        0
973.20/973.61	c  973s |      18 |  1287819 |   307052 |    31446     23 |        0 |        0
975.30/975.71	c  975s |      18 |  1288473 |   307652 |    31446     23 |        0 |        0
977.29/977.72	c  977s |      18 |  1289401 |   308252 |    31446     23 |        0 |        0
979.29/979.79	c  979s |      18 |  1290091 |   308852 |    31446     23 |        0 |        0
981.49/981.95	c  981s |      18 |  1290902 |   309552 |    31446     23 |        0 |        0
983.69/984.17	c  983s |      18 |  1291688 |   310252 |    31446     23 |        0 |        0
985.99/986.41	c  986s |      18 |  1292467 |   310952 |    31446     23 |        0 |        0
988.19/988.66	c  988s |      18 |  1293258 |   311652 |    31446     23 |        0 |        0
990.29/990.76	c  990s |      18 |  1293916 |   312252 |    31446     23 |        0 |        0
992.39/992.84	c  992s |      18 |  1294563 |   312852 |    31446     23 |        0 |        0
994.59/995.08	c  994s |      18 |  1295362 |   313552 |    31446     23 |        0 |        0
996.89/997.34	c  997s |      18 |  1297848 |   313952 |    31446     23 |        0 |        0
998.99/999.44	c  999s |      18 |  1298619 |   314652 |    31446     23 |        0 |        0
1001.09/1001.53	c 1001s |      18 |  1299386 |   315352 |    31446     23 |        0 |        0
1003.19/1003.66	c 1003s |      18 |  1302972 |   315752 |    31446     23 |        0 |        0
1005.69/1006.18	c 1005s |      18 |  1303496 |   316252 |    31446     23 |        0 |        0
1007.89/1008.31	c 1008s |      18 |  1303934 |   316652 |    31446     23 |        0 |        0
1009.89/1010.36	c 1010s |      18 |  1304547 |   317052 |    31446     23 |        0 |        0
1012.29/1012.78	c 1012s |      18 |  1305105 |   317552 |    31446     23 |        0 |        0
1014.29/1014.79	c 1014s |      18 |  1305533 |   317952 |    31446     23 |        0 |        0
1016.39/1016.85	c 1016s |      18 |  1305953 |   318352 |    31446     23 |        0 |        0
1018.79/1019.23	c 1019s |      18 |  1306501 |   318852 |    31446     23 |        0 |        0
1021.09/1021.58	c 1021s |      18 |  1306931 |   319252 |    31446     23 |        0 |        0
1023.19/1023.69	c 1023s |      18 |  1307344 |   319652 |    31446     23 |        0 |        0
1025.59/1026.06	c 1025s |      18 |  1307778 |   320052 |    31446     23 |        0 |        0
1027.79/1028.24	c 1028s |      18 |  1308202 |   320452 |    31446     23 |        0 |        0
1029.89/1030.32	c 1030s |      18 |  1308636 |   320852 |    31446     23 |        0 |        0
1032.29/1032.70	c 1032s |      18 |  1309075 |   321252 |    31446     23 |        0 |        0
1034.79/1035.24	c 1035s |      18 |  1309509 |   321652 |    31446     23 |        0 |        0
1037.38/1037.80	c 1037s |      18 |  1310049 |   322152 |    31446     23 |        0 |        0
1039.58/1040.08	c 1039s |      18 |  1310370 |   322452 |    31446     24 |        0 |        0
1041.78/1042.22	c 1041s |      18 |  1310906 |   322952 |    31446     24 |        0 |        0
1043.88/1044.36	c 1044s |      18 |  1311427 |   323452 |    31446     24 |        0 |        0
1046.18/1046.66	c 1046s |      18 |  1312086 |   324052 |    31446     24 |        0 |        0
1048.28/1048.79	c 1048s |      18 |  1312623 |   324552 |    31446     24 |        0 |        0
1050.48/1051.00	c 1050s |      18 |  1313154 |   325052 |    31446     24 |        0 |        0
1052.88/1053.32	c 1053s |      18 |  1313701 |   325552 |    31446     24 |        0 |        0
1055.18/1055.65	c 1055s |      18 |  1314353 |   326152 |    31446     24 |        0 |        0
1057.48/1057.98	c 1057s |      18 |  1314998 |   326752 |    31446     24 |        0 |        0
1059.88/1060.35	c 1060s |      18 |  1315671 |   327352 |    31446     24 |        0 |        0
1062.29/1062.75	c 1062s |      18 |  1316320 |   327952 |    31446     24 |        0 |        0
1064.39/1064.89	c 1064s |      18 |  1316854 |   328452 |    31446     24 |        0 |        0
1066.48/1066.93	c 1066s |      18 |  1317401 |   328952 |    31446     24 |        0 |        0
1068.48/1068.96	c 1068s |      18 |  1317934 |   329452 |    31446     24 |        0 |        0
1070.88/1071.38	c 1071s |      18 |  1318474 |   329952 |    31446     24 |        0 |        0
1073.19/1073.62	c 1073s |      18 |  1319003 |   330452 |    31446     24 |        0 |        0
1075.28/1075.78	c 1075s |      18 |  1319461 |   330852 |    31446     24 |        0 |        0
1077.68/1078.11	c 1077s |      18 |  1320105 |   331452 |    31446     24 |        0 |        0
1080.08/1080.58	c 1080s |      18 |  1320774 |   332052 |    31446     24 |        0 |        0
1082.48/1082.91	c 1082s |      18 |  1321369 |   332552 |    31446     24 |        0 |        0
1084.68/1085.18	c 1084s |      18 |  1321924 |   333052 |    31446     24 |        0 |        0
1087.08/1087.56	c 1087s |      18 |  1322596 |   333652 |    31446     24 |        0 |        0
1089.37/1089.85	c 1089s |      18 |  1323132 |   334052 |    31446     24 |        0 |        0
1091.57/1092.05	c 1091s |      18 |  1323834 |   334652 |    31446     24 |        0 |        0
1093.97/1094.41	c 1094s |      18 |  1324518 |   335252 |    31446     24 |        0 |        0
1096.07/1096.58	c 1096s |      18 |  1325201 |   335852 |    31446     24 |        0 |        0
1098.17/1098.66	c 1098s |      18 |  1325858 |   336452 |    31446     24 |        0 |        0
1100.57/1101.00	c 1100s |      18 |  1326540 |   337052 |    31446     24 |        0 |        0
1102.98/1103.42	c 1103s |      18 |  1327224 |   337652 |    31446     24 |        0 |        0
1105.08/1105.50	c 1105s |      18 |  1327802 |   338152 |    31446     24 |        0 |        0
1107.07/1107.56	c 1107s |      18 |  1328152 |   338452 |    31446     25 |        0 |        0
1109.17/1109.60	c 1109s |      18 |  1328844 |   339052 |    31446     25 |        0 |        0
1111.47/1111.93	c 1111s |      18 |  1329624 |   339752 |    31446     25 |        0 |        0
1113.77/1114.30	c 1114s |      18 |  1342846 |   340252 |    31446     25 |        0 |        0
1116.37/1116.82	c 1116s |      18 |  1368021 |   340852 |    31446     25 |        0 |        0
1118.77/1119.28	c 1119s |      18 |  1368801 |   341252 |    31446     25 |        0 |        0
1121.07/1121.52	c 1121s |      18 |  1369521 |   341752 |    31446     25 |        0 |        0
1123.27/1123.76	c 1123s |      18 |  1369961 |   342152 |    31446     25 |        0 |        0
1125.37/1125.86	c 1125s |      18 |  1370518 |   342652 |    31446     25 |        0 |        0
1127.67/1128.16	c 1127s |      18 |  1371180 |   343252 |    31446     25 |        0 |        0
1129.87/1130.36	c 1130s |      18 |  1371730 |   343752 |    31446     25 |        0 |        0
1131.97/1132.49	c 1132s |      18 |  1372303 |   344252 |    31446     25 |        0 |        0
1134.27/1134.78	c 1134s |      18 |  1372758 |   344652 |    31446     25 |        0 |        0
1136.57/1137.10	c 1136s |      18 |  1373320 |   345152 |    31446     25 |        0 |        0
1138.97/1139.46	c 1139s |      18 |  1373893 |   345652 |    31446     25 |        0 |        0
1141.17/1141.67	c 1141s |      18 |  1374429 |   346152 |    31446     25 |        0 |        0
1143.67/1144.18	c 1143s |      18 |  1374977 |   346652 |    31446     25 |        0 |        0
1145.87/1146.39	c 1146s |      18 |  1375517 |   347152 |    31446     25 |        0 |        0
1148.27/1148.79	c 1148s |      18 |  1376073 |   347652 |    31446     25 |        0 |        0
1150.57/1151.03	c 1150s |      18 |  1383778 |   348152 |    31446     25 |        0 |        0
1152.86/1153.33	c 1153s |      18 |  1384431 |   348752 |    31446     25 |        0 |        0
1155.26/1155.73	c 1155s |      18 |  1385238 |   349252 |    31446     25 |        0 |        0
1157.76/1158.22	c 1157s |      18 |  1385778 |   349752 |    31446     25 |        0 |        0
1159.86/1160.38	c 1160s |      18 |  1386227 |   350152 |    31446     25 |        0 |        0
1161.96/1162.41	c 1162s |      18 |  1386689 |   350552 |    31446     25 |        0 |        0
1164.06/1164.52	c 1164s |      18 |  1389483 |   351052 |    31446     25 |        0 |        0
1166.26/1166.79	c 1166s |      18 |  1390163 |   351652 |    31446     25 |        0 |        0
1168.56/1169.08	c 1168s |      18 |  1390826 |   352252 |    31446     25 |        0 |        0
1170.66/1171.15	c 1170s |      18 |  1391385 |   352752 |    31446     25 |        0 |        0
1172.66/1173.19	c 1172s |      18 |  1391930 |   353252 |    31446     25 |        0 |        0
1174.86/1175.30	c 1175s |      18 |  1392480 |   353752 |    31446     25 |        0 |        0
1176.96/1177.43	c 1177s |      18 |  1393034 |   354252 |    31446     25 |        0 |        0
1179.66/1180.14	c 1179s |      18 |  1393582 |   354752 |    31446     26 |        0 |        0
1181.86/1182.38	c 1182s |      18 |  1394018 |   355152 |    31446     26 |        0 |        0
1184.06/1184.58	c 1184s |      18 |  1394692 |   355752 |    31446     26 |        0 |        0
1186.47/1186.91	c 1186s |      18 |  1395324 |   356352 |    31446     26 |        0 |        0
1188.56/1189.06	c 1188s |      18 |  1396009 |   356952 |    31446     26 |        0 |        0
1190.76/1191.26	c 1191s |      18 |  1396663 |   357552 |    31446     26 |        0 |        0
1193.17/1193.63	c 1193s |      18 |  1397325 |   358152 |    31446     26 |        0 |        0
1195.16/1195.69	c 1195s |      18 |  1397882 |   358652 |    31446     26 |        0 |        0
1197.36/1197.87	c 1197s |      18 |  1398463 |   359152 |    31446     26 |        0 |        0
1199.46/1199.94	c 1199s |      18 |  1398916 |   359552 |    31446     26 |        0 |        0
1201.56/1202.05	c 1201s |      18 |  1399382 |   359952 |    31446     26 |        0 |        0
1203.66/1204.18	c 1203s |      18 |  1399831 |   360352 |    31446     26 |        0 |        0
1205.96/1206.40	c 1206s |      18 |  1400303 |   360752 |    31446     26 |        0 |        0
1208.06/1208.54	c 1208s |      18 |  1400756 |   361152 |    31446     26 |        0 |        0
1210.16/1210.61	c 1210s |      18 |  1401201 |   361552 |    31446     26 |        0 |        0
1212.46/1212.91	c 1212s |      18 |  1401645 |   361952 |    31446     26 |        0 |        0
1214.46/1214.96	c 1214s |      18 |  1402104 |   362352 |    31446     26 |        0 |        0
1216.66/1217.14	c 1216s |      18 |  1402585 |   362752 |    31446     26 |        0 |        0
1219.05/1219.58	c 1219s |      18 |  1403133 |   363252 |    31446     26 |        0 |        0
1221.25/1221.74	c 1221s |      18 |  1403700 |   363752 |    31446     26 |        0 |        0
1223.75/1224.20	c 1223s |      18 |  1404245 |   364252 |    31446     26 |        0 |        0
1226.06/1226.60	c 1226s |      18 |  1404775 |   364752 |    31446     26 |        0 |        0
1228.36/1228.85	c 1228s |      18 |  1405223 |   365152 |    31446     26 |        0 |        0
1230.65/1231.17	c 1230s |      18 |  1405682 |   365552 |    31446     26 |        0 |        0
1232.76/1233.25	c 1233s |      18 |  1406585 |   365952 |    31446     26 |        0 |        0
1234.86/1235.35	c 1235s |      18 |  1407029 |   366352 |    31446     26 |        0 |        0
1236.95/1237.47	c 1237s |      18 |  1407467 |   366752 |    31446     26 |        0 |        0
1239.55/1240.01	c 1239s |      18 |  1408021 |   367252 |    31446     26 |        0 |        0
1241.56/1242.04	c 1241s |      18 |  1408459 |   367652 |    31446     26 |        0 |        0
1244.05/1244.54	c 1244s |      18 |  1409011 |   368152 |    31446     26 |        0 |        0
1246.55/1247.02	c 1246s |      18 |  1409560 |   368652 |    31446     26 |        0 |        0
1248.65/1249.16	c 1248s |      18 |  1409990 |   369052 |    31446     26 |        0 |        0
1250.95/1251.40	c 1251s |      18 |  1410418 |   369452 |    31446     26 |        0 |        0
1253.15/1253.62	c 1253s |      18 |  1410879 |   369852 |    31446     26 |        0 |        0
1255.25/1255.72	c 1255s |      18 |  1411319 |   370252 |    31446     26 |        0 |        0
1257.35/1257.86	c 1257s |      18 |  1411771 |   370652 |    31446     26 |        0 |        0
1259.55/1260.07	c 1259s |      18 |  1411988 |   370852 |    31446     27 |        0 |        0
1261.55/1262.07	c 1261s |      18 |  1412425 |   371252 |    31446     27 |        0 |        0
1263.64/1264.12	c 1263s |      18 |  1412862 |   371652 |    31446     27 |        0 |        0
1265.84/1266.33	c 1266s |      18 |  1413411 |   372152 |    31446     27 |        0 |        0
1267.95/1268.43	c 1268s |      18 |  1413958 |   372652 |    31446     27 |        0 |        0
1270.05/1270.55	c 1270s |      18 |  1414507 |   373152 |    31446     27 |        0 |        0
1272.14/1272.60	c 1272s |      18 |  1415062 |   373652 |    31446     27 |        0 |        0
1274.74/1275.28	c 1275s |      18 |  1415762 |   374252 |    31446     27 |        0 |        0
1277.04/1277.58	c 1277s |      18 |  1416445 |   374852 |    31446     27 |        0 |        0
1279.14/1279.62	c 1279s |      18 |  1417001 |   375352 |    31446     27 |        0 |        0
1281.34/1281.84	c 1281s |      18 |  1417550 |   375852 |    31446     27 |        0 |        0
1283.44/1283.97	c 1283s |      18 |  1418120 |   376352 |    31446     27 |        0 |        0
1285.64/1286.17	c 1285s |      18 |  1418655 |   376852 |    31446     27 |        0 |        0
1287.75/1288.23	c 1288s |      18 |  1419092 |   377252 |    31446     27 |        0 |        0
1290.05/1290.56	c 1290s |      18 |  1419637 |   377752 |    31446     27 |        0 |        0
1292.45/1292.95	c 1292s |      18 |  1420187 |   378252 |    31446     27 |        0 |        0
1294.95/1295.42	c 1295s |      18 |  1420725 |   378752 |    31446     27 |        0 |        0
1297.35/1297.82	c 1297s |      18 |  1421260 |   379252 |    31446     27 |        0 |        0
1299.75/1300.26	c 1300s |      18 |  1421812 |   379752 |    31446     27 |        0 |        0
1302.25/1302.76	c 1302s |      18 |  1422334 |   380252 |    31446     27 |        0 |        0
1304.64/1305.16	c 1304s |      18 |  1422905 |   380752 |    31446     27 |        0 |        0
1306.94/1307.48	c 1307s |      18 |  1423468 |   381252 |    31446     27 |        0 |        0
1309.14/1309.61	c 1309s |      18 |  1423898 |   381652 |    31446     27 |        0 |        0
1311.14/1311.62	c 1311s |      18 |  1424337 |   382052 |    31446     27 |        0 |        0
1314.94/1315.47	c 1315s |      18 |  1433166 |   382552 |    31446     27 |        0 |        0
1317.24/1317.80	c 1317s |      18 |  1464096 |   383052 |    31446     27 |        0 |        0
1319.74/1320.23	c 1320s |      18 |  1464538 |   383452 |    31446     27 |        0 |        0
1322.04/1322.57	c 1322s |      18 |  1465042 |   383852 |    31446     27 |        0 |        0
1324.24/1324.71	c 1324s |      18 |  1481857 |   384452 |    31446     27 |        0 |        0
1326.74/1327.21	c 1326s |      18 |  1512318 |   385052 |    31446     27 |        0 |        0
1328.84/1329.32	c 1329s |      18 |  1512770 |   385452 |    31446     27 |        0 |        0
1330.84/1331.37	c 1331s |      18 |  1513200 |   385852 |    31446     27 |        0 |        0
1332.94/1333.48	c 1333s |      18 |  1513662 |   386252 |    31446     27 |        0 |        0
1335.24/1335.70	c 1335s |      18 |  1514131 |   386652 |    31446     27 |        0 |        0
1337.64/1338.16	c 1337s |      18 |  1514566 |   387052 |    31446     27 |        0 |        0
1339.94/1340.49	c 1340s |      18 |  1514785 |   387252 |    31446     28 |        0 |        0
1342.34/1342.84	c 1342s |      18 |  1515351 |   387752 |    31446     28 |        0 |        0
1344.63/1345.15	c 1344s |      18 |  1516078 |   388352 |    31446     28 |        0 |        0
1346.83/1347.30	c 1347s |      18 |  1516789 |   388952 |    31446     28 |        0 |        0
1348.93/1349.49	c 1349s |      18 |  1517461 |   389552 |    31446     28 |        0 |        0
1351.13/1351.67	c 1351s |      18 |  1518158 |   390152 |    31446     28 |        0 |        0
1353.53/1354.02	c 1353s |      18 |  1518823 |   390752 |    31446     28 |        0 |        0
1355.53/1356.08	c 1355s |      18 |  1519392 |   391252 |    31446     28 |        0 |        0
1357.83/1358.39	c 1358s |      18 |  1520060 |   391852 |    31446     28 |        0 |        0
1360.24/1360.75	c 1360s |      18 |  1520768 |   392452 |    31446     28 |        0 |        0
1362.63/1363.10	c 1362s |      18 |  1521429 |   393052 |    31446     28 |        0 |        0
1364.74/1365.24	c 1365s |      18 |  1522011 |   393552 |    31446     28 |        0 |        0
1366.73/1367.26	c 1367s |      18 |  1522609 |   394052 |    31446     28 |        0 |        0
1368.73/1369.26	c 1369s |      18 |  1523188 |   394552 |    31446     28 |        0 |        0
1370.83/1371.38	c 1371s |      18 |  1523790 |   395052 |    31446     28 |        0 |        0
1372.83/1373.39	c 1373s |      18 |  1524409 |   395552 |    31446     28 |        0 |        0
1374.93/1375.47	c 1375s |      18 |  1524982 |   396052 |    31446     28 |        0 |        0
1377.13/1377.61	c 1377s |      18 |  1525592 |   396552 |    31446     28 |        0 |        0
1379.43/1379.91	c 1379s |      18 |  1526182 |   397052 |    31446     28 |        0 |        0
1381.43/1381.94	c 1381s |      18 |  1526630 |   397452 |    31446     28 |        0 |        0
1383.73/1384.22	c 1383s |      18 |  1527265 |   397952 |    31446     28 |        0 |        0
1385.93/1386.44	c 1386s |      18 |  1527852 |   398452 |    31446     28 |        0 |        0
1388.13/1388.64	c 1388s |      18 |  1528461 |   398952 |    31446     28 |        0 |        0
1390.33/1390.89	c 1390s |      18 |  1529097 |   399452 |    31446     28 |        0 |        0
1392.63/1393.11	c 1392s |      18 |  1529662 |   399952 |    31446     28 |        0 |        0
1394.93/1395.40	c 1395s |      18 |  1530281 |   400452 |    31446     28 |        0 |        0
1397.12/1397.60	c 1397s |      18 |  1530876 |   400952 |    31446     28 |        0 |        0
1399.32/1399.87	c 1399s |      18 |  1553722 |   401452 |    31446     28 |        0 |        0
1401.72/1402.24	c 1402s |      18 |  1570921 |   401952 |    31446     28 |        0 |        0
1404.02/1404.55	c 1404s |      18 |  1571682 |   402452 |    31446     28 |        0 |        0
1406.32/1406.84	c 1406s |      18 |  1572125 |   402852 |    31446     28 |        0 |        0
1409.73/1410.26	c 1410s |      18 |  1572571 |   403252 |    31446     29 |        0 |        0
1412.03/1412.57	c 1412s |      18 |  1573725 |   403752 |    31446     29 |        0 |        0
1414.23/1414.78	c 1414s |      18 |  1574306 |   404252 |    31446     29 |        0 |        0
1416.33/1416.87	c 1416s |      18 |  1574872 |   404752 |    31446     29 |        0 |        0
1418.42/1418.99	c 1418s |      18 |  1575409 |   405252 |    31446     29 |        0 |        0
1420.62/1421.19	c 1420s |      18 |  1575985 |   405752 |    31446     29 |        0 |        0
1422.92/1423.50	c 1423s |      18 |  1576687 |   406352 |    31446     29 |        0 |        0
1425.22/1425.73	c 1425s |      18 |  1577247 |   406852 |    31446     29 |        0 |        0
1427.32/1427.88	c 1427s |      18 |  1577805 |   407352 |    31446     29 |        0 |        0
1429.52/1430.01	c 1429s |      18 |  1578437 |   407852 |    31446     29 |        0 |        0
1431.82/1432.35	c 1432s |      18 |  1579135 |   408452 |    31446     29 |        0 |        0
1433.83/1434.38	c 1434s |      18 |  1579676 |   408952 |    31446     29 |        0 |        0
1436.32/1436.80	c 1436s |      18 |  1580331 |   409552 |    31446     29 |        0 |        0
1438.62/1439.14	c 1438s |      18 |  1580995 |   410152 |    31446     29 |        0 |        0
1440.63/1441.15	c 1440s |      18 |  1581539 |   410652 |    31446     29 |        0 |        0
1442.62/1443.16	c 1442s |      18 |  1582094 |   411152 |    31446     29 |        0 |        0
1444.72/1445.20	c 1444s |      18 |  1582650 |   411652 |    31446     29 |        0 |        0
1446.82/1447.39	c 1447s |      18 |  1583234 |   412152 |    31446     29 |        0 |        0
1449.02/1449.52	c 1449s |      18 |  1583785 |   412652 |    31446     29 |        0 |        0
1451.02/1451.53	c 1451s |      18 |  1584236 |   413052 |    31446     29 |        0 |        0
1453.42/1453.94	c 1453s |      18 |  1584787 |   413552 |    31446     29 |        0 |        0
1455.82/1456.30	c 1456s |      18 |  1585340 |   414052 |    31446     29 |        0 |        0
1458.23/1458.75	c 1458s |      18 |  1585866 |   414552 |    31446     29 |        0 |        0
1460.33/1460.87	c 1460s |      18 |  1586330 |   414952 |    31446     29 |        0 |        0
1462.42/1462.91	c 1462s |      18 |  1586784 |   415352 |    31446     29 |        0 |        0
1464.92/1465.41	c 1465s |      18 |  1587355 |   415852 |    31446     29 |        0 |        0
1467.32/1467.82	c 1467s |      18 |  1587927 |   416352 |    31446     29 |        0 |        0
1469.42/1469.91	c 1469s |      18 |  1589231 |   416752 |    31446     29 |        0 |        0
1471.43/1471.91	c 1471s |      18 |  1589728 |   417152 |    31446     29 |        0 |        0
1473.92/1474.47	c 1474s |      18 |  1590356 |   417652 |    31446     29 |        0 |        0
1475.92/1476.50	c 1476s |      18 |  1590827 |   418052 |    31446     29 |        0 |        0
1478.42/1478.96	c 1478s |      18 |  1591431 |   418552 |    31446     29 |        0 |        0
1480.62/1481.12	c 1480s |      18 |  1591904 |   418952 |    31446     29 |        0 |        0
1483.71/1484.20	c 1483s |      18 |  1592355 |   419352 |    31446     30 |        0 |        0
1486.01/1486.53	c 1486s |      18 |  1593029 |   419952 |    31446     30 |        0 |        0
1488.21/1488.70	c 1488s |      18 |  1593748 |   420552 |    31446     30 |        0 |        0
1490.21/1490.76	c 1490s |      18 |  1594320 |   421052 |    31446     30 |        0 |        0
1492.22/1492.79	c 1492s |      18 |  1594891 |   421552 |    31446     30 |        0 |        0
1494.61/1495.17	c 1494s |      18 |  1595573 |   422152 |    31446     30 |        0 |        0
1497.01/1497.50	c 1497s |      18 |  1599169 |   422652 |    31446     30 |        0 |        0
1499.31/1499.88	c 1499s |      18 |  1599823 |   423252 |    31446     30 |        0 |        0
1501.51/1502.08	c 1501s |      18 |  1600480 |   423852 |    31446     30 |        0 |        0
1503.71/1504.27	c 1504s |      18 |  1601037 |   424352 |    31446     30 |        0 |        0
1506.11/1506.64	c 1506s |      18 |  1602628 |   424852 |    31446     30 |        0 |        0
1508.21/1508.70	c 1508s |      18 |  1603119 |   425252 |    31446     30 |        0 |        0
1510.31/1510.88	c 1510s |      18 |  1603543 |   425652 |    31446     30 |        0 |        0
1512.41/1512.90	c 1512s |      18 |  1603986 |   426052 |    31446     30 |        0 |        0
1514.51/1515.02	c 1514s |      18 |  1604450 |   426452 |    31446     30 |        0 |        0
1516.61/1517.11	c 1516s |      18 |  1604911 |   426852 |    31446     30 |        0 |        0
1518.81/1519.31	c 1519s |      18 |  1605336 |   427252 |    31446     30 |        0 |        0
1520.91/1521.44	c 1521s |      18 |  1609776 |   427652 |    31446     30 |        0 |        0
1523.01/1523.57	c 1523s |      18 |  1610216 |   428052 |    31446     30 |        0 |        0
1525.51/1526.09	c 1525s |      18 |  1610778 |   428552 |    31446     30 |        0 |        0
1527.90/1528.49	c 1528s |      18 |  1611340 |   429052 |    31446     30 |        0 |        0
1530.00/1530.51	c 1530s |      18 |  1611775 |   429452 |    31446     30 |        0 |        0
1532.10/1532.60	c 1532s |      18 |  1612213 |   429852 |    31446     30 |        0 |        0
1534.11/1534.67	c 1534s |      18 |  1612679 |   430252 |    31446     30 |        0 |        0
1536.60/1537.10	c 1536s |      18 |  1613228 |   430752 |    31446     30 |        0 |        0
1539.00/1539.54	c 1539s |      18 |  1613787 |   431252 |    31446     30 |        0 |        0
1541.20/1541.77	c 1541s |      18 |  1614237 |   431652 |    31446     30 |        0 |        0
1543.60/1544.12	c 1543s |      18 |  1614675 |   432052 |    31446     30 |        0 |        0
1545.80/1546.37	c 1546s |      18 |  1615102 |   432452 |    31446     30 |        0 |        0
1548.20/1548.79	c 1548s |      18 |  1615650 |   432952 |    31446     30 |        0 |        0
1550.40/1550.91	c 1550s |      18 |  1616086 |   433352 |    31446     30 |        0 |        0
1552.50/1553.01	c 1552s |      18 |  1616522 |   433752 |    31446     30 |        0 |        0
1554.60/1555.19	c 1554s |      18 |  1616961 |   434152 |    31446     30 |        0 |        0
1557.00/1557.57	c 1557s |      18 |  1617399 |   434552 |    31446     30 |        0 |        0
1559.41/1559.99	c 1559s |      18 |  1617861 |   434952 |    31446     30 |        0 |        0
1561.80/1562.34	c 1562s |      18 |  1618292 |   435352 |    31446     30 |        0 |        0
1564.10/1564.69	c 1564s |      18 |  1618615 |   435652 |    31446     31 |        0 |        0
1566.30/1566.88	c 1566s |      18 |  1619165 |   436152 |    31446     31 |        0 |        0
1568.50/1569.05	c 1568s |      18 |  1619712 |   436652 |    31446     31 |        0 |        0
1570.80/1571.39	c 1571s |      18 |  1620233 |   437152 |    31446     31 |        0 |        0
1572.90/1573.49	c 1573s |      18 |  1620770 |   437652 |    31446     31 |        0 |        0
1575.00/1575.55	c 1575s |      18 |  1621214 |   438052 |    31446     31 |        0 |        0
1577.30/1577.83	c 1577s |      18 |  1621887 |   438652 |    31446     31 |        0 |        0
1579.39/1579.96	c 1579s |      18 |  1622440 |   439152 |    31446     31 |        0 |        0
1581.69/1582.20	c 1581s |      18 |  1623001 |   439652 |    31446     31 |        0 |        0
1583.89/1584.43	c 1584s |      18 |  1623531 |   440152 |    31446     31 |        0 |        0
1586.19/1586.78	c 1586s |      18 |  1624097 |   440652 |    31446     31 |        0 |        0
1588.29/1588.85	c 1588s |      18 |  1624536 |   441052 |    31446     31 |        0 |        0
1590.49/1591.04	c 1590s |      18 |  1624975 |   441452 |    34591     31 |        0 |        0
1592.49/1593.09	c 1592s |      18 |  1625404 |   441852 |    34591     31 |        0 |        0
1594.60/1595.16	c 1594s |      18 |  1625843 |   442252 |    34591     31 |        0 |        0
1596.70/1597.30	c 1597s |      18 |  1626268 |   442652 |    34591     31 |        0 |        0
1598.90/1599.40	c 1599s |      18 |  1626716 |   443052 |    34591     31 |        0 |        0
1600.99/1601.60	c 1601s |      18 |  1627148 |   443452 |    34591     31 |        0 |        0
1603.60/1604.11	c 1603s |      18 |  1630647 |   443652 |    34591     31 |        0 |        0
1605.70/1606.21	c 1605s |      18 |  1631083 |   444052 |    34591     31 |        0 |        0
1607.81/1608.32	c 1608s |      19 |  1631561 |   444482 |    34591     31 |        0 |        0
1609.90/1610.41	c 1610s |      19 |  1642556 |   444782 |    34591     31 |        0 |        0
1612.10/1612.62	c 1612s |      19 |  1649698 |   445382 |    34591     31 |        0 |        0
1614.20/1614.76	c 1614s |      19 |  1650276 |   445882 |    34591     31 |        0 |        0
1616.30/1616.83	c 1616s |      19 |  1650853 |   446382 |    34591     31 |        0 |        0
1618.30/1618.88	c 1618s |      19 |  1651429 |   446882 |    34591     31 |        0 |        0
1620.40/1620.93	c 1620s |      19 |  1655140 |   447382 |    34591     31 |        0 |        0
1622.70/1623.29	c 1623s |      19 |  1655874 |   447982 |    34591     31 |        0 |        0
1624.80/1625.39	c 1625s |      19 |  1656454 |   448482 |    34591     31 |        0 |        0
1627.09/1627.66	c 1627s |      19 |  1657163 |   449082 |    34591     31 |        0 |        0
1629.59/1630.10	c 1629s |      19 |  1657834 |   449682 |    34591     31 |        0 |        0
1632.00/1632.52	c 1632s |      19 |  1663294 |   450182 |    34591     31 |        0 |        0
1634.10/1634.70	c 1634s |      19 |  1663824 |   450682 |    34591     31 |        0 |        0
1636.49/1637.05	c 1636s |      19 |  1664517 |   451282 |    34591     31 |        0 |        0
1638.99/1639.54	c 1639s |      19 |  1696682 |   451982 |    34591     31 |        0 |        0
1640.99/1641.58	c 1641s |      19 |  1725066 |   452482 |    34591     31 |        0 |        0
1643.29/1643.90	c 1643s |      19 |  1727622 |   452982 |    34591     31 |        0 |        0
1645.79/1646.32	c 1646s |      19 |  1728195 |   453482 |    34591     31 |        0 |        0
1648.19/1648.70	c 1648s |      19 |  1728782 |   453982 |    34591     31 |        0 |        0
1650.19/1650.72	c 1650s |      19 |  1729209 |   454382 |    34591     31 |        0 |        0
1652.49/1653.07	c 1652s |      19 |  1729527 |   454682 |    34591     32 |        0 |        0
1654.69/1655.26	c 1655s |      19 |  1729948 |   455082 |    34591     32 |        0 |        0
1656.89/1657.46	c 1657s |      19 |  1733427 |   455682 |    34591     32 |        0 |        0
1659.09/1659.64	c 1659s |      19 |  1733988 |   456182 |    34591     32 |        0 |        0
1661.39/1661.99	c 1661s |      19 |  1734542 |   456682 |    34591     32 |        0 |        0
1663.69/1664.30	c 1664s |      19 |  1735247 |   457282 |    34591     32 |        0 |        0
1666.19/1666.73	c 1666s |      19 |  1735946 |   457882 |    34591     32 |        0 |        0
1668.19/1668.79	c 1668s |      19 |  1736526 |   458382 |    34591     32 |        0 |        0
1670.59/1671.13	c 1670s |      19 |  1737268 |   458982 |    34591     32 |        0 |        0
1672.78/1673.39	c 1673s |      19 |  1737975 |   459582 |    34591     32 |        0 |        0
1675.08/1675.62	c 1675s |      19 |  1738668 |   460182 |    34591     32 |        0 |        0
1677.28/1677.87	c 1677s |      19 |  1739303 |   460682 |    34591     32 |        0 |        0
1679.29/1679.87	c 1679s |      19 |  1739834 |   461182 |    34591     32 |        0 |        0
1681.68/1682.20	c 1681s |      19 |  1740503 |   461782 |    34591     32 |        0 |        0
1683.69/1684.22	c 1683s |      19 |  1741096 |   462282 |    34591     32 |        0 |        0
1685.79/1686.33	c 1686s |      19 |  1741677 |   462782 |    34591     32 |        0 |        0
1687.78/1688.35	c 1688s |      19 |  1743464 |   463282 |    34591     32 |        0 |        0
1689.78/1690.38	c 1690s |      19 |  1751135 |   463682 |    34591     32 |        0 |        0
1691.88/1692.47	c 1692s |      19 |  1754409 |   464082 |    34591     32 |        0 |        0
1694.28/1694.84	c 1694s |      19 |  1755036 |   464582 |    34591     32 |        0 |        0
1696.68/1697.24	c 1697s |      19 |  1755613 |   465082 |    34591     32 |        0 |        0
1698.78/1699.39	c 1699s |      19 |  1756196 |   465582 |    34591     32 |        0 |        0
1700.88/1701.48	c 1701s |      19 |  1760159 |   466082 |    34591     32 |        0 |        0
1703.18/1703.77	c 1703s |      19 |  1760905 |   466682 |    34591     32 |        0 |        0
1705.48/1706.07	c 1705s |      19 |  1761654 |   467282 |    34591     32 |        0 |        0
1707.68/1708.29	c 1708s |      19 |  1763118 |   467782 |    34591     32 |        0 |        0
1709.88/1710.42	c 1710s |      19 |  1763732 |   468282 |    34591     32 |        0 |        0
1712.08/1712.64	c 1712s |      19 |  1764448 |   468882 |    34591     32 |        0 |        0
1714.18/1714.78	c 1714s |      19 |  1765039 |   469382 |    34591     32 |        0 |        0
1716.38/1716.97	c 1716s |      19 |  1765650 |   469882 |    34591     32 |        0 |        0
1718.58/1719.11	c 1718s |      19 |  1766296 |   470382 |    34591     32 |        0 |        0
1720.68/1721.27	c 1721s |      19 |  1766903 |   470882 |    34591     32 |        0 |        0
1722.88/1723.46	c 1723s |      19 |  1767488 |   471382 |    34591     32 |        0 |        0
1725.17/1725.70	c 1725s |      19 |  1768033 |   471882 |    34591     32 |        0 |        0
1727.97/1728.56	c 1728s |      19 |  1768634 |   472382 |    34591     33 |        0 |        0
1730.07/1730.68	c 1730s |      19 |  1769483 |   473082 |    34591     33 |        0 |        0
1732.47/1733.08	c 1732s |      19 |  1770664 |   473782 |    34591     33 |        0 |        0
1734.67/1735.23	c 1735s |      19 |  1776726 |   473982 |    34591     33 |        0 |        0
1736.97/1737.56	c 1737s |      19 |  1781592 |   474682 |    34591     33 |        0 |        0
1739.27/1739.80	c 1739s |      19 |  1782457 |   475382 |    34591     33 |        0 |        0
1741.37/1741.93	c 1741s |      19 |  1783129 |   475982 |    34591     33 |        0 |        0
1743.47/1744.04	c 1743s |      19 |  1783869 |   476582 |    34591     33 |        0 |        0
1745.57/1746.10	c 1745s |      19 |  1784574 |   477182 |    34591     33 |        0 |        0
1747.67/1748.30	c 1748s |      19 |  1785231 |   477782 |    34591     33 |        0 |        0
1749.97/1750.56	c 1750s |      19 |  1785927 |   478382 |    34591     33 |        0 |        0
1752.17/1752.72	c 1752s |      19 |  1786612 |   478982 |    34591     33 |        0 |        0
1754.47/1755.02	c 1754s |      19 |  1787315 |   479582 |    34591     33 |        0 |        0
1756.87/1757.40	c 1757s |      19 |  1787983 |   480182 |    34591     33 |        0 |        0
1759.27/1759.86	c 1759s |      19 |  1788661 |   480782 |    34591     33 |        0 |        0
1761.37/1761.97	c 1761s |      19 |  1789222 |   481282 |    34591     33 |        0 |        0
1763.57/1764.10	c 1763s |      19 |  1789797 |   481782 |    34591     33 |        0 |        0
1765.57/1766.13	c 1765s |      19 |  1790383 |   482282 |    34591     33 |        0 |        0
1767.97/1768.53	c 1768s |      19 |  1791065 |   482882 |    34591     33 |        0 |        0
1770.06/1770.67	c 1770s |      19 |  1791624 |   483382 |    34591     33 |        0 |        0
1772.56/1773.10	c 1772s |      19 |  1792319 |   483982 |    34591     33 |        0 |        0
1774.66/1775.25	c 1775s |      19 |  1792889 |   484482 |    34591     33 |        0 |        0
1776.86/1777.48	c 1777s |      19 |  1793425 |   484982 |    34591     33 |        0 |        0
1779.27/1779.87	c 1779s |      19 |  1794091 |   485582 |    34591     33 |        0 |        0
1781.36/1781.94	c 1781s |      19 |  1794655 |   486082 |    34591     33 |        0 |        0
1783.77/1784.33	c 1784s |      19 |  1795230 |   486582 |    34591     33 |        0 |        0
1786.16/1786.74	c 1786s |      19 |  1795783 |   487082 |    34591     33 |        0 |        0
1788.46/1789.05	c 1788s |      19 |  1796362 |   487582 |    34591     33 |        0 |        0
1790.66/1791.25	c 1791s |      19 |  1796956 |   488082 |    34591     33 |        0 |        0
1792.86/1793.49	c 1793s |      19 |  1797572 |   488582 |    34591     33 |        0 |        0
1795.26/1795.89	c 1795s |      19 |  1798129 |   489082 |    34591     33 |        0 |        0
1797.76/1798.35	c 1798s |      19 |  1798671 |   489582 |    34591     33 |        0 |        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-4090240-1466039077/watcher-4090240-1466039077 -o /tmp/evaluation-result-4090240-1466039077/solver-4090240-1466039077 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090240-1466039077.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.25 2.19 3/180 12672
/proc/meminfo: memFree=29325356/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 2591 0 0 0 0 0 0 0 20 0 4 0 5953449 712437760 2952 33554432000 4194304 16246674 140736307930432 140736307929856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 174447 2961 441 2943 0 171341 0
[pid=12672/tid=12673] ppid=12669 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 730263552 3019 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 734457856 3037 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5953449 739700736 3056 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100082 s]
/proc/loadavg: 2.26 2.25 2.19 3/180 12672
/proc/meminfo: memFree=29325356/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 25940 0 0 0 5 4 0 0 20 0 4 0 5953449 1249447936 26239 33554432000 4194304 16246674 140736307930432 140736307929744 5899833 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 305041 26245 833 2943 0 301935 0
[pid=12672/tid=12673] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 26251 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 26258 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 26263 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200541 s]
/proc/loadavg: 2.26 2.25 2.19 3/180 12672
/proc/meminfo: memFree=29325356/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 43725 0 0 0 12 7 0 0 20 0 4 0 5953449 1249447936 44023 33554432000 4194304 16246674 140736307930432 140736307912320 12457395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 305041 44032 835 2943 0 301935 0
[pid=12672/tid=12673] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 44037 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 44042 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 44047 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300504 s]
/proc/loadavg: 2.26 2.25 2.19 3/180 12672
/proc/meminfo: memFree=29325356/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 60419 0 0 0 20 9 0 0 20 0 4 0 5953449 1249447936 60717 33554432000 4194304 16246674 140736307930432 140736307912320 5831697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 305041 60725 873 2943 0 301935 0
[pid=12672/tid=12673] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 60729 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 60734 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 60738 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700376 s]
/proc/loadavg: 2.26 2.25 2.19 3/180 12672
/proc/meminfo: memFree=29325356/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 124926 0 0 0 51 18 0 0 20 0 4 0 5953449 1249447936 125224 33554432000 4194304 16246674 140736307930432 140736307912320 6018209 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 305041 125231 873 2943 0 301935 0
[pid=12672/tid=12673] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 125234 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 125238 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5953449 1249447936 125241 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50036 s]
/proc/loadavg: 2.26 2.25 2.19 3/184 12676
/proc/meminfo: memFree=28579608/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1297988 CPUtime=1.48 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 247535 0 0 0 114 34 0 0 20 0 4 0 5953449 1329139712 247833 33554432000 4194304 16246674 140736307930432 140736307929744 5661217 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 324497 247840 876 2943 0 321391 0
[pid=12672/tid=12673] ppid=12669 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1329139712 247844 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1329139712 247849 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1329139712 247852 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1297988

[startup+3.10039 s]
/proc/loadavg: 2.26 2.25 2.19 4/184 12676
/proc/meminfo: memFree=28262912/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 267586 0 0 0 272 37 0 0 20 0 4 0 5953449 1337528320 267884 33554432000 4194304 16246674 140736307930432 140736307912320 5673454 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 326545 267884 876 2943 0 323439 0
[pid=12672/tid=12673] ppid=12669 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1337528320 267884 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1337528320 267884 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1337528320 267884 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.24 2.24 2.19 3/184 12676
/proc/meminfo: memFree=28254148/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 267808 0 0 0 592 37 0 0 20 0 4 0 5953449 1338576896 268106 33554432000 4194304 16246674 140736307930432 140736307912320 5673315 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 326801 268106 882 2943 0 323695 0
[pid=12672/tid=12673] ppid=12669 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1338576896 268106 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1338576896 268106 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1338576896 268106 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.22 2.24 2.19 3/184 12676
/proc/meminfo: memFree=28252492/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 268239 0 0 0 1232 37 0 0 20 0 4 0 5953449 1339625472 268537 33554432000 4194304 16246674 140736307930432 140736307912320 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 327057 268537 882 2943 0 323951 0
[pid=12672/tid=12673] ppid=12669 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1339625472 268537 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1339625472 268537 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1339625472 268537 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.25 2.24 2.19 4/184 12676
/proc/meminfo: memFree=28252404/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 268239 0 0 0 2511 37 0 0 20 0 4 0 5953449 1339625472 268537 33554432000 4194304 16246674 140736307930432 140736307912320 5676564 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 327057 268537 882 2943 0 323951 0
[pid=12672/tid=12673] ppid=12669 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1339625472 268537 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1339625472 268537 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1339625472 268537 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.23 2.24 2.19 4/184 12676
/proc/meminfo: memFree=28251204/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1309252 CPUtime=51.07 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 268380 0 0 0 5070 37 0 0 20 0 4 0 5953449 1340674048 268665 33554432000 4194304 16246674 140736307930432 140736307912320 5754764 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12672/statm: 327313 268665 887 2943 0 324207 0
[pid=12672/tid=12673] ppid=12669 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1340674048 268665 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1340674048 268665 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1340674048 268665 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.28 2.26 2.19 4/184 12725
/proc/meminfo: memFree=28222404/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1322564 CPUtime=102.25 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 271878 0 0 0 10187 38 0 0 20 0 4 0 5953449 1354305536 272129 33554432000 4194304 16246674 140736307930432 140736307912320 6050109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 330641 272129 887 2943 0 327535 0
[pid=12672/tid=12673] ppid=12669 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1354305536 272129 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1354305536 272129 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1354305536 272129 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1322564


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

/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1378884

[startup+1302.3 s]
/proc/loadavg: 2.36 2.28 2.25 3/184 12756
/proc/meminfo: memFree=28135916/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1301.85 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 130137 48 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307929608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1378884

[startup+1362.3 s]
/proc/loadavg: 2.24 2.25 2.25 3/184 12757
/proc/meminfo: memFree=28135448/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1361.83 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 136135 48 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307912320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1378884

[startup+1422.3 s]
/proc/loadavg: 2.26 2.25 2.25 3/184 12758
/proc/meminfo: memFree=28135228/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1421.83 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 142135 48 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307912320 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1378884

[startup+1482.3 s]
/proc/loadavg: 2.35 2.28 2.26 3/183 12759
/proc/meminfo: memFree=28135484/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1481.82 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 148133 49 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307912320 5721521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1378884

[startup+1542.31 s]
/proc/loadavg: 2.52 2.32 2.27 3/189 12904
/proc/meminfo: memFree=28081284/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1541.81 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 154132 49 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307912320 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1378884

[startup+1602.3 s]
/proc/loadavg: 3.06 2.52 2.34 3/184 12968
/proc/meminfo: memFree=28045364/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1601.79 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 160130 49 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307929528 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1378884

[startup+1662.3 s]
/proc/loadavg: 2.66 2.49 2.34 3/183 12969
/proc/meminfo: memFree=28046368/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1661.79 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 166129 50 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307912320 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1378884

[startup+1722.3 s]
/proc/loadavg: 2.41 2.45 2.33 4/183 12970
/proc/meminfo: memFree=28046488/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1721.78 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 172128 50 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307912320 12875562 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1378884

[startup+1782.3 s]
/proc/loadavg: 2.28 2.40 2.32 4/183 12971
/proc/meminfo: memFree=28046132/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1781.76 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 178126 50 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307912320 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1378884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.34 2.40 2.32 3/183 12973
/proc/meminfo: memFree=28045500/32872528 swapFree=1401752/1579580
[pid=12672] ppid=12669 vsize=1378884 CPUtime=1800.06 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 5813 0 -1 4202496 286318 0 0 0 179956 50 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 140736307912320 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 344721 286209 887 2943 0 341615 0
[pid=12672/tid=12673] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747334794480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747324304624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 5813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5953449 1411977216 286209 33554432000 4194304 16246674 140736307930432 139747313831088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1378884

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.57
CPU system time (s): 0.509922
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1378884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.509922
maximum resident set size= 1144836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286318
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= 425
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47932 second user time and 7.05093 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 03:04:37
IDJOB=4090240
IDBENCH=107521
IDSOLVER=2542
FILE ID=node139/4090240-1466039077
RUNJOBID= node139-1466033607-11971
PBS_JOBID= 19902810
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/Instances3col_OPB/normalized-3col-almost3reg-l090-r089-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090240-1466039077/watcher-4090240-1466039077 -o /tmp/evaluation-result-4090240-1466039077/solver-4090240-1466039077 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090240-1466039077.opb

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

MD5SUM BENCH= 90253068a8645a663397fff0d99f47e9
RANDOM SEED=1091634040

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29325884 kB
Buffers:           29256 kB
Cached:           151376 kB
SwapCached:         8924 kB
Active:          1149076 kB
Inactive:         114988 kB
Active(anon):    1077216 kB
Inactive(anon):     8356 kB
Active(file):      71860 kB
Inactive(file):   106632 kB
Unevictable:     1579580 kB
Mlocked:         1401752 kB
SwapTotal:      67108856 kB
SwapFree:       67093328 kB
Dirty:             16736 kB
Writeback:             0 kB
AnonPages:       2656900 kB
Mapped:            10992 kB
Shmem:                 0 kB
Slab:             568468 kB
SReclaimable:      12628 kB
SUnreclaim:       555840 kB
KernelStack:        1528 kB
PageTables:         9336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2798008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1249280 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= 71596 MiB
End job on node139 at 2016-06-16 03:34:38