Trace number 3421905

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
CryptoMiniSat Strange-Night2-st (fixed)? (TO) 5000.05 4999.93

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
MD5SUM86d9f733c618d2ca060f457ab8a19463
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4230
Number of clauses100443
Sum of the clauses size411786
Maximum clause length5
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 490429
Number of clauses of size 510014
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3421905-1306611499.cnf'
0.00/0.01	c -- header says num vars:           4230
0.00/0.01	c -- header says num clauses:      100443
0.00/0.03	c -- clauses added:            0 learnts,       100443 normals,            0 xors
0.00/0.03	c -- vars added       4230
0.00/0.03	c Parsing time:  0.03 s
0.00/0.03	c  N st     0         0      4230    100443         0         0    411786         0   no data   no data
0.29/0.37	c asymm  cl-useful: 0/82574/100443 lits-rem:0 time: 0.34
0.29/0.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.02
0.39/0.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.39/0.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4230 time:  0.00 s
0.39/0.41	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.49/0.50	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.09 s
0.49/0.50	c Finding binary XORs  T:     0.00 s  found:       0
0.49/0.54	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
0.49/0.54	c calculated reachability. Time: 0.00
0.49/0.54	c Calc default polars -  time:   0.00 s pos:    4221 undec:       9 neg:       0
0.49/0.54	c =========================================================================================
0.49/0.54	c types(t): F = full restart, N = normal restart
0.49/0.54	c types(t): S = simplification begin/end, E = solution found
0.49/0.54	c restart types(rt): st = static, dy = dynamic
0.49/0.54	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.49/0.54	c  B st     0         0      4221    100378         0         0    412451         0   no data   no data
0.59/0.62	c Decided on static restart strategy
0.69/0.74	c  N st     8      4919      4221    100378         0      4857    412451    329984   no data   no data
1.01/1.06	c  N st    10     11301      4221    100378         0     11166    412451    760366   no data   no data
1.39/1.45	c  N st    11     17044      4221    100378         0     16845    412451   1152410   no data   no data
1.89/1.99	c  F st    12     25000      4221    100378         0     14806    412451    751883   no data   no data
1.99/2.01	c Found part        1 vars:       2122 clauses:     51365 lits size:    211081
1.99/2.01	c Found part        9 vars:       2099 clauses:     49013 lits size:    201370
1.99/2.01	c Found parts:          2 time: 0.01 s
1.99/2.01	c Solving part 9
1.99/2.03	c  N st     0         0      2099     49013         0         0    201370         0   no data   no data
2.10/2.16	c asymm  cl-useful: 0/49013/49013 lits-rem:0 time: 0.13
2.10/2.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
2.10/2.17	c Finding binary XORs  T:     0.00 s  found:       0
2.10/2.19	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
2.10/2.19	c calculated reachability. Time: 0.00
2.10/2.19	c Calc default polars -  time:   0.00 s pos:    2099 undec:    2131 neg:       0
2.10/2.19	c =========================================================================================
2.10/2.19	c types(t): F = full restart, N = normal restart
2.10/2.19	c types(t): S = simplification begin/end, E = solution found
2.10/2.19	c restart types(rt): st = static, dy = dynamic
2.10/2.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.10/2.19	c  B st     0         0      2099     49013         0         0    201370         0   no data   no data
2.20/2.26	c Decided on static restart strategy
2.29/2.37	c  N st     8      4913      2099     49013         0      4844    201370    324577   no data   no data
2.59/2.69	c  N st    10     11296      2099     49013         0      7099    201370    370046   no data   no data
2.99/3.03	c  N st    11     17041      2099     49013         0     12737    201370    764412   no data   no data
3.49/3.53	c  F st    12     25000      2099     49013         0     14025    201370    806900   no data   no data
3.49/3.53	c  N st    12     25000      2099     49013         0     14025    201370    806900   no data   no data
3.79/3.82	c Decided on static restart strategy
3.79/3.82	c  N st    18     30195      2099     49013         0     10882    201370    520013   no data   no data
4.19/4.22	c  N st    20     37307      2099     49013         0     17918    201370   1047972   no data   no data
4.69/4.77	c  N st    21     43708      2099     49013         0     14686    201370   1062858   no data   no data
5.51/5.56	c  N st    22     53308      2099     49013         0     13321    201370    825615   no data   no data
7.09/7.18	c  N st    23     67707      2099     49013         0     15723    201370   1200943   no data   no data
8.59/8.69	c  F st    24     87501      2099     49013         0     22354    201370   1396718   no data   no data
8.59/8.69	c  N st    24     87501      2099     49013         0     22354    201370   1396718   no data   no data
8.99/9.03	c Decided on static restart strategy
9.19/9.20	c  N st    31     95544      2099     49013         0     16222    201370    697446   no data   no data
9.91/9.95	c  N st    33    106210      2099     49013         0     26690    201370   1449471   no data   no data
10.49/10.59	c  N st    34    115811      2099     49013         0     21220    201370   1032334   no data   no data
12.00/12.04	c  N st    35    130208      2099     49013         0     19568    201370   1116848   no data   no data
14.59/14.60	c  N st    36    151805      2099     49013         0     24055    201370   1661523   no data   no data
18.61/18.68	c  N st    37    184199      2099     49013         0     19089    201370    784809   no data   no data
26.48/26.53	c  N st    38    232787      2099     49013         0     26366    201370   1507373   no data   no data
34.19/34.28	c  N st    39    305670      2099     49013         0     29571    201370   1288463   no data   no data
34.29/34.32	c  F st    40    306250      2099     49013         0     30147    201370   1327124   no data   no data
34.59/34.65	c Decided on static restart strategy
36.39/36.44	c  N st    50    334554      2099     49013         0     33103    201370   1389502   no data   no data
40.09/40.11	c  N st    52    370548      2099     49013         0     42648    201370   2074690   no data   no data
43.49/43.53	c  N st    53    402940      2099     49013         0     47668    201370   2377774   no data   no data
49.40/49.49	c  N st    54    451528      2099     49013         0     39102    201370   1679486   no data   no data
59.19/59.25	c  N st    55    524410      2099     49013         0     50309    201370   2386603   no data   no data
81.89/81.95	c  N st    56    633734      2099     49013         0     61034    201370   5849069   no data   no data
110.69/110.74	c  N st    57    797719      2099     49013         0     39134    201370   1130123   no data   no data
170.59/170.64	c  N st    58   1043696      2099     49013         0     74408    201370   5980435   no data   no data
173.71/173.79	c  F st    59   1071877      2099     49013         0     57346    201370   2895320   no data   no data
173.71/173.79	c  N st    59   1071877      2099     49013         0     57346    201370   2895320   no data   no data
174.00/174.07	c Decided on static restart strategy
175.91/176.01	c  N st    69   1100180      2099     49013         0     85212    201370   5001036   no data   no data
180.09/180.18	c  N st    71   1136174      2099     49013         0     75106    201370   4179376   no data   no data
184.60/184.65	c  N st    72   1168568      2099     49013         0     60505    201370   3361116   no data   no data
191.89/191.93	c  N st    73   1217158      2099     49013         0     60949    201370   3488835   no data   no data
203.41/203.43	c  N st    74   1290040      2099     49013         0     84500    201370   4696028   no data   no data
227.79/227.87	c  N st    75   1399365      2099     49013         0     92783    201370   8562861   no data   no data
264.19/264.23	c  N st    76   1563350      2099     49013         0     97269    201370   8096619   no data   no data
336.40/336.42	c  N st    77   1809327      2099     49013         0    116433    201370  10981669   no data   no data
398.99/399.05	c  N st    78   2178291      2099     49013         0    114632    201370  10282039   no data   no data
546.63/546.68	c  N st    79   2731738      2099     49013         0    118632    201370   9527649   no data   no data
806.51/806.51	c  N st    80   3561909      2099     49013         0     89014    201370   3574784   no data   no data
862.51/862.54	c  F st    81   3751564      2099     49013         0    109531    201370   5953257   no data   no data
862.51/862.54	c  N st    81   3751564      2099     49013         0    109531    201370   5953257   no data   no data
864.21/864.25	c  N dy   145   3771814      2099     49013         0    129605    201370   7262300     44.57     47.39
866.11/866.13	c  N dy   252   3792010      2099     49013         0    149676    201370   8472700     44.54     46.90
868.71/868.74	c  N dy   340   3812106      2099     49013         0    169619    201370   9679034     44.41     46.98
871.01/871.00	c  N dy   448   3832183      2099     49013         0    104084    201370   2739195     44.45     50.48
873.71/873.76	c  N dy   551   3853275      2099     49013         0    125012    201370   3988188     44.41     46.83
877.11/877.15	c  N dy   655   3873375      2099     49013         0    144965    201370   5181582     44.42     50.61
881.21/881.22	c  N dy   755   3893670      2099     49013         0    165114    201370   6372670     44.41     47.60
884.51/884.51	c  N dy   845   3913745      2099     49013         0     98523    201370   2117433     44.27     46.76
886.81/886.86	c  N dy   955   3933819      2099     49013         0    118448    201370   3314949     44.34     47.41
890.11/890.14	c  N dy  1049   3954156      2099     49013         0    138616    201370   4530409     44.32     46.69
894.11/894.10	c  N dy  1139   3974188      2099     49013         0    158500    201370   5729433     44.31     47.34
898.51/898.59	c  N dy  1244   3994237      2099     49013         0     90909    201370   1491530     44.34     46.83
901.21/901.28	c  N dy  1354   4014300      2099     49013         0    110846    201370   2694593     44.37     46.96
904.61/904.62	c  N dy  1451   4034572      2099     49013         0    130952    201370   3896566     44.37     47.42
908.72/908.73	c  N dy  1548   4054573      2099     49013         0    150763    201370   5068678     44.35     46.79
912.71/912.71	c  N dy  1654   4074613      2099     49013         0    170663    201370   6272627     44.35     47.60
916.23/916.23	c  N dy  1745   4094620      2099     49013         0    102053    201370   2018952     44.33     47.01
919.41/919.40	c  N dy  1834   4114703      2099     49013         0    121964    201370   3198303     44.30     46.81
923.31/923.31	c  N dy  1937   4134943      2099     49013         0    142039    201370   4417703     44.34     47.04
927.91/927.90	c  N dy  2035   4155201      2099     49013         0    162127    201370   5608849     44.34     47.44
932.92/932.96	c  N dy  2140   4175274      2099     49013         0     92608    201370   1345378     44.34     46.99
935.81/935.83	c  N dy  2232   4195324      2099     49013         0    112502    201370   2550113     44.32     46.69
939.43/939.43	c  N dy  2321   4215470      2099     49013         0    132468    201370   3736620     44.32     46.75
943.91/943.97	c  N dy  2460   4235535      2099     49013         0    152396    201370   4946696     44.38     47.21
949.11/949.18	c  N dy  2559   4256121      2099     49013         0    172771    201370   6145104     44.37     47.18
953.31/953.36	c  N dy  2661   4276179      2099     49013         0    102230    201370   1822776     44.37     46.74
956.71/956.75	c  N dy  2765   4296199      2099     49013         0    122074    201370   3015199     44.39     47.21
960.62/960.63	c  N dy  2859   4316271      2099     49013         0    141990    201370   4217862     44.39     46.87
965.83/965.86	c  N dy  2975   4337632      2099     49013         0    163196    201370   5496186     44.40     46.81
971.11/971.17	c  N dy  3061   4357642      2099     49013         0     91626    201370   1104984     44.37     47.05
974.21/974.22	c  N dy  3164   4377677      2099     49013         0    111500    201370   2302541     44.38     49.45
977.61/977.64	c  N dy  3278   4397715      2099     49013         0    131396    201370   3521995     44.40     51.82
982.01/982.07	c  N dy  3364   4418304      2099     49013         0    151789    201370   4733691     44.38     46.92
987.21/987.20	c  N dy  3470   4438552      2099     49013         0    171851    201370   5943617     44.39     46.95
992.01/992.08	c  N dy  3577   4458598      2099     49013         0     99334    201370   1485074     44.41     46.79
995.43/995.47	c  N dy  3689   4478669      2099     49013         0    119231    201370   2686970     44.42     47.52
999.51/999.54	c  N dy  3790   4498738      2099     49013         0    139116    201370   3877632     44.42     46.77
1004.23/1004.24	c  N dy  3889   4519037      2099     49013         0    159247    201370   5083130     44.42     46.91
1009.92/1009.91	c  N dy  4001   4539236      2099     49013         0    179279    201370   6297011     44.43     46.80
1014.41/1014.41	c  N dy  4128   4559375      2099     49013         0    105889    201370   1816624     44.46     46.94
1017.61/1017.61	c  N dy  4234   4579381      2099     49013         0    125761    201370   3017628     44.47     47.65
1022.01/1022.05	c  N dy  4357   4599972      2099     49013         0    146209    201370   4260372     44.49     47.03
1026.91/1026.92	c  N dy  4465   4619978      2099     49013         0    166046    201370   5455534     44.50     47.12
1032.62/1032.63	c  N dy  4591   4640129      2099     49013         0    186047    201370   6669851     44.52     46.95
1036.13/1036.12	c  N dy  4686   4660158      2099     49013         0    111497    201370   2075132     44.51     47.03
1039.72/1039.72	c  N dy  4772   4680192      2099     49013         0    131361    201370   3291935     44.51     47.07
1044.02/1044.08	c  N dy  4868   4700267      2099     49013         0    151258    201370   4493660     44.51     46.93
1049.51/1049.53	c  N dy  4981   4721459      2099     49013         0    172272    201370   5763100     44.51     46.92
1055.11/1055.13	c  N dy  5071   4741460      2099     49013         0     96711    201370   1107699     44.50     47.12
1058.41/1058.41	c  N dy  5163   4761498      2099     49013         0    116540    201370   2303268     44.50     47.48
1062.53/1062.57	c  N dy  5270   4782450      2099     49013         0    137318    201370   3551984     44.50     46.96
1067.42/1067.43	c  N dy  5386   4802547      2099     49013         0    157263    201370   4772637     44.52     47.78
1071.92/1071.94	c  N dy  5518   4822581      2099     49013         0    177140    201370   6002659     44.56     54.14
1077.31/1077.31	c  N dy  5631   4844132      2099     49013         0    102157    201370   1391913     44.56     47.60
1079.51/1079.58	c  N dy  5743   4864477      2099     49013         0    122361    201370   2667002     44.60     47.05
1083.22/1083.25	c  N dy  5832   4884550      2099     49013         0    142219    201370   3871219     44.60     50.68
1087.83/1087.84	c  N dy  5952   4904598      2099     49013         0    162098    201370   5079045     44.61     48.54
1091.81/1091.89	c  N dy  6064   4924627      2099     49013         0    181986    201370   6307502     44.64     47.33
1096.64/1096.69	c  N dy  6161   4944773      2099     49013         0    104605    201370   1460741     44.63     47.13
1100.22/1100.28	c  N dy  6262   4964820      2099     49013         0    124472    201370   2669874     44.64     47.11
1104.62/1104.69	c  N dy  6372   4984900      2099     49013         0    144396    201370   3868934     44.65     59.48
1109.62/1109.69	c  N dy  6483   5004981      2099     49013         0    164289    201370   5080444     44.66     53.22
1115.01/1115.01	c  N dy  6566   5025225      2099     49013         0    184347    201370   6297107     44.64     47.06
1119.02/1119.09	c  N dy  6680   5045255      2099     49013         0    105899    201370   1475617     44.65     47.59
1122.82/1122.84	c  N dy  6811   5065267      2099     49013         0    125769    201370   2696164     44.68     47.23
1127.12/1127.16	c  N dy  6915   5085372      2099     49013         0    145695    201370   3916851     44.68     47.51
1132.31/1132.37	c  N dy  7045   5105450      2099     49013         0    165635    201370   5136833     44.70     47.65
1138.01/1138.00	c  N dy  7165   5125957      2099     49013         0    185975    201370   6375432     44.71     47.55
1143.72/1143.77	c  N dy  7266   5148018      2099     49013         0    108495    201370   1562610     44.71     47.43
1147.62/1147.65	c  N dy  7389   5168343      2099     49013         0    128676    201370   2802996     44.73     47.43
1152.22/1152.21	c  N dy  7507   5188699      2099     49013         0    148857    201370   4034228     44.74     48.43
1157.23/1157.24	c  N dy  7613   5208734      2099     49013         0    168720    201370   5243112     44.75     47.33
1162.82/1162.89	c  N dy  7725   5228770      2099     49013         0    188597    201370   6456104     44.76     48.59
1167.71/1167.76	c  N dy  7842   5248850      2099     49013         0    108164    201370   1488069     44.78     50.86
1171.43/1171.51	c  N dy  7943   5268893      2099     49013         0    128029    201370   2692002     44.78     53.01
1176.02/1176.04	c  N dy  8047   5289745      2099     49013         0    148707    201370   3944058     44.78     47.18
1180.82/1180.81	c  N dy  8127   5309794      2099     49013         0    168562    201370   5177922     44.77     47.15
1186.62/1186.68	c  N dy  8252   5329985      2099     49013         0    188586    201370   6407008     44.78     47.41
1192.22/1192.29	c  N dy  8354   5350037      2099     49013         0    107155    201370   1368752     44.79     47.39
1195.92/1195.96	c  N dy  8460   5370053      2099     49013         0    127029    201370   2580202     44.79     47.17
1200.22/1200.28	c  N dy  8558   5390080      2099     49013         0    146878    201370   3792956     44.80     47.35
1204.62/1204.67	c  N dy  8688   5410204      2099     49013         0    166868    201370   5053681     44.82     47.48
1210.52/1210.53	c  N dy  8809   5430776      2099     49013         0    187257    201370   6317207     44.84     47.94
1216.82/1216.87	c  N dy  8919   5450800      2099     49013         0    104802    201370   1155239     44.85     53.98
1220.32/1220.30	c  N dy  9008   5470846      2099     49013         0    124649    201370   2367917     44.85     50.12
1224.62/1224.69	c  N dy  9107   5491290      2099     49013         0    144900    201370   3590261     44.84     47.54
1229.62/1229.63	c  N dy  9197   5511474      2099     49013         0    164900    201370   4804138     44.84     47.39
1233.04/1233.01	c  N dy  9294   5531610      2099     49013         0    184859    201370   6039400     44.84     47.81
1239.12/1239.17	c  N dy  9412   5551651      2099     49013         0    204748    201370   7264114     44.85     50.31
1243.12/1243.10	c  N dy  9508   5571683      2099     49013         0    121355    201370   2112782     44.86     48.21
1247.33/1247.36	c  N dy  9617   5591694      2099     49013         0    141208    201370   3323553     44.87     52.52
1252.22/1252.24	c  N dy  9724   5611846      2099     49013         0    161181    201370   4549228     44.87     47.71
1257.92/1257.94	c  N dy  9844   5631886      2099     49013         0    181086    201370   5779592     44.89     48.23
1264.22/1264.29	c  N dy  9958   5651951      2099     49013         0    200970    201370   7008789     44.90     47.29
1268.52/1268.58	c  N dy 10053   5672046      2099     49013         0    116595    201370   1769461     44.90     47.44
1272.42/1272.42	c  N dy 10146   5692421      2099     49013         0    136778    201370   3010820     44.90     47.49
1276.82/1276.85	c  N dy 10233   5712450      2099     49013         0    156592    201370   4219973     44.90     48.35
1282.02/1282.08	c  N dy 10336   5732550      2099     49013         0    176503    201370   5449977     44.90     47.27
1287.82/1287.82	c  N dy 10435   5752727      2099     49013         0    196509    201370   6696396     44.90     47.35
1293.53/1293.51	c  N dy 10539   5772731      2099     49013         0    111107    201370   1355339     44.91     47.57
1297.42/1297.43	c  N dy 10648   5792858      2099     49013         0    131042    201370   2592381     44.92     47.82
1301.23/1301.29	c  N dy 10745   5812866      2099     49013         0    150881    201370   3801621     44.92     48.67
1305.42/1305.49	c  N dy 10851   5832873      2099     49013         0    170705    201370   5014566     44.93     47.59
1311.14/1311.19	c  N dy 10959   5852961      2099     49013         0    190609    201370   6241987     44.93     48.46
1317.63/1317.60	c  N dy 11068   5872974      2099     49013         0    210463    201370   7456182     44.94     47.46
1321.92/1321.92	c  N dy 11181   5893022      2099     49013         0    124116    201370   2102277     44.95     48.24
1326.02/1326.05	c  N dy 11269   5913037      2099     49013         0    143924    201370   3321711     44.95     48.08
1331.12/1331.19	c  N dy 11397   5933127      2099     49013         0    163845    201370   4547842     44.96     48.04
1336.92/1336.97	c  N dy 11523   5953226      2099     49013         0    183753    201370   5779166     44.98     47.49
1343.32/1343.34	c  N dy 11637   5973269      2099     49013         0    203621    201370   7001681     44.98     47.63
1348.32/1348.30	c  N dy 11751   5993316      2099     49013         0    116326    201370   1583061     44.99     47.37
1352.52/1352.53	c  N dy 11869   6013343      2099     49013         0    136180    201370   2799806     45.00     50.43
1357.44/1357.44	c  N dy 11981   6033430      2099     49013         0    156110    201370   4016566     45.01     47.69
1363.02/1363.09	c  N dy 12107   6053448      2099     49013         0    175940    201370   5237132     45.02     48.95
1369.13/1369.13	c  N dy 12199   6073522      2099     49013         0    195786    201370   6454350     45.03     47.40
1375.12/1375.11	c  N dy 12292   6093561      2099     49013         0    215655    201370   7684076     45.03     47.82
1379.34/1379.38	c  N dy 12394   6113647      2099     49013         0    127363    201370   2187554     45.03     49.03
1383.74/1383.76	c  N dy 12511   6133726      2099     49013         0    147265    201370   3426846     45.04     47.48
1387.92/1387.95	c  N dy 12598   6153794      2099     49013         0    167147    201370   4648838     45.05     53.39
1393.52/1393.59	c  N dy 12697   6173846      2099     49013         0    186991    201370   5855437     45.05     47.80
1399.92/1399.93	c  N dy 12809   6193885      2099     49013         0    206867    201370   7087878     45.06     47.50
1405.84/1405.81	c  N dy 12911   6213941      2099     49013         0    117570    201370   1530999     45.06     51.26
1409.92/1409.93	c  N dy 13022   6233956      2099     49013         0    137402    201370   2756102     45.07     50.86
1414.82/1414.86	c  N dy 13123   6255077      2099     49013         0    158302    201370   4040896     45.07     47.94
1420.04/1420.03	c  N dy 13222   6275129      2099     49013         0    178140    201370   5269193     45.07     51.86
1426.23/1426.21	c  N dy 13315   6295224      2099     49013         0    198043    201370   6467100     45.07     47.45
1431.72/1431.78	c  N dy 13407   6315457      2099     49013         0    218082    201370   7704346     45.07     47.61
1436.22/1436.22	c  N dy 13503   6335518      2099     49013         0    127811    201370   2096265     45.07     47.53
1440.72/1440.78	c  N dy 13619   6355576      2099     49013         0    147695    201370   3321501     45.08     47.50
1445.93/1445.93	c  N dy 13734   6375629      2099     49013         0    167565    201370   4548013     45.09     47.70
1451.72/1451.70	c  N dy 13834   6395890      2099     49013         0    187614    201370   5787061     45.09     48.00
1458.12/1458.13	c  N dy 13935   6416199      2099     49013         0    207756    201370   7025148     45.09     47.72
1464.93/1464.96	c  N dy 14067   6436206      2099     49013         0    116488    201370   1348232     45.11     48.17
1469.13/1469.11	c  N dy 14185   6456224      2099     49013         0    136364    201370   2581295     45.12     49.99
1474.13/1474.10	c  N dy 14313   6476252      2099     49013         0    156232    201370   3810830     45.13     55.27
1479.62/1479.61	c  N dy 14425   6496313      2099     49013         0    176117    201370   5035196     45.14     50.85
1485.83/1485.82	c  N dy 14539   6516398      2099     49013         0    196034    201370   6266475     45.14     48.04
1492.33/1492.33	c  N dy 14645   6536409      2099     49013         0    215882    201370   7513697     45.15     48.10
1497.93/1497.96	c  N dy 14750   6556419      2099     49013         0    123533    201370   1717412     45.15     51.79
1502.43/1502.44	c  N dy 14874   6576616      2099     49013         0    143564    201370   2966275     45.16     47.56
1507.72/1507.77	c  N dy 14965   6598363      2099     49013         0    165099    201370   4282170     45.15     47.73
1513.33/1513.39	c  N dy 15072   6618425      2099     49013         0    184979    201370   5506661     45.16     49.23
1519.93/1519.90	c  N dy 15186   6639312      2099     49013         0    205640    201370   6800299     45.16     48.07
1526.84/1526.88	c  N dy 15303   6659448      2099     49013         0    225616    201370   8054998     45.17     47.66
1531.42/1531.41	c  N dy 15431   6679512      2099     49013         0    132367    201370   2217859     45.18     47.61
1536.02/1536.02	c  N dy 15527   6699630      2099     49013         0    152254    201370   3428963     45.18     47.83
1541.42/1541.44	c  N dy 15643   6719698      2099     49013         0    172133    201370   4656060     45.19     47.70
1547.65/1547.63	c  N dy 15758   6739702      2099     49013         0    191971    201370   5875934     45.20     47.70
1554.25/1554.29	c  N dy 15850   6760039      2099     49013         0    212105    201370   7120686     45.20     47.63
1560.03/1560.03	c  N dy 15952   6780313      2099     49013         0    118067    201370   1286303     45.20     47.83
1564.25/1564.22	c  N dy 16061   6800349      2099     49013         0    137902    201370   2515057     45.21     50.69
1569.03/1569.08	c  N dy 16185   6820407      2099     49013         0    157816    201370   3769853     45.22     48.13
1573.33/1573.32	c  N dy 16284   6840447      2099     49013         0    177672    201370   5004737     45.22     47.74
1579.42/1579.41	c  N dy 16398   6860462      2099     49013         0    197531    201370   6225718     45.23     48.40
1585.33/1585.36	c  N dy 16512   6880676      2099     49013         0    217567    201370   7505875     45.24     47.66
1590.23/1590.25	c  N dy 16611   6901172      2099     49013         0    122762    201370   1511730     45.24     47.73
1594.63/1594.62	c  N dy 16728   6921222      2099     49013         0    142626    201370   2730134     45.25     48.63
1599.52/1599.54	c  N dy 16818   6941581      2099     49013         0    162801    201370   3975787     45.25     49.87
1605.03/1605.06	c  N dy 16916   6961608      2099     49013         0    182595    201370   5199804     45.25     49.34
1610.83/1610.83	c  N dy 17027   6981815      2099     49013         0    202613    201370   6437462     45.25     48.30
1617.83/1617.86	c  N dy 17143   7002170      2099     49013         0    222778    201370   7708971     45.26     47.69
1623.64/1623.66	c  N dy 17236   7022568      2099     49013         0    126878    201370   1699041     45.26     47.91
1628.13/1628.18	c  N dy 17355   7042635      2099     49013         0    146770    201370   2930024     45.27     50.64
1633.12/1633.11	c  N dy 17451   7062768      2099     49013         0    166702    201370   4163103     45.27     47.67
1638.94/1639.00	c  N dy 17568   7082799      2099     49013         0    186533    201370   5407300     45.27     51.68
1645.83/1645.84	c  N dy 17681   7103698      2099     49013         0    207235    201370   6680095     45.28     47.79
1653.25/1653.22	c  N dy 17795   7124118      2099     49013         0    227453    201370   7926558     45.28     48.56
1658.75/1658.75	c  N dy 17917   7144230      2099     49013         0    130373    201370   1884391     45.29     47.68
1663.15/1663.15	c  N dy 17999   7164525      2099     49013         0    150474    201370   3143705     45.29     47.71
1668.65/1668.61	c  N dy 18128   7184763      2099     49013         0    170536    201370   4398661     45.30     47.70
1674.43/1674.42	c  N dy 18226   7204791      2099     49013         0    190370    201370   5620135     45.30     48.20
1681.85/1681.81	c  N dy 18343   7226468      2099     49013         0    211878    201370   6952363     45.31     47.92
1689.33/1689.33	c  N dy 18456   7246664      2099     49013         0    231857    201370   8198918     45.31     47.92
1694.73/1694.79	c  N dy 18581   7266753      2099     49013         0    133680    201370   2018985     45.32     47.94
1699.55/1699.57	c  N dy 18700   7286967      2099     49013         0    153711    201370   3264136     45.33     47.78
1705.53/1705.50	c  N dy 18827   7308837      2099     49013         0    175377    201370   4611487     45.34     47.95
1711.13/1711.18	c  N dy 18930   7328928      2099     49013         0    195286    201370   5860952     45.34     47.97
1717.93/1717.92	c  N dy 19029   7348980      2099     49013         0    215158    201370   7093655     45.34     47.93
1725.03/1725.05	c  N dy 19122   7368996      2099     49013         0    234960    201370   8340718     45.34     48.23
1730.13/1730.19	c  N dy 19213   7389288      2099     49013         0    136024    201370   2104776     45.34     48.00
1734.93/1734.98	c  N dy 19333   7409305      2099     49013         0    155865    201370   3349585     45.35     48.50
1739.63/1739.61	c  N dy 19457   7429327      2099     49013         0    175728    201370   4606127     45.36     48.13
1745.75/1745.78	c  N dy 19574   7449943      2099     49013         0    196143    201370   5884694     45.36     47.85
1752.43/1752.49	c  N dy 19684   7470107      2099     49013         0    216124    201370   7129011     45.37     47.95
1760.05/1760.09	c  N dy 19801   7490119      2099     49013         0    235976    201370   8357739     45.37     47.80
1765.33/1765.37	c  N dy 19894   7510155      2099     49013         0    135778    201370   2038416     45.38     48.02
1770.23/1770.21	c  N dy 20004   7530193      2099     49013         0    155630    201370   3272584     45.38     47.94
1776.04/1776.01	c  N dy 20138   7550517      2099     49013         0    175786    201370   4533694     45.39     48.29
1782.23/1782.29	c  N dy 20254   7570756      2099     49013         0    195823    201370   5778101     45.40     47.89
1788.83/1788.84	c  N dy 20358   7591218      2099     49013         0    216081    201370   7049692     45.40     47.88
1796.13/1796.12	c  N dy 20462   7611276      2099     49013         0    235963    201370   8294175     45.40     47.88
1801.63/1801.68	c  N dy 20580   7631305      2099     49013         0    134770    201370   1940764     45.41     48.31
1806.25/1806.22	c  N dy 20661   7652928      2099     49013         0    156117    201370   3260634     45.41     47.89
1811.43/1811.47	c  N dy 20753   7672977      2099     49013         0    175921    201370   4480378     45.40     47.89
1817.43/1817.49	c  N dy 20859   7693153      2099     49013         0    195900    201370   5714441     45.41     47.83
1823.75/1823.80	c  N dy 20973   7713227      2099     49013         0    215833    201370   6979567     45.41     49.78
1831.33/1831.37	c  N dy 21101   7733251      2099     49013         0    235673    201370   8222006     45.42     48.04
1837.33/1837.30	c  N dy 21207   7753277      2099     49013         0    133534    201370   1799487     45.43     48.38
1841.93/1841.99	c  N dy 21322   7773400      2099     49013         0    153468    201370   3034591     45.43     48.13
1847.13/1847.18	c  N dy 21427   7793682      2099     49013         0    173593    201370   4297286     45.44     48.34
1852.63/1852.63	c  N dy 21543   7814566      2099     49013         0    194304    201370   5605662     45.44     48.18
1859.44/1859.44	c  N dy 21676   7834634      2099     49013         0    214219    201370   6863913     45.45     51.18
1866.43/1866.47	c  N dy 21752   7855037      2099     49013         0    234413    201370   8108235     45.45     47.85
1872.44/1872.41	c  N dy 21842   7875146      2099     49013         0    131261    201370   1604054     45.45     47.90
1875.94/1875.90	c  N dy 21938   7895420      2099     49013         0    151323    201370   2841438     45.45     48.24
1880.84/1880.81	c  N dy 22063   7915438      2099     49013         0    171151    201370   4081800     45.46     47.91
1886.63/1886.67	c  N dy 22172   7935513      2099     49013         0    191052    201370   5320200     45.46     64.36
1892.94/1892.90	c  N dy 22281   7955735      2099     49013         0    211093    201370   6577991     45.47     47.95
1900.04/1900.09	c  N dy 22395   7975775      2099     49013         0    230955    201370   7820651     45.47     50.35
1907.73/1907.76	c  N dy 22522   7995910      2099     49013         0    126903    201370   1276086     45.48     47.97
1912.13/1912.19	c  N dy 22621   8015952      2099     49013         0    146744    201370   2502205     45.48     48.27
1917.35/1917.39	c  N dy 22746   8035961      2099     49013         0    166572    201370   3746725     45.49     48.09
1923.14/1923.14	c  N dy 22849   8056023      2099     49013         0    186403    201370   4967210     45.49     48.82
1929.54/1929.56	c  N dy 22957   8076092      2099     49013         0    206286    201370   6204354     45.50     48.45
1936.83/1936.84	c  N dy 23060   8096155      2099     49013         0    226148    201370   7434424     45.50     48.06
1944.85/1944.82	c  N dy 23149   8117354      2099     49013         0    247118    201370   8729753     45.50     48.74
1949.25/1949.24	c  N dy 23248   8137421      2099     49013         0    142075    201370   2175662     45.50     48.05
1954.14/1954.13	c  N dy 23353   8157542      2099     49013         0    162001    201370   3411159     45.50     48.17
1959.64/1959.67	c  N dy 23462   8177718      2099     49013         0    181974    201370   4636997     45.51     48.09
1966.14/1966.14	c  N dy 23584   8198012      2099     49013         0    202094    201370   5892246     45.52     48.05
1971.25/1971.22	c  N dy 23692   8218709      2099     49013         0    222591    201370   7172130     45.52     48.42
1978.64/1978.62	c  N dy 23804   8238759      2099     49013         0    242446    201370   8415272     45.52     48.27
1985.03/1985.04	c  N dy 23888   8260587      2099     49013         0    138055    201370   1841740     45.52     47.95
1989.73/1989.70	c  N dy 23971   8280686      2099     49013         0    157969    201370   3072898     45.52     54.59
1995.24/1995.28	c  N dy 24087   8300814      2099     49013         0    177918    201370   4305113     45.52     48.48
2001.44/2001.43	c  N dy 24167   8321602      2099     49013         0    198465    201370   5577411     45.52     48.48
2008.56/2008.58	c  N dy 24267   8343067      2099     49013         0    219738    201370   6903423     45.52     47.98
2016.94/2016.97	c  N dy 24385   8365005      2099     49013         0    241478    201370   8244137     45.52     48.02
2024.06/2024.04	c  N dy 24476   8385197      2099     49013         0    134573    201370   1578924     45.52     48.06
2029.04/2029.08	c  N dy 24588   8406889      2099     49013         0    156035    201370   2909809     45.52     50.10
2034.24/2034.23	c  N dy 24698   8427164      2099     49013         0    176111    201370   4179524     45.53     48.33
2040.46/2040.49	c  N dy 24821   8447284      2099     49013         0    196043    201370   5435576     45.53     48.34
2047.34/2047.39	c  N dy 24939   8467440      2099     49013         0    216001    201370   6673540     45.54     48.01
2054.94/2054.93	c  N dy 25049   8487501      2099     49013         0    235860    201370   7911547     45.54     49.05
2063.44/2063.47	c  N dy 25146   8508247      2099     49013         0    128470    201370   1155814     45.55     48.07
2067.84/2067.80	c  N dy 25240   8528400      2099     49013         0    148424    201370   2411369     45.55     48.61
2072.24/2072.28	c  N dy 25339   8548429      2099     49013         0    168236    201370   3657578     45.55     48.86
2078.14/2078.15	c  N dy 25468   8568674      2099     49013         0    188282    201370   4910666     45.56     47.98
2084.46/2084.49	c  N dy 25569   8588825      2099     49013         0    208227    201370   6141411     45.56     48.00
2091.74/2091.78	c  N dy 25691   8609058      2099     49013         0    228299    201370   7406375     45.57     48.00
2099.44/2099.45	c  N dy 25794   8629103      2099     49013         0    248154    201370   8670175     45.57     54.43
2106.25/2106.25	c  N dy 25910   8649163      2099     49013         0    139124    201370   1768699     45.58     48.39
2110.25/2110.28	c  N dy 26014   8669627      2099     49013         0    159413    201370   3038444     45.58     48.08
2115.74/2115.78	c  N dy 26123   8689799      2099     49013         0    179394    201370   4288016     45.58     48.24
2122.04/2122.00	c  N dy 26229   8710670      2099     49013         0    200088    201370   5591037     45.58     48.42
2128.94/2128.93	c  N dy 26347   8730790      2099     49013         0    220020    201370   6840598     45.59     48.54
2136.84/2136.89	c  N dy 26465   8750947      2099     49013         0    239984    201370   8075508     45.59     48.70
2145.44/2145.41	c  N dy 26580   8771001      2099     49013         0    259828    201370   9314125     45.60     52.27
2150.34/2150.41	c  N dy 26699   8791073      2099     49013         0    149796    201370   2380026     45.60     53.67
2155.65/2155.68	c  N dy 26811   8811084      2099     49013         0    169579    201370   3608597     45.61     48.03
2161.64/2161.65	c  N dy 26921   8831190      2099     49013         0    189465    201370   4846558     45.61     48.49
2167.94/2167.97	c  N dy 27012   8851413      2099     49013         0    209484    201370   6106638     45.61     48.18
2175.44/2175.48	c  N dy 27126   8871592      2099     49013         0    229441    201370   7360696     45.61     48.07
2183.84/2183.85	c  N dy 27251   8891617      2099     49013         0    249260    201370   8597777     45.62     58.91
2191.45/2191.46	c  N dy 27371   8911843      2099     49013         0    138472    201370   1616874     45.63     48.36
2196.35/2196.39	c  N dy 27474   8932285      2099     49013         0    158695    201370   2872922     45.63     48.13
2201.95/2201.90	c  N dy 27579   8952346      2099     49013         0    178574    201370   4123807     45.63     52.26
2207.94/2207.98	c  N dy 27667   8972673      2099     49013         0    198703    201370   5364440     45.63     48.27
2214.55/2214.56	c  N dy 27744   8992683      2099     49013         0    218490    201370   6589960     45.63     48.29
2221.44/2221.48	c  N dy 27856   9012772      2099     49013         0    238421    201370   7860649     45.63     48.50
2229.66/2229.63	c  N dy 27956   9032847      2099     49013         0    258297    201370   9097138     45.63     48.75
2235.65/2235.69	c  N dy 28062   9053249      2099     49013         0    146640    201370   2079462     45.64     48.47
2238.75/2238.79	c  N dy 28163   9073352      2099     49013         0    166558    201370   3330529     45.64     48.93
2244.85/2244.81	c  N dy 28276   9095421      2099     49013         0    188435    201370   4691715     45.64     48.43
2251.05/2251.02	c  N dy 28379   9115465      2099     49013         0    208259    201370   5915410     45.64     48.24
2257.64/2257.68	c  N dy 28456   9135740      2099     49013         0    228306    201370   7143743     45.64     48.13
2265.34/2265.34	c  N dy 28555   9155811      2099     49013         0    248167    201370   8367173     45.64     51.34
2272.56/2272.55	c  N dy 28667   9176196      2099     49013         0    135518    201370   1323329     45.64     48.58
2277.45/2277.46	c  N dy 28776   9196852      2099     49013         0    155981    201370   2584705     45.65     48.38
2282.75/2282.79	c  N dy 28894   9217279      2099     49013         0    176225    201370   3870748     45.65     48.53
2287.14/2287.12	c  N dy 29018   9237867      2099     49013         0    196661    201370   5173053     45.66     48.14
2293.74/2293.71	c  N dy 29139   9257941      2099     49013         0    216563    201370   6426201     45.66     54.89
2300.95/2300.90	c  N dy 29235   9278063      2099     49013         0    236451    201370   7657653     45.66     48.08
2308.96/2308.95	c  N dy 29349   9298194      2099     49013         0    256389    201370   8899184     45.67     48.22
2315.34/2315.37	c  N dy 29430   9318214      2099     49013         0    142316    201370   1698055     45.66     48.08
2320.54/2320.55	c  N dy 29564   9338313      2099     49013         0    162229    201370   2943839     45.67     48.47
2326.24/2326.24	c  N dy 29681   9358432      2099     49013         0    182133    201370   4204080     45.68     48.09
2332.35/2332.31	c  N dy 29771   9378491      2099     49013         0    202001    201370   5442344     45.68     59.34
2339.44/2339.45	c  N dy 29884   9398593      2099     49013         0    221908    201370   6689405     45.68     48.12
2347.05/2347.05	c  N dy 29979   9418623      2099     49013         0    241748    201370   7932496     45.68     48.13
2355.16/2355.19	c  N dy 30082   9438795      2099     49013         0    261746    201370   9190690     45.68     48.35
2362.15/2362.19	c  N dy 30207   9458835      2099     49013         0    146744    201370   1921002     45.69     54.51
2367.27/2367.27	c  N dy 30307   9478944      2099     49013         0    166644    201370   3167546     45.69     48.13
2374.35/2374.32	c  N dy 30400   9504261      2099     49013         0    191634    201370   4717752     45.69     48.39
2380.75/2380.71	c  N dy 30484   9524345      2099     49013         0    211503    201370   5953286     45.69     48.83
2387.65/2387.67	c  N dy 30606   9544596      2099     49013         0    231579    201370   7219220     45.69     48.56
2396.05/2396.04	c  N dy 30722   9564970      2099     49013         0    251765    201370   8489908     45.70     48.22
2405.55/2405.56	c  N dy 30844   9585053      2099     49013         0    135863    201370   1188757     45.70     51.52
2410.17/2410.19	c  N dy 30932   9605240      2099     49013         0    155852    201370   2437071     45.70     48.49
2415.94/2415.92	c  N dy 31038   9626565      2099     49013         0    176970    201370   3752798     45.70     48.22
2422.17/2422.19	c  N dy 31146   9646580      2099     49013         0    196727    201370   4986750     45.71     49.52
2429.05/2429.03	c  N dy 31256   9666654      2099     49013         0    216593    201370   6222145     45.71     48.54
2436.46/2436.47	c  N dy 31355   9687309      2099     49013         0    237046    201370   7500924     45.71     48.14
2445.26/2445.25	c  N dy 31475   9707743      2099     49013         0    257221    201370   8741442     45.72     48.56
2452.55/2452.51	c  N dy 31589   9727872      2099     49013         0    140416    201370   1429024     45.72     49.06
2457.55/2457.50	c  N dy 31696   9748054      2099     49013         0    160430    201370   2680747     45.72     48.47
2463.25/2463.25	c  N dy 31814   9768086      2099     49013         0    180268    201370   3926076     45.73     53.45
2469.34/2469.35	c  N dy 31895   9788211      2099     49013         0    200149    201370   5157171     45.73     48.29
2476.55/2476.51	c  N dy 32013   9808283      2099     49013         0    220048    201370   6409626     45.73     57.31
2483.55/2483.55	c  N dy 32084   9828295      2099     49013         0    239817    201370   7653938     45.73     52.18
2491.85/2491.89	c  N dy 32190   9848298      2099     49013         0    259624    201370   8882466     45.73     48.71
2500.27/2500.25	c  N dy 32272   9868837      2099     49013         0    142179    201370   1474380     45.73     48.56
2505.25/2505.26	c  N dy 32369   9889149      2099     49013         0    162267    201370   2719617     45.73     48.86
2510.85/2510.81	c  N dy 32448   9909784      2099     49013         0    182606    201370   3979976     45.73     48.37
2516.45/2516.44	c  N dy 32506   9930280      2099     49013         0    202812    201370   5253903     45.72     48.54
2523.75/2523.75	c  N dy 32602   9951200      2099     49013         0    223507    201370   6531915     45.72     48.16
2530.45/2530.42	c  N dy 32709   9971302      2099     49013         0    243422    201370   7780579     45.73     48.60
2538.87/2538.89	c  N dy 32816   9991365      2099     49013         0    263281    201370   9008729     45.73     49.45
2546.95/2546.90	c  N dy 32936  10011397      2099     49013         0    144484    201370   1569382     45.73     48.14
2552.15/2552.15	c  N dy 33044  10031992      2099     49013         0    164849    201370   2835885     45.73     48.40
2557.15/2557.12	c  N dy 33169  10052135      2099     49013         0    184817    201370   4136640     45.74     48.36
2563.25/2563.30	c  N dy 33268  10072175      2099     49013         0    204656    201370   5381286     45.74     53.52
2570.35/2570.32	c  N dy 33384  10092222      2099     49013         0    224526    201370   6637812     45.75     49.99
2577.95/2577.90	c  N dy 33499  10112276      2099     49013         0    244385    201370   7877706     45.75     48.61
2586.07/2586.10	c  N dy 33611  10132374      2099     49013         0    264278    201370   9137648     45.75     48.54
2594.76/2594.75	c  N dy 33732  10152451      2099     49013         0    144463    201370   1523007     45.76     51.57
2599.96/2599.92	c  N dy 33865  10172487      2099     49013         0    164325    201370   2780804     45.77     57.52
2605.75/2605.75	c  N dy 33981  10192527      2099     49013         0    184185    201370   4018839     45.77     48.37
2612.25/2612.27	c  N dy 34112  10212622      2099     49013         0    204140    201370   5293177     45.78     49.18
2619.17/2619.16	c  N dy 34200  10232693      2099     49013         0    223985    201370   6526220     45.77     48.30
2626.96/2626.97	c  N dy 34291  10252835      2099     49013         0    243908    201370   7752918     45.77     48.80
2635.75/2635.70	c  N dy 34391  10273399      2099     49013         0    264240    201370   9026716     45.78     48.34
2644.06/2644.00	c  N dy 34469  10293412      2099     49013         0    143292    201370   1389016     45.78     52.59
2648.96/2648.99	c  N dy 34582  10313705      2099     49013         0    163420    201370   2675294     45.78     48.26
2653.36/2653.39	c  N dy 34693  10334087      2099     49013         0    183625    201370   3951028     45.78     48.19
2659.55/2659.54	c  N dy 34805  10354208      2099     49013         0    203529    201370   5209648     45.78     49.31
2666.65/2666.63	c  N dy 34916  10374296      2099     49013         0    223392    201370   6455860     45.79     48.83
2674.18/2674.15	c  N dy 35009  10394332      2099     49013         0    243217    201370   7690162     45.79     48.83
2682.87/2682.86	c  N dy 35128  10414410      2099     49013         0    263096    201370   8945144     45.79     48.25
2691.35/2691.32	c  N dy 35212  10434481      2099     49013         0    282939    201370  10178372     45.79     48.40
2697.05/2697.01	c  N dy 35332  10454530      2099     49013         0    161077    201370   2455985     45.80     48.22
2702.55/2702.52	c  N dy 35442  10474536      2099     49013         0    180874    201370   3706796     45.80     48.63
2708.85/2708.86	c  N dy 35546  10494676      2099     49013         0    200816    201370   4971927     45.80     48.56
2715.98/2715.92	c  N dy 35659  10514967      2099     49013         0    220901    201370   6232100     45.80     48.22
2723.75/2723.72	c  N dy 35773  10535028      2099     49013         0    240766    201370   7477669     45.81     50.62
2732.26/2732.21	c  N dy 35889  10555232      2099     49013         0    260778    201370   8736973     45.81     48.31
2741.17/2741.21	c  N dy 35993  10575344      2099     49013         0    280696    201370   9978694     45.81     49.32
2746.67/2746.69	c  N dy 36099  10595648      2099     49013         0    158070    201370   2188972     45.81     48.30
2751.85/2751.82	c  N dy 36207  10616833      2099     49013         0    179042    201370   3495568     45.81     48.42
2757.96/2757.95	c  N dy 36318  10637479      2099     49013         0    199480    201370   4775278     45.82     48.23
2763.96/2763.92	c  N dy 36402  10657644      2099     49013         0    219409    201370   6039601     45.81     48.74
2771.05/2771.08	c  N dy 36489  10678201      2099     49013         0    239766    201370   7294760     45.81     48.51
2778.36/2778.32	c  N dy 36553  10698258      2099     49013         0    259550    201370   8524172     45.81     49.74
2786.75/2786.77	c  N dy 36662  10718332      2099     49013         0    279424    201370   9791974     45.81     49.95
2793.76/2793.73	c  N dy 36784  10738370      2099     49013         0    155619    201370   2002796     45.82     54.43
2798.66/2798.63	c  N dy 36870  10758476      2099     49013         0    175522    201370   3270478     45.82     48.87
2804.75/2804.78	c  N dy 36980  10778574      2099     49013         0    195396    201370   4499671     45.82     48.65
2811.68/2811.65	c  N dy 37091  10798586      2099     49013         0    215195    201370   5727228     45.82     50.75
2819.27/2819.26	c  N dy 37205  10818825      2099     49013         0    235230    201370   6981510     45.83     48.26
2827.07/2827.09	c  N dy 37303  10838923      2099     49013         0    255136    201370   8235916     45.83     49.03
2835.96/2835.96	c  N dy 37410  10858941      2099     49013         0    274940    201370   9478544     45.83     52.75
2844.58/2844.54	c  N dy 37520  10878982      2099     49013         0    150122    201370   1611935     45.83     48.76
2849.96/2850.01	c  N dy 37641  10899533      2099     49013         0    170468    201370   2889753     45.84     48.55
2855.96/2855.97	c  N dy 37755  10919578      2099     49013         0    190305    201370   4132927     45.84     52.29
2862.46/2862.42	c  N dy 37872  10939673      2099     49013         0    210185    201370   5382330     45.84     50.15
2869.36/2869.37	c  N dy 37961  10959774      2099     49013         0    230085    201370   6637810     45.84     48.28
2877.76/2877.72	c  N dy 38063  10980483      2099     49013         0    250585    201370   7909532     45.85     48.73
2885.56/2885.59	c  N dy 38169  11000614      2099     49013         0    270533    201370   9159599     45.85     48.64
2895.06/2895.11	c  N dy 38279  11020747      2099     49013         0    290428    201370  10408334     45.85     48.43
2901.06/2901.08	c  N dy 38399  11040820      2099     49013         0    164636    201370   2459746     45.85     48.50
2906.27/2906.22	c  N dy 38484  11060839      2099     49013         0    184476    201370   3727312     45.85     48.50
2912.36/2912.39	c  N dy 38586  11080915      2099     49013         0    204328    201370   4973033     45.85     48.40
2919.66/2919.65	c  N dy 38713  11101030      2099     49013         0    224271    201370   6240077     45.86     48.62
2927.18/2927.19	c  N dy 38809  11121169      2099     49013         0    244198    201370   7479066     45.86     48.47
2935.36/2935.37	c  N dy 38903  11141537      2099     49013         0    264375    201370   8738940     45.86     48.46
2944.36/2944.39	c  N dy 39009  11161576      2099     49013         0    284215    201370   9979338     45.86     48.28
2952.06/2952.06	c  N dy 39124  11181606      2099     49013         0    157349    201370   1945934     45.86     48.42
2956.88/2956.88	c  N dy 39226  11201675      2099     49013         0    177224    201370   3211884     45.87     48.90
2962.96/2962.99	c  N dy 39318  11221984      2099     49013         0    197277    201370   4453962     45.87     48.52
2969.56/2969.50	c  N dy 39413  11242029      2099     49013         0    217112    201370   5697300     45.87     50.85
2976.96/2976.94	c  N dy 39515  11262342      2099     49013         0    237220    201370   6959019     45.87     48.29
2985.06/2985.06	c  N dy 39616  11282718      2099     49013         0    257371    201370   8216875     45.87     48.40
2991.98/2991.99	c  N dy 39715  11302791      2099     49013         0    277210    201370   9460480     45.87     48.89
3001.26/3001.21	c  N dy 39821  11322943      2099     49013         0    149532    201370   1404338     45.87     48.69
3005.76/3005.73	c  N dy 39942  11343133      2099     49013         0    169513    201370   2660354     45.88     48.44
3011.46/3011.47	c  N dy 40058  11363146      2099     49013         0    189357    201370   3904610     45.88     49.05
3017.96/3017.96	c  N dy 40153  11383384      2099     49013         0    209393    201370   5144036     45.88     48.58
3025.26/3025.28	c  N dy 40272  11403498      2099     49013         0    229324    201370   6404335     45.88     48.32
3033.79/3033.75	c  N dy 40401  11423664      2099     49013         0    249307    201370   7664248     45.89     48.81
3042.47/3042.47	c  N dy 40508  11444237      2099     49013         0    269668    201370   8939633     45.89     48.48
3051.56/3051.59	c  N dy 40607  11465102      2099     49013         0    290302    201370  10236892     45.89     48.79
3058.66/3058.61	c  N dy 40698  11485196      2099     49013         0    161497    201370   2077785     45.89     48.48
3064.16/3064.17	c  N dy 40795  11505534      2099     49013         0    181615    201370   3331460     45.89     48.93
3070.19/3070.14	c  N dy 40879  11525543      2099     49013         0    201403    201370   4562095     45.89     52.68
3076.96/3076.96	c  N dy 40986  11545587      2099     49013         0    221247    201370   5815418     45.89     48.46
3084.87/3084.80	c  N dy 41117  11565663      2099     49013         0    241127    201370   7085171     45.90     48.66
3093.06/3093.07	c  N dy 41209  11585816      2099     49013         0    261043    201370   8321713     45.90     48.55
3102.08/3102.07	c  N dy 41318  11605833      2099     49013         0    280866    201370   9566761     45.90     53.18
3111.67/3111.63	c  N dy 41415  11625869      2099     49013         0    151126    201370   1395468     45.91     49.70
3115.77/3115.75	c  N dy 41487  11645984      2099     49013         0    171045    201370   2672305     45.90     48.39
3121.56/3121.57	c  N dy 41592  11666012      2099     49013         0    190850    201370   3916013     45.91     54.06
3128.16/3128.17	c  N dy 41696  11686078      2099     49013         0    210708    201370   5158718     45.91     48.34
3135.27/3135.27	c  N dy 41806  11706282      2099     49013         0    230689    201370   6430308     45.91     49.63
3142.78/3142.76	c  N dy 41902  11726399      2099     49013         0    250587    201370   7700580     45.91     48.51
3151.59/3151.55	c  N dy 42026  11746517      2099     49013         0    270525    201370   8957439     45.92     48.92
3161.17/3161.14	c  N dy 42147  11766708      2099     49013         0    290522    201370  10207253     45.92     48.52
3169.46/3169.47	c  N dy 42252  11786810      2099     49013         0    159797    201370   1877698     45.92     49.19
3173.76/3173.79	c  N dy 42373  11806899      2099     49013         0    179696    201370   3144698     45.93     56.05
3179.37/3179.33	c  N dy 42489  11827140      2099     49013         0    199769    201370   4409249     45.93     48.91
3185.47/3185.50	c  N dy 42593  11847238      2099     49013         0    219690    201370   5668725     45.93     48.67
3192.47/3192.45	c  N dy 42677  11867396      2099     49013         0    239604    201370   6934742     45.93     48.68
3200.47/3200.42	c  N dy 42771  11887403      2099     49013         0    259397    201370   8175996     45.93     48.69
3209.26/3209.23	c  N dy 42886  11907462      2099     49013         0    279225    201370   9414724     45.93     49.61
3219.07/3219.02	c  N dy 43015  11927549      2099     49013         0    299131    201370  10676964     45.94     50.49
3225.77/3225.76	c  N dy 43131  11947871      2099     49013         0    167621    201370   2318022     45.94     48.50
3231.57/3231.55	c  N dy 43239  11967902      2099     49013         0    187431    201370   3567576     45.94     54.06
3237.97/3237.94	c  N dy 43349  11987939      2099     49013         0    207273    201370   4809746     45.95     49.09
3245.37/3245.35	c  N dy 43456  12008301      2099     49013         0    227420    201370   6079183     45.95     48.39
3253.37/3253.39	c  N dy 43576  12028303      2099     49013         0    247229    201370   7335089     45.95     48.86
3262.17/3262.19	c  N dy 43688  12048400      2099     49013         0    267104    201370   8578275     45.96     52.66
3271.48/3271.46	c  N dy 43792  12068768      2099     49013         0    287243    201370   9844424     45.96     48.50
3281.77/3281.79	c  N dy 43912  12088847      2099     49013         0    154554    201370   1446430     45.96     51.62
3287.17/3287.18	c  N dy 44041  12108880      2099     49013         0    174431    201370   2711684     45.97     53.48
3292.47/3292.49	c  N dy 44132  12128904      2099     49013         0    194229    201370   3935818     45.97     48.65
3299.27/3299.27	c  N dy 44242  12149039      2099     49013         0    214173    201370   5181735     45.97     48.60
3306.47/3306.40	c  N dy 44350  12169042      2099     49013         0    233990    201370   6426548     45.97     50.09
3314.67/3314.64	c  N dy 44471  12189213      2099     49013         0    253975    201370   7695130     45.97     48.40
3322.67/3322.64	c  N dy 44543  12209230      2099     49013         0    273783    201370   8927693     45.97     48.81
3332.77/3332.73	c  N dy 44675  12229535      2099     49013         0    293872    201370  10187112     45.98     48.45
3340.57/3340.59	c  N dy 44763  12249828      2099     49013         0    160325    201370   1743466     45.98     48.43
3346.37/3346.33	c  N dy 44849  12271669      2099     49013         0    181889    201370   3096490     45.98     48.52
3352.27/3352.27	c  N dy 44929  12291700      2099     49013         0    201710    201370   4344374     45.98     55.48
3358.87/3358.88	c  N dy 45036  12311802      2099     49013         0    221617    201370   5603370     45.98     64.31
3366.77/3366.78	c  N dy 45162  12331856      2099     49013         0    241504    201370   6860574     45.99     49.12
3375.37/3375.31	c  N dy 45267  12352289      2099     49013         0    261742    201370   8128312     45.99     48.90
3382.67/3382.66	c  N dy 45309  12372329      2099     49013         0    281473    201370   9340471     45.98     48.49
3392.27/3392.26	c  N dy 45406  12392893      2099     49013         0    301827    201370  10620208     45.98     49.01
3399.97/3399.91	c  N dy 45513  12412900      2099     49013         0    167091    201370   2123919     45.98     48.67
3405.77/3405.78	c  N dy 45620  12433116      2099     49013         0    187110    201370   3385703     45.99     49.00
3412.37/3412.35	c  N dy 45745  12453166      2099     49013         0    206951    201370   4654777     45.99     48.65
3419.47/3419.43	c  N dy 45850  12473263      2099     49013         0    226834    201370   5910645     45.99     52.77
3427.47/3427.48	c  N dy 45935  12495398      2099     49013         0    248726    201370   7275344     45.99     48.47
3435.57/3435.56	c  N dy 46016  12515641      2099     49013         0    268750    201370   8554139     45.99     48.53
3444.77/3444.70	c  N dy 46111  12535997      2099     49013         0    288881    201370   9819507     45.99     48.43
3454.47/3454.46	c  N dy 46224  12556563      2099     49013         0    309278    201370  11140499     45.99     48.99
3460.98/3460.98	c  N dy 46341  12576630      2099     49013         0    173622    201370   2489451     46.00     49.07
3466.98/3466.96	c  N dy 46431  12597010      2099     49013         0    193740    201370   3738346     46.00     48.82
3473.68/3473.61	c  N dy 46543  12617068      2099     49013         0    213613    201370   5010148     46.00     48.43
3479.97/3479.92	c  N dy 46637  12637679      2099     49013         0    234007    201370   6278985     46.00     48.89
3485.07/3485.04	c  N dy 46709  12658017      2099     49013         0    254127    201370   7533192     46.00     48.62
3493.18/3493.16	c  N dy 46795  12678056      2099     49013         0    273962    201370   8784307     46.00     48.64
3501.87/3501.87	c  N dy 46901  12698064      2099     49013         0    293794    201370  10042683     46.00     55.85
3512.08/3512.00	c  N dy 47012  12718115      2099     49013         0    157122    201370   1394194     46.00     49.11
3517.48/3517.46	c  N dy 47122  12738243      2099     49013         0    177049    201370   2638029     46.00     48.72
3523.58/3523.57	c  N dy 47220  12758684      2099     49013         0    197255    201370   3900903     46.00     48.74
3530.57/3530.50	c  N dy 47333  12778723      2099     49013         0    217119    201370   5151821     46.01     48.52
3538.07/3538.00	c  N dy 47440  12798740      2099     49013         0    236916    201370   6401773     46.01     57.15
3546.08/3546.00	c  N dy 47539  12818829      2099     49013         0    256757    201370   7651727     46.01     48.82
3554.87/3554.89	c  N dy 47632  12839040      2099     49013         0    276747    201370   8900763     46.01     48.80
3564.68/3564.63	c  N dy 47745  12859129      2099     49013         0    296641    201370  10160056     46.01     48.50
3575.58/3575.53	c  N dy 47867  12879143      2099     49013         0    158972    201370   1456407     46.02     48.78
3580.98/3580.93	c  N dy 47968  12899172      2099     49013         0    178800    201370   2716019     46.02     48.48
3586.78/3586.79	c  N dy 48078  12919238      2099     49013         0    198677    201370   3966206     46.02     49.25
3593.70/3593.68	c  N dy 48206  12939281      2099     49013         0    218555    201370   5253666     46.03     53.45
3601.28/3601.20	c  N dy 48327  12959344      2099     49013         0    238439    201370   6535289     46.03     49.40
3609.88/3609.83	c  N dy 48444  12980623      2099     49013         0    259505    201370   7872819     46.03     48.47
3618.28/3618.29	c  N dy 48530  13000625      2099     49013         0    279290    201370   9116209     46.03     53.43
3627.47/3627.49	c  N dy 48648  13021329      2099     49013         0    299814    201370  10417776     46.03     49.59
3636.38/3636.39	c  N dy 48730  13041509      2099     49013         0    161202    201370   1541165     46.03     49.20
3641.78/3641.78	c  N dy 48823  13061532      2099     49013         0    180982    201370   2792790     46.03     48.71
3648.08/3648.05	c  N dy 48915  13082111      2099     49013         0    201348    201370   4058355     46.03     48.54
3654.98/3654.92	c  N dy 49022  13102238      2099     49013         0    221266    201370   5332112     46.04     48.59
3661.78/3661.71	c  N dy 49134  13123235      2099     49013         0    242068    201370   6664279     46.04     48.76
3664.58/3664.58	c  F st 49179  13130468      2099     49013         0    249236    201370   7124574     46.04     45.11
3669.28/3669.26	c  N dy 49231  13143307      2099     49013         0    261982    201370   8165978     46.04     48.73
3676.20/3676.13	c  N dy 49330  13163330      2099     49013         0    281842    201370   9419896     46.04     49.10
3685.10/3685.06	c  N dy 49424  13183467      2099     49013         0    301738    201370  10661591     46.04     48.56
3695.00/3694.92	c  N dy 49513  13204169      2099     49013         0    162634    201370   1585742     46.04     48.48
3700.18/3700.12	c  N dy 49574  13224529      2099     49013         0    182746    201370   2822176     46.04     48.48
3705.99/3705.96	c  N dy 49649  13244621      2099     49013         0    202611    201370   4076529     46.04     48.58
3713.60/3713.54	c  N dy 49761  13266342      2099     49013         0    224120    201370   5422310     46.04     48.86
3721.18/3721.17	c  N dy 49877  13286353      2099     49013         0    243955    201370   6683516     46.04     48.91
3729.78/3729.71	c  N dy 49996  13306523      2099     49013         0    263960    201370   7960460     46.04     48.49
3738.68/3738.66	c  N dy 50082  13326649      2099     49013         0    283882    201370   9190592     46.04     48.50
3747.59/3747.50	c  N dy 50182  13346662      2099     49013         0    303679    201370  10434015     46.04     48.48
3757.08/3757.05	c  N dy 50266  13366699      2099     49013         0    162996    201370   1546188     46.04     48.90
3762.58/3762.52	c  N dy 50338  13386804      2099     49013         0    182834    201370   2761484     46.04     49.11
3768.48/3768.48	c  N dy 50441  13406991      2099     49013         0    202801    201370   4024441     46.04     48.67
3774.10/3774.08	c  N dy 50550  13427001      2099     49013         0    222635    201370   5279836     46.04     48.63
3781.58/3781.52	c  N dy 50653  13447067      2099     49013         0    242518    201370   6531455     46.05     48.52
3789.60/3789.52	c  N dy 50731  13467381      2099     49013         0    262589    201370   7767703     46.05     48.60
3798.18/3798.17	c  N dy 50831  13487447      2099     49013         0    282457    201370   9014496     46.05     50.68
3807.68/3807.61	c  N dy 50924  13507448      2099     49013         0    302246    201370  10251216     46.05     49.33
3812.88/3812.86	c  N dy 51007  13527524      2099     49013         0    322128    201370  11500025     46.05     53.27
3819.30/3819.25	c  N dy 51126  13547616      2099     49013         0    180519    201370   2597837     46.05     52.65
3825.59/3825.51	c  N dy 51230  13568091      2099     49013         0    200803    201370   3880559     46.05     48.57
3832.18/3832.18	c  N dy 51326  13588193      2099     49013         0    220686    201370   5120820     46.05     48.62
3839.88/3839.84	c  N dy 51424  13608422      2099     49013         0    240703    201370   6379131     46.05     48.67
3848.08/3848.08	c  N dy 51534  13628426      2099     49013         0    260504    201370   7629831     46.05     51.10
3857.38/3857.39	c  N dy 51631  13649306      2099     49013         0    281130    201370   8913881     46.05     48.67
3867.18/3867.18	c  N dy 51741  13669315      2099     49013         0    300967    201370  10155323     46.06     57.15
3878.09/3878.06	c  N dy 51844  13690296      2099     49013         0    321703    201370  11458061     46.06     48.53
3884.28/3884.29	c  N dy 51936  13710630      2099     49013         0    179366    201370   2491831     46.06     48.62
3890.48/3890.43	c  N dy 52038  13730892      2099     49013         0    199416    201370   3750067     46.06     49.41
3897.40/3897.35	c  N dy 52150  13751063      2099     49013         0    219357    201370   5006668     46.06     49.16
3904.89/3904.82	c  N dy 52256  13771132      2099     49013         0    239221    201370   6263235     46.06     48.83
3912.99/3912.98	c  N dy 52342  13792082      2099     49013         0    259932    201370   7554402     46.06     48.64
3920.50/3920.49	c  N dy 52439  13812277      2099     49013         0    279947    201370   8839943     46.06     48.50
3928.58/3928.54	c  N dy 52547  13832327      2099     49013         0    299785    201370  10090238     46.07     49.08
3938.79/3938.72	c  N dy 52667  13852343      2099     49013         0    319596    201370  11344000     46.07     50.37
3946.18/3946.13	c  N dy 52758  13872365      2099     49013         0    175953    201370   2201283     46.07     48.92
3952.40/3952.36	c  N dy 52867  13892881      2099     49013         0    196276    201370   3488944     46.07     48.78
3959.48/3959.44	c  N dy 52988  13913223      2099     49013         0    216377    201370   4774138     46.08     48.59
3967.09/3967.00	c  N dy 53097  13933227      2099     49013         0    236199    201370   6013654     46.08     48.71
3975.08/3975.04	c  N dy 53211  13953272      2099     49013         0    256037    201370   7281771     46.08     49.05
3983.39/3983.34	c  N dy 53293  13973626      2099     49013         0    276107    201370   8522106     46.08     48.81
3992.69/3992.67	c  N dy 53406  13993674      2099     49013         0    295980    201370   9794334     46.08     48.80
4002.38/4002.31	c  N dy 53500  14013988      2099     49013         0    316066    201370  11074977     46.08     49.46
4011.81/4011.76	c  N dy 53618  14034034      2099     49013         0    171535    201370   1879548     46.08     48.94
4017.49/4017.45	c  N dy 53706  14054194      2099     49013         0    191446    201370   3113062     46.08     48.80
4022.59/4022.54	c  N dy 53813  14074218      2099     49013         0    211312    201370   4377836     46.09     48.72
4028.69/4028.69	c  N dy 53904  14094575      2099     49013         0    231461    201370   5661062     46.09     48.54
4033.19/4033.16	c  N dy 54010  14114626      2099     49013         0    251334    201370   6917848     46.09     49.08
4040.48/4040.48	c  N dy 54064  14134901      2099     49013         0    271275    201370   8137828     46.08     48.57
4048.59/4048.59	c  N dy 54129  14154907      2099     49013         0    291007    201370   9351683     46.08     48.93
4058.29/4058.20	c  N dy 54237  14174936      2099     49013         0    310839    201370  10595202     46.09     48.66
4068.78/4068.81	c  N dy 54329  14195919      2099     49013         0    166223    201370   1482458     46.08     48.85
4074.40/4074.40	c  N dy 54424  14216893      2099     49013         0    186976    201370   2792616     46.08     48.70
4080.39/4080.30	c  N dy 54480  14236895      2099     49013         0    206731    201370   4020077     46.08     48.91
4086.39/4086.36	c  N dy 54569  14257116      2099     49013         0    226755    201370   5274079     46.08     48.60
4094.21/4094.12	c  N dy 54691  14277185      2099     49013         0    246625    201370   6532601     46.09     56.04
4103.29/4103.20	c  N dy 54829  14297772      2099     49013         0    267041    201370   7842560     46.09     48.62
4112.69/4112.65	c  N dy 54954  14317795      2099     49013         0    286872    201370   9099079     46.09     51.13
4122.59/4122.58	c  N dy 55060  14338277      2099     49013         0    307166    201370  10380459     46.09     48.64
4132.71/4132.70	c  N dy 55155  14358525      2099     49013         0    327159    201370  11623770     46.10     48.87
4140.29/4140.28	c  N dy 55269  14378558      2099     49013         0    180592    201370   2335573     46.10     53.51
4147.01/4147.01	c  N dy 55365  14401260      2099     49013         0    203028    201370   3738262     46.10     48.80
4153.89/4153.80	c  N dy 55462  14421473      2099     49013         0    223023    201370   5004868     46.10     48.55
4159.11/4159.05	c  N dy 55567  14441625      2099     49013         0    243000    201370   6260708     46.10     48.93
4166.81/4166.75	c  N dy 55654  14461745      2099     49013         0    262871    201370   7520942     46.10     48.57
4175.39/4175.39	c  N dy 55748  14482080      2099     49013         0    282971    201370   8775519     46.10     48.70
4184.59/4184.58	c  N dy 55851  14502135      2099     49013         0    302815    201370  10032252     46.10     48.59
4194.79/4194.73	c  N dy 55944  14522185      2099     49013         0    322644    201370  11266715     46.10     48.64
4203.49/4203.43	c  N dy 56040  14542233      2099     49013         0    175148    201370   1955856     46.10     53.11
4209.19/4209.19	c  N dy 56117  14562389      2099     49013         0    195076    201370   3198479     46.10     48.79
4215.49/4215.46	c  N dy 56202  14582487      2099     49013         0    214948    201370   4448346     46.10     49.27
4222.91/4222.84	c  N dy 56313  14602557      2099     49013         0    234827    201370   5709457     46.10     49.71
4231.20/4231.14	c  N dy 56416  14622743      2099     49013         0    254802    201370   6942536     46.10     48.80
4238.60/4238.55	c  N dy 56506  14642794      2099     49013         0    274607    201370   8176912     46.10     50.18
4247.59/4247.59	c  N dy 56596  14662844      2099     49013         0    294448    201370   9418758     46.10     50.60
4257.99/4257.91	c  N dy 56717  14682885      2099     49013         0    314249    201370  10664819     46.11     48.81
4269.29/4269.20	c  N dy 56842  14702955      2099     49013         0    334134    201370  11917962     46.11     48.88
4275.90/4275.82	c  N dy 56919  14723006      2099     49013         0    185591    201370   2546204     46.11     52.65
4282.10/4282.02	c  N dy 57015  14743316      2099     49013         0    205654    201370   3798474     46.11     48.60
4289.39/4289.31	c  N dy 57139  14763390      2099     49013         0    225543    201370   5069830     46.11     49.91
4297.30/4297.21	c  N dy 57236  14783528      2099     49013         0    245425    201370   6303119     46.11     49.35
4305.19/4305.17	c  N dy 57314  14803566      2099     49013         0    265210    201370   7527428     46.11     49.94
4314.40/4314.39	c  N dy 57419  14823607      2099     49013         0    285047    201370   8773677     46.11     49.07
4324.39/4324.32	c  N dy 57534  14843645      2099     49013         0    304901    201370  10037293     46.12     48.72
4335.12/4335.03	c  N dy 57641  14863654      2099     49013         0    324712    201370  11299715     46.12     49.47
4344.39/4344.37	c  N dy 57757  14883690      2099     49013         0    175250    201370   1844618     46.12     48.79
4350.09/4350.08	c  N dy 57849  14903766      2099     49013         0    195105    201370   3104651     46.12     52.73
4355.10/4355.05	c  N dy 57959  14923805      2099     49013         0    214941    201370   4361947     46.12     51.34
4362.20/4362.15	c  N dy 58067  14943896      2099     49013         0    234823    201370   5610613     46.12     49.11
4368.39/4368.35	c  N dy 58178  14963907      2099     49013         0    254644    201370   6870104     46.13     53.83
4377.01/4376.94	c  N dy 58301  14984170      2099     49013         0    274723    201370   8158260     46.13     48.60
4386.19/4386.10	c  N dy 58395  15004906      2099     49013         0    295202    201370   9428613     46.13     49.08
4396.30/4396.23	c  N dy 58515  15024914      2099     49013         0    315018    201370  10685862     46.13     48.66
4407.09/4407.01	c  N dy 58618  15045190      2099     49013         0    335062    201370  11944215     46.13     48.65
4413.32/4413.22	c  N dy 58740  15065249      2099     49013         0    184631    201370   2388121     46.14     48.65
4418.90/4418.85	c  N dy 58837  15085301      2099     49013         0    204499    201370   3640556     46.14     49.19
4425.09/4425.06	c  N dy 58950  15105329      2099     49013         0    224309    201370   4889629     46.14     48.59
4431.80/4431.79	c  N dy 59073  15125375      2099     49013         0    244196    201370   6173338     46.14     48.61
4440.50/4440.41	c  N dy 59174  15149928      2099     49013         0    268452    201370   7699181     46.14     48.57
4449.40/4449.36	c  N dy 59281  15170592      2099     49013         0    288856    201370   8992289     46.14     48.63
4458.70/4458.64	c  N dy 59390  15190594      2099     49013         0    308641    201370  10236254     46.14     50.84
4464.30/4464.22	c  N dy 59470  15210707      2099     49013         0    328538    201370  11484041     46.14     48.81
4474.00/4473.94	c  N dy 59577  15230709      2099     49013         0    176980    201370   1837787     46.14     49.06
4480.32/4480.25	c  N dy 59691  15251466      2099     49013         0    197484    201370   3119080     46.15     48.95
4487.10/4487.06	c  N dy 59803  15271680      2099     49013         0    217502    201370   4385995     46.15     48.63
4494.49/4494.50	c  N dy 59889  15292778      2099     49013         0    238332    201370   5695077     46.15     48.61
4502.70/4502.62	c  N dy 59984  15313061      2099     49013         0    258387    201370   6954522     46.15     48.85
4511.79/4511.75	c  N dy 60103  15333366      2099     49013         0    278501    201370   8217370     46.15     48.95
4520.20/4520.15	c  N dy 60208  15353374      2099     49013         0    298295    201370   9467690     46.15     48.64
4529.70/4529.65	c  N dy 60288  15373459      2099     49013         0    318158    201370  10715898     46.15     51.05
4539.72/4539.71	c  N dy 60363  15393534      2099     49013         0    338004    201370  11970316     46.15     48.90
4547.30/4547.29	c  N dy 60433  15414024      2099     49013         0    185955    201370   2355804     46.15     49.03
4550.90/4550.82	c  N dy 60521  15434422      2099     49013         0    206182    201370   3631241     46.15     48.95
4558.00/4557.93	c  N dy 60630  15454995      2099     49013         0    226517    201370   4911337     46.15     48.62
4564.80/4564.76	c  N dy 60700  15475522      2099     49013         0    246818    201370   6190898     46.15     48.72
4573.00/4572.97	c  N dy 60818  15495538      2099     49013         0    266657    201370   7458233     46.15     49.65
4581.30/4581.22	c  N dy 60917  15515648      2099     49013         0    286553    201370   8710052     46.15     48.94
4590.71/4590.66	c  N dy 61029  15535705      2099     49013         0    306402    201370   9959968     46.15     51.29
4600.40/4600.31	c  N dy 61129  15555714      2099     49013         0    326155    201370  11221919     46.15     51.03
4611.32/4611.24	c  N dy 61227  15576269      2099     49013         0    346487    201370  12490044     46.15     49.23
4618.10/4618.02	c  N dy 61343  15596630      2099     49013         0    193370    201370   2763506     46.16     48.63
4624.70/4624.67	c  N dy 61449  15616881      2099     49013         0    213383    201370   4022102     46.16     48.62
4631.51/4631.41	c  N dy 61523  15636998      2099     49013         0    233212    201370   5262709     46.16     48.62
4639.70/4639.70	c  N dy 61637  15657230      2099     49013         0    253233    201370   6524991     46.16     48.61
4650.11/4650.09	c  N dy 61718  15683285      2099     49013         0    278944    201370   8121908     46.15     48.87
4659.80/4659.74	c  N dy 61828  15703376      2099     49013         0    298826    201370   9372068     46.16     58.73
4670.11/4670.08	c  N dy 61935  15723417      2099     49013         0    318686    201370  10636092     46.16     55.42
4680.21/4680.19	c  N dy 62002  15743830      2099     49013         0    338863    201370  11889352     46.15     48.72
4689.20/4689.21	c  N dy 62116  15763979      2099     49013         0    184571    201370   2154425     46.16     48.77
4695.50/4695.43	c  N dy 62225  15784063      2099     49013         0    204430    201370   3405273     46.16     49.31
4701.70/4701.68	c  N dy 62335  15804094      2099     49013         0    224278    201370   4677191     46.16     53.34
4709.61/4709.58	c  N dy 62460  15824158      2099     49013         0    244153    201370   5938678     46.16     54.40
4717.41/4717.36	c  N dy 62539  15844649      2099     49013         0    264439    201370   7237443     46.16     48.62
4726.31/4726.21	c  N dy 62635  15864738      2099     49013         0    284299    201370   8503886     46.16     48.75
4736.21/4736.17	c  N dy 62749  15884812      2099     49013         0    304201    201370   9768877     46.17     55.66
4747.40/4747.30	c  N dy 62861  15906420      2099     49013         0    325564    201370  11110635     46.17     48.75
4758.72/4758.65	c  N dy 62971  15926499      2099     49013         0    345441    201370  12376122     46.17     50.95
4766.70/4766.65	c  N dy 63082  15946589      2099     49013         0    190029    201370   2440604     46.17     51.97
4773.30/4773.26	c  N dy 63200  15966698      2099     49013         0    209933    201370   3693997     46.17     48.89
4780.40/4780.37	c  N dy 63304  15986845      2099     49013         0    229842    201370   4954728     46.17     48.74
4788.21/4788.19	c  N dy 63408  16006866      2099     49013         0    249680    201370   6207354     46.18     51.34
4796.81/4796.79	c  N dy 63524  16026874      2099     49013         0    269475    201370   7456573     46.18     48.96
4806.61/4806.55	c  N dy 63647  16046965      2099     49013         0    289333    201370   8715358     46.18     57.81
4816.41/4816.32	c  N dy 63753  16067152      2099     49013         0    309304    201370   9981363     46.18     48.81
4825.01/4824.96	c  N dy 63864  16087344      2099     49013         0    329322    201370  11283247     46.18     48.78
4836.11/4836.02	c  N dy 63971  16107651      2099     49013         0    349405    201370  12566160     46.18     48.95
4843.60/4843.50	c  N dy 64088  16127675      2099     49013         0    192916    201370   2572768     46.19     57.02
4850.10/4850.07	c  N dy 64192  16148015      2099     49013         0    213059    201370   3840785     46.19     48.63
4857.51/4857.44	c  N dy 64305  16168020      2099     49013         0    232850    201370   5099135     46.19     51.52
4865.21/4865.20	c  N dy 64402  16188101      2099     49013         0    252709    201370   6350577     46.19     48.85
4873.41/4873.31	c  N dy 64467  16209306      2099     49013         0    273635    201370   7672821     46.19     48.77
4882.51/4882.49	c  N dy 64565  16229317      2099     49013         0    293380    201370   8901822     46.19     51.32
4891.61/4891.59	c  N dy 64645  16249416      2099     49013         0    313260    201370  10161983     46.19     48.73
4902.11/4902.08	c  N dy 64741  16269467      2099     49013         0    333097    201370  11403243     46.19     49.25
4912.73/4912.66	c  N dy 64827  16289712      2099     49013         0    353105    201370  12706169     46.19     48.98
4920.01/4919.91	c  N dy 64947  16309831      2099     49013         0    195812    201370   2716712     46.19     49.02
4927.41/4927.37	c  N dy 65043  16332959      2099     49013         0    218645    201370   4138092     46.19     48.66
4934.63/4934.60	c  N dy 65125  16352979      2099     49013         0    238350    201370   5368156     46.19     57.03
4941.33/4941.26	c  N dy 65216  16373042      2099     49013         0    258183    201370   6626737     46.19     49.61
4948.61/4948.50	c  N dy 65353  16393222      2099     49013         0    278206    201370   7923583     46.19     48.64
4958.01/4957.97	c  N dy 65467  16413643      2099     49013         0    298420    201370   9192538     46.20     48.80
4965.53/4965.49	c  N dy 65547  16433740      2099     49013         0    318285    201370  10447167     46.19     50.60
4976.11/4976.03	c  N dy 65654  16453951      2099     49013         0    338286    201370  11720433     46.20     48.81
4986.11/4986.03	c  N dy 65732  16474151      2099     49013         0    180072    201370   1659533     46.19     48.82
4992.31/4992.22	c  N dy 65835  16494323      2099     49013         0    200000    201370   2915067     46.20     49.32
4999.21/4999.13	c  N dy 65944  16514475      2099     49013         0    219929    201370   4168538     46.20     48.71

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3421905-1306611499/watcher-3421905-1306611499 -o /tmp/evaluation-result-3421905-1306611499/solver-3421905-1306611499 -C 5000 -W 5100 -M 15500 ./strangenight2-st HOME/instance-3421905-1306611499.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.95 2.00 1.99 3/505 27643
/proc/meminfo: memFree=21774172/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=32180 CPUtime=0.01 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1573 0 0 0 1 0 0 0 25 0 1 0 772752539 32952320 1513 33554432000 4194304 4580011 140735172058032 18446744073709551615 4489378 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 8045 1514 324 95 0 3027 0

[startup+0.0624079 s]
/proc/loadavg: 1.95 2.00 1.99 3/505 27643
/proc/meminfo: memFree=21774172/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=35912 CPUtime=0.05 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 2842 0 0 0 5 0 0 0 25 0 1 0 772752539 36773888 2716 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294553 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 8978 2716 339 95 0 3960 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 35912

[startup+0.100398 s]
/proc/loadavg: 1.95 2.00 1.99 3/505 27643
/proc/meminfo: memFree=21774172/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=36044 CPUtime=0.09 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 2882 0 0 0 9 0 0 0 25 0 1 0 772752539 36909056 2756 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294557 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 9011 2756 339 95 0 3993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36044

[startup+0.300361 s]
/proc/loadavg: 1.95 2.00 1.99 3/505 27643
/proc/meminfo: memFree=21774172/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=36176 CPUtime=0.29 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 2927 0 0 0 29 0 0 0 25 0 1 0 772752539 37044224 2801 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294404 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 9044 2801 339 95 0 4026 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36176

[startup+0.700303 s]
/proc/loadavg: 1.95 2.00 1.99 3/505 27643
/proc/meminfo: memFree=21774172/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=52192 CPUtime=0.69 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 7999 0 0 0 68 1 0 0 25 0 1 0 772752539 53444608 6599 33554432000 4194304 4580011 140735172058032 18446744073709551615 4321090 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 13048 6599 365 95 0 8030 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52192

[startup+1.50015 s]
/proc/loadavg: 2.03 2.01 2.00 3/506 27644
/proc/meminfo: memFree=21748496/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=52192 CPUtime=1.49 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 8954 0 0 0 148 1 0 0 25 0 1 0 772752539 53444608 7554 33554432000 4194304 4580011 140735172058032 18446744073709551615 4489378 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 13048 7554 365 95 0 8030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52192

[startup+3.10087 s]
/proc/loadavg: 2.03 2.01 2.00 3/506 27645
/proc/meminfo: memFree=21741436/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=81532 CPUtime=3.09 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 14459 0 0 0 307 2 0 0 25 0 1 0 772752539 83488768 9739 33554432000 4194304 4580011 140735172058032 18446744073709551615 4321090 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 20383 9739 366 95 0 15365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81532

[startup+6.3003 s]
/proc/loadavg: 2.03 2.01 2.00 3/506 27645
/proc/meminfo: memFree=21733128/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=82596 CPUtime=6.29 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 21229 0 0 0 626 3 0 0 25 0 1 0 772752539 84578304 11320 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 20649 11320 366 95 0 15631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82596

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/506 27645
/proc/meminfo: memFree=21709520/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=108588 CPUtime=12.69 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 34017 0 0 0 1264 5 0 0 25 0 1 0 772752539 111194112 16576 33554432000 4194304 4580011 140735172058032 18446744073709551615 4320709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 27147 16576 366 95 0 22129 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108588

[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 2.00 3/506 27645
/proc/meminfo: memFree=21695020/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=163884 CPUtime=25.49 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 46246 0 0 0 2543 6 0 0 25 0 1 0 772752539 167817216 19746 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 40971 19746 367 95 0 35953 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 163884

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/506 27646
/proc/meminfo: memFree=21687064/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=112296 CPUtime=51.09 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 54775 0 0 0 5102 7 0 0 25 0 1 0 772752539 114991104 20273 33554432000 4194304 4580011 140735172058032 18446744073709551615 4321618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 28074 20273 367 95 0 23056 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 112296

[startup+102.319 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 27647
/proc/meminfo: memFree=21667068/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=174684 CPUtime=102.31 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 96046 0 0 0 10217 14 0 0 25 0 1 0 772752539 178876416 24318 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 43671 24318 367 95 0 38653 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 174684

[startup+162.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/506 27649
/proc/meminfo: memFree=21658972/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=179188 CPUtime=162.29 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 141307 0 0 0 16205 24 0 0 25 0 1 0 772752539 183488512 25355 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 44797 25355 367 95 0 39779 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 179188

[startup+222.3 s]
/proc/loadavg: 2.14 2.06 2.02 3/506 27650
/proc/meminfo: memFree=21656968/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=193980 CPUtime=222.3 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 196646 0 0 0 22197 33 0 0 25 0 1 0 772752539 198635520 25836 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 48495 25836 367 95 0 43477 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 193980

[startup+282.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/506 27652
/proc/meminfo: memFree=21643056/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=127328 CPUtime=282.3 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 244568 0 0 0 28190 40 0 0 25 0 1 0 772752539 130383872 22311 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294478 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 31832 22311 367 95 0 26814 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 127328

[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/506 27654
/proc/meminfo: memFree=21654196/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=199532 CPUtime=342.3 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 282018 0 0 0 34185 45 0 0 25 0 1 0 772752539 204320768 26303 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 49883 26303 367 95 0 44865 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 199532

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/506 27655
/proc/meminfo: memFree=21630852/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=129828 CPUtime=402.3 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 329986 0 0 0 40176 54 0 0 25 0 1 0 772752539 132943872 23335 33554432000 4194304 4580011 140735172058032 18446744073709551615 4318987 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 32457 23335 367 95 0 27439 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 129828

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 27657
/proc/meminfo: memFree=21641380/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=206068 CPUtime=462.3 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 374021 0 0 0 46168 62 0 0 25 0 1 0 772752539 211013632 29415 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 51517 29415 367 95 0 46499 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 206068

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 27658
/proc/meminfo: memFree=21645940/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=208676 CPUtime=522.3 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 413675 0 0 0 52161 69 0 0 25 0 1 0 772752539 213684224 28602 33554432000 4194304 4580011 140735172058032 18446744073709551615 4305904 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 52169 28602 367 95 0 47151 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 208676

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 27660
/proc/meminfo: memFree=21634896/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=211992 CPUtime=582.3 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 456579 0 0 0 58154 76 0 0 25 0 1 0 772752539 217079808 28457 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294920 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 52998 28457 367 95 0 47980 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 211992

[startup+642.301 s]

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

[startup+4062.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 27765
/proc/meminfo: memFree=21543472/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=259568 CPUtime=4062.41 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1113364 0 0 0 405989 252 0 0 25 0 1 0 772752539 265797632 46139 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 64892 46139 367 95 0 59874 0
Current children cumulated CPU time (s) 4062.41
Current children cumulated vsize (KiB) 259568

[startup+4122.3 s]
/proc/loadavg: 2.18 2.05 2.01 3/506 27766
/proc/meminfo: memFree=21544572/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=259768 CPUtime=4122.39 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1120705 0 0 0 411985 254 0 0 25 0 1 0 772752539 266002432 45322 33554432000 4194304 4580011 140735172058032 18446744073709551615 4293200 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 64942 45322 367 95 0 59924 0
Current children cumulated CPU time (s) 4122.39
Current children cumulated vsize (KiB) 259768

[startup+4182.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/506 27768
/proc/meminfo: memFree=21546156/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=259988 CPUtime=4182.39 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1128354 0 0 0 417983 256 0 0 25 0 1 0 772752539 266227712 44675 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294501 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 64997 44675 367 95 0 59979 0
Current children cumulated CPU time (s) 4182.39
Current children cumulated vsize (KiB) 259988

[startup+4242.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/506 27770
/proc/meminfo: memFree=21547760/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=260652 CPUtime=4242.39 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1135761 0 0 0 423981 258 0 0 25 0 1 0 772752539 266907648 43757 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294920 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65163 43757 367 95 0 60145 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 260652

[startup+4302.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/506 27771
/proc/meminfo: memFree=21553940/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=260868 CPUtime=4302.4 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1142427 0 0 0 429980 260 0 0 25 0 1 0 772752539 267128832 42049 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294341 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65217 42049 367 95 0 60199 0
Current children cumulated CPU time (s) 4302.4
Current children cumulated vsize (KiB) 260868

[startup+4362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 27773
/proc/meminfo: memFree=21560252/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=261084 CPUtime=4362.4 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1149436 0 0 0 435977 263 0 0 25 0 1 0 772752539 267350016 40581 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294942 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65271 40581 367 95 0 60253 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 261084

[startup+4422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 27774
/proc/meminfo: memFree=21562968/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=261764 CPUtime=4422.4 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1156758 0 0 0 441974 266 0 0 25 0 1 0 772752539 268046336 39310 33554432000 4194304 4580011 140735172058032 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65441 39310 367 95 0 60423 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 261764

[startup+4482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 27776
/proc/meminfo: memFree=21563696/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=185200 CPUtime=4482.4 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1165047 0 0 0 447971 269 0 0 25 0 1 0 772752539 189644800 38939 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294344 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 46300 38939 367 95 0 41282 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 185200

[startup+4542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 27778
/proc/meminfo: memFree=21532668/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=261980 CPUtime=4542.4 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1173569 0 0 0 453968 272 0 0 25 0 1 0 772752539 268267520 47461 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65495 47461 367 95 0 60477 0
Current children cumulated CPU time (s) 4542.4
Current children cumulated vsize (KiB) 261980

[startup+4602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 27779
/proc/meminfo: memFree=21534152/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=262172 CPUtime=4602.42 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1181392 0 0 0 459967 275 0 0 25 0 1 0 772752539 268464128 46641 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294346 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65543 46641 367 95 0 60525 0
Current children cumulated CPU time (s) 4602.42
Current children cumulated vsize (KiB) 262172

[startup+4662.3 s]
/proc/loadavg: 2.16 2.03 2.01 3/506 27781
/proc/meminfo: memFree=21541328/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=262856 CPUtime=4662.4 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1188432 0 0 0 465963 277 0 0 25 0 1 0 772752539 269164544 44930 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294408 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65714 44930 367 95 0 60696 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 262856

[startup+4722.32 s]
/proc/loadavg: 2.16 2.05 2.02 3/506 27782
/proc/meminfo: memFree=21551356/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=263060 CPUtime=4722.42 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1195385 0 0 0 471963 279 0 0 25 0 1 0 772752539 269373440 43124 33554432000 4194304 4580011 140735172058032 18446744073709551615 4295369 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65765 43124 367 95 0 60747 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 263060

[startup+4782.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/506 27784
/proc/meminfo: memFree=21565596/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=263300 CPUtime=4782.41 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1201554 0 0 0 477959 282 0 0 25 0 1 0 772752539 269619200 40360 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294595 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65825 40360 367 95 0 60807 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 263300

[startup+4842.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/506 27786
/proc/meminfo: memFree=21571772/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=186148 CPUtime=4842.4 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1209242 0 0 0 483956 284 0 0 25 0 1 0 772752539 190615552 39058 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 46537 39058 367 95 0 41519 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 186148

[startup+4902.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 27787
/proc/meminfo: memFree=21513484/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=263984 CPUtime=4902.41 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1216974 0 0 0 489954 287 0 0 25 0 1 0 772752539 270319616 46790 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 65996 46790 367 95 0 60978 0
Current children cumulated CPU time (s) 4902.41
Current children cumulated vsize (KiB) 263984

[startup+4962.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 27798
/proc/meminfo: memFree=21520540/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=264176 CPUtime=4962.41 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1224511 0 0 0 495952 289 0 0 25 0 1 0 772752539 270516224 45316 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 66044 45316 367 95 0 61026 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 264176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 27827
/proc/meminfo: memFree=21649668/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=264376 CPUtime=5000.03 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1227767 0 0 0 499713 290 0 0 25 0 1 0 772752539 270721024 39470 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 66094 39470 367 95 0 61076 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 264376

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+4999.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 27827
/proc/meminfo: memFree=21649668/32951124 swapFree=51851948/67111528
[pid=27643] ppid=27641 vsize=264376 CPUtime=5000.03 cores=1,3,5,7
/proc/27643/stat : 27643 (strangenight2-s) R 27641 27643 27578 0 -1 4202496 1227767 0 0 0 499713 290 0 0 25 0 1 0 772752539 270721024 39470 33554432000 4194304 4580011 140735172058032 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27643/statm: 66094 39470 367 95 0 61076 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 264376

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.93
CPU time (s): 5000.05
CPU user time (s): 4997.13
CPU system time (s): 2.91456
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 264376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4997.13
system time used= 2.91456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1227767
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= 7
involuntary context switches= 4907

runsolver used 23.1805 second user time and 58.6201 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-28 21:38:19
IDJOB=3421905
IDBENCH=83254
IDSOLVER=1887
FILE ID=node103/3421905-1306611499
RUNJOBID= node103-1306611466-27597
PBS_JOBID= 13471613
Free space on /tmp= 73376 MiB

SOLVER NAME= CryptoMiniSat Strange-Night2-st (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4232.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421905-1306611499/watcher-3421905-1306611499 -o /tmp/evaluation-result-3421905-1306611499/solver-3421905-1306611499 -C 5000 -W 5100 -M 15500  ./strangenight2-st HOME/instance-3421905-1306611499.cnf

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

MD5SUM BENCH= 86d9f733c618d2ca060f457ab8a19463
RANDOM SEED=1063497461

node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21774452 kB
Buffers:        373048 kB
Cached:        8583512 kB
SwapCached:     191244 kB
Active:        2538732 kB
Inactive:      8319952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21774452 kB
SwapTotal:    67111528 kB
SwapFree:     51851948 kB
Dirty:            9196 kB
Writeback:           0 kB
AnonPages:     1721144 kB
Mapped:          22876 kB
Slab:           176232 kB
PageTables:      73188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162145828 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73372 MiB
End job on node103 at 2011-05-28 23:01:41