Trace number 4097982

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.06 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_10.opb
MD5SUM82724f5dc802f6e67469d14fb2bd7ac4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark386.1
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5550
Total number of constraints27089
Number of constraints which are clauses27084
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint74
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 84
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T01:18:02+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-4097982-1466119082.opb"]
0.00/0.01	c use --random-gen="2257870294 1353115763 2576201906 1747430937 2206052916 3827451469 2176408664 1949052064 2446701079 1158886945 1239666900 209763047 1830627299 3739334242 640727651 758626616 530610351 3198197818 2057737204 2793797399 1795320493 2992424313 3593879188 42554195 718803407 3300440962 1370153010 3181131665 1384098104 4170893086 191968095 2818697305 1050872983 3277949990 2172567858 2664952884 1498093721 1763366912 1540039705 1790458232 1247736761 1865540722 3886878410 1948990574 2225377264 663351613 684187642 1107229155 2690801877 4089410162 3064618639 3261472993 3112781892 2963327292 3770986555 2331629473 1981048948 3278930286 4270175427 748456597 480375912 4050440244 2917109067 529796655 2899066050 1929017773 2705914558 385212874 493342504 3379010174 4030706260 708723031 3460325112 1271480710 953578748 3455809459 971864512 4131719927 1421673428 992798167 2851510536 2621656415 917372647 4201103826 682886193 747009263 872153586 991388328 3275545324 662977406 541216801 889464193 3257192539 4259699935 647814218 2787854177 2027827115 1275247532 1704496996 1921810608 1808971879 3095343564 1375374051 3017446838 2506976113 3392770008 3909450607 1206006566 1042309287 1272377544 3845148168 505388656 3695197723 669386553 2758279076 2364420852 1990589881 2235306751 3654097335 2849197948 639794019 2319781709 2249982916 1075838412 2286396801 3342135027 2696462762 2260551320 4038705564 3282033376 2934957479 3610431004 62428058 841429930 2252033737 2191517973 1696796344 3028496654 3485553271 205164261 3850064072 1725472744 3890020450 4116161283 2126880077 923011584 1983390539 1065997526 3649811422 2600318486 2721174783 4172487509 686842166 3432162177 132990907 4166345135 2448804315 3928340798 1793470311 3330276557 985484831 1976886196 3742842544 1743183732 3417674918 3789626562 4076258405 1143856636 2742122414 2481877138 1919973747 618250143 966857840 2768723706 2618808690 155602364 2012759158 1596173069 2076779547 1390577831 2202229407 3740568140 2565242268 2094654260 2671144991 3856763845 3709851536 3978793286 700659572 3804034241 155584531 1650193660 1611836330 3028016037 1285009717 2002963302 784272346 469401583 3570964143 3492636753 689593764 50244404 573349200 623279982 3142657434 1264606792 1234649748 2321057446 2038824008 3282103829 3567819936 573666545 3871109863 142379958 3011480788 1704437559 3869886649 1208273509 3486224182 4053969418 3912805515 182850079 2041801488 2573503414 3831674015 3118719314 3376633066 2008590247 3140215893 2857987587 3641404887 2226435245 1319762269 859649184 4134273046 868670857 146876981 2473883432 3953490430 3111935905 3450657764 2865344839 4274665815 3392546619 2447547214 1079776345 1006304512 3129726258 1768217733 3852273399 4006223566 1816199832 1885953444 4118865916 4052304757 3352471142 255 362436" option to reproduce the execution
0.69/0.72	c #vars 5550
0.69/0.72	c #constraints 27089
1.89/1.93	c Solving starts ...
1.89/1.93	c ============================[ Search Statistics ]============================
1.89/1.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.93	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.93	c =============================================================================
1.89/1.93	c  0.0s |       0 |        0 |        0 |    10878      0 |        5 |        0
2.39/2.45	c  0.5s |       1 |     1747 |      100 |    10878      0 |        5 |      648
2.99/3.08	c  1.1s |       2 |     4579 |      250 |    11966      0 |        5 |      648
3.59/3.64	c  1.7s |       3 |     6890 |      475 |    13163      0 |        5 |      648
4.89/4.98	c  3.1s |       4 |    11208 |      813 |    14480      0 |        5 |      648
6.89/6.96	c  5.0s |       5 |    16026 |     1320 |    15929      0 |        5 |      648
8.69/8.72	c  6.8s |       6 |    21566 |     2081 |    19275      0 |        5 |      648
10.89/10.98	c  9.1s |       6 |    27784 |     2781 |    19275      0 |        5 |      648
12.69/12.72	c 10.8s |       7 |    33608 |     3223 |    21203      0 |        5 |      648
14.89/14.94	c 13.0s |       7 |    42182 |     3823 |    21203      0 |        5 |      648
17.09/17.14	c 15.2s |       7 |    46385 |     4623 |    21203      0 |        5 |      648
18.19/18.26	c 16.3s |       8 |    48667 |     4936 |    23324      0 |        5 |      648
20.19/20.28	c 18.3s |       8 |    54790 |     5736 |    23324      0 |        5 |      648
22.39/22.46	c 20.5s |       8 |    60489 |     6536 |    23324      0 |        5 |      648
24.39/24.47	c 22.5s |       8 |    66672 |     7136 |    23324      0 |        5 |      648
25.99/26.02	c 24.1s |       9 |    72372 |     7506 |    25657      0 |        5 |      648
28.09/28.12	c 26.2s |       9 |    79861 |     8006 |    25657      0 |        5 |      648
30.39/30.46	c 28.5s |       9 |    87153 |     8606 |    25657      0 |        5 |      648
32.69/32.76	c 30.8s |       9 |    91358 |     9306 |    25657      0 |        5 |      648
34.78/34.82	c 32.9s |       9 |    93881 |     9906 |    25657      0 |        5 |      648
36.78/36.86	c 34.9s |       9 |    98420 |    10406 |    25657      0 |        5 |      648
38.78/38.88	c 37.0s |       9 |   102600 |    10906 |    25657      0 |        5 |      648
40.28/40.36	c 38.4s |      10 |   107208 |    11361 |    28223      0 |        5 |      648
42.38/42.42	c 40.5s |      10 |   114510 |    11861 |    28223      0 |        5 |      648
44.48/44.53	c 42.6s |      10 |   121385 |    12461 |    28223      0 |        5 |      648
46.88/46.90	c 45.0s |      10 |   126302 |    13161 |    28223      0 |        5 |      648
48.98/49.08	c 47.1s |      10 |   133039 |    13761 |    28223      0 |        5 |      648
51.08/51.11	c 49.2s |      10 |   136302 |    14361 |    28223      0 |        5 |      648
53.38/53.41	c 51.5s |      10 |   143212 |    14961 |    28223      0 |        5 |      648
55.68/55.71	c 53.8s |      10 |   151572 |    15561 |    28223      0 |        5 |      648
57.88/57.93	c 56.0s |      10 |   155132 |    16261 |    28223      0 |        5 |      648
59.88/59.94	c 58.0s |      10 |   160370 |    16861 |    28223      0 |        5 |      648
61.18/61.29	c 59.4s |      11 |   163115 |    17144 |    31046      0 |        5 |      648
63.28/63.39	c 61.5s |      11 |   167732 |    17644 |    31046      0 |        5 |      648
65.48/65.53	c 63.6s |      11 |   174396 |    18144 |    31046      0 |        5 |      648
67.58/67.64	c 65.7s |      11 |   179722 |    18644 |    31046      0 |        5 |      648
69.68/69.75	c 67.8s |      11 |   186705 |    19244 |    31046      0 |        5 |      648
71.78/71.88	c 69.9s |      11 |   189090 |    19844 |    31046      0 |        5 |      648
73.78/73.88	c 72.0s |      11 |   194707 |    20344 |    31046      0 |        5 |      648
75.88/75.93	c 74.0s |      11 |   199041 |    20944 |    31046      0 |        5 |      648
77.88/77.98	c 76.0s |      11 |   204117 |    21544 |    31046      0 |        5 |      648
79.98/80.09	c 78.2s |      11 |   208332 |    22044 |    31046      0 |        5 |      648
82.38/82.44	c 80.5s |      11 |   215296 |    22544 |    31046      0 |        5 |      648
84.48/84.50	c 82.6s |      11 |   220706 |    23044 |    31046      0 |        5 |      648
86.58/86.68	c 84.8s |      11 |   223936 |    23744 |    31046      0 |        5 |      648
88.68/88.79	c 86.9s |      11 |   228449 |    24344 |    31046      0 |        5 |      648
90.78/90.83	c 88.9s |      11 |   234065 |    24844 |    31046      0 |        5 |      648
92.87/92.97	c 91.0s |      11 |   239430 |    25544 |    31046      0 |        5 |      648
93.67/93.71	c 91.8s |      12 |   240149 |    25819 |    34151      0 |        5 |      648
95.87/95.99	c 94.1s |      12 |   243011 |    26219 |    34151      0 |        5 |      648
98.07/98.13	c 96.2s |      12 |   246173 |    26719 |    34151      0 |        5 |      648
100.37/100.45	c 98.5s |      12 |   251258 |    27219 |    34151      0 |        5 |      648
102.47/102.55	c  100s |      12 |   258981 |    27719 |    34151      0 |        5 |      648
104.58/104.69	c  102s |      12 |   266429 |    28419 |    34151      0 |        5 |      648
106.87/106.99	c  105s |      12 |   274012 |    29219 |    34151      0 |        5 |      648
109.37/109.40	c  107s |      12 |   282001 |    29819 |    34151      0 |        5 |      648
111.37/111.43	c  109s |      12 |   286915 |    30319 |    34151      0 |        5 |      648
113.38/113.46	c  111s |      12 |   290678 |    31019 |    34151      0 |        5 |      648
115.58/115.62	c  113s |      12 |   297891 |    31619 |    34151      0 |        5 |      648
117.78/117.89	c  115s |      12 |   303770 |    32119 |    34151      0 |        5 |      648
119.98/120.06	c  118s |      12 |   308433 |    32719 |    34151      0 |        5 |      648
122.27/122.32	c  120s |      12 |   316204 |    33619 |    34151      0 |        5 |      648
124.38/124.48	c  122s |      12 |   323093 |    34119 |    34151      0 |        5 |      648
126.58/126.62	c  124s |      12 |   329707 |    34919 |    34151      0 |        5 |      648
128.97/129.05	c  127s |      12 |   336565 |    35419 |    34151      1 |        5 |      648
131.17/131.20	c  129s |      12 |   341027 |    36119 |    34151      1 |        5 |      648
133.37/133.41	c  131s |      12 |   348848 |    36819 |    34151      1 |        5 |      648
135.37/135.46	c  133s |      12 |   353048 |    37419 |    34151      1 |        5 |      648
137.67/137.70	c  135s |      12 |   358683 |    38119 |    34151      1 |        5 |      648
139.86/139.96	c  138s |      12 |   365820 |    38719 |    37567      1 |        5 |      648
140.36/140.41	c  138s |      13 |   366874 |    38832 |    37567      1 |        5 |      648
142.66/142.72	c  140s |      13 |   376944 |    39832 |    37567      1 |        5 |      648
144.66/144.73	c  142s |      13 |   383186 |    40532 |    37567      1 |        5 |      648
146.86/146.96	c  145s |      13 |   390989 |    41332 |    37567      1 |        5 |      648
149.16/149.28	c  147s |      13 |   396910 |    42232 |    37567      1 |        5 |      648
151.36/151.42	c  149s |      13 |   404590 |    42932 |    37567      1 |        5 |      648
153.36/153.48	c  151s |      13 |   413787 |    43832 |    37567      1 |        5 |      648
155.66/155.74	c  153s |      13 |   418842 |    44632 |    37567      1 |        5 |      648
158.36/158.43	c  156s |      13 |   426015 |    45332 |    37567      1 |        5 |      648
160.56/160.66	c  158s |      13 |   430362 |    45932 |    37567      1 |        5 |      648
162.86/162.98	c  161s |      13 |   434520 |    46632 |    37567      1 |        5 |      648
164.85/164.99	c  163s |      13 |   439954 |    47132 |    37567      1 |        5 |      648
167.16/167.23	c  165s |      13 |   446750 |    47632 |    37567      1 |        5 |      648
169.25/169.32	c  167s |      13 |   452849 |    48132 |    37567      1 |        5 |      648
171.45/171.51	c  169s |      13 |   458019 |    48932 |    37567      1 |        5 |      648
173.55/173.64	c  171s |      13 |   462998 |    49432 |    37567      1 |        5 |      648
175.74/175.89	c  173s |      13 |   470179 |    50032 |    37567      1 |        5 |      648
178.15/178.21	c  176s |      13 |   477563 |    50932 |    37567      1 |        5 |      648
180.24/180.35	c  178s |      13 |   484816 |    51432 |    37567      1 |        5 |      648
182.34/182.42	c  180s |      13 |   490654 |    52232 |    37567      1 |        5 |      648
184.75/184.82	c  182s |      13 |   499262 |    52932 |    37567      1 |        5 |      648
186.74/186.89	c  184s |      13 |   503744 |    53632 |    37567      1 |        5 |      648
189.15/189.25	c  187s |      13 |   509581 |    54232 |    37567      1 |        5 |      648
191.44/191.57	c  189s |      13 |   515909 |    54832 |    37567      1 |        5 |      648
193.54/193.62	c  191s |      13 |   520829 |    55632 |    37567      1 |        5 |      648
195.74/195.80	c  193s |      13 |   527367 |    56232 |    37567      1 |        5 |      648
197.83/197.92	c  195s |      13 |   533097 |    56832 |    37567      1 |        5 |      648
201.94/202.08	c  200s |      13 |   539409 |    57632 |    37567      2 |        5 |      648
204.14/204.24	c  202s |      13 |   545503 |    58332 |    41324      2 |        5 |      648
204.14/204.29	c  202s |      14 |   545574 |    58352 |    41324      2 |        5 |      648
206.34/206.45	c  204s |      14 |   549806 |    59052 |    41324      2 |        5 |      648
208.44/208.57	c  206s |      14 |   554872 |    59752 |    41324      2 |        5 |      648
210.64/210.73	c  208s |      14 |   560464 |    60552 |    41324      2 |        5 |      648
212.94/213.01	c  211s |      14 |   566167 |    61452 |    41324      2 |        5 |      648
215.23/215.32	c  213s |      14 |   572603 |    62252 |    41324      2 |        5 |      648
217.33/217.42	c  215s |      14 |   578483 |    63152 |    41324      2 |        5 |      648
219.33/219.44	c  217s |      14 |   582924 |    63852 |    41324      2 |        5 |      648
221.33/221.49	c  219s |      14 |   590058 |    64752 |    41324      2 |        5 |      648
223.43/223.56	c  221s |      14 |   594746 |    65652 |    41324      2 |        5 |      648
225.53/225.66	c  223s |      14 |   600267 |    66452 |    41324      2 |        5 |      648
227.63/227.77	c  225s |      14 |   605911 |    67352 |    41324      2 |        5 |      648
229.83/229.94	c  228s |      14 |   609807 |    68152 |    41324      2 |        5 |      648
231.93/232.08	c  230s |      14 |   613390 |    68952 |    41324      2 |        5 |      648
234.13/234.25	c  232s |      14 |   617272 |    69952 |    41324      2 |        5 |      648
236.32/236.42	c  234s |      14 |   619709 |    70752 |    41324      2 |        5 |      648
238.52/238.60	c  236s |      14 |   622871 |    71552 |    41324      2 |        5 |      648
240.72/240.81	c  238s |      14 |   626624 |    72452 |    41324      2 |        5 |      648
242.72/242.89	c  240s |      14 |   629992 |    73252 |    41324      2 |        5 |      648
244.92/245.04	c  243s |      14 |   632343 |    74052 |    41324      2 |        5 |      648
247.11/247.22	c  245s |      14 |   639584 |    74552 |    41324      2 |        5 |      648
249.31/249.49	c  247s |      14 |   644304 |    75252 |    41324      2 |        5 |      648
251.51/251.60	c  249s |      14 |   650059 |    75852 |    41324      2 |        5 |      648
253.51/253.69	c  251s |      14 |   658136 |    76352 |    41324      2 |        5 |      648
255.81/255.92	c  253s |      14 |   664142 |    76852 |    41324      2 |        5 |      648
257.91/258.10	c  256s |      14 |   669985 |    77452 |    41324      2 |        5 |      648
260.31/260.42	c  258s |      14 |   676602 |    78252 |    41324      2 |        5 |      648
262.31/262.45	c  260s |      14 |   681983 |    78852 |    41324      2 |        5 |      648
264.80/264.91	c  262s |      14 |   689148 |    79552 |    41324      2 |        5 |      648
266.90/267.07	c  265s |      14 |   693837 |    79952 |    41324      3 |        5 |      648
269.20/269.32	c  267s |      14 |   701026 |    80652 |    41324      3 |        5 |      648
271.50/271.62	c  269s |      14 |   706158 |    81452 |    41324      3 |        5 |      648
273.50/273.66	c  271s |      14 |   713689 |    82052 |    41324      3 |        5 |      648
275.80/275.91	c  273s |      14 |   720734 |    82952 |    41324      3 |        5 |      648
277.90/278.03	c  276s |      14 |   725813 |    83452 |    41324      3 |        5 |      648
280.10/280.20	c  278s |      14 |   732507 |    84252 |    41324      3 |        5 |      648
282.30/282.43	c  280s |      14 |   740323 |    84952 |    41324      3 |        5 |      648
284.40/284.57	c  282s |      14 |   745138 |    85652 |    41324      3 |        5 |      648
286.59/286.73	c  284s |      14 |   752178 |    86352 |    41324      3 |        5 |      648
288.69/288.89	c  286s |      14 |   759119 |    87252 |    45457      3 |        5 |      648
289.89/290.01	c  288s |      15 |   762293 |    87632 |    45457      3 |        5 |      648
291.99/292.16	c  290s |      15 |   768578 |    88232 |    45457      3 |        5 |      648
296.39/296.56	c  294s |      15 |   773385 |    88932 |    45457      3 |        5 |      648
298.59/298.78	c  296s |      15 |   782831 |    89932 |    45457      3 |        5 |      648
300.69/300.87	c  298s |      15 |   789830 |    90832 |    45457      3 |        5 |      648
302.99/303.18	c  301s |      15 |   797155 |    91732 |    45457      3 |        5 |      648
305.09/305.26	c  303s |      15 |   802180 |    92532 |    45457      3 |        5 |      648
307.19/307.39	c  305s |      15 |   808953 |    93432 |    45457      3 |        5 |      648
309.39/309.54	c  307s |      15 |   813992 |    94332 |    45457      3 |        5 |      648
311.49/311.67	c  309s |      15 |   819257 |    95132 |    45457      3 |        5 |      648
313.69/313.90	c  311s |      15 |   823470 |    96032 |    45457      3 |        5 |      648
315.89/316.07	c  314s |      15 |   826995 |    96932 |    45457      3 |        5 |      648
317.99/318.13	c  316s |      15 |   829925 |    97932 |    45457      3 |        5 |      648
319.99/320.20	c  318s |      15 |   833876 |    98832 |    45457      3 |        5 |      648
322.19/322.36	c  320s |      15 |   838586 |    99732 |    45457      3 |        5 |      648
324.29/324.46	c  322s |      15 |   841316 |   100232 |    45457      3 |        5 |      648
326.38/326.53	c  324s |      15 |   846373 |   100832 |    45457      3 |        5 |      648
328.48/328.61	c  326s |      15 |   853338 |   101332 |    45457      3 |        5 |      648
330.58/330.75	c  328s |      15 |   860364 |   101832 |    45457      3 |        5 |      648
332.78/332.94	c  331s |      15 |   865742 |   102532 |    45457      3 |        5 |      648
335.28/335.48	c  333s |      15 |   870440 |   103332 |    45457      3 |        5 |      648
337.59/337.74	c  335s |      15 |   875665 |   103832 |    45457      3 |        5 |      648
339.79/339.99	c  338s |      15 |   883135 |   104632 |    45457      3 |        5 |      648
342.19/342.32	c  340s |      15 |   888932 |   105032 |    45457      4 |        5 |      648
344.19/344.34	c  342s |      15 |   895559 |   105632 |    45457      4 |        5 |      648
346.28/346.49	c  344s |      15 |   902748 |   106432 |    45457      4 |        5 |      648
348.48/348.68	c  346s |      15 |   911574 |   107032 |    45457      4 |        5 |      648
350.58/350.78	c  348s |      15 |   918593 |   107732 |    45457      4 |        5 |      648
352.78/352.90	c  350s |      15 |   924641 |   108632 |    45457      4 |        5 |      648
354.78/354.95	c  353s |      15 |   934035 |   109332 |    45457      4 |        5 |      648
357.08/357.22	c  355s |      15 |   940221 |   110232 |    45457      4 |        5 |      648
359.28/359.44	c  357s |      15 |   946831 |   110932 |    45457      4 |        5 |      648
361.68/361.80	c  359s |      15 |   953495 |   111832 |    45457      4 |        5 |      648
363.88/364.03	c  362s |      15 |   960224 |   112732 |    45457      4 |        5 |      648
365.97/366.11	c  364s |      15 |   966078 |   113432 |    45457      4 |        5 |      648
367.97/368.13	c  366s |      15 |   971838 |   114132 |    45457      4 |        5 |      648
369.97/370.19	c  368s |      15 |   976218 |   114932 |    45457      4 |        5 |      648
372.07/372.26	c  370s |      15 |   981569 |   115632 |    45457      4 |        5 |      648
374.27/374.44	c  372s |      15 |   983641 |   116332 |    45457      4 |        5 |      648
376.26/376.46	c  374s |      15 |   987760 |   117032 |    45457      4 |        5 |      648
378.46/378.60	c  376s |      15 |   991294 |   117732 |    45457      4 |        5 |      648
380.57/380.70	c  378s |      15 |   995394 |   118432 |    45457      4 |        5 |      648
382.56/382.77	c  380s |      15 |  1001670 |   119232 |    45457      4 |        5 |      648
384.56/384.79	c  382s |      15 |  1007959 |   120032 |    45457      4 |        5 |      648
386.66/386.85	c  384s |      15 |  1012698 |   120832 |    45457      4 |        5 |      648
388.76/388.95	c  387s |      15 |  1020030 |   121832 |    45457      4 |        5 |      648
391.06/391.22	c  389s |      15 |  1023435 |   122632 |    45457      4 |        5 |      648
393.36/393.50	c  391s |      15 |  1028755 |   123732 |    45457      4 |        5 |      648
395.36/395.55	c  393s |      15 |  1030839 |   124432 |    45457      4 |        5 |      648
397.56/397.73	c  395s |      15 |  1035232 |   125432 |    45457      4 |        5 |      648
399.56/399.74	c  397s |      15 |  1040761 |   126232 |    45457      4 |        5 |      648
401.56/401.75	c  399s |      15 |  1046631 |   127032 |    45457      4 |        5 |      648
403.86/404.02	c  402s |      15 |  1053108 |   127932 |    45457      4 |        5 |      648
406.06/406.24	c  404s |      15 |  1058567 |   128732 |    45457      4 |        5 |      648
408.65/408.83	c  406s |      15 |  1065586 |   129632 |    45457      5 |        5 |      648
410.65/410.87	c  408s |      15 |  1069294 |   130432 |    45457      5 |        5 |      648
412.85/413.03	c  411s |      15 |  1075414 |   131332 |    50003      5 |        5 |      648
413.35/413.56	c  411s |      16 |  1076377 |   131552 |    50003      5 |        5 |      648
421.75/421.92	c  419s |      16 |  1077163 |   131652 |    50003      5 |        5 |      648
423.75/423.94	c  422s |      16 |  1082051 |   132252 |    50003      5 |        5 |      648
426.15/426.38	c  424s |      16 |  1090682 |   132852 |    50003      5 |        5 |      648
428.45/428.66	c  426s |      16 |  1097722 |   133452 |    50003      5 |        5 |      648
430.55/430.74	c  428s |      16 |  1103605 |   134252 |    50003      5 |        5 |      648
432.65/432.87	c  430s |      16 |  1110165 |   134852 |    50003      5 |        5 |      648
434.85/435.03	c  433s |      16 |  1117970 |   135752 |    50003      5 |        5 |      648
436.95/437.10	c  435s |      16 |  1123692 |   136352 |    50003      5 |        5 |      648
439.15/439.39	c  437s |      16 |  1131545 |   137252 |    50003      5 |        5 |      648
441.25/441.47	c  439s |      16 |  1135858 |   137852 |    50003      5 |        5 |      648
443.65/443.87	c  441s |      16 |  1142208 |   138652 |    50003      5 |        5 |      648
445.75/445.92	c  443s |      16 |  1149751 |   139252 |    50003      5 |        5 |      648
447.74/447.93	c  446s |      16 |  1153236 |   139852 |    50003      5 |        5 |      648
449.75/450.00	c  448s |      16 |  1160617 |   140552 |    50003      5 |        5 |      648
451.95/452.11	c  450s |      16 |  1166781 |   141352 |    50003      5 |        5 |      648
453.94/454.14	c  452s |      16 |  1173988 |   141952 |    50003      5 |        5 |      648
456.24/456.45	c  454s |      16 |  1181019 |   142852 |    50003      5 |        5 |      648
458.55/458.75	c  456s |      16 |  1186393 |   143652 |    50003      5 |        5 |      648
460.75/460.91	c  458s |      16 |  1190366 |   144452 |    50003      5 |        5 |      648
462.74/462.98	c  461s |      16 |  1195480 |   145252 |    50003      5 |        5 |      648
465.04/465.20	c  463s |      16 |  1202866 |   146152 |    50003      5 |        5 |      648
467.03/467.29	c  465s |      16 |  1206398 |   146952 |    50003      5 |        5 |      648
469.23/469.43	c  467s |      16 |  1211425 |   147952 |    50003      5 |        5 |      648
471.33/471.55	c  469s |      16 |  1214297 |   149052 |    50003      5 |        5 |      648
473.53/473.70	c  471s |      16 |  1219936 |   149952 |    50003      5 |        5 |      648
475.53/475.75	c  473s |      16 |  1226170 |   150552 |    50003      5 |        5 |      648
477.53/477.77	c  475s |      16 |  1232097 |   151352 |    50003      5 |        5 |      648
479.83/480.09	c  478s |      16 |  1239988 |   151952 |    50003      5 |        5 |      648
481.92/482.16	c  480s |      16 |  1244220 |   152652 |    50003      5 |        5 |      648
484.12/484.38	c  482s |      16 |  1250252 |   153252 |    50003      5 |        5 |      648
486.32/486.59	c  484s |      16 |  1255721 |   153752 |    50003      5 |        5 |      648
488.42/488.69	c  486s |      16 |  1261598 |   154452 |    50003      5 |        5 |      648
490.53/490.77	c  488s |      16 |  1267959 |   155052 |    50003      5 |        5 |      648
492.82/493.06	c  491s |      16 |  1273425 |   155652 |    50003      5 |        5 |      648
495.02/495.28	c  493s |      16 |  1279793 |   156452 |    50003      5 |        5 |      648
497.12/497.33	c  495s |      16 |  1285151 |   157052 |    50003      5 |        5 |      648
499.22/499.47	c  497s |      16 |  1289297 |   157652 |    50003      6 |        5 |      648
501.31/501.50	c  499s |      16 |  1294136 |   158452 |    50003      6 |        5 |      648
507.51/507.77	c  505s |      16 |  1299475 |   158952 |    50003      6 |        5 |      648
509.71/509.92	c  507s |      16 |  1305946 |   159852 |    50003      6 |        5 |      648
511.91/512.12	c  510s |      16 |  1311220 |   160652 |    50003      6 |        5 |      648
514.01/514.26	c  512s |      16 |  1318744 |   161552 |    50003      6 |        5 |      648
516.01/516.27	c  514s |      16 |  1324164 |   162352 |    50003      6 |        5 |      648
518.21/518.47	c  516s |      16 |  1329778 |   163252 |    50003      6 |        5 |      648
520.31/520.58	c  518s |      16 |  1335739 |   164152 |    50003      6 |        5 |      648
522.31/522.60	c  520s |      16 |  1343286 |   165252 |    50003      6 |        5 |      648
524.51/524.72	c  522s |      16 |  1350377 |   166352 |    50003      6 |        5 |      648
526.61/526.81	c  524s |      16 |  1356922 |   167452 |    50003      6 |        5 |      648
528.70/528.94	c  527s |      16 |  1361930 |   168552 |    50003      6 |        5 |      648
530.90/531.10	c  529s |      16 |  1364611 |   169652 |    50003      6 |        5 |      648
532.90/533.15	c  531s |      16 |  1369549 |   170352 |    50003      6 |        5 |      648
535.00/535.27	c  533s |      16 |  1375568 |   171152 |    50003      6 |        5 |      648
537.10/537.34	c  535s |      16 |  1383377 |   171752 |    50003      6 |        5 |      648
539.30/539.56	c  537s |      16 |  1390779 |   172552 |    50003      6 |        5 |      648
541.40/541.64	c  539s |      16 |  1397384 |   173352 |    50003      6 |        5 |      648
543.50/543.72	c  541s |      16 |  1406689 |   174052 |    50003      6 |        5 |      648
545.50/545.79	c  543s |      16 |  1415387 |   175052 |    50003      6 |        5 |      648
547.79/548.08	c  546s |      16 |  1424915 |   176052 |    50003      6 |        5 |      648
549.90/550.17	c  548s |      16 |  1433095 |   176852 |    50003      6 |        5 |      648
552.10/552.31	c  550s |      16 |  1440937 |   177852 |    50003      6 |        5 |      648
554.09/554.38	c  552s |      16 |  1447199 |   178652 |    50003      6 |        5 |      648
556.19/556.43	c  554s |      16 |  1454474 |   179452 |    50003      6 |        5 |      648
558.49/558.73	c  556s |      16 |  1461438 |   180552 |    50003      6 |        5 |      648
560.58/560.82	c  558s |      16 |  1467190 |   181452 |    50003      6 |        5 |      648
562.58/562.89	c  560s |      16 |  1473202 |   182352 |    50003      6 |        5 |      648
564.68/564.96	c  563s |      16 |  1479079 |   183452 |    50003      6 |        5 |      648
566.68/566.96	c  565s |      16 |  1483688 |   184452 |    50003      6 |        5 |      648
568.88/569.10	c  567s |      16 |  1488504 |   185552 |    50003      7 |        5 |      648
571.08/571.30	c  569s |      16 |  1492391 |   186552 |    50003      7 |        5 |      648
573.18/573.49	c  571s |      16 |  1496696 |   187052 |    50003      7 |        5 |      648
575.28/575.58	c  573s |      16 |  1502082 |   187852 |    50003      7 |        5 |      648
577.39/577.64	c  575s |      16 |  1509533 |   188552 |    50003      7 |        5 |      648
579.49/579.72	c  577s |      16 |  1516671 |   189452 |    50003      7 |        5 |      648
581.79/582.02	c  580s |      16 |  1523292 |   190352 |    50003      7 |        5 |      648
583.78/584.09	c  582s |      16 |  1532386 |   191152 |    50003      7 |        5 |      648
585.88/586.19	c  584s |      16 |  1537097 |   192052 |    50003      7 |        5 |      648
588.08/588.34	c  586s |      16 |  1543811 |   192952 |    50003      7 |        5 |      648
590.18/590.45	c  588s |      16 |  1549984 |   193952 |    50003      7 |        5 |      648
592.28/592.53	c  590s |      16 |  1556249 |   194852 |    50003      7 |        5 |      648
594.28/594.55	c  592s |      16 |  1561115 |   195652 |    50003      7 |        5 |      648
596.28/596.57	c  594s |      16 |  1569064 |   196752 |    55004      7 |        5 |      648
597.78/598.05	c  596s |      17 |  1573449 |   197432 |    55004      7 |        5 |      648
599.88/600.10	c  598s |      17 |  1578665 |   198032 |    55004      7 |        5 |      648
601.88/602.17	c  600s |      17 |  1586826 |   198832 |    55004      7 |        5 |      648
603.98/604.25	c  602s |      17 |  1596650 |   199632 |    55004      7 |        5 |      648
606.07/606.31	c  604s |      17 |  1604416 |   200532 |    55004      7 |        5 |      648
608.08/608.35	c  606s |      17 |  1612187 |   201332 |    55004      7 |        5 |      648
610.17/610.41	c  608s |      17 |  1620558 |   202232 |    55004      7 |        5 |      648
612.37/612.61	c  610s |      17 |  1627310 |   203132 |    55004      7 |        5 |      648
614.47/614.76	c  612s |      17 |  1636055 |   204132 |    55004      7 |        5 |      648
616.57/616.84	c  614s |      17 |  1640629 |   204932 |    55004      7 |        5 |      648
618.67/618.90	c  616s |      17 |  1647081 |   205832 |    55004      7 |        5 |      648
620.87/621.12	c  619s |      17 |  1652688 |   206732 |    55004      7 |        5 |      648
622.87/623.16	c  621s |      17 |  1658860 |   207632 |    55004      7 |        5 |      648
625.07/625.31	c  623s |      17 |  1664686 |   208732 |    55004      7 |        5 |      648
627.06/627.34	c  625s |      17 |  1670833 |   209932 |    55004      7 |        5 |      648
629.26/629.55	c  627s |      17 |  1673592 |   210932 |    55004      7 |        5 |      648
631.56/631.80	c  629s |      17 |  1679645 |   211732 |    55004      7 |        5 |      648
633.76/634.03	c  632s |      17 |  1686847 |   212632 |    55004      7 |        5 |      648
635.86/636.11	c  634s |      17 |  1693875 |   213432 |    55004      7 |        5 |      648
637.96/638.23	c  636s |      17 |  1697302 |   214132 |    55004      7 |        5 |      648
640.16/640.45	c  638s |      17 |  1702814 |   214932 |    55004      7 |        5 |      648
642.17/642.47	c  640s |      17 |  1708377 |   215632 |    55004      8 |        5 |      648
644.37/644.66	c  642s |      17 |  1714000 |   216332 |    55004      8 |        5 |      648
646.66/646.94	c  645s |      17 |  1721809 |   217332 |    55004      8 |        5 |      648
648.76/649.05	c  647s |      17 |  1726448 |   218432 |    55004      8 |        5 |      648
650.76/651.08	c  649s |      17 |  1731344 |   219732 |    55004      8 |        5 |      648
652.76/653.09	c  651s |      17 |  1734845 |   220732 |    55004      8 |        5 |      648
654.96/655.22	c  653s |      17 |  1739734 |   221732 |    55004      8 |        5 |      648
657.05/657.38	c  655s |      17 |  1745853 |   222832 |    55004      8 |        5 |      648
659.15/659.44	c  657s |      17 |  1752187 |   223732 |    55004      8 |        5 |      648
661.15/661.47	c  659s |      17 |  1756945 |   224432 |    55004      8 |        5 |      648
663.25/663.55	c  661s |      17 |  1765075 |   225132 |    55004      8 |        5 |      648
665.25/665.59	c  663s |      17 |  1773113 |   226032 |    55004      8 |        5 |      648
667.45/667.79	c  665s |      17 |  1781223 |   226732 |    55004      8 |        5 |      648
669.65/669.96	c  668s |      17 |  1787180 |   227532 |    55004      8 |        5 |      648
671.75/672.02	c  670s |      17 |  1793115 |   228332 |    55004      8 |        5 |      648
673.85/674.14	c  672s |      17 |  1799525 |   229132 |    55004      8 |        5 |      648
676.04/676.32	c  674s |      17 |  1806614 |   230032 |    55004      8 |        5 |      648
678.14/678.40	c  676s |      17 |  1811340 |   230932 |    55004      8 |        5 |      648
680.34/680.62	c  678s |      17 |  1817695 |   231832 |    55004      8 |        5 |      648
682.44/682.79	c  680s |      17 |  1823965 |   232632 |    55004      8 |        5 |      648
684.74/685.01	c  683s |      17 |  1829346 |   233632 |    55004      8 |        5 |      648
686.74/687.04	c  685s |      17 |  1835452 |   234532 |    55004      8 |        5 |      648
688.94/689.29	c  687s |      17 |  1840535 |   235532 |    55004      8 |        5 |      648
691.14/691.47	c  689s |      17 |  1845790 |   236632 |    55004      8 |        5 |      648
693.44/693.72	c  691s |      17 |  1850090 |   237932 |    55004      8 |        5 |      648
695.63/695.91	c  693s |      17 |  1855963 |   238532 |    55004      8 |        5 |      648
697.63/697.95	c  696s |      17 |  1862357 |   239332 |    55004      8 |        5 |      648
699.73/700.05	c  698s |      17 |  1868767 |   240032 |    55004      8 |        5 |      648
701.73/702.09	c  700s |      17 |  1876573 |   240932 |    55004      8 |        5 |      648
704.03/704.37	c  702s |      17 |  1882056 |   241832 |    55004      8 |        5 |      648
706.23/706.51	c  704s |      17 |  1890032 |   242532 |    55004      8 |        5 |      648
708.23/708.58	c  706s |      17 |  1896149 |   243432 |    55004      8 |        5 |      648
710.73/711.04	c  709s |      17 |  1901103 |   244232 |    55004      9 |        5 |      648
712.73/713.06	c  711s |      17 |  1907039 |   245232 |    55004      9 |        5 |      648
714.93/715.21	c  713s |      17 |  1912962 |   246132 |    55004      9 |        5 |      648
717.03/717.37	c  715s |      17 |  1920011 |   247232 |    55004      9 |        5 |      648
719.13/719.49	c  717s |      17 |  1925061 |   248432 |    55004      9 |        5 |      648
721.22/721.54	c  719s |      17 |  1929253 |   249632 |    55004      9 |        5 |      648
723.32/723.66	c  721s |      17 |  1934847 |   250732 |    55004      9 |        5 |      648
725.52/725.82	c  723s |      17 |  1941209 |   251732 |    55004      9 |        5 |      648
727.72/728.08	c  726s |      17 |  1950735 |   252732 |    55004      9 |        5 |      648
729.92/730.25	c  728s |      17 |  1956417 |   253732 |    55004      9 |        5 |      648
731.92/732.29	c  730s |      17 |  1964019 |   254832 |    55004      9 |        5 |      648
734.12/734.43	c  732s |      17 |  1969635 |   255932 |    55004      9 |        5 |      648
736.22/736.58	c  734s |      17 |  1973109 |   257032 |    55004      9 |        5 |      648
738.41/738.72	c  736s |      17 |  1977092 |   258232 |    55004      9 |        5 |      648
740.61/740.94	c  739s |      17 |  1982152 |   259232 |    55004      9 |        5 |      648
742.71/743.00	c  741s |      17 |  1989201 |   260132 |    55004      9 |        5 |      648
744.81/745.11	c  743s |      17 |  1996985 |   261032 |    55004      9 |        5 |      648
746.91/747.21	c  745s |      17 |  2004803 |   261832 |    55004      9 |        5 |      648
748.92/749.29	c  747s |      17 |  2012548 |   262832 |    55004      9 |        5 |      648
751.21/751.51	c  749s |      17 |  2018245 |   263732 |    55004      9 |        5 |      648
753.31/753.65	c  751s |      17 |  2025458 |   264632 |    55004      9 |        5 |      648
755.41/755.74	c  753s |      17 |  2031634 |   265632 |    55004      9 |        5 |      648
757.50/757.84	c  755s |      17 |  2038164 |   266532 |    55004      9 |        5 |      648
759.50/759.87	c  757s |      17 |  2043351 |   267532 |    55004      9 |        5 |      648
761.60/761.93	c  760s |      17 |  2047825 |   268532 |    55004      9 |        5 |      648
763.70/764.06	c  762s |      17 |  2051889 |   269632 |    55004      9 |        5 |      648
766.00/766.33	c  764s |      17 |  2055747 |   270732 |    55004      9 |        5 |      648
768.10/768.48	c  766s |      17 |  2062071 |   271632 |    55004      9 |        5 |      648
770.20/770.51	c  768s |      17 |  2067004 |   272532 |    55004      9 |        5 |      648
772.30/772.63	c  770s |      17 |  2070897 |   273232 |    55004     10 |        5 |      648
774.40/774.74	c  772s |      17 |  2075304 |   274232 |    55004     10 |        5 |      648
776.50/776.84	c  774s |      17 |  2080624 |   275332 |    55004     10 |        5 |      648
778.50/778.89	c  776s |      17 |  2084395 |   276532 |    55004     10 |        5 |      648
780.49/780.89	c  778s |      17 |  2089390 |   277632 |    55004     10 |        5 |      648
782.59/782.99	c  781s |      17 |  2095697 |   278532 |    55004     10 |        5 |      648
784.69/785.04	c  783s |      17 |  2102079 |   279432 |    55004     10 |        5 |      648
786.89/787.21	c  785s |      17 |  2106307 |   280332 |    55004     10 |        5 |      648
788.89/789.27	c  787s |      17 |  2110257 |   281232 |    55004     10 |        5 |      648
790.99/791.31	c  789s |      17 |  2113860 |   282132 |    55004     10 |        5 |      648
792.99/793.35	c  791s |      17 |  2117644 |   283132 |    55004     10 |        5 |      648
795.10/795.41	c  793s |      17 |  2121346 |   284132 |    55004     10 |        5 |      648
797.09/797.46	c  795s |      17 |  2125007 |   285132 |    55004     10 |        5 |      648
799.19/799.59	c  797s |      17 |  2130107 |   286232 |    55004     10 |        5 |      648
801.39/801.70	c  799s |      17 |  2135918 |   287332 |    55004     10 |        5 |      648
803.39/803.70	c  801s |      17 |  2139827 |   288332 |    55004     10 |        5 |      648
805.39/805.72	c  803s |      17 |  2143631 |   289432 |    55004     10 |        5 |      648
807.59/807.91	c  805s |      17 |  2151142 |   290432 |    55004     10 |        5 |      648
809.59/809.91	c  807s |      17 |  2156021 |   291332 |    55004     10 |        5 |      648
811.60/811.98	c  810s |      17 |  2160495 |   292232 |    55004     10 |        5 |      648
813.70/814.03	c  812s |      17 |  2165611 |   293232 |    55004     10 |        5 |      648
815.69/816.08	c  814s |      17 |  2170648 |   294332 |    60505     10 |        5 |      648
817.89/818.20	c  816s |      17 |  2174710 |   295532 |    60505     10 |        5 |      648
819.29/819.65	c  817s |      18 |  2176524 |   296252 |    60505     10 |        5 |      648
821.39/821.79	c  819s |      18 |  2179918 |   296952 |    60505     10 |        5 |      648
823.69/824.02	c  822s |      18 |  2185006 |   297652 |    60505     10 |        5 |      648
825.69/826.10	c  824s |      18 |  2189128 |   298352 |    60505     10 |        5 |      648
827.79/828.17	c  826s |      18 |  2194079 |   299152 |    60505     10 |        5 |      648
829.99/830.39	c  828s |      18 |  2197414 |   300052 |    60505     10 |        5 |      648
832.09/832.41	c  830s |      18 |  2201693 |   301052 |    60505     10 |        5 |      648
834.19/834.54	c  832s |      18 |  2205538 |   302152 |    60505     10 |        5 |      648
836.38/836.77	c  834s |      18 |  2209985 |   302952 |    60505     10 |        5 |      648
838.48/838.81	c  836s |      18 |  2212741 |   303652 |    60505     10 |        5 |      648
840.68/841.08	c  839s |      18 |  2220198 |   304552 |    60505     10 |        5 |      648
842.88/843.26	c  841s |      18 |  2226525 |   305352 |    60505     10 |        5 |      648
844.98/845.36	c  843s |      18 |  2229782 |   306252 |    60505     10 |        5 |      648
847.08/847.44	c  845s |      18 |  2233569 |   307252 |    60505     10 |        5 |      648
849.18/849.55	c  847s |      18 |  2236011 |   308052 |    60505     11 |        5 |      648
851.38/851.79	c  849s |      18 |  2240273 |   308752 |    60505     11 |        5 |      648
853.48/853.88	c  851s |      18 |  2245016 |   309652 |    60505     11 |        5 |      648
855.59/855.90	c  853s |      18 |  2250203 |   310552 |    60505     11 |        5 |      648
857.69/858.07	c  856s |      18 |  2255531 |   311552 |    60505     11 |        5 |      648
859.89/860.22	c  858s |      18 |  2260452 |   312852 |    60505     11 |        5 |      648
861.98/862.33	c  860s |      18 |  2265531 |   313952 |    60505     11 |        5 |      648
863.98/864.38	c  862s |      18 |  2271515 |   314852 |    60505     11 |        5 |      648
866.08/866.49	c  864s |      18 |  2274943 |   315852 |    60505     11 |        5 |      648
868.28/868.62	c  866s |      18 |  2278768 |   316852 |    60505     11 |        5 |      648
870.28/870.67	c  868s |      18 |  2284336 |   317752 |    60505     11 |        5 |      648
872.39/872.76	c  870s |      18 |  2290493 |   318652 |    60505     11 |        5 |      648
874.49/874.87	c  872s |      18 |  2295601 |   319652 |    60505     11 |        5 |      648
876.69/877.08	c  875s |      18 |  2299029 |   320852 |    60505     11 |        5 |      648
878.89/879.25	c  877s |      18 |  2304713 |   321852 |    60505     11 |        5 |      648
880.99/881.36	c  879s |      18 |  2309002 |   322852 |    60505     11 |        5 |      648
883.09/883.46	c  881s |      18 |  2311979 |   323952 |    60505     11 |        5 |      648
885.19/885.56	c  883s |      18 |  2316188 |   324852 |    60505     11 |        5 |      648
887.28/887.69	c  885s |      18 |  2321867 |   325852 |    60505     11 |        5 |      648
889.38/889.72	c  887s |      18 |  2325799 |   326952 |    60505     11 |        5 |      648
891.48/891.80	c  889s |      18 |  2329226 |   327852 |    60505     11 |        5 |      648
893.48/893.83	c  891s |      18 |  2333490 |   328752 |    60505     11 |        5 |      648
895.58/895.93	c  893s |      18 |  2336682 |   329652 |    60505     11 |        5 |      648
897.68/898.05	c  896s |      18 |  2339417 |   330752 |    60505     11 |        5 |      648
899.88/900.20	c  898s |      18 |  2343122 |   331752 |    60505     11 |        5 |      648
901.98/902.34	c  900s |      18 |  2346787 |   332752 |    60505     11 |        5 |      648
904.08/904.47	c  902s |      18 |  2349575 |   333752 |    60505     11 |        5 |      648
906.28/906.66	c  904s |      18 |  2352677 |   334652 |    60505     11 |        5 |      648
908.39/908.77	c  906s |      18 |  2354833 |   335552 |    60505     11 |        5 |      648
910.59/910.93	c  909s |      18 |  2358269 |   336552 |    60505     11 |        5 |      648
912.69/913.06	c  911s |      18 |  2361399 |   337652 |    60505     11 |        5 |      648
914.78/915.17	c  913s |      18 |  2363389 |   338652 |    60505     11 |        5 |      648
916.88/917.29	c  915s |      18 |  2364984 |   339552 |    60505     11 |        5 |      648
919.68/920.06	c  918s |      18 |  2366237 |   340152 |    60505     12 |        5 |      648
921.78/922.11	c  920s |      18 |  2369543 |   341152 |    60505     12 |        5 |      648
963.37/963.77	c  961s |      18 |  2374467 |   342352 |    60505     12 |        5 |      648
969.67/970.04	c  968s |      18 |  2376094 |   342452 |    60505     12 |        5 |      648
971.87/972.25	c  970s |      18 |  2386730 |   343052 |    60505     12 |        5 |      648
973.87/974.25	c  972s |      18 |  2392252 |   343752 |    60505     12 |        5 |      648
975.86/976.29	c  974s |      18 |  2397590 |   344352 |    60505     12 |        5 |      648
977.96/978.31	c  976s |      18 |  2402670 |   344952 |    60505     12 |        5 |      648
980.06/980.48	c  978s |      18 |  2408570 |   345752 |    60505     12 |        5 |      648
982.26/982.64	c  980s |      18 |  2416215 |   346452 |    60505     12 |        5 |      648
984.27/984.68	c  982s |      18 |  2422817 |   347252 |    60505     12 |        5 |      648
986.47/986.89	c  984s |      18 |  2429502 |   347852 |    60505     12 |        5 |      648
988.76/989.19	c  987s |      18 |  2440060 |   348952 |    60505     12 |        5 |      648
990.87/991.27	c  989s |      18 |  2447615 |   349552 |    60505     12 |        5 |      648
993.07/993.43	c  991s |      18 |  2455402 |   350452 |    60505     12 |        5 |      648
995.27/995.66	c  993s |      18 |  2462306 |   351352 |    60505     12 |        5 |      648
997.56/997.98	c  996s |      18 |  2468922 |   352052 |    60505     12 |        5 |      648
999.67/1000.02	c  998s |      18 |  2476229 |   352752 |    60505     12 |        5 |      648
1001.66/1002.06	c 1000s |      18 |  2482497 |   353552 |    60505     12 |        5 |      648
1003.97/1004.33	c 1002s |      18 |  2486512 |   354352 |    60505     12 |        5 |      648
1005.96/1006.39	c 1004s |      18 |  2494487 |   355052 |    60505     12 |        5 |      648
1008.06/1008.43	c 1006s |      18 |  2500018 |   355952 |    60505     12 |        5 |      648
1010.16/1010.59	c 1008s |      18 |  2505574 |   356652 |    60505     12 |        5 |      648
1012.16/1012.59	c 1010s |      18 |  2510116 |   357352 |    60505     12 |        5 |      648
1014.36/1014.73	c 1012s |      18 |  2517248 |   358252 |    60505     12 |        5 |      648
1016.56/1016.96	c 1015s |      18 |  2523460 |   359052 |    60505     12 |        5 |      648
1018.66/1019.03	c 1017s |      18 |  2527952 |   359952 |    60505     12 |        5 |      648
1020.76/1021.16	c 1019s |      18 |  2533114 |   360852 |    60505     12 |        5 |      648
1022.76/1023.19	c 1021s |      18 |  2537557 |   361652 |    60505     12 |        5 |      648
1024.86/1025.24	c 1023s |      18 |  2541028 |   362452 |    60505     12 |        5 |      648
1026.96/1027.34	c 1025s |      18 |  2544770 |   363252 |    60505     12 |        5 |      648
1029.16/1029.54	c 1027s |      18 |  2548544 |   364252 |    60505     12 |        5 |      648
1031.26/1031.64	c 1029s |      18 |  2552052 |   365152 |    60505     12 |        5 |      648
1033.46/1033.85	c 1031s |      18 |  2559222 |   365752 |    60505     12 |        5 |      648
1035.66/1036.03	c 1034s |      18 |  2565009 |   366552 |    60505     12 |        5 |      648
1037.96/1038.30	c 1036s |      18 |  2571107 |   367052 |    60505     12 |        5 |      648
1039.95/1040.32	c 1038s |      18 |  2579172 |   367552 |    60505     12 |        5 |      648
1042.05/1042.48	c 1040s |      18 |  2585285 |   368252 |    60505     12 |        5 |      648
1045.05/1045.44	c 1043s |      18 |  2591937 |   368952 |    60505     13 |        5 |      648
1047.45/1047.88	c 1045s |      18 |  2597108 |   369252 |    60505     13 |        5 |      648
1049.55/1049.91	c 1047s |      18 |  2603335 |   369752 |    60505     13 |        5 |      648
1051.55/1051.98	c 1050s |      18 |  2612256 |   370652 |    60505     13 |        5 |      648
1053.85/1054.29	c 1052s |      18 |  2621696 |   371252 |    60505     13 |        5 |      648
1055.95/1056.37	c 1054s |      18 |  2629216 |   372052 |    60505     13 |        5 |      648
1058.15/1058.58	c 1056s |      18 |  2640586 |   372952 |    60505     13 |        5 |      648
1060.25/1060.68	c 1058s |      18 |  2648797 |   373752 |    60505     13 |        5 |      648
1062.36/1062.76	c 1060s |      18 |  2656889 |   374552 |    60505     13 |        5 |      648
1064.65/1065.06	c 1063s |      18 |  2665702 |   375152 |    60505     13 |        5 |      648
1066.85/1067.23	c 1065s |      18 |  2673075 |   376052 |    60505     13 |        5 |      648
1068.96/1069.31	c 1067s |      18 |  2685604 |   376752 |    60505     13 |        5 |      648
1070.95/1071.36	c 1069s |      18 |  2695109 |   377452 |    60505     13 |        5 |      648
1072.95/1073.39	c 1071s |      18 |  2702682 |   378252 |    60505     13 |        5 |      648
1075.05/1075.47	c 1073s |      18 |  2710164 |   378852 |    60505     13 |        5 |      648
1077.25/1077.68	c 1075s |      18 |  2717223 |   379752 |    60505     13 |        5 |      648
1079.55/1079.93	c 1078s |      18 |  2724486 |   380452 |    60505     13 |        5 |      648
1081.55/1081.97	c 1080s |      18 |  2730699 |   381152 |    60505     13 |        5 |      648
1083.55/1083.97	c 1082s |      18 |  2736004 |   381852 |    60505     13 |        5 |      648
1085.65/1086.02	c 1084s |      18 |  2742573 |   382552 |    60505     13 |        5 |      648
1087.65/1088.07	c 1086s |      18 |  2749560 |   383452 |    60505     13 |        5 |      648
1089.94/1090.31	c 1088s |      18 |  2758123 |   384152 |    60505     13 |        5 |      648
1092.14/1092.56	c 1090s |      18 |  2765455 |   385052 |    60505     13 |        5 |      648
1094.44/1094.87	c 1092s |      18 |  2771945 |   385952 |    60505     13 |        5 |      648
1096.45/1096.88	c 1094s |      18 |  2777504 |   386752 |    60505     13 |        5 |      648
1098.74/1099.10	c 1097s |      18 |  2784450 |   387652 |    60505     13 |        5 |      648
1100.94/1101.31	c 1099s |      18 |  2792126 |   388552 |    60505     13 |        5 |      648
1103.14/1103.58	c 1101s |      18 |  2799419 |   389652 |    60505     13 |        5 |      648
1105.44/1105.82	c 1103s |      18 |  2803514 |   390552 |    60505     13 |        5 |      648
1107.54/1107.92	c 1105s |      18 |  2808891 |   391452 |    60505     13 |        5 |      648
1109.55/1110.00	c 1108s |      18 |  2813157 |   392552 |    60505     13 |        5 |      648
1111.64/1112.03	c 1110s |      18 |  2816469 |   393752 |    60505     13 |        5 |      648
1113.84/1114.22	c 1112s |      18 |  2820754 |   394752 |    60505     13 |        5 |      648
1116.04/1116.42	c 1114s |      18 |  2829308 |   395352 |    60505     13 |        5 |      648
1118.35/1118.72	c 1116s |      18 |  2836077 |   396152 |    60505     13 |        5 |      648
1120.34/1120.74	c 1118s |      18 |  2843274 |   396652 |    60505     13 |        5 |      648
1122.54/1122.90	c 1120s |      18 |  2849436 |   397452 |    60505     13 |        5 |      648
1124.74/1125.12	c 1123s |      18 |  2857335 |   398152 |    60505     13 |        5 |      648
1126.74/1127.16	c 1125s |      18 |  2864953 |   398652 |    60505     13 |        5 |      648
1128.84/1129.28	c 1127s |      18 |  2872616 |   399352 |    60505     13 |        5 |      648
1131.55/1132.00	c 1130s |      18 |  2879465 |   400152 |    60505     14 |        5 |      648
1133.94/1134.32	c 1132s |      18 |  2886672 |   400652 |    60505     14 |        5 |      648
1135.94/1136.35	c 1134s |      18 |  2892513 |   401452 |    60505     14 |        5 |      648
1137.94/1138.38	c 1136s |      18 |  2901811 |   402152 |    60505     14 |        5 |      648
1140.14/1140.57	c 1138s |      18 |  2911932 |   403152 |    60505     14 |        5 |      648
1142.24/1142.66	c 1140s |      18 |  2920229 |   403852 |    60505     14 |        5 |      648
1144.44/1144.89	c 1142s |      18 |  2927586 |   404752 |    60505     14 |        5 |      648
1146.84/1147.28	c 1145s |      18 |  2938419 |   405852 |    60505     14 |        5 |      648
1149.04/1149.44	c 1147s |      18 |  2949535 |   406952 |    60505     14 |        5 |      648
1151.34/1151.71	c 1149s |      18 |  2956498 |   407952 |    60505     14 |        5 |      648
1153.54/1153.90	c 1151s |      18 |  2965113 |   408752 |    60505     14 |        5 |      648
1155.53/1155.91	c 1153s |      18 |  2971309 |   409652 |    60505     14 |        5 |      648
1157.73/1158.17	c 1156s |      18 |  2978676 |   410552 |    60505     14 |        5 |      648
1159.83/1160.25	c 1158s |      18 |  2983923 |   411452 |    60505     14 |        5 |      648
1161.93/1162.31	c 1160s |      18 |  2990865 |   412352 |    60505     14 |        5 |      648
1163.93/1164.36	c 1162s |      18 |  2998163 |   413252 |    60505     14 |        5 |      648
1166.13/1166.51	c 1164s |      18 |  3004492 |   414152 |    60505     14 |        5 |      648
1168.23/1168.68	c 1166s |      18 |  3010370 |   415152 |    60505     14 |        5 |      648
1170.43/1170.81	c 1168s |      18 |  3016609 |   416152 |    60505     14 |        5 |      648
1172.43/1172.83	c 1170s |      18 |  3020242 |   417152 |    60505     14 |        5 |      648
1174.54/1174.91	c 1172s |      18 |  3026061 |   418352 |    60505     14 |        5 |      648
1176.53/1176.96	c 1175s |      18 |  3031169 |   419752 |    60505     14 |        5 |      648
1178.84/1179.24	c 1177s |      18 |  3036943 |   420652 |    60505     14 |        5 |      648
1181.04/1181.46	c 1179s |      18 |  3043276 |   421452 |    60505     14 |        5 |      648
1183.43/1183.80	c 1181s |      18 |  3051770 |   422252 |    60505     14 |        5 |      648
1185.44/1185.86	c 1183s |      18 |  3058601 |   422752 |    60505     14 |        5 |      648
1187.53/1187.93	c 1185s |      18 |  3066969 |   423652 |    60505     14 |        5 |      648
1189.53/1189.98	c 1188s |      18 |  3072676 |   424152 |    60505     14 |        5 |      648
1191.63/1192.03	c 1190s |      18 |  3079560 |   424752 |    60505     14 |        5 |      648
1193.63/1194.07	c 1192s |      18 |  3085647 |   425652 |    60505     14 |        5 |      648
1195.63/1196.09	c 1194s |      18 |  3091361 |   426152 |    60505     14 |        5 |      648
1197.83/1198.29	c 1196s |      18 |  3097650 |   426952 |    60505     14 |        5 |      648
1199.93/1200.34	c 1198s |      18 |  3104621 |   427552 |    60505     14 |        5 |      648
1202.03/1202.41	c 1200s |      18 |  3111597 |   428252 |    60505     14 |        5 |      648
1204.13/1204.54	c 1202s |      18 |  3117793 |   429052 |    60505     14 |        5 |      648
1206.13/1206.58	c 1204s |      18 |  3123751 |   429852 |    60505     14 |        5 |      648
1208.33/1208.73	c 1206s |      18 |  3131166 |   430552 |    60505     14 |        5 |      648
1210.33/1210.79	c 1208s |      18 |  3138439 |   431352 |    60505     14 |        5 |      648
1212.63/1213.05	c 1211s |      18 |  3147082 |   432252 |    60505     15 |        5 |      648
1214.73/1215.11	c 1213s |      18 |  3152433 |   433052 |    60505     15 |        5 |      648
1216.73/1217.16	c 1215s |      18 |  3158861 |   433952 |    60505     15 |        5 |      648
1218.82/1219.28	c 1217s |      18 |  3166993 |   434852 |    60505     15 |        5 |      648
1220.92/1221.34	c 1219s |      18 |  3174047 |   435752 |    60505     15 |        5 |      648
1223.02/1223.47	c 1221s |      18 |  3182405 |   436952 |    60505     15 |        5 |      648
1225.22/1225.62	c 1223s |      18 |  3190102 |   438052 |    60505     15 |        5 |      648
1227.33/1227.77	c 1225s |      18 |  3197352 |   439152 |    60505     15 |        5 |      648
1229.53/1229.91	c 1227s |      18 |  3202509 |   440352 |    60505     15 |        5 |      648
1231.63/1232.01	c 1230s |      18 |  3207617 |   441652 |    66556     15 |        5 |      648
1233.93/1234.32	c 1232s |      18 |  3211869 |   443052 |    66556     15 |        5 |      648
1236.03/1236.47	c 1234s |      18 |  3216366 |   443852 |    66556     15 |        5 |      648
1238.12/1238.59	c 1236s |      18 |  3223827 |   444452 |    66556     15 |        5 |      648
1238.23/1238.68	c 1236s |      19 |  3224321 |   444482 |    66556     15 |        5 |      648
1257.22/1257.69	c 1255s |      19 |  3228655 |   444882 |    66556     15 |        5 |      648
1265.73/1266.14	c 1264s |      19 |  3229619 |   445082 |    66556     15 |        5 |      648
1272.93/1273.39	c 1271s |      19 |  3234349 |   445882 |    66556     15 |        5 |      648
1275.13/1275.55	c 1273s |      19 |  3240302 |   446482 |    66556     15 |        5 |      648
1277.32/1277.74	c 1275s |      19 |  3247013 |   446982 |    66556     15 |        5 |      648
1279.42/1279.89	c 1277s |      19 |  3254199 |   447482 |    66556     15 |        5 |      648
1281.62/1282.09	c 1280s |      19 |  3261424 |   448082 |    66556     15 |        5 |      648
1284.02/1284.41	c 1282s |      19 |  3269648 |   449082 |    66556     15 |        5 |      648
1286.12/1286.56	c 1284s |      19 |  3276537 |   449582 |    66556     15 |        5 |      648
1288.42/1288.89	c 1286s |      19 |  3282908 |   450182 |    66556     15 |        5 |      648
1290.62/1291.00	c 1289s |      19 |  3288721 |   450982 |    66556     15 |        5 |      648
1292.82/1293.25	c 1291s |      19 |  3294798 |   451482 |    66556     15 |        5 |      648
1294.82/1295.28	c 1293s |      19 |  3299323 |   451982 |    66556     15 |        5 |      648
1297.12/1297.50	c 1295s |      19 |  3306037 |   452882 |    66556     15 |        5 |      648
1299.22/1299.60	c 1297s |      19 |  3310965 |   453382 |    66556     15 |        5 |      648
1301.32/1301.70	c 1299s |      19 |  3315582 |   454082 |    66556     15 |        5 |      648
1303.32/1303.75	c 1301s |      19 |  3320417 |   454682 |    66556     15 |        5 |      648
1305.33/1305.76	c 1303s |      19 |  3327054 |   455182 |    66556     15 |        5 |      648
1307.42/1307.89	c 1305s |      19 |  3331372 |   455682 |    66556     15 |        5 |      648
1309.62/1310.00	c 1308s |      19 |  3338280 |   456582 |    66556     15 |        5 |      648
1311.93/1312.34	c 1310s |      19 |  3346360 |   457182 |    66556     15 |        5 |      648
1314.13/1314.57	c 1312s |      19 |  3350328 |   457882 |    66556     15 |        5 |      648
1316.32/1316.76	c 1314s |      19 |  3354925 |   458582 |    66556     15 |        5 |      648
1318.52/1318.91	c 1316s |      19 |  3361078 |   459182 |    66556     15 |        5 |      648
1320.82/1321.23	c 1319s |      19 |  3368396 |   460082 |    66556     15 |        5 |      648
1323.02/1323.46	c 1321s |      19 |  3374645 |   460682 |    66556     15 |        5 |      648
1325.22/1325.60	c 1323s |      19 |  3379458 |   461482 |    66556     15 |        5 |      648
1327.42/1327.83	c 1325s |      19 |  3385552 |   462082 |    66556     15 |        5 |      648
1329.82/1330.20	c 1328s |      19 |  3389858 |   462782 |    66556     15 |        5 |      648
1332.02/1332.40	c 1330s |      19 |  3394557 |   463382 |    66556     15 |        5 |      648
1334.32/1334.74	c 1332s |      19 |  3399747 |   464182 |    66556     15 |        5 |      648
1336.41/1336.81	c 1334s |      19 |  3403508 |   464882 |    66556     15 |        5 |      648
1338.51/1338.97	c 1337s |      19 |  3407917 |   465582 |    66556     15 |        5 |      648
1340.62/1341.04	c 1339s |      19 |  3413696 |   466182 |    66556     15 |        5 |      648
1342.82/1343.21	c 1341s |      19 |  3417831 |   466982 |    66556     15 |        5 |      648
1344.81/1345.23	c 1343s |      19 |  3421883 |   467682 |    66556     15 |        5 |      648
1347.12/1347.53	c 1345s |      19 |  3426003 |   468382 |    66556     15 |        5 |      648
1349.21/1349.60	c 1347s |      19 |  3430236 |   469082 |    66556     15 |        5 |      648
1353.11/1353.51	c 1351s |      19 |  3433528 |   469682 |    66556     16 |        5 |      648
1355.11/1355.58	c 1353s |      19 |  3437351 |   470582 |    66556     16 |        5 |      648
1357.31/1357.71	c 1355s |      19 |  3442552 |   471482 |    66556     16 |        5 |      648
1359.51/1359.93	c 1358s |      19 |  3447812 |   472582 |    66556     16 |        5 |      648
1361.61/1362.01	c 1360s |      19 |  3450790 |   473582 |    66556     16 |        5 |      648
1363.61/1364.06	c 1362s |      19 |  3454005 |   474682 |    66556     16 |        5 |      648
1365.61/1366.09	c 1364s |      19 |  3456336 |   475882 |    66556     16 |        5 |      648
1367.71/1368.14	c 1366s |      19 |  3460729 |   476182 |    66556     16 |        5 |      648
1372.11/1372.53	c 1370s |      19 |  3462092 |   476282 |    66556     16 |        5 |      648
1374.21/1374.60	c 1372s |      19 |  3469222 |   476882 |    66556     16 |        5 |      648
1376.21/1376.66	c 1374s |      19 |  3474514 |   477682 |    66556     16 |        5 |      648
1378.41/1378.81	c 1376s |      19 |  3480834 |   478182 |    66556     16 |        5 |      648
1380.41/1380.85	c 1378s |      19 |  3486081 |   478882 |    66556     16 |        5 |      648
1382.51/1382.98	c 1381s |      19 |  3491994 |   479582 |    66556     16 |        5 |      648
1384.81/1385.23	c 1383s |      19 |  3497856 |   480082 |    66556     16 |        5 |      648
1386.81/1387.26	c 1385s |      19 |  3506100 |   480582 |    66556     16 |        5 |      648
1388.91/1389.37	c 1387s |      19 |  3511705 |   481282 |    66556     16 |        5 |      648
1391.31/1391.74	c 1389s |      19 |  3520133 |   481982 |    66556     16 |        5 |      648
1393.31/1393.75	c 1391s |      19 |  3522958 |   482382 |    66556     16 |        5 |      648
1395.30/1395.77	c 1393s |      19 |  3527061 |   482982 |    66556     16 |        5 |      648
1397.40/1397.81	c 1395s |      19 |  3531375 |   483682 |    66556     16 |        5 |      648
1399.70/1400.17	c 1398s |      19 |  3537185 |   484282 |    66556     16 |        5 |      648
1401.80/1402.22	c 1400s |      19 |  3541536 |   484782 |    66556     16 |        5 |      648
1404.00/1404.49	c 1402s |      19 |  3545701 |   485482 |    66556     16 |        5 |      648
1406.40/1406.90	c 1404s |      19 |  3553429 |   486082 |    66556     16 |        5 |      648
1408.50/1408.96	c 1407s |      19 |  3558498 |   486682 |    66556     16 |        5 |      648
1410.70/1411.19	c 1409s |      19 |  3566724 |   487482 |    66556     16 |        5 |      648
1412.90/1413.30	c 1411s |      19 |  3572802 |   488082 |    66556     16 |        5 |      648
1415.00/1415.49	c 1413s |      19 |  3578757 |   488882 |    66556     16 |        5 |      648
1417.30/1417.74	c 1415s |      19 |  3586073 |   489482 |    66556     16 |        5 |      648
1419.30/1419.76	c 1417s |      19 |  3590618 |   490182 |    66556     16 |        5 |      648
1421.40/1421.89	c 1419s |      19 |  3595327 |   490782 |    66556     16 |        5 |      648
1423.50/1423.99	c 1422s |      19 |  3600125 |   491382 |    66556     16 |        5 |      648
1425.60/1426.03	c 1424s |      19 |  3604917 |   492082 |    66556     16 |        5 |      648
1427.70/1428.18	c 1426s |      19 |  3610065 |   492682 |    66556     16 |        5 |      648
1429.90/1430.33	c 1428s |      19 |  3614663 |   493382 |    66556     16 |        5 |      648
1432.00/1432.46	c 1430s |      19 |  3622253 |   493982 |    66556     16 |        5 |      648
1434.20/1434.65	c 1432s |      19 |  3627187 |   494782 |    66556     16 |        5 |      648
1436.40/1436.80	c 1434s |      19 |  3632131 |   495482 |    66556     16 |        5 |      648
1438.50/1438.91	c 1436s |      19 |  3636791 |   496082 |    66556     16 |        5 |      648
1440.70/1441.11	c 1439s |      19 |  3643272 |   496982 |    66556     16 |        5 |      648
1442.90/1443.32	c 1441s |      19 |  3649722 |   497782 |    66556     16 |        5 |      648
1445.00/1445.43	c 1443s |      19 |  3653824 |   498482 |    66556     16 |        5 |      648
1447.10/1447.56	c 1445s |      19 |  3658634 |   499182 |    66556     16 |        5 |      648
1449.20/1449.65	c 1447s |      19 |  3662487 |   499882 |    66556     16 |        5 |      648
1451.30/1451.77	c 1449s |      19 |  3666876 |   500682 |    66556     16 |        5 |      648
1453.50/1453.98	c 1452s |      19 |  3670239 |   501482 |    66556     16 |        5 |      648
1455.49/1455.99	c 1454s |      19 |  3674501 |   502282 |    66556     16 |        5 |      648
1457.59/1458.04	c 1456s |      19 |  3677122 |   502982 |    66556     16 |        5 |      648
1459.59/1460.09	c 1458s |      19 |  3679449 |   503782 |    66556     16 |        5 |      648
1462.49/1462.93	c 1461s |      19 |  3682101 |   504582 |    66556     17 |        5 |      648
1464.69/1465.20	c 1463s |      19 |  3686240 |   505082 |    66556     17 |        5 |      648
1466.79/1467.21	c 1465s |      19 |  3690143 |   505682 |    66556     17 |        5 |      648
1469.09/1469.56	c 1467s |      19 |  3695261 |   506282 |    66556     17 |        5 |      648
1471.29/1471.76	c 1469s |      19 |  3700459 |   507082 |    66556     17 |        5 |      648
1473.29/1473.76	c 1471s |      19 |  3706460 |   507682 |    66556     17 |        5 |      648
1475.59/1476.04	c 1474s |      19 |  3713576 |   508582 |    66556     17 |        5 |      648
1477.69/1478.18	c 1476s |      19 |  3718530 |   509382 |    66556     17 |        5 |      648
1479.79/1480.24	c 1478s |      19 |  3723478 |   510082 |    66556     17 |        5 |      648
1482.09/1482.50	c 1480s |      19 |  3728613 |   510782 |    66556     17 |        5 |      648
1484.19/1484.68	c 1482s |      19 |  3732997 |   511582 |    66556     17 |        5 |      648
1486.39/1486.85	c 1484s |      19 |  3737349 |   512382 |    66556     17 |        5 |      648
1488.49/1488.91	c 1486s |      19 |  3740357 |   513182 |    66556     17 |        5 |      648
1490.69/1491.19	c 1489s |      19 |  3744846 |   514182 |    66556     17 |        5 |      648
1492.89/1493.36	c 1491s |      19 |  3747334 |   515082 |    66556     17 |        5 |      648
1495.09/1495.54	c 1493s |      19 |  3750431 |   515982 |    66556     17 |        5 |      648
1497.19/1497.62	c 1495s |      19 |  3753741 |   516782 |    66556     17 |        5 |      648
1499.39/1499.86	c 1497s |      19 |  3758930 |   517582 |    66556     17 |        5 |      648
1501.49/1501.91	c 1499s |      19 |  3763136 |   518282 |    66556     17 |        5 |      648
1503.59/1504.06	c 1502s |      19 |  3767819 |   518982 |    66556     17 |        5 |      648
1505.89/1506.35	c 1504s |      19 |  3772302 |   519582 |    66556     17 |        5 |      648
1508.08/1508.54	c 1506s |      19 |  3778190 |   520182 |    66556     17 |        5 |      648
1510.28/1510.72	c 1508s |      19 |  3784291 |   520982 |    66556     17 |        5 |      648
1512.28/1512.76	c 1510s |      19 |  3789893 |   521482 |    66556     17 |        5 |      648
1514.39/1514.83	c 1512s |      19 |  3795613 |   522282 |    66556     17 |        5 |      648
1516.59/1517.07	c 1515s |      19 |  3801913 |   522982 |    66556     17 |        5 |      648
1518.58/1519.07	c 1517s |      19 |  3807151 |   523582 |    66556     17 |        5 |      648
1520.99/1521.41	c 1519s |      19 |  3816180 |   524182 |    66556     17 |        5 |      648
1523.28/1523.72	c 1521s |      19 |  3823612 |   524782 |    66556     17 |        5 |      648
1525.48/1525.96	c 1524s |      19 |  3830262 |   525582 |    66556     17 |        5 |      648
1527.68/1528.10	c 1526s |      19 |  3837242 |   526082 |    66556     17 |        5 |      648
1529.79/1530.21	c 1528s |      19 |  3842120 |   526782 |    66556     17 |        5 |      648
1532.08/1532.52	c 1530s |      19 |  3848177 |   527382 |    66556     17 |        5 |      648
1534.48/1534.92	c 1532s |      19 |  3853924 |   527882 |    66556     17 |        5 |      648
1536.68/1537.14	c 1535s |      19 |  3858607 |   528382 |    66556     17 |        5 |      648
1538.68/1539.17	c 1537s |      19 |  3861960 |   528982 |    66556     17 |        5 |      648
1540.98/1541.41	c 1539s |      19 |  3868646 |   529482 |    66556     17 |        5 |      648
1543.18/1543.61	c 1541s |      19 |  3876317 |   529982 |    66556     17 |        5 |      648
1545.38/1545.81	c 1543s |      19 |  3882480 |   530482 |    66556     17 |        5 |      648
1547.58/1548.02	c 1546s |      19 |  3888318 |   531182 |    66556     17 |        5 |      648
1549.68/1550.17	c 1548s |      19 |  3895260 |   531882 |    66556     17 |        5 |      648
1551.88/1552.31	c 1550s |      19 |  3900828 |   532382 |    66556     17 |        5 |      648
1553.88/1554.40	c 1552s |      19 |  3904089 |   533082 |    66556     17 |        5 |      648
1555.98/1556.46	c 1554s |      19 |  3908550 |   533582 |    66556     17 |        5 |      648
1558.28/1558.76	c 1556s |      19 |  3915178 |   534082 |    66556     17 |        5 |      648
1560.38/1560.87	c 1558s |      19 |  3919606 |   534582 |    66556     17 |        5 |      648
1562.58/1563.05	c 1561s |      19 |  3924104 |   535282 |    66556     17 |        5 |      648
1564.78/1565.21	c 1563s |      19 |  3930423 |   535782 |    66556     17 |        5 |      648
1566.77/1567.24	c 1565s |      19 |  3936136 |   536482 |    66556     17 |        5 |      648
1568.87/1569.33	c 1567s |      19 |  3943137 |   537082 |    66556     17 |        5 |      648
1570.97/1571.46	c 1569s |      19 |  3947575 |   537482 |    66556     18 |        5 |      648
1573.17/1573.66	c 1571s |      19 |  3951089 |   538182 |    66556     18 |        5 |      648
1575.57/1576.03	c 1574s |      19 |  3957280 |   538882 |    66556     18 |        5 |      648
1577.77/1578.21	c 1576s |      19 |  3964261 |   539482 |    66556     18 |        5 |      648
1579.87/1580.30	c 1578s |      19 |  3970381 |   540282 |    66556     18 |        5 |      648
1582.07/1582.52	c 1580s |      19 |  3976502 |   540982 |    66556     18 |        5 |      648
1584.07/1584.56	c 1582s |      19 |  3980402 |   541682 |    66556     18 |        5 |      648
1586.07/1586.59	c 1584s |      19 |  3986594 |   542382 |    66556     18 |        5 |      648
1588.37/1588.80	c 1586s |      19 |  3992393 |   543182 |    66556     18 |        5 |      648
1590.37/1590.86	c 1588s |      19 |  3997789 |   543982 |    66556     18 |        5 |      648
1592.57/1593.09	c 1591s |      19 |  4004222 |   544682 |    66556     18 |        5 |      648
1594.77/1595.26	c 1593s |      19 |  4009211 |   545482 |    66556     18 |        5 |      648
1596.78/1597.28	c 1595s |      19 |  4015077 |   546082 |    66556     18 |        5 |      648
1598.87/1599.30	c 1597s |      19 |  4020703 |   546882 |    66556     18 |        5 |      648
1600.87/1601.37	c 1599s |      19 |  4025905 |   547682 |    66556     18 |        5 |      648
1603.07/1603.50	c 1601s |      19 |  4032067 |   548582 |    66556     18 |        5 |      648
1605.17/1605.65	c 1603s |      19 |  4036098 |   549382 |    66556     18 |        5 |      648
1607.37/1607.86	c 1605s |      19 |  4040479 |   550182 |    66556     18 |        5 |      648
1609.57/1610.08	c 1608s |      19 |  4045989 |   551082 |    66556     18 |        5 |      648
1611.77/1612.28	c 1610s |      19 |  4051542 |   552082 |    66556     18 |        5 |      648
1613.97/1614.45	c 1612s |      19 |  4056335 |   552982 |    66556     18 |        5 |      648
1616.07/1616.54	c 1614s |      19 |  4060604 |   553982 |    66556     18 |        5 |      648
1618.07/1618.56	c 1616s |      19 |  4064428 |   554982 |    66556     18 |        5 |      648
1620.17/1620.65	c 1618s |      19 |  4068032 |   556082 |    66556     18 |        5 |      648
1622.57/1623.07	c 1621s |      19 |  4073219 |   556782 |    66556     18 |        5 |      648
1624.97/1625.44	c 1623s |      19 |  4079631 |   557382 |    66556     18 |        5 |      648
1626.96/1627.47	c 1625s |      19 |  4084080 |   558082 |    66556     18 |        5 |      648
1629.16/1629.60	c 1627s |      19 |  4088781 |   558582 |    66556     18 |        5 |      648
1631.26/1631.72	c 1629s |      19 |  4093384 |   559182 |    66556     18 |        5 |      648
1633.76/1634.20	c 1632s |      19 |  4098674 |   559882 |    66556     18 |        5 |      648
1635.96/1636.49	c 1634s |      19 |  4104553 |   560382 |    66556     18 |        5 |      648
1638.06/1638.56	c 1636s |      19 |  4108402 |   560882 |    66556     18 |        5 |      648
1640.56/1641.04	c 1639s |      19 |  4112486 |   561582 |    66556     18 |        5 |      648
1642.56/1643.07	c 1641s |      19 |  4117912 |   562082 |    66556     18 |        5 |      648
1644.76/1645.20	c 1643s |      19 |  4122064 |   562782 |    66556     18 |        5 |      648
1646.86/1647.34	c 1645s |      19 |  4127280 |   563382 |    66556     18 |        5 |      648
1649.06/1649.55	c 1647s |      19 |  4132042 |   563882 |    66556     18 |        5 |      648
1651.26/1651.74	c 1649s |      19 |  4136393 |   564482 |    66556     18 |        5 |      648
1653.56/1654.03	c 1652s |      19 |  4140939 |   565182 |    66556     18 |        5 |      648
1655.66/1656.11	c 1654s |      19 |  4145770 |   565882 |    66556     18 |        5 |      648
1657.96/1658.49	c 1656s |      19 |  4150441 |   566482 |    66556     18 |        5 |      648
1660.06/1660.50	c 1658s |      19 |  4156235 |   566982 |    66556     18 |        5 |      648
1662.06/1662.52	c 1660s |      19 |  4160170 |   567582 |    66556     18 |        5 |      648
1664.16/1664.60	c 1662s |      19 |  4164746 |   568182 |    66556     18 |        5 |      648
1666.36/1666.82	c 1664s |      19 |  4167920 |   568882 |    66556     18 |        5 |      648
1668.46/1668.93	c 1667s |      19 |  4172069 |   569382 |    66556     18 |        5 |      648
1670.56/1671.07	c 1669s |      19 |  4175328 |   570082 |    66556     18 |        5 |      648
1672.56/1673.10	c 1671s |      19 |  4178691 |   570582 |    66556     18 |        5 |      648
1674.66/1675.13	c 1673s |      19 |  4181471 |   571282 |    66556     18 |        5 |      648
1676.86/1677.34	c 1675s |      19 |  4184734 |   571882 |    66556     18 |        5 |      648
1679.66/1680.10	c 1678s |      19 |  4187485 |   572482 |    66556     19 |        5 |      648
1681.66/1682.16	c 1680s |      19 |  4191395 |   573182 |    66556     19 |        5 |      648
1683.77/1684.21	c 1682s |      19 |  4196139 |   573982 |    66556     19 |        5 |      648
1685.76/1686.28	c 1684s |      19 |  4200210 |   574782 |    66556     19 |        5 |      648
1687.96/1688.44	c 1686s |      19 |  4204484 |   575582 |    66556     19 |        5 |      648
1690.16/1690.67	c 1688s |      19 |  4209415 |   576482 |    66556     19 |        5 |      648
1692.26/1692.79	c 1690s |      19 |  4212572 |   577282 |    66556     19 |        5 |      648
1694.46/1694.99	c 1693s |      19 |  4215094 |   577982 |    66556     19 |        5 |      648
1696.66/1697.12	c 1695s |      19 |  4218819 |   578882 |    66556     19 |        5 |      648
1698.86/1699.34	c 1697s |      19 |  4221211 |   579782 |    66556     19 |        5 |      648
1701.27/1701.79	c 1699s |      19 |  4225647 |   580582 |    66556     19 |        5 |      648
1703.47/1703.97	c 1702s |      19 |  4230702 |   581282 |    66556     19 |        5 |      648
1705.77/1706.25	c 1704s |      19 |  4236910 |   582082 |    66556     19 |        5 |      648
1708.56/1709.00	c 1707s |      19 |  4243545 |   582582 |    66556     19 |        5 |      648
1710.56/1711.05	c 1709s |      19 |  4248897 |   583382 |    66556     19 |        5 |      648
1712.66/1713.20	c 1711s |      19 |  4255823 |   583982 |    66556     19 |        5 |      648
1715.06/1715.52	c 1713s |      19 |  4261986 |   584582 |    66556     19 |        5 |      648
1717.06/1717.58	c 1715s |      19 |  4265164 |   585282 |    66556     19 |        5 |      648
1719.26/1719.75	c 1717s |      19 |  4271232 |   585882 |    66556     19 |        5 |      648
1721.56/1722.00	c 1720s |      19 |  4276921 |   586682 |    66556     19 |        5 |      648
1723.76/1724.28	c 1722s |      19 |  4283145 |   587282 |    66556     19 |        5 |      648
1726.06/1726.54	c 1724s |      19 |  4290226 |   588182 |    66556     19 |        5 |      648
1728.36/1728.80	c 1726s |      19 |  4296595 |   588782 |    66556     19 |        5 |      648
1730.36/1730.89	c 1728s |      19 |  4302476 |   589382 |    66556     19 |        5 |      648
1732.55/1733.06	c 1731s |      19 |  4309292 |   590282 |    66556     19 |        5 |      648
1734.85/1735.36	c 1733s |      19 |  4315598 |   591082 |    66556     19 |        5 |      648
1737.05/1737.52	c 1735s |      19 |  4320931 |   591682 |    66556     19 |        5 |      648
1739.25/1739.72	c 1737s |      19 |  4325716 |   592482 |    66556     19 |        5 |      648
1741.35/1741.82	c 1739s |      19 |  4331395 |   593082 |    66556     19 |        5 |      648
1743.45/1743.91	c 1741s |      19 |  4336177 |   593882 |    66556     19 |        5 |      648
1745.65/1746.18	c 1744s |      19 |  4343906 |   594782 |    66556     19 |        5 |      648
1747.95/1748.44	c 1746s |      19 |  4351813 |   595782 |    66556     19 |        5 |      648
1750.15/1750.69	c 1748s |      19 |  4356105 |   596582 |    66556     19 |        5 |      648
1752.45/1752.97	c 1751s |      19 |  4361148 |   597282 |    66556     19 |        5 |      648
1754.55/1755.06	c 1753s |      19 |  4366950 |   598082 |    66556     19 |        5 |      648
1756.85/1757.31	c 1755s |      19 |  4373539 |   599182 |    66556     19 |        5 |      648
1758.95/1759.42	c 1757s |      19 |  4379414 |   600182 |    66556     19 |        5 |      648
1760.95/1761.43	c 1759s |      19 |  4385913 |   601182 |    66556     19 |        5 |      648
1763.15/1763.60	c 1761s |      19 |  4389949 |   602182 |    66556     19 |        5 |      648
1765.16/1765.60	c 1763s |      19 |  4394751 |   603282 |    66556     19 |        5 |      648
1767.26/1767.80	c 1765s |      19 |  4399410 |   604582 |    66556     19 |        5 |      648
1769.56/1770.07	c 1768s |      19 |  4403486 |   605182 |    66556     19 |        5 |      648
1771.76/1772.28	c 1770s |      19 |  4407002 |   605782 |    66556     19 |        5 |      648
1774.05/1774.58	c 1772s |      19 |  4411399 |   606182 |    66556     20 |        5 |      648
1776.16/1776.68	c 1774s |      19 |  4415892 |   606882 |    66556     20 |        5 |      648
1778.35/1778.86	c 1776s |      19 |  4421025 |   607582 |    66556     20 |        5 |      648
1780.45/1780.97	c 1779s |      19 |  4428115 |   608182 |    66556     20 |        5 |      648
1782.55/1783.00	c 1781s |      19 |  4432575 |   608882 |    66556     20 |        5 |      648
1784.55/1785.03	c 1783s |      19 |  4438597 |   609582 |    66556     20 |        5 |      648
1786.75/1787.22	c 1785s |      19 |  4445637 |   610282 |    66556     20 |        5 |      648
1788.85/1789.31	c 1787s |      19 |  4452843 |   611082 |    66556     20 |        5 |      648
1791.15/1791.62	c 1789s |      19 |  4459198 |   611782 |    66556     20 |        5 |      648
1793.25/1793.74	c 1791s |      19 |  4464041 |   612582 |    66556     20 |        5 |      648
1795.25/1795.76	c 1793s |      19 |  4469322 |   613182 |    66556     20 |        5 |      648
1797.24/1797.76	c 1795s |      19 |  4474222 |   613982 |    66556     20 |        5 |      648
1799.44/1799.98	c 1798s |      19 |  4480826 |   614682 |    66556     20 |        5 |      648

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

pid=29633
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: 1.17 1.40 1.75 3/177 29636
/proc/meminfo: memFree=30718892/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=770628 CPUtime=0 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 2887 0 0 0 0 0 0 0 20 0 4 0 13958314 789123072 2737 33554432000 4194304 16246674 140737005961664 140737005961088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 193425 2746 442 2943 0 190319 0
[pid=29636/tid=29637] ppid=29633 vsize=789060 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 807997440 2806 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=793156 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 812191744 2825 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=798276 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13958314 817434624 2841 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 1.17 1.40 1.75 3/177 29636
/proc/meminfo: memFree=30718892/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 27450 0 0 0 6 3 0 0 20 0 4 0 13958314 1333334016 27239 33554432000 4194304 16246674 140737005961664 140737005960976 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 325521 27255 801 2943 0 322415 0
[pid=29636/tid=29637] ppid=29633 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1333334016 27266 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1333334016 27277 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1333334016 27288 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200531 s]
/proc/loadavg: 1.17 1.40 1.75 3/177 29636
/proc/meminfo: memFree=30718892/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 48742 0 0 0 13 6 0 0 20 0 4 0 13958314 1344868352 49041 33554432000 4194304 16246674 140737005961664 140737005960976 7918804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 328337 49041 801 2943 0 325231 0
[pid=29636/tid=29637] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 49041 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 49041 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 49041 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300509 s]
/proc/loadavg: 1.17 1.40 1.75 3/177 29636
/proc/meminfo: memFree=30718892/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 60270 0 0 0 21 7 0 0 20 0 4 0 13958314 1344868352 60569 33554432000 4194304 16246674 140737005961664 140737005960976 7371489 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 328337 60569 801 2943 0 325231 0
[pid=29636/tid=29637] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 60569 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 60569 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 60569 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.70042 s]
/proc/loadavg: 1.17 1.40 1.75 3/177 29636
/proc/meminfo: memFree=30718892/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 72036 0 0 0 60 9 0 0 20 0 4 0 13958314 1344868352 72335 33554432000 4194304 16246674 140737005961664 140737005943552 4220965 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 328337 72335 802 2943 0 325231 0
[pid=29636/tid=29637] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 72335 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 72335 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 72335 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 1.17 1.40 1.75 3/181 29640
/proc/meminfo: memFree=29851632/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 249369 0 0 0 117 32 0 0 20 0 4 0 13958314 1344868352 249669 33554432000 4194304 16246674 140737005961664 140737005943552 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 328337 249683 836 2943 0 325231 0
[pid=29636/tid=29637] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 249689 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 249696 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1344868352 249703 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 1.17 1.40 1.75 3/181 29640
/proc/meminfo: memFree=29249232/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1334852 CPUtime=3.09 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 274178 0 0 0 273 36 0 0 20 0 4 0 13958314 1366888448 274477 33554432000 4194304 16246674 140737005961664 140737005943552 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 333713 274477 881 2943 0 330607 0
[pid=29636/tid=29637] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274477 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274477 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274477 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1334852

[startup+6.30043 s]
/proc/loadavg: 1.32 1.43 1.76 3/181 29640
/proc/meminfo: memFree=29248304/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1334852 CPUtime=6.29 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 274387 0 0 0 593 36 0 0 20 0 4 0 13958314 1366888448 274686 33554432000 4194304 16246674 140737005961664 140737005943552 5829080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 333713 274686 885 2943 0 330607 0
[pid=29636/tid=29637] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274686 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274686 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274686 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1334852

[startup+12.7004 s]
/proc/loadavg: 1.45 1.46 1.76 3/181 29640
/proc/meminfo: memFree=29241544/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1334852 CPUtime=12.69 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 274388 0 0 0 1233 36 0 0 20 0 4 0 13958314 1366888448 274687 33554432000 4194304 16246674 140737005961664 140737005943552 5754856 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 333713 274687 885 2943 0 330607 0
[pid=29636/tid=29637] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274687 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274687 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274687 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1334852

[startup+25.5005 s]
/proc/loadavg: 1.57 1.48 1.76 3/181 29738
/proc/meminfo: memFree=29220440/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1334852 CPUtime=25.49 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 274388 0 0 0 2513 36 0 0 20 0 4 0 13958314 1366888448 274687 33554432000 4194304 16246674 140737005961664 140737005943552 5661363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 333713 274687 885 2943 0 330607 0
[pid=29636/tid=29637] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274687 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274687 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274687 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1334852

[startup+51.1005 s]
/proc/loadavg: 1.78 1.54 1.77 3/181 29738
/proc/meminfo: memFree=29220784/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1334852 CPUtime=51.08 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 274390 0 0 0 5072 36 0 0 20 0 4 0 13958314 1366888448 274689 33554432000 4194304 16246674 140737005961664 140737005943552 5662156 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 333713 274689 887 2943 0 330607 0
[pid=29636/tid=29637] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274689 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274689 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274689 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1334852

[startup+102.301 s]
/proc/loadavg: 1.95 1.62 1.79 4/181 29739
/proc/meminfo: memFree=29220652/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1334852 CPUtime=102.28 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 274391 0 0 0 10192 36 0 0 20 0 4 0 13958314 1366888448 274690 33554432000 4194304 16246674 140737005961664 140737005943552 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 333713 274690 887 2943 0 330607 0
[pid=29636/tid=29637] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274690 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274690 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1366888448 274690 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1334852


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

/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1443434496 293379 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1409604

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/182 29773
/proc/meminfo: memFree=29042048/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1409604 CPUtime=1361.91 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 293400 0 0 0 136145 46 0 0 20 0 4 0 13958314 1443434496 293379 33554432000 4194304 16246674 140737005961664 140737005943552 5675212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 352401 293379 888 2943 0 349295 0
[pid=29636/tid=29637] ppid=29633 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1443434496 293379 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1443434496 293379 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1443434496 293379 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1409604

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/181 29774
/proc/meminfo: memFree=29034760/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1421.91 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295262 0 0 0 142144 47 0 0 20 0 4 0 13958314 1451823104 295241 33554432000 4194304 16246674 140737005961664 140737005943552 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295241 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295241 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295241 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295241 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1417796

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/181 29775
/proc/meminfo: memFree=29033912/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1481.89 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295448 0 0 0 148142 47 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140737005943552 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295427 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1417796

[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 1.97 3/181 29777
/proc/meminfo: memFree=29034180/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1541.89 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295448 0 0 0 154142 47 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140737005943552 13820950 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295427 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1417796

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 1.98 3/181 29778
/proc/meminfo: memFree=29034408/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1601.87 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295448 0 0 0 160140 47 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140737005943552 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295427 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1417796

[startup+1662.3 s]
/proc/loadavg: 2.14 2.06 1.99 3/181 29779
/proc/meminfo: memFree=29034440/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1661.86 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295448 0 0 0 166139 47 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140737005943552 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295427 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1417796

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/181 29780
/proc/meminfo: memFree=29034560/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1721.86 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295448 0 0 0 172138 48 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140737005943552 5672056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295427 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1417796

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/181 29781
/proc/meminfo: memFree=29034440/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1781.85 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295448 0 0 0 178137 48 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140737005943552 5673792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295427 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1417796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.07 2.06 2.00 3/180 29781
/proc/meminfo: memFree=29034200/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1800.04 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295448 0 0 0 179956 48 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140737005943552 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295427 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1417796

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

[startup+1800.5 s]
/proc/loadavg: 2.07 2.06 2.00 3/180 29781
/proc/meminfo: memFree=29034200/32872528 swapFree=446836/479540
[pid=29636] ppid=29633 vsize=1417796 CPUtime=1800.04 cores=1,3,5,7
/proc/29636/stat : 29636 (toysat) R 29633 29636 25636 0 -1 4202496 295448 0 0 0 179956 48 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140737005943552 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29636/statm: 354449 295427 888 2943 0 351343 0
[pid=29636/tid=29637] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29637/stat : 29637 (toysat) S 29633 29636 25636 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149057891568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29636/tid=29638] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29638/stat : 29638 (toysat) S 29633 29636 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149047401712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29636/tid=29639] ppid=29633 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/29636/task/29639/stat : 29639 (toysat) S 29633 29636 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13958314 1451823104 295427 33554432000 4194304 16246674 140737005961664 140149036928176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1417796

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.57
CPU system time (s): 0.483926
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1417796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.483926
maximum resident set size= 1181708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295448
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= 334
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79127 second user time and 6.72098 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-17 01:18:02
IDJOB=4097982
IDBENCH=107835
IDSOLVER=2542
FILE ID=node104/4097982-1466119082
RUNJOBID= node104-1466119081-29555
PBS_JOBID= 19904131
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_10.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097982-1466119082/watcher-4097982-1466119082 -o /tmp/evaluation-result-4097982-1466119082/solver-4097982-1466119082 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466119081-29555 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097982-1466119082.opb

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

MD5SUM BENCH= 82724f5dc802f6e67469d14fb2bd7ac4
RANDOM SEED=561939676

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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		: 2667.035
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.54
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		: 2667.035
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		: 2667.035
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:        30734416 kB
Buffers:           76076 kB
Cached:           194316 kB
SwapCached:          516 kB
Active:           830400 kB
Inactive:         123088 kB
Active(anon):     684152 kB
Inactive(anon):     1172 kB
Active(file):     146248 kB
Inactive(file):   121916 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100320 kB
Dirty:             36288 kB
Writeback:             0 kB
AnonPages:       1161988 kB
Mapped:             9856 kB
Shmem:                 0 kB
Slab:             573660 kB
SReclaimable:      17604 kB
SUnreclaim:       556056 kB
KernelStack:        1416 kB
PageTables:         6388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1597480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71664 MiB
End job on node104 at 2016-06-17 01:48:03