Trace number 3493406

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
PicoMUS 941UNSAT 40.6868 40.691

General information on the benchmark

Namemus/marques-silva/
bmc-aerielogic/fifo4_33.cnf
MD5SUMeb6e9a37df8d3108c66d811b9d68e89b
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.3428
Satisfiable
(Un)Satisfiability was proved
Number of variables14081
Number of clauses36942
Sum of the clauses size82500
Maximum clause length7
Minimum clause length1
Number of clauses of size 11128
Number of clauses of size 227333
Number of clauses of size 37800
Number of clauses of size 4389
Number of clauses of size 598
Number of clauses of size over 5194

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 14081 36942
0.03/0.08	s UNSATISFIABLE
0.03/0.08	c [picomus] extracted core 1 of size 3673 out of 36942 (10%) after 0.1 sec
0.09/0.10	c [picomus] extracted core 2 of size 2993 out of 36942 (8%) after 0.1 sec
0.09/0.12	c [picomus] extracted core 3 of size 2677 out of 36942 (7%) after 0.1 sec
0.09/0.14	c [picomus] extracted core 4 of size 2457 out of 36942 (7%) after 0.1 sec
0.09/0.16	c [picomus] extracted core 5 of size 2392 out of 36942 (6%) after 0.2 sec
0.09/0.17	c [picomus] extracted core 6 of size 2378 out of 36942 (6%) after 0.2 sec
0.09/0.18	c [picomus] extracted core 7 of size 2371 out of 36942 (6%) after 0.2 sec
0.19/0.20	c [picomus] extracted core 8 of size 2360 out of 36942 (6%) after 0.2 sec
0.19/0.21	c [picomus] extracted core 9 of size 2360 out of 36942 (6%) after 0.2 sec
0.19/0.23	c [picomus] extracted core 10 of size 2360 out of 36942 (6%) after 0.2 sec
0.19/0.24	c [picomus] extracted core 11 of size 2360 out of 36942 (6%) after 0.2 sec
0.19/0.27	c [picomus] reduction 1 to 2245 out of 36942 (6%) after 0.3 sec
5.39/5.42	c [picomus] reduction 2 to 2235 out of 36942 (6%) after 5.4 sec
5.49/5.58	c [picomus] reduction 3 to 2227 out of 36942 (6%) after 5.6 sec
6.19/6.24	c [picomus] reduction 4 to 2214 out of 36942 (6%) after 6.2 sec
7.59/7.63	c [picomus] reduction 5 to 2207 out of 36942 (6%) after 7.6 sec
19.39/19.43	c [picomus] reduction 6 to 2203 out of 36942 (6%) after 19.4 sec
19.49/19.50	c [picomus] reduction 7 to 2202 out of 36942 (6%) after 19.5 sec
23.10/23.15	c [picomus] reduction 8 to 2201 out of 36942 (6%) after 23.2 sec
29.19/29.28	c [picomus] reduction 9 to 2194 out of 36942 (6%) after 29.3 sec
31.49/31.54	c [picomus] reduction 10 to 2193 out of 36942 (6%) after 31.5 sec
31.49/31.54	c [picomus] reduction 11 to 2192 out of 36942 (6%) after 31.5 sec
31.59/31.63	c [picomus] reduction 12 to 2191 out of 36942 (6%) after 31.6 sec
31.59/31.65	c [picomus] reduction 13 to 2184 out of 36942 (6%) after 31.7 sec
32.49/32.53	c [picomus] reduction 14 to 2183 out of 36942 (6%) after 32.5 sec
35.10/35.15	c [picomus] reduction 15 to 2181 out of 36942 (6%) after 35.2 sec
38.09/38.13	c [picomus] reduction 16 to 2178 out of 36942 (6%) after 38.1 sec
38.89/38.99	c [picomus] reduction 17 to 2176 out of 36942 (6%) after 39.0 sec
40.60/40.68	c [picosat] 2194 calls
40.60/40.68	c [picosat] 0 iterations
40.60/40.68	c [picosat] 1 restarts
40.60/40.68	c [picosat] 0 failed literals
40.60/40.68	c [picosat] 555 conflicts
40.60/40.68	c [picosat] 108677618 decisions
40.60/40.68	c [picosat] 3236 fixed variables
40.60/40.68	c [picosat] 125565 learned literals
40.60/40.68	c [picosat] 0.5% deleted literals
40.60/40.68	c [picosat] 112845165 propagations
40.60/40.68	c [picosat] 8.6% variables used
40.60/40.68	c [picosat] 31.6 seconds in library
40.60/40.68	c [picosat] 3.6 megaprops/second
40.60/40.68	c [picosat] probing 1.9 seconds 6%
40.60/40.68	c [picosat] 206 simplifications
40.60/40.68	c [picosat] 0 reductions
40.60/40.68	c [picosat] 0.5 MB recycled
40.60/40.68	c [picosat] 4.1 MB maximally allocated
40.60/40.68	c [picomus] found 34766 redundant clauses 94%
40.60/40.68	c [picomus] computed MUS of size 2176 out of 36942 (6%)
40.60/40.68	v 6
40.60/40.68	v 7
40.60/40.68	v 9
40.60/40.68	v 13
40.60/40.68	v 14
40.60/40.68	v 17
40.60/40.68	v 18
40.60/40.68	v 21
40.60/40.68	v 22
40.60/40.68	v 23
40.60/40.68	v 24
40.60/40.68	v 25
40.60/40.68	v 26
40.60/40.68	v 27
40.60/40.68	v 28
40.60/40.68	v 29
40.60/40.68	v 30
40.60/40.68	v 31
40.60/40.68	v 32
40.60/40.68	v 33
40.60/40.68	v 34
40.60/40.68	v 40
40.60/40.68	v 41
40.60/40.68	v 42
40.60/40.68	v 43
40.60/40.68	v 44
40.60/40.68	v 45
40.60/40.68	v 46
40.60/40.68	v 47
40.60/40.68	v 48
40.60/40.68	v 49
40.60/40.68	v 50
40.60/40.68	v 51
40.60/40.68	v 52
40.60/40.68	v 53
40.60/40.68	v 54
40.60/40.68	v 55
40.60/40.68	v 56
40.60/40.68	v 57
40.60/40.68	v 58
40.60/40.68	v 59
40.60/40.68	v 60
40.60/40.68	v 61
40.60/40.68	v 62
40.60/40.68	v 63
40.60/40.68	v 64
40.60/40.68	v 65
40.60/40.68	v 66
40.60/40.68	v 67
40.60/40.68	v 68
40.60/40.68	v 69
40.60/40.68	v 70
40.60/40.68	v 71
40.60/40.68	v 72
40.60/40.68	v 396
40.60/40.68	v 398
40.60/40.68	v 400
40.60/40.68	v 402
40.60/40.68	v 407
40.60/40.68	v 409
40.60/40.68	v 411
40.60/40.68	v 413
40.60/40.68	v 415
40.60/40.68	v 417
40.60/40.68	v 419
40.60/40.68	v 421
40.60/40.68	v 423
40.60/40.68	v 425
40.60/40.68	v 427
40.60/40.68	v 429
40.60/40.68	v 431
40.60/40.68	v 433
40.60/40.68	v 436
40.60/40.68	v 652
40.60/40.68	v 656
40.60/40.68	v 659
40.60/40.68	v 925
40.60/40.68	v 928
40.60/40.68	v 932
40.60/40.68	v 1007
40.60/40.68	v 1011
40.60/40.68	v 1015
40.60/40.68	v 1018
40.60/40.68	v 1128
40.60/40.68	v 1132
40.60/40.68	v 1138
40.60/40.68	v 1142
40.60/40.68	v 1148
40.60/40.68	v 1152
40.60/40.68	v 1158
40.60/40.68	v 1162
40.60/40.68	v 1163
40.60/40.68	v 1167
40.60/40.68	v 1168
40.60/40.68	v 1172
40.60/40.68	v 1173
40.60/40.68	v 1177
40.60/40.68	v 1225
40.60/40.68	v 1229
40.60/40.68	v 1232
40.60/40.68	v 1308
40.60/40.68	v 1311
40.60/40.68	v 1429
40.60/40.68	v 1432
40.60/40.68	v 1439
40.60/40.68	v 1442
40.60/40.68	v 1449
40.60/40.68	v 1452
40.60/40.68	v 1459
40.60/40.68	v 1462
40.60/40.68	v 1464
40.60/40.68	v 1467
40.60/40.68	v 1469
40.60/40.68	v 1472
40.60/40.68	v 1474
40.60/40.68	v 1477
40.60/40.68	v 1525
40.60/40.68	v 1528
40.60/40.68	v 1532
40.60/40.68	v 1729
40.60/40.68	v 1732
40.60/40.68	v 1739
40.60/40.68	v 1742
40.60/40.68	v 1749
40.60/40.68	v 1752
40.60/40.68	v 1764
40.60/40.68	v 1767
40.60/40.68	v 1769
40.60/40.68	v 1772
40.60/40.68	v 1774
40.60/40.68	v 1777
40.60/40.68	v 1796
40.60/40.68	v 1800
40.60/40.68	v 1803
40.60/40.68	v 1825
40.60/40.68	v 1829
40.60/40.68	v 1832
40.60/40.68	v 2029
40.60/40.68	v 2032
40.60/40.68	v 2039
40.60/40.68	v 2042
40.60/40.68	v 2049
40.60/40.68	v 2052
40.60/40.68	v 2064
40.60/40.68	v 2067
40.60/40.68	v 2069
40.60/40.68	v 2072
40.60/40.68	v 2074
40.60/40.68	v 2077
40.60/40.68	v 2125
40.60/40.68	v 2128
40.60/40.68	v 2132
40.60/40.68	v 2209
40.60/40.68	v 2210
40.60/40.68	v 2329
40.60/40.68	v 2332
40.60/40.68	v 2339
40.60/40.68	v 2342
40.60/40.68	v 2349
40.60/40.68	v 2352
40.60/40.68	v 2360
40.60/40.68	v 2361
40.60/40.68	v 2364
40.60/40.68	v 2367
40.60/40.68	v 2369
40.60/40.68	v 2372
40.60/40.68	v 2374
40.60/40.68	v 2377
40.60/40.68	v 2396
40.60/40.68	v 2400
40.60/40.68	v 2403
40.60/40.68	v 2425
40.60/40.68	v 2429
40.60/40.68	v 2432
40.60/40.68	v 2509
40.60/40.68	v 2510
40.60/40.68	v 2629
40.60/40.68	v 2632
40.60/40.68	v 2639
40.60/40.68	v 2642
40.60/40.68	v 2649
40.60/40.68	v 2652
40.60/40.68	v 2660
40.60/40.68	v 2661
40.60/40.68	v 2664
40.60/40.68	v 2667
40.60/40.68	v 2669
40.60/40.68	v 2672
40.60/40.68	v 2674
40.60/40.68	v 2677
40.60/40.68	v 2725
40.60/40.68	v 2728
40.60/40.68	v 2732
40.60/40.68	v 2939
40.60/40.68	v 2942
40.60/40.68	v 2949
40.60/40.68	v 2952
40.60/40.68	v 2969
40.60/40.68	v 2972
40.60/40.68	v 2974
40.60/40.68	v 2977
40.60/40.68	v 2996
40.60/40.68	v 3000
40.60/40.68	v 3003
40.60/40.68	v 3025
40.60/40.68	v 3029
40.60/40.68	v 3032
40.60/40.68	v 3239
40.60/40.68	v 3242
40.60/40.68	v 3249
40.60/40.68	v 3252
40.60/40.68	v 3269
40.60/40.68	v 3272
40.60/40.68	v 3274
40.60/40.68	v 3277
40.60/40.68	v 3325
40.60/40.68	v 3328
40.60/40.68	v 3332
40.60/40.68	v 3530
40.60/40.68	v 3531
40.60/40.68	v 3539
40.60/40.68	v 3542
40.60/40.68	v 3549
40.60/40.68	v 3552
40.60/40.68	v 3565
40.60/40.68	v 3566
40.60/40.68	v 3569
40.60/40.68	v 3572
40.60/40.68	v 3574
40.60/40.68	v 3577
40.60/40.68	v 3596
40.60/40.68	v 3600
40.60/40.68	v 3603
40.60/40.68	v 3625
40.60/40.68	v 3629
40.60/40.68	v 3632
40.60/40.68	v 3830
40.60/40.68	v 3831
40.60/40.68	v 3839
40.60/40.68	v 3842
40.60/40.68	v 3849
40.60/40.68	v 3852
40.60/40.68	v 3865
40.60/40.68	v 3866
40.60/40.68	v 3869
40.60/40.68	v 3872
40.60/40.68	v 3874
40.60/40.68	v 3877
40.60/40.68	v 3925
40.60/40.68	v 3928
40.60/40.68	v 3932
40.60/40.68	v 4149
40.60/40.68	v 4152
40.60/40.68	v 4174
40.60/40.68	v 4177
40.60/40.68	v 4196
40.60/40.68	v 4200
40.60/40.68	v 4203
40.60/40.68	v 4225
40.60/40.68	v 4229
40.60/40.68	v 4232
40.60/40.68	v 4449
40.60/40.68	v 4452
40.60/40.68	v 4474
40.60/40.68	v 4477
40.60/40.68	v 4525
40.60/40.68	v 4528
40.60/40.68	v 4532
40.60/40.68	v 4608
40.60/40.68	v 4611
40.60/40.68	v 4729
40.60/40.68	v 4732
40.60/40.68	v 4740
40.60/40.68	v 4741
40.60/40.68	v 4749
40.60/40.68	v 4752
40.60/40.68	v 4759
40.60/40.68	v 4762
40.60/40.68	v 4764
40.60/40.68	v 4767
40.60/40.68	v 4770
40.60/40.68	v 4771
40.60/40.68	v 4774
40.60/40.68	v 4777
40.60/40.68	v 4796
40.60/40.68	v 4800
40.60/40.68	v 4803
40.60/40.68	v 4825
40.60/40.68	v 4829
40.60/40.68	v 4832
40.60/40.68	v 4908
40.60/40.68	v 4911
40.60/40.68	v 5029
40.60/40.68	v 5032
40.60/40.68	v 5040
40.60/40.68	v 5041
40.60/40.68	v 5049
40.60/40.68	v 5052
40.60/40.68	v 5059
40.60/40.68	v 5062
40.60/40.68	v 5064
40.60/40.68	v 5067
40.60/40.68	v 5070
40.60/40.68	v 5071
40.60/40.68	v 5074
40.60/40.68	v 5077
40.60/40.68	v 5125
40.60/40.68	v 5128
40.60/40.68	v 5132
40.60/40.68	v 5329
40.60/40.68	v 5332
40.60/40.68	v 5340
40.60/40.68	v 5341
40.60/40.68	v 5349
40.60/40.68	v 5352
40.60/40.68	v 5364
40.60/40.68	v 5367
40.60/40.68	v 5370
40.60/40.68	v 5371
40.60/40.68	v 5374
40.60/40.68	v 5377
40.60/40.68	v 5396
40.60/40.68	v 5400
40.60/40.68	v 5403
40.60/40.68	v 5425
40.60/40.68	v 5429
40.60/40.68	v 5432
40.60/40.68	v 5629
40.60/40.68	v 5632
40.60/40.68	v 5640
40.60/40.68	v 5641
40.60/40.68	v 5649
40.60/40.68	v 5652
40.60/40.68	v 5664
40.60/40.68	v 5667
40.60/40.68	v 5670
40.60/40.68	v 5671
40.60/40.68	v 5674
40.60/40.68	v 5677
40.60/40.68	v 5725
40.60/40.68	v 5728
40.60/40.68	v 5732
40.60/40.68	v 5809
40.60/40.68	v 5810
40.60/40.68	v 5929
40.60/40.68	v 5932
40.60/40.68	v 5940
40.60/40.68	v 5941
40.60/40.68	v 5949
40.60/40.68	v 5952
40.60/40.68	v 5960
40.60/40.68	v 5961
40.60/40.68	v 5964
40.60/40.68	v 5967
40.60/40.68	v 5970
40.60/40.68	v 5971
40.60/40.68	v 5974
40.60/40.68	v 5977
40.60/40.68	v 5996
40.60/40.68	v 6000
40.60/40.68	v 6003
40.60/40.68	v 6025
40.60/40.68	v 6029
40.60/40.68	v 6032
40.60/40.68	v 6109
40.60/40.68	v 6110
40.60/40.68	v 6229
40.60/40.68	v 6232
40.60/40.68	v 6240
40.60/40.68	v 6241
40.60/40.68	v 6249
40.60/40.68	v 6252
40.60/40.68	v 6260
40.60/40.68	v 6261
40.60/40.68	v 6264
40.60/40.68	v 6267
40.60/40.68	v 6270
40.60/40.68	v 6271
40.60/40.68	v 6274
40.60/40.68	v 6277
40.60/40.68	v 6325
40.60/40.68	v 6328
40.60/40.68	v 6332
40.60/40.68	v 6540
40.60/40.68	v 6541
40.60/40.68	v 6549
40.60/40.68	v 6552
40.60/40.68	v 6570
40.60/40.68	v 6571
40.60/40.68	v 6574
40.60/40.68	v 6577
40.60/40.68	v 6596
40.60/40.68	v 6600
40.60/40.68	v 6603
40.60/40.68	v 6625
40.60/40.68	v 6629
40.60/40.68	v 6632
40.60/40.68	v 6840
40.60/40.68	v 6841
40.60/40.68	v 6849
40.60/40.68	v 6852
40.60/40.68	v 6870
40.60/40.68	v 6871
40.60/40.68	v 6874
40.60/40.68	v 6877
40.60/40.68	v 6925
40.60/40.68	v 6928
40.60/40.68	v 6932
40.60/40.68	v 7008
40.60/40.68	v 7011
40.60/40.68	v 7130
40.60/40.68	v 7131
40.60/40.68	v 7140
40.60/40.68	v 7141
40.60/40.68	v 7149
40.60/40.68	v 7152
40.60/40.68	v 7159
40.60/40.68	v 7162
40.60/40.68	v 7165
40.60/40.68	v 7166
40.60/40.68	v 7170
40.60/40.68	v 7171
40.60/40.68	v 7174
40.60/40.68	v 7177
40.60/40.68	v 7196
40.60/40.68	v 7200
40.60/40.68	v 7203
40.60/40.68	v 7225
40.60/40.68	v 7229
40.60/40.68	v 7232
40.60/40.68	v 7308
40.60/40.68	v 7311
40.60/40.68	v 7430
40.60/40.68	v 7431
40.60/40.68	v 7440
40.60/40.68	v 7441
40.60/40.68	v 7449
40.60/40.68	v 7452
40.60/40.68	v 7459
40.60/40.68	v 7462
40.60/40.68	v 7465
40.60/40.68	v 7466
40.60/40.68	v 7470
40.60/40.68	v 7471
40.60/40.68	v 7474
40.60/40.68	v 7477
40.60/40.68	v 7525
40.60/40.68	v 7528
40.60/40.68	v 7532
40.60/40.68	v 7730
40.60/40.68	v 7731
40.60/40.68	v 7740
40.60/40.68	v 7741
40.60/40.68	v 7749
40.60/40.68	v 7752
40.60/40.68	v 7765
40.60/40.68	v 7766
40.60/40.68	v 7770
40.60/40.68	v 7771
40.60/40.68	v 7774
40.60/40.68	v 7777
40.60/40.68	v 7796
40.60/40.68	v 7800
40.60/40.68	v 7803
40.60/40.68	v 7825
40.60/40.68	v 7829
40.60/40.68	v 7832
40.60/40.68	v 8030
40.60/40.68	v 8031
40.60/40.68	v 8040
40.60/40.68	v 8041
40.60/40.68	v 8049
40.60/40.68	v 8052
40.60/40.68	v 8065
40.60/40.68	v 8066
40.60/40.68	v 8070
40.60/40.68	v 8071
40.60/40.68	v 8074
40.60/40.68	v 8077
40.60/40.68	v 8125
40.60/40.68	v 8128
40.60/40.68	v 8132
40.60/40.68	v 8209
40.60/40.68	v 8210
40.60/40.68	v 8330
40.60/40.68	v 8331
40.60/40.68	v 8340
40.60/40.68	v 8341
40.60/40.68	v 8349
40.60/40.68	v 8352
40.60/40.68	v 8360
40.60/40.68	v 8361
40.60/40.68	v 8365
40.60/40.68	v 8366
40.60/40.68	v 8370
40.60/40.68	v 8371
40.60/40.68	v 8374
40.60/40.68	v 8377
40.60/40.68	v 8387
40.60/40.68	v 8390
40.60/40.68	v 8394
40.60/40.68	v 8396
40.60/40.68	v 8400
40.60/40.68	v 8403
40.60/40.68	v 8425
40.60/40.68	v 8429
40.60/40.68	v 8432
40.60/40.68	v 8509
40.60/40.68	v 8510
40.60/40.68	v 8630
40.60/40.68	v 8631
40.60/40.68	v 8640
40.60/40.68	v 8641
40.60/40.68	v 8649
40.60/40.68	v 8652
40.60/40.68	v 8660
40.60/40.68	v 8661
40.60/40.68	v 8665
40.60/40.68	v 8666
40.60/40.68	v 8670
40.60/40.68	v 8671
40.60/40.68	v 8674
40.60/40.68	v 8677
40.60/40.68	v 8716
40.60/40.68	v 8719
40.60/40.68	v 8725
40.60/40.68	v 8728
40.60/40.68	v 8732
40.60/40.68	v 8987
40.60/40.68	v 8990
40.60/40.68	v 8994
40.60/40.68	v 8996
40.60/40.68	v 9000
40.60/40.68	v 9003
40.60/40.68	v 9016
40.60/40.68	v 9019
40.60/40.68	v 9025
40.60/40.68	v 9029
40.60/40.68	v 9032
40.60/40.68	v 9316
40.60/40.68	v 9319
40.60/40.68	v 9325
40.60/40.68	v 9328
40.60/40.68	v 9332
40.60/40.68	v 9587
40.60/40.68	v 9590
40.60/40.68	v 9594
40.60/40.68	v 9596
40.60/40.68	v 9600
40.60/40.68	v 9603
40.60/40.68	v 9616
40.60/40.68	v 9619
40.60/40.68	v 9625
40.60/40.68	v 9629
40.60/40.68	v 9632
40.60/40.68	v 9916
40.60/40.68	v 9919
40.60/40.68	v 9925
40.60/40.68	v 9928
40.60/40.68	v 9932
40.60/40.68	v 10187
40.60/40.68	v 10190
40.60/40.68	v 10194
40.60/40.68	v 10204
40.60/40.68	v 10208
40.60/40.68	v 10210
40.60/40.68	v 10213
40.60/40.68	v 10214
40.60/40.68	v 10218
40.60/40.68	v 10220
40.60/40.68	v 10223
40.60/40.68	v 10224
40.60/40.68	v 10228
40.60/40.68	v 10230
40.60/40.68	v 10233
40.60/40.68	v 10234
40.60/40.68	v 10238
40.60/40.68	v 10240
40.60/40.68	v 10243
40.60/40.68	v 10244
40.60/40.68	v 10248
40.60/40.68	v 10250
40.60/40.68	v 10253
40.60/40.68	v 10254
40.60/40.68	v 10258
40.60/40.68	v 10260
40.60/40.68	v 10263
40.60/40.68	v 10264
40.60/40.68	v 10268
40.60/40.68	v 10270
40.60/40.68	v 10273
40.60/40.68	v 10274
40.60/40.68	v 10278
40.60/40.68	v 10280
40.60/40.68	v 10283
40.60/40.68	v 10284
40.60/40.68	v 10288
40.60/40.68	v 10290
40.60/40.68	v 10293
40.60/40.68	v 10294
40.60/40.68	v 10298
40.60/40.68	v 10300
40.60/40.68	v 10303
40.60/40.68	v 10304
40.60/40.68	v 10308
40.60/40.68	v 10310
40.60/40.68	v 10313
40.60/40.68	v 10314
40.60/40.68	v 10318
40.60/40.68	v 10320
40.60/40.68	v 10323
40.60/40.68	v 10324
40.60/40.68	v 10328
40.60/40.68	v 10330
40.60/40.68	v 10333
40.60/40.68	v 10334
40.60/40.68	v 10338
40.60/40.68	v 10340
40.60/40.68	v 10343
40.60/40.68	v 10344
40.60/40.68	v 10348
40.60/40.68	v 10350
40.60/40.68	v 10353
40.60/40.68	v 10354
40.60/40.68	v 10358
40.60/40.68	v 10360
40.60/40.68	v 10363
40.60/40.68	v 11524
40.60/40.68	v 11525
40.60/40.68	v 11527
40.60/40.68	v 11528
40.60/40.68	v 11530
40.60/40.68	v 11531
40.60/40.68	v 11533
40.60/40.68	v 11534
40.60/40.68	v 11536
40.60/40.68	v 11537
40.60/40.68	v 11556
40.60/40.68	v 11557
40.60/40.68	v 11559
40.60/40.68	v 11560
40.60/40.68	v 11562
40.60/40.68	v 11563
40.60/40.68	v 11565
40.60/40.68	v 11566
40.60/40.68	v 11568
40.60/40.68	v 11569
40.60/40.68	v 11588
40.60/40.68	v 11589
40.60/40.68	v 11591
40.60/40.68	v 11592
40.60/40.68	v 11594
40.60/40.68	v 11595
40.60/40.68	v 11597
40.60/40.68	v 11598
40.60/40.68	v 11600
40.60/40.68	v 11601
40.60/40.68	v 12176
40.60/40.68	v 12179
40.60/40.68	v 12182
40.60/40.68	v 12185
40.60/40.68	v 12189
40.60/40.68	v 12192
40.60/40.68	v 12196
40.60/40.68	v 12218
40.60/40.68	v 12221
40.60/40.68	v 12224
40.60/40.68	v 12227
40.60/40.68	v 12231
40.60/40.68	v 12234
40.60/40.68	v 12238
40.60/40.68	v 12260
40.60/40.68	v 12263
40.60/40.68	v 12266
40.60/40.68	v 12269
40.60/40.68	v 12272
40.60/40.68	v 12273
40.60/40.68	v 12276
40.60/40.68	v 12277
40.60/40.68	v 12280
40.60/40.68	v 12526
40.60/40.68	v 12529
40.60/40.68	v 12532
40.60/40.68	v 12540
40.60/40.68	v 12543
40.60/40.68	v 12546
40.60/40.68	v 12554
40.60/40.68	v 12557
40.60/40.68	v 12560
40.60/40.68	v 12568
40.60/40.68	v 12571
40.60/40.68	v 12574
40.60/40.68	v 12596
40.60/40.68	v 12597
40.60/40.68	v 12926
40.60/40.68	v 12927
40.60/40.68	v 13283
40.60/40.68	v 13284
40.60/40.68	v 13324
40.60/40.68	v 13325
40.60/40.68	v 13368
40.60/40.68	v 13369
40.60/40.68	v 13412
40.60/40.68	v 13413
40.60/40.68	v 13456
40.60/40.68	v 13457
40.60/40.68	v 13500
40.60/40.68	v 13501
40.60/40.68	v 13544
40.60/40.68	v 13545
40.60/40.68	v 13588
40.60/40.68	v 13589
40.60/40.68	v 13632
40.60/40.68	v 13633
40.60/40.68	v 13676
40.60/40.68	v 13677
40.60/40.68	v 13720
40.60/40.68	v 13721
40.60/40.68	v 13764
40.60/40.68	v 13765
40.60/40.68	v 13808
40.60/40.68	v 13809
40.60/40.68	v 13852
40.60/40.68	v 13853
40.60/40.68	v 15561
40.60/40.68	v 15562
40.60/40.68	v 15565
40.60/40.68	v 15566
40.60/40.68	v 15570
40.60/40.68	v 15571
40.60/40.68	v 15574
40.60/40.68	v 15575
40.60/40.68	v 15579
40.60/40.68	v 15580
40.60/40.68	v 15583
40.60/40.68	v 15584
40.60/40.68	v 15588
40.60/40.68	v 15589
40.60/40.68	v 15592
40.60/40.68	v 15593
40.60/40.68	v 15757
40.60/40.68	v 15762
40.60/40.68	v 15765
40.60/40.68	v 15766
40.60/40.68	v 15771
40.60/40.68	v 15774
40.60/40.68	v 15793
40.60/40.68	v 15798
40.60/40.68	v 15801
40.60/40.68	v 15802
40.60/40.68	v 15807
40.60/40.68	v 15810
40.60/40.68	v 15829
40.60/40.68	v 15834
40.60/40.68	v 15837
40.60/40.68	v 15838
40.60/40.68	v 15843
40.60/40.68	v 15846
40.60/40.68	v 15865
40.60/40.68	v 15870
40.60/40.68	v 15873
40.60/40.68	v 15874
40.60/40.68	v 15879
40.60/40.68	v 15882
40.60/40.68	v 15901
40.60/40.68	v 15906
40.60/40.68	v 15909
40.60/40.68	v 15910
40.60/40.68	v 15915
40.60/40.68	v 15918
40.60/40.68	v 15937
40.60/40.68	v 15942
40.60/40.68	v 15945
40.60/40.68	v 15946
40.60/40.68	v 15951
40.60/40.68	v 15954
40.60/40.68	v 15973
40.60/40.68	v 15978
40.60/40.68	v 15981
40.60/40.68	v 15982
40.60/40.68	v 15987
40.60/40.68	v 15990
40.60/40.68	v 16009
40.60/40.68	v 16014
40.60/40.68	v 16017
40.60/40.68	v 16018
40.60/40.68	v 16023
40.60/40.68	v 16026
40.60/40.68	v 16045
40.60/40.68	v 16050
40.60/40.68	v 16053
40.60/40.68	v 16054
40.60/40.68	v 16059
40.60/40.68	v 16062
40.60/40.68	v 16081
40.60/40.68	v 16086
40.60/40.68	v 16089
40.60/40.68	v 16090
40.60/40.68	v 16095
40.60/40.68	v 16098
40.60/40.68	v 16117
40.60/40.68	v 16122
40.60/40.68	v 16125
40.60/40.68	v 16126
40.60/40.68	v 16131
40.60/40.68	v 16134
40.60/40.68	v 16153
40.60/40.68	v 16158
40.60/40.68	v 16161
40.60/40.68	v 16162
40.60/40.68	v 16167
40.60/40.68	v 16170
40.60/40.68	v 16189
40.60/40.68	v 16194
40.60/40.68	v 16197
40.60/40.68	v 16198
40.60/40.68	v 16203
40.60/40.68	v 16206
40.60/40.68	v 16225
40.60/40.68	v 16230
40.60/40.68	v 16231
40.60/40.68	v 16232
40.60/40.68	v 16233
40.60/40.68	v 16234
40.60/40.68	v 16239
40.60/40.68	v 16240
40.60/40.68	v 16241
40.60/40.68	v 16242
40.60/40.68	v 16330
40.60/40.68	v 16331
40.60/40.68	v 16337
40.60/40.68	v 16341
40.60/40.68	v 16344
40.60/40.68	v 16349
40.60/40.68	v 16350
40.60/40.68	v 16352
40.60/40.68	v 16357
40.60/40.68	v 16360
40.60/40.68	v 16365
40.60/40.68	v 16366
40.60/40.68	v 16369
40.60/40.68	v 16373
40.60/40.68	v 16376
40.60/40.68	v 16381
40.60/40.68	v 16382
40.60/40.68	v 16384
40.60/40.68	v 16389
40.60/40.68	v 16392
40.60/40.68	v 16397
40.60/40.68	v 16398
40.60/40.68	v 16401
40.60/40.68	v 16405
40.60/40.68	v 16408
40.60/40.68	v 16413
40.60/40.68	v 16414
40.60/40.68	v 16416
40.60/40.68	v 16421
40.60/40.68	v 16424
40.60/40.68	v 16429
40.60/40.68	v 16430
40.60/40.68	v 16433
40.60/40.68	v 16437
40.60/40.68	v 16440
40.60/40.68	v 16445
40.60/40.68	v 16446
40.60/40.68	v 16448
40.60/40.68	v 16453
40.60/40.68	v 16456
40.60/40.68	v 16461
40.60/40.68	v 16462
40.60/40.68	v 16465
40.60/40.68	v 16469
40.60/40.68	v 16472
40.60/40.68	v 16477
40.60/40.68	v 16478
40.60/40.68	v 16480
40.60/40.68	v 16485
40.60/40.68	v 16488
40.60/40.68	v 16493
40.60/40.68	v 16494
40.60/40.68	v 16497
40.60/40.68	v 16501
40.60/40.68	v 16504
40.60/40.68	v 16509
40.60/40.68	v 16510
40.60/40.68	v 16512
40.60/40.68	v 16517
40.60/40.68	v 16520
40.60/40.68	v 16525
40.60/40.68	v 16526
40.60/40.68	v 16529
40.60/40.68	v 16533
40.60/40.68	v 16536
40.60/40.68	v 16541
40.60/40.68	v 16542
40.60/40.68	v 16544
40.60/40.68	v 16549
40.60/40.68	v 16552
40.60/40.68	v 16557
40.60/40.68	v 16558
40.60/40.68	v 16561
40.60/40.68	v 16565
40.60/40.68	v 16568
40.60/40.68	v 16573
40.60/40.68	v 16574
40.60/40.68	v 16576
40.60/40.68	v 16581
40.60/40.68	v 16584
40.60/40.68	v 16589
40.60/40.68	v 16590
40.60/40.68	v 16593
40.60/40.68	v 16597
40.60/40.68	v 16600
40.60/40.68	v 16605
40.60/40.68	v 16606
40.60/40.68	v 16608
40.60/40.68	v 16613
40.60/40.68	v 16616
40.60/40.68	v 16621
40.60/40.68	v 16622
40.60/40.68	v 16625
40.60/40.68	v 16629
40.60/40.68	v 16632
40.60/40.68	v 16637
40.60/40.68	v 16638
40.60/40.68	v 16640
40.60/40.68	v 16645
40.60/40.68	v 16648
40.60/40.68	v 16653
40.60/40.68	v 16654
40.60/40.68	v 16657
40.60/40.68	v 16661
40.60/40.68	v 16664
40.60/40.68	v 16669
40.60/40.68	v 16670
40.60/40.68	v 16672
40.60/40.68	v 16677
40.60/40.68	v 16680
40.60/40.68	v 16685
40.60/40.68	v 16686
40.60/40.68	v 16689
40.60/40.68	v 16693
40.60/40.68	v 16696
40.60/40.68	v 16701
40.60/40.68	v 16702
40.60/40.68	v 16704
40.60/40.68	v 16709
40.60/40.68	v 16712
40.60/40.68	v 16717
40.60/40.68	v 16718
40.60/40.68	v 16721
40.60/40.68	v 16725
40.60/40.68	v 16728
40.60/40.68	v 16733
40.60/40.68	v 16734
40.60/40.68	v 16736
40.60/40.68	v 16741
40.60/40.68	v 16744
40.60/40.68	v 16749
40.60/40.68	v 16750
40.60/40.68	v 16753
40.60/40.68	v 16757
40.60/40.68	v 16760
40.60/40.68	v 16765
40.60/40.68	v 16766
40.60/40.68	v 16854
40.60/40.68	v 16859
40.60/40.68	v 16862
40.60/40.68	v 16863
40.60/40.68	v 16867
40.60/40.68	v 16871
40.60/40.68	v 16872
40.60/40.68	v 16876
40.60/40.68	v 16880
40.60/40.68	v 16890
40.60/40.68	v 16895
40.60/40.68	v 16898
40.60/40.68	v 16899
40.60/40.68	v 16903
40.60/40.68	v 16907
40.60/40.68	v 16908
40.60/40.68	v 16912
40.60/40.68	v 16916
40.60/40.68	v 16926
40.60/40.68	v 16931
40.60/40.68	v 16934
40.60/40.68	v 16935
40.60/40.68	v 16939
40.60/40.68	v 16943
40.60/40.68	v 16944
40.60/40.68	v 16948
40.60/40.68	v 16952
40.60/40.68	v 16962
40.60/40.68	v 16967
40.60/40.68	v 16970
40.60/40.68	v 16971
40.60/40.68	v 16975
40.60/40.68	v 16979
40.60/40.68	v 16980
40.60/40.68	v 16984
40.60/40.68	v 16988
40.60/40.68	v 16998
40.60/40.68	v 17003
40.60/40.68	v 17006
40.60/40.68	v 17007
40.60/40.68	v 17011
40.60/40.68	v 17012
40.60/40.68	v 17015
40.60/40.68	v 17016
40.60/40.68	v 17020
40.60/40.68	v 17024
40.60/40.68	v 17034
40.60/40.68	v 17039
40.60/40.68	v 17042
40.60/40.68	v 17043
40.60/40.68	v 17047
40.60/40.68	v 17048
40.60/40.68	v 17051
40.60/40.68	v 17052
40.60/40.68	v 17056
40.60/40.68	v 17057
40.60/40.68	v 17060
40.60/40.68	v 17070
40.60/40.68	v 17075
40.60/40.68	v 17078
40.60/40.68	v 17079
40.60/40.68	v 17083
40.60/40.68	v 17084
40.60/40.68	v 17087
40.60/40.68	v 17088
40.60/40.68	v 17092
40.60/40.68	v 17093
40.60/40.68	v 17096
40.60/40.68	v 17106
40.60/40.68	v 17111
40.60/40.68	v 17114
40.60/40.68	v 17115
40.60/40.68	v 17119
40.60/40.68	v 17120
40.60/40.68	v 17123
40.60/40.68	v 17124
40.60/40.68	v 17128
40.60/40.68	v 17129
40.60/40.68	v 17132
40.60/40.68	v 17142
40.60/40.68	v 17147
40.60/40.68	v 17150
40.60/40.68	v 17151
40.60/40.68	v 17155
40.60/40.68	v 17156
40.60/40.68	v 17159
40.60/40.68	v 17160
40.60/40.68	v 17164
40.60/40.68	v 17168
40.60/40.68	v 17178
40.60/40.68	v 17183
40.60/40.68	v 17186
40.60/40.68	v 17187
40.60/40.68	v 17191
40.60/40.68	v 17195
40.60/40.68	v 17196
40.60/40.68	v 17200
40.60/40.68	v 17204
40.60/40.68	v 17214
40.60/40.68	v 17219
40.60/40.68	v 17222
40.60/40.68	v 17223
40.60/40.68	v 17227
40.60/40.68	v 17231
40.60/40.68	v 17232
40.60/40.68	v 17236
40.60/40.68	v 17240
40.60/40.68	v 17250
40.60/40.68	v 17255
40.60/40.68	v 17258
40.60/40.68	v 17259
40.60/40.68	v 17263
40.60/40.68	v 17267
40.60/40.68	v 17268
40.60/40.68	v 17272
40.60/40.68	v 17276
40.60/40.68	v 17286
40.60/40.68	v 17291
40.60/40.68	v 17294
40.60/40.68	v 17332
40.60/40.68	v 17333
40.60/40.68	v 17334
40.60/40.68	v 17335
40.60/40.68	v 17339
40.60/40.68	v 17430
40.60/40.68	v 17435
40.60/40.68	v 17438
40.60/40.68	v 17439
40.60/40.68	v 17444
40.60/40.68	v 17447
40.60/40.68	v 17448
40.60/40.68	v 17452
40.60/40.68	v 17456
40.60/40.68	v 17466
40.60/40.68	v 17471
40.60/40.68	v 17474
40.60/40.68	v 17475
40.60/40.68	v 17480
40.60/40.68	v 17483
40.60/40.68	v 17484
40.60/40.68	v 17488
40.60/40.68	v 17492
40.60/40.68	v 17502
40.60/40.68	v 17507
40.60/40.68	v 17510
40.60/40.68	v 17511
40.60/40.68	v 17516
40.60/40.68	v 17519
40.60/40.68	v 17520
40.60/40.68	v 17524
40.60/40.68	v 17528
40.60/40.68	v 17538
40.60/40.68	v 17543
40.60/40.68	v 17546
40.60/40.68	v 17547
40.60/40.68	v 17552
40.60/40.68	v 17555
40.60/40.68	v 17556
40.60/40.68	v 17560
40.60/40.68	v 17561
40.60/40.68	v 17564
40.60/40.68	v 17574
40.60/40.68	v 17579
40.60/40.68	v 17582
40.60/40.68	v 17621
40.60/40.68	v 17622
40.60/40.68	v 17634
40.60/40.68	v 17635
40.60/40.68	v 17648
40.60/40.68	v 17649
40.60/40.68	v 17657
40.60/40.68	v 17658
40.60/40.68	v 17666
40.60/40.68	v 17667
40.60/40.68	v 17670
40.60/40.68	v 17671
40.60/40.68	v 17684
40.60/40.68	v 17685
40.60/40.68	v 17693
40.60/40.68	v 17694
40.60/40.68	v 17702
40.60/40.68	v 17703
40.60/40.68	v 17706
40.60/40.68	v 17707
40.60/40.68	v 17720
40.60/40.68	v 17721
40.60/40.68	v 17729
40.60/40.68	v 17730
40.60/40.68	v 17738
40.60/40.68	v 17739
40.60/40.68	v 17742
40.60/40.68	v 17743
40.60/40.68	v 17756
40.60/40.68	v 17757
40.60/40.68	v 17765
40.60/40.68	v 17766
40.60/40.68	v 17769
40.60/40.68	v 17770
40.60/40.68	v 17774
40.60/40.68	v 17775
40.60/40.68	v 17778
40.60/40.68	v 17779
40.60/40.68	v 17792
40.60/40.68	v 17793
40.60/40.68	v 17801
40.60/40.68	v 17802
40.60/40.68	v 17810
40.60/40.68	v 17811
40.60/40.68	v 17814
40.60/40.68	v 17815
40.60/40.68	v 17828
40.60/40.68	v 17829
40.60/40.68	v 17837
40.60/40.68	v 17838
40.60/40.68	v 17846
40.60/40.68	v 17847
40.60/40.68	v 17850
40.60/40.68	v 17851
40.60/40.68	v 17864
40.60/40.68	v 17865
40.60/40.68	v 17907
40.60/40.68	v 17909
40.60/40.68	v 17910
40.60/40.68	v 17911
40.60/40.68	v 17915
40.60/40.68	v 18003
40.60/40.68	v 18008
40.60/40.68	v 18011
40.60/40.68	v 18012
40.60/40.68	v 18015
40.60/40.68	v 18019
40.60/40.68	v 18020
40.60/40.68	v 18024
40.60/40.68	v 18028
40.60/40.68	v 18037
40.60/40.68	v 18042
40.60/40.68	v 18045
40.60/40.68	v 18054
40.60/40.68	v 18059
40.60/40.68	v 18062
40.60/40.68	v 18071
40.60/40.68	v 18076
40.60/40.68	v 18079
40.60/40.68	v 18115
40.60/40.68	v 18116
40.60/40.68	v 18128
40.60/40.68	v 18129
40.60/40.68	v 18141
40.60/40.68	v 18142
40.60/40.68	v 18149
40.60/40.68	v 18150
40.60/40.68	v 18183
40.60/40.68	v 18184
40.60/40.68	v 18191
40.60/40.68	v 18194
40.60/40.68	v 18198
40.60/40.68	v 18207
40.60/40.68	v 18212
40.60/40.68	v 18215
40.60/40.68	v 18216
40.60/40.68	v 18217
40.60/40.68	v 18218
40.60/40.68	v 18219
40.60/40.68	v 18223
40.60/40.68	v 18224
40.60/40.68	v 18225
40.60/40.68	v 18228
40.60/40.68	v 18232
40.60/40.68	v 18241
40.60/40.68	v 18246
40.60/40.68	v 18249
40.60/40.68	v 18251
40.60/40.68	v 18252
40.60/40.68	v 18258
40.60/40.68	v 18259
40.60/40.68	v 18262
40.60/40.68	v 18263
40.60/40.68	v 18266
40.60/40.68	v 18275
40.60/40.68	v 18280
40.60/40.68	v 18283
40.60/40.68	v 18285
40.60/40.68	v 18286
40.60/40.68	v 18319
40.60/40.68	v 18320
40.60/40.68	v 18332
40.60/40.68	v 18333
40.60/40.68	v 18345
40.60/40.68	v 18346
40.60/40.68	v 18353
40.60/40.68	v 18354
40.60/40.68	v 18362
40.60/40.68	v 18363
40.60/40.68	v 18366
40.60/40.68	v 18367
40.60/40.68	v 18379
40.60/40.68	v 18380
40.60/40.68	v 18387
40.60/40.68	v 18388
40.60/40.68	v 18391
40.60/40.68	v 18392
40.60/40.68	v 18396
40.60/40.68	v 18397
40.60/40.68	v 18400
40.60/40.68	v 18401
40.60/40.68	v 18413
40.60/40.68	v 18414
40.60/40.68	v 18454
40.60/40.68	v 18455
40.60/40.68	v 18456
40.60/40.68	v 18457
40.60/40.68	v 18459
40.60/40.68	v 18460
40.60/40.68	v 18461
40.60/40.68	v 18550
40.60/40.68	v 18555
40.60/40.68	v 18558
40.60/40.68	v 18597
40.60/40.68	v 18598
40.60/40.68	v 18610
40.60/40.68	v 18611
40.60/40.68	v 18624
40.60/40.68	v 18625
40.60/40.68	v 18740
40.60/40.68	v 18743
40.60/40.68	v 18747
40.60/40.68	v 18749
40.60/40.68	v 18752
40.60/40.68	v 18756
40.60/40.68	v 18766
40.60/40.68	v 18771
40.60/40.68	v 18774
40.60/40.68	v 18813
40.60/40.68	v 18814
40.60/40.68	v 18826
40.60/40.68	v 18827
40.60/40.68	v 18840
40.60/40.68	v 18841
40.60/40.68	v 18883
40.60/40.68	v 18888
40.60/40.68	v 18891
40.60/40.68	v 18893
40.60/40.68	v 18896
40.60/40.68	v 18900
40.60/40.68	v 18910
40.60/40.68	v 18915
40.60/40.68	v 18918
40.60/40.68	v 18961
40.60/40.68	v 18962
40.60/40.68	v 18970
40.60/40.68	v 18971
40.60/40.68	v 18984
40.60/40.68	v 18985
40.60/40.68	v 19028
40.60/40.68	v 19029
40.60/40.68	v 19030
40.60/40.68	v 19031
40.60/40.68	v 19035
40.60/40.68	v 19130
40.60/40.68	v 19131
40.60/40.68	v 19156
40.60/40.68	v 19157
40.60/40.68	v 19182
40.60/40.68	v 19183
40.60/40.68	v 19208
40.60/40.68	v 19209
40.60/40.68	v 19234
40.60/40.68	v 19235
40.60/40.68	v 19260
40.60/40.68	v 19261
40.60/40.68	v 19283
40.60/40.68	v 19284
40.60/40.68	v 19286
40.60/40.68	v 19287
40.60/40.68	v 19309
40.60/40.68	v 19310
40.60/40.68	v 19312
40.60/40.68	v 19313
40.60/40.68	v 19335
40.60/40.68	v 19336
40.60/40.68	v 19338
40.60/40.68	v 19339
40.60/40.68	v 19361
40.60/40.68	v 19362
40.60/40.68	v 19364
40.60/40.68	v 19365
40.60/40.68	v 19384
40.60/40.68	v 19385
40.60/40.68	v 19387
40.60/40.68	v 19388
40.60/40.68	v 19390
40.60/40.68	v 19391
40.60/40.68	v 19410
40.60/40.68	v 19411
40.60/40.68	v 19413
40.60/40.68	v 19414
40.60/40.68	v 19416
40.60/40.68	v 19417
40.60/40.68	v 19433
40.60/40.68	v 19434
40.60/40.68	v 19436
40.60/40.68	v 19437
40.60/40.69	v 19439
40.60/40.69	v 19440
40.60/40.69	v 19442
40.60/40.69	v 19443
40.60/40.69	v 19458
40.60/40.69	v 19459
40.60/40.69	v 19460
40.60/40.69	v 19461
40.60/40.69	v 19462
40.60/40.69	v 19463
40.60/40.69	v 19464
40.60/40.69	v 19465
40.60/40.69	v 19466
40.60/40.69	v 19467
40.60/40.69	v 19468
40.60/40.69	v 19469
40.60/40.69	v 19470
40.60/40.69	v 19595
40.60/40.69	v 19596
40.60/40.69	v 19598
40.60/40.69	v 19599
40.60/40.69	v 19609
40.60/40.69	v 19610
40.60/40.69	v 19612
40.60/40.69	v 19613
40.60/40.69	v 19626
40.60/40.69	v 19627
40.60/40.69	v 19640
40.60/40.69	v 19641
40.60/40.69	v 19654
40.60/40.69	v 19655
40.60/40.69	v 19720
40.60/40.69	v 19721
40.60/40.69	v 19722
40.60/40.69	v 19723
40.60/40.69	v 19726
40.60/40.69	v 19782
40.60/40.69	v 19783
40.60/40.69	v 19796
40.60/40.69	v 19797
40.60/40.69	v 19807
40.60/40.69	v 19808
40.60/40.69	v 19810
40.60/40.69	v 19811
40.60/40.69	v 19834
40.60/40.69	v 19837
40.60/40.69	v 19840
40.60/40.69	v 19848
40.60/40.69	v 19851
40.60/40.69	v 19854
40.60/40.69	v 19866
40.60/40.69	v 19867
40.60/40.69	v 19880
40.60/40.69	v 19881
40.60/40.69	v 19891
40.60/40.69	v 19892
40.60/40.69	v 19894
40.60/40.69	v 19895
40.60/40.69	v 19908
40.60/40.69	v 19909
40.60/40.69	v 19918
40.60/40.69	v 19921
40.60/40.69	v 19924
40.60/40.69	v 19932
40.60/40.69	v 19935
40.60/40.69	v 19938
40.60/40.69	v 19960
40.60/40.69	v 19963
40.60/40.69	v 19964
40.60/40.69	v 19965
40.60/40.69	v 19966
40.60/40.69	v 20048
40.60/40.69	v 20049
40.60/40.69	v 20115
40.60/40.69	v 20118
40.60/40.69	v 20122
40.60/40.69	v 20152
40.60/40.69	v 20153
40.60/40.69	v 20188
40.60/40.69	v 20189
40.60/40.69	v 20258
40.60/40.69	v 20263
40.60/40.69	v 20264
40.60/40.69	v 20265
40.60/40.69	v 20266
40.60/40.69	v 20361
40.60/40.69	v 20362
40.60/40.69	v 20365
40.60/40.69	v 20366
40.60/40.69	v 20372
40.60/40.69	v 20376
40.60/40.69	v 20379
40.60/40.69	v 20391
40.60/40.69	v 20392
40.60/40.69	v 20394
40.60/40.69	v 20399
40.60/40.69	v 20402
40.60/40.69	v 20404
40.60/40.69	v 20405
40.60/40.69	v 20414
40.60/40.69	v 20415
40.60/40.69	v 20418
40.60/40.69	v 20422
40.60/40.69	v 20425
40.60/40.69	v 20437
40.60/40.69	v 20438
40.60/40.69	v 20440
40.60/40.69	v 20445
40.60/40.69	v 20448
40.60/40.69	v 20450
40.60/40.69	v 20451
40.60/40.69	v 20460
40.60/40.69	v 20461
40.60/40.69	v 20464
40.60/40.69	v 20468
40.60/40.69	v 20471
40.60/40.69	v 20483
40.60/40.69	v 20484
40.60/40.69	v 20486
40.60/40.69	v 20491
40.60/40.69	v 20494
40.60/40.69	v 20496
40.60/40.69	v 20497
40.60/40.69	v 20506
40.60/40.69	v 20507
40.60/40.69	v 20510
40.60/40.69	v 20514
40.60/40.69	v 20517
40.60/40.69	v 20529
40.60/40.69	v 20530
40.60/40.69	v 20532
40.60/40.69	v 20537
40.60/40.69	v 20540
40.60/40.69	v 20542
40.60/40.69	v 20543
40.60/40.69	v 20552
40.60/40.69	v 20553
40.60/40.69	v 20556
40.60/40.69	v 20560
40.60/40.69	v 20563
40.60/40.69	v 20575
40.60/40.69	v 20576
40.60/40.69	v 20578
40.60/40.69	v 20583
40.60/40.69	v 20586
40.60/40.69	v 20588
40.60/40.69	v 20589
40.60/40.69	v 20598
40.60/40.69	v 20599
40.60/40.69	v 20602
40.60/40.69	v 20606
40.60/40.69	v 20609
40.60/40.69	v 20621
40.60/40.69	v 20622
40.60/40.69	v 20624
40.60/40.69	v 20629
40.60/40.69	v 20632
40.60/40.69	v 20634
40.60/40.69	v 20635
40.60/40.69	v 20644
40.60/40.69	v 20645
40.60/40.69	v 20648
40.60/40.69	v 20652
40.60/40.69	v 20655
40.60/40.69	v 20667
40.60/40.69	v 20668
40.60/40.69	v 20670
40.60/40.69	v 20675
40.60/40.69	v 20678
40.60/40.69	v 20680
40.60/40.69	v 20681
40.60/40.69	v 20690
40.60/40.69	v 20691
40.60/40.69	v 20694
40.60/40.69	v 20698
40.60/40.69	v 20701
40.60/40.69	v 20713
40.60/40.69	v 20714
40.60/40.69	v 20716
40.60/40.69	v 20721
40.60/40.69	v 20724
40.60/40.69	v 20726
40.60/40.69	v 20727
40.60/40.69	v 20736
40.60/40.69	v 20737
40.60/40.69	v 20740
40.60/40.69	v 20744
40.60/40.69	v 20747
40.60/40.69	v 20759
40.60/40.69	v 20760
40.60/40.69	v 20762
40.60/40.69	v 20767
40.60/40.69	v 20770
40.60/40.69	v 20772
40.60/40.69	v 20773
40.60/40.69	v 20782
40.60/40.69	v 20783
40.60/40.69	v 20786
40.60/40.69	v 20790
40.60/40.69	v 20793
40.60/40.69	v 20805
40.60/40.69	v 20806
40.60/40.69	v 20808
40.60/40.69	v 20813
40.60/40.69	v 20816
40.60/40.69	v 20818
40.60/40.69	v 20819
40.60/40.69	v 20828
40.60/40.69	v 20829
40.60/40.69	v 20832
40.60/40.69	v 20836
40.60/40.69	v 20839
40.60/40.69	v 20851
40.60/40.69	v 20852
40.60/40.69	v 20854
40.60/40.69	v 20859
40.60/40.69	v 20862
40.60/40.69	v 20864
40.60/40.69	v 20865
40.60/40.69	v 20874
40.60/40.69	v 20875
40.60/40.69	v 20878
40.60/40.69	v 20882
40.60/40.69	v 20885
40.60/40.69	v 20897
40.60/40.69	v 20898
40.60/40.69	v 20900
40.60/40.69	v 20905
40.60/40.69	v 20908
40.60/40.69	v 20910
40.60/40.69	v 20911
40.60/40.69	v 20920
40.60/40.69	v 20921
40.60/40.69	v 20924
40.60/40.69	v 20928
40.60/40.69	v 20931
40.60/40.69	v 20943
40.60/40.69	v 20944
40.60/40.69	v 20946
40.60/40.69	v 20951
40.60/40.69	v 20954
40.60/40.69	v 20956
40.60/40.69	v 20957
40.60/40.69	v 20966
40.60/40.69	v 20967
40.60/40.69	v 20970
40.60/40.69	v 20974
40.60/40.69	v 20977
40.60/40.69	v 20989
40.60/40.69	v 20990
40.60/40.69	v 21092
40.60/40.69	v 21097
40.60/40.69	v 21100
40.60/40.69	v 21101
40.60/40.69	v 21105
40.60/40.69	v 21109
40.60/40.69	v 21110
40.60/40.69	v 21114
40.60/40.69	v 21118
40.60/40.69	v 21128
40.60/40.69	v 21133
40.60/40.69	v 21136
40.60/40.69	v 21137
40.60/40.69	v 21141
40.60/40.69	v 21145
40.60/40.69	v 21146
40.60/40.69	v 21150
40.60/40.69	v 21154
40.60/40.69	v 21164
40.60/40.69	v 21169
40.60/40.69	v 21172
40.60/40.69	v 21173
40.60/40.69	v 21177
40.60/40.69	v 21181
40.60/40.69	v 21182
40.60/40.69	v 21186
40.60/40.69	v 21190
40.60/40.69	v 21200
40.60/40.69	v 21205
40.60/40.69	v 21208
40.60/40.69	v 21209
40.60/40.69	v 21213
40.60/40.69	v 21217
40.60/40.69	v 21218
40.60/40.69	v 21222
40.60/40.69	v 21226
40.60/40.69	v 21236
40.60/40.69	v 21241
40.60/40.69	v 21244
40.60/40.69	v 21245
40.60/40.69	v 21249
40.60/40.69	v 21250
40.60/40.69	v 21253
40.60/40.69	v 21254
40.60/40.69	v 21258
40.60/40.69	v 21262
40.60/40.69	v 21272
40.60/40.69	v 21277
40.60/40.69	v 21280
40.60/40.69	v 21281
40.60/40.69	v 21285
40.60/40.69	v 21286
40.60/40.69	v 21289
40.60/40.69	v 21290
40.60/40.69	v 21294
40.60/40.69	v 21295
40.60/40.69	v 21298
40.60/40.69	v 21308
40.60/40.69	v 21313
40.60/40.69	v 21316
40.60/40.69	v 21317
40.60/40.69	v 21321
40.60/40.69	v 21322
40.60/40.69	v 21325
40.60/40.69	v 21326
40.60/40.69	v 21330
40.60/40.69	v 21334
40.60/40.69	v 21344
40.60/40.69	v 21349
40.60/40.69	v 21352
40.60/40.69	v 21353
40.60/40.69	v 21357
40.60/40.69	v 21358
40.60/40.69	v 21361
40.60/40.69	v 21362
40.60/40.69	v 21366
40.60/40.69	v 21367
40.60/40.69	v 21370
40.60/40.69	v 21380
40.60/40.69	v 21385
40.60/40.69	v 21388
40.60/40.69	v 21389
40.60/40.69	v 21393
40.60/40.69	v 21397
40.60/40.69	v 21398
40.60/40.69	v 21402
40.60/40.69	v 21406
40.60/40.69	v 21416
40.60/40.69	v 21421
40.60/40.69	v 21424
40.60/40.69	v 21425
40.60/40.69	v 21429
40.60/40.69	v 21430
40.60/40.69	v 21433
40.60/40.69	v 21434
40.60/40.69	v 21438
40.60/40.69	v 21442
40.60/40.69	v 21452
40.60/40.69	v 21457
40.60/40.69	v 21460
40.60/40.69	v 21461
40.60/40.69	v 21465
40.60/40.69	v 21469
40.60/40.69	v 21470
40.60/40.69	v 21474
40.60/40.69	v 21478
40.60/40.69	v 21488
40.60/40.69	v 21493
40.60/40.69	v 21496
40.60/40.69	v 21497
40.60/40.69	v 21501
40.60/40.69	v 21505
40.60/40.69	v 21506
40.60/40.69	v 21510
40.60/40.69	v 21514
40.60/40.69	v 21524
40.60/40.69	v 21529
40.60/40.69	v 21532
40.60/40.69	v 21570
40.60/40.69	v 21571
40.60/40.69	v 21572
40.60/40.69	v 21573
40.60/40.69	v 21577
40.60/40.69	v 21668
40.60/40.69	v 21673
40.60/40.69	v 21676
40.60/40.69	v 21677
40.60/40.69	v 21682
40.60/40.69	v 21685
40.60/40.69	v 21686
40.60/40.69	v 21690
40.60/40.69	v 21694
40.60/40.69	v 21704
40.60/40.69	v 21709
40.60/40.69	v 21712
40.60/40.69	v 21713
40.60/40.69	v 21718
40.60/40.69	v 21721
40.60/40.69	v 21722
40.60/40.69	v 21726
40.60/40.69	v 21730
40.60/40.69	v 21740
40.60/40.69	v 21745
40.60/40.69	v 21748
40.60/40.69	v 21749
40.60/40.69	v 21754
40.60/40.69	v 21757
40.60/40.69	v 21758
40.60/40.69	v 21762
40.60/40.69	v 21766
40.60/40.69	v 21776
40.60/40.69	v 21781
40.60/40.69	v 21784
40.60/40.69	v 21785
40.60/40.69	v 21790
40.60/40.69	v 21793
40.60/40.69	v 21794
40.60/40.69	v 21798
40.60/40.69	v 21799
40.60/40.69	v 21802
40.60/40.69	v 21812
40.60/40.69	v 21817
40.60/40.69	v 21820
40.60/40.69	v 21859
40.60/40.69	v 21860
40.60/40.69	v 21872
40.60/40.69	v 21873
40.60/40.69	v 21886
40.60/40.69	v 21887
40.60/40.69	v 21895
40.60/40.69	v 21896
40.60/40.69	v 21904
40.60/40.69	v 21905
40.60/40.69	v 21908
40.60/40.69	v 21909
40.60/40.69	v 21922
40.60/40.69	v 21923
40.60/40.69	v 21931
40.60/40.69	v 21932
40.60/40.69	v 21935
40.60/40.69	v 21936
40.60/40.69	v 21940
40.60/40.69	v 21941
40.60/40.69	v 21944
40.60/40.69	v 21945
40.60/40.69	v 21958
40.60/40.69	v 21959
40.60/40.69	v 21967
40.60/40.69	v 21968
40.60/40.69	v 21971
40.60/40.69	v 21972
40.60/40.69	v 21976
40.60/40.69	v 21977
40.60/40.69	v 21980
40.60/40.69	v 21981
40.60/40.69	v 21994
40.60/40.69	v 21995
40.60/40.69	v 22003
40.60/40.69	v 22004
40.60/40.69	v 22012
40.60/40.69	v 22013
40.60/40.69	v 22016
40.60/40.69	v 22017
40.60/40.69	v 22030
40.60/40.69	v 22031
40.60/40.69	v 22039
40.60/40.69	v 22040
40.60/40.69	v 22048
40.60/40.69	v 22049
40.60/40.69	v 22052
40.60/40.69	v 22053
40.60/40.69	v 22066
40.60/40.69	v 22067
40.60/40.69	v 22075
40.60/40.69	v 22076
40.60/40.69	v 22084
40.60/40.69	v 22085
40.60/40.69	v 22088
40.60/40.69	v 22089
40.60/40.69	v 22102
40.60/40.69	v 22103
40.60/40.69	v 22145
40.60/40.69	v 22147
40.60/40.69	v 22148
40.60/40.69	v 22150
40.60/40.69	v 22153
40.60/40.69	v 22241
40.60/40.69	v 22246
40.60/40.69	v 22249
40.60/40.69	v 22250
40.60/40.69	v 22253
40.60/40.69	v 22257
40.60/40.69	v 22258
40.60/40.69	v 22262
40.60/40.69	v 22266
40.60/40.69	v 22275
40.60/40.69	v 22280
40.60/40.69	v 22283
40.60/40.69	v 22292
40.60/40.69	v 22297
40.60/40.69	v 22300
40.60/40.69	v 22309
40.60/40.69	v 22314
40.60/40.69	v 22317
40.60/40.69	v 22353
40.60/40.69	v 22354
40.60/40.69	v 22366
40.60/40.69	v 22367
40.60/40.69	v 22379
40.60/40.69	v 22380
40.60/40.69	v 22387
40.60/40.69	v 22388
40.60/40.69	v 22421
40.60/40.69	v 22422
40.60/40.69	v 22429
40.60/40.69	v 22432
40.60/40.69	v 22436
40.60/40.69	v 22445
40.60/40.69	v 22450
40.60/40.69	v 22453
40.60/40.69	v 22454
40.60/40.69	v 22455
40.60/40.69	v 22456
40.60/40.69	v 22457
40.60/40.69	v 22461
40.60/40.69	v 22462
40.60/40.69	v 22466
40.60/40.69	v 22470
40.60/40.69	v 22479
40.60/40.69	v 22484
40.60/40.69	v 22487
40.60/40.69	v 22496
40.60/40.69	v 22497
40.60/40.69	v 22500
40.60/40.69	v 22501
40.60/40.69	v 22504
40.60/40.69	v 22513
40.60/40.69	v 22518
40.60/40.69	v 22521
40.60/40.69	v 22557
40.60/40.69	v 22558
40.60/40.69	v 22570
40.60/40.69	v 22571
40.60/40.69	v 22583
40.60/40.69	v 22584
40.60/40.69	v 22591
40.60/40.69	v 22592
40.60/40.69	v 22600
40.60/40.69	v 22601
40.60/40.69	v 22604
40.60/40.69	v 22605
40.60/40.69	v 22617
40.60/40.69	v 22618
40.60/40.69	v 22625
40.60/40.69	v 22626
40.60/40.69	v 22629
40.60/40.69	v 22630
40.60/40.69	v 22634
40.60/40.69	v 22635
40.60/40.69	v 22638
40.60/40.69	v 22639
40.60/40.69	v 22651
40.60/40.69	v 22652
40.60/40.69	v 22692
40.60/40.69	v 22693
40.60/40.69	v 22694
40.60/40.69	v 22696
40.60/40.69	v 22697
40.60/40.69	v 22698
40.60/40.69	v 22699
40.60/40.69	v 22788
40.60/40.69	v 22793
40.60/40.69	v 22796
40.60/40.69	v 22835
40.60/40.69	v 22836
40.60/40.69	v 22848
40.60/40.69	v 22849
40.60/40.69	v 22862
40.60/40.69	v 22863
40.60/40.69	v 22978
40.60/40.69	v 22981
40.60/40.69	v 22985
40.60/40.69	v 22987
40.60/40.69	v 22990
40.60/40.69	v 22994
40.60/40.69	v 23004
40.60/40.69	v 23009
40.60/40.69	v 23012
40.60/40.69	v 23051
40.60/40.69	v 23052
40.60/40.69	v 23064
40.60/40.69	v 23065
40.60/40.69	v 23078
40.60/40.69	v 23079
40.60/40.69	v 23121
40.60/40.69	v 23126
40.60/40.69	v 23129
40.60/40.69	v 23131
40.60/40.69	v 23134
40.60/40.69	v 23138
40.60/40.69	v 23148
40.60/40.69	v 23153
40.60/40.69	v 23156
40.60/40.69	v 23199
40.60/40.69	v 23200
40.60/40.69	v 23208
40.60/40.69	v 23209
40.60/40.69	v 23222
40.60/40.69	v 23223
40.60/40.69	v 23266
40.60/40.69	v 23267
40.60/40.69	v 23268
40.60/40.69	v 23269
40.60/40.69	v 23273
40.60/40.69	v 23368
40.60/40.69	v 23369
40.60/40.69	v 23394
40.60/40.69	v 23395
40.60/40.69	v 23420
40.60/40.69	v 23421
40.60/40.69	v 23446
40.60/40.69	v 23447
40.60/40.69	v 23472
40.60/40.69	v 23473
40.60/40.69	v 23498
40.60/40.69	v 23499
40.60/40.69	v 23521
40.60/40.69	v 23522
40.60/40.69	v 23524
40.60/40.69	v 23525
40.60/40.69	v 23547
40.60/40.69	v 23548
40.60/40.69	v 23550
40.60/40.69	v 23551
40.60/40.69	v 23573
40.60/40.69	v 23574
40.60/40.69	v 23576
40.60/40.69	v 23577
40.60/40.69	v 23599
40.60/40.69	v 23600
40.60/40.69	v 23602
40.60/40.69	v 23603
40.60/40.69	v 23622
40.60/40.69	v 23623
40.60/40.69	v 23625
40.60/40.69	v 23626
40.60/40.69	v 23628
40.60/40.69	v 23629
40.60/40.69	v 23648
40.60/40.69	v 23649
40.60/40.69	v 23651
40.60/40.69	v 23652
40.60/40.69	v 23654
40.60/40.69	v 23655
40.60/40.69	v 23671
40.60/40.69	v 23672
40.60/40.69	v 23674
40.60/40.69	v 23675
40.60/40.69	v 23677
40.60/40.69	v 23678
40.60/40.69	v 23680
40.60/40.69	v 23681
40.60/40.69	v 23696
40.60/40.69	v 23697
40.60/40.69	v 23698
40.60/40.69	v 23699
40.60/40.69	v 23700
40.60/40.69	v 23701
40.60/40.69	v 23702
40.60/40.69	v 23703
40.60/40.69	v 23704
40.60/40.69	v 23705
40.60/40.69	v 23706
40.60/40.69	v 23707
40.60/40.69	v 23708
40.60/40.69	v 23833
40.60/40.69	v 23834
40.60/40.69	v 23836
40.60/40.69	v 23837
40.60/40.69	v 23847
40.60/40.69	v 23848
40.60/40.69	v 23850
40.60/40.69	v 23851
40.60/40.69	v 23861
40.60/40.69	v 23862
40.60/40.69	v 23864
40.60/40.69	v 23865
40.60/40.69	v 23878
40.60/40.69	v 23879
40.60/40.69	v 23906
40.60/40.69	v 23907
40.60/40.69	v 23958
40.60/40.69	v 23959
40.60/40.69	v 23960
40.60/40.69	v 23961
40.60/40.69	v 23964
40.60/40.69	v 24020
40.60/40.69	v 24021
40.60/40.69	v 24034
40.60/40.69	v 24035
40.60/40.69	v 24045
40.60/40.69	v 24046
40.60/40.69	v 24048
40.60/40.69	v 24049
40.60/40.69	v 24072
40.60/40.69	v 24075
40.60/40.69	v 24078
40.60/40.69	v 24086
40.60/40.69	v 24089
40.60/40.69	v 24092
40.60/40.69	v 24100
40.60/40.69	v 24103
40.60/40.69	v 24104
40.60/40.69	v 24105
40.60/40.69	v 24106
40.60/40.69	v 24118
40.60/40.69	v 24119
40.60/40.69	v 24129
40.60/40.69	v 24130
40.60/40.69	v 24132
40.60/40.69	v 24133
40.60/40.69	v 24146
40.60/40.69	v 24147
40.60/40.69	v 24156
40.60/40.69	v 24159
40.60/40.69	v 24162
40.60/40.69	v 24170
40.60/40.69	v 24173
40.60/40.69	v 24176
40.60/40.69	v 24198
40.60/40.69	v 24201
40.60/40.69	v 24202
40.60/40.69	v 24203
40.60/40.69	v 24204
40.60/40.69	v 24286
40.60/40.69	v 24287
40.60/40.69	v 24353
40.60/40.69	v 24356
40.60/40.69	v 24360
40.60/40.69	v 24390
40.60/40.69	v 24391
40.60/40.69	v 24426
40.60/40.69	v 24427
40.60/40.69	v 24496
40.60/40.69	v 24501
40.60/40.69	v 24502
40.60/40.69	v 24503
40.60/40.69	v 24504
40.60/40.69	v 34033
40.60/40.69	v 34038
40.60/40.69	v 34041
40.60/40.69	v 34043
40.60/40.69	v 34046
40.60/40.69	v 34050
40.60/40.69	v 34051
40.60/40.69	v 34056
40.60/40.69	v 34059
40.60/40.69	v 34061
40.60/40.69	v 34064
40.60/40.69	v 34068
40.60/40.69	v 34069
40.60/40.69	v 34074
40.60/40.69	v 34077
40.60/40.69	v 34079
40.60/40.69	v 34082
40.60/40.69	v 34086
40.60/40.69	v 34327
40.60/40.69	v 34330
40.60/40.69	v 34334
40.60/40.69	v 34335
40.60/40.69	v 34340
40.60/40.69	v 34343
40.60/40.69	v 34345
40.60/40.69	v 34348
40.60/40.69	v 34352
40.60/40.69	v 34353
40.60/40.69	v 34358
40.60/40.69	v 34361
40.60/40.69	v 34363
40.60/40.69	v 34366
40.60/40.69	v 34370
40.60/40.69	v 34679
40.60/40.69	v 34682
40.60/40.69	v 35119
40.60/40.69	v 35122
40.60/40.69	v 35187
40.60/40.69	v 35190
40.60/40.69	v 35391
40.60/40.69	v 35394
40.60/40.69	v 35459
40.60/40.69	v 35462
40.60/40.69	v 35663
40.60/40.69	v 35666
40.60/40.69	v 35731
40.60/40.69	v 35734
40.60/40.69	v 35799
40.60/40.69	v 35802
40.60/40.69	v 35867
40.60/40.69	v 35870
40.60/40.69	v 35935
40.60/40.69	v 35938
40.60/40.69	v 36003
40.60/40.69	v 36006
40.60/40.69	v 36071
40.60/40.69	v 36074
40.60/40.69	v 36139
40.60/40.69	v 36142
40.60/40.69	v 36207
40.60/40.69	v 36210
40.60/40.69	v 36275
40.60/40.69	v 36278
40.60/40.69	v 36343
40.60/40.69	v 36346
40.60/40.69	v 36411
40.60/40.69	v 36414
40.60/40.69	v 36479
40.60/40.69	v 36482
40.60/40.69	v 36547
40.60/40.69	v 36550
40.60/40.69	v 0
40.60/40.69	c [picomus] computed 2176 irredundant clauses 6%
40.60/40.69	c [picomus] 17 reductions in 40.7 seconds

Verifier Data 

OK	2176

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493406-1307798937/watcher-3493406-1307798937 -o /tmp/evaluation-result-3493406-1307798937/solver-3493406-1307798937 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493406-1307798937.cnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.58 1.52 1.11 5/189 27380
/proc/meminfo: memFree=31077740/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=1624 CPUtime=0 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 289 0 0 0 0 0 0 0 25 0 1 0 891493462 1662976 244 33554432000 134512640 135072097 4294086208 18446744073709551615 134514988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 406 245 53 137 0 267 0

[startup+0.04015 s]
/proc/loadavg: 3.58 1.52 1.11 5/189 27380
/proc/meminfo: memFree=31077740/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=4532 CPUtime=0.03 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 1040 0 0 0 3 0 0 0 25 0 1 0 891493462 4640768 994 33554432000 134512640 135072097 4294086208 18446744073709551615 134536664 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1133 994 68 137 0 994 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4532

[startup+0.101135 s]
/proc/loadavg: 3.58 1.52 1.11 5/189 27380
/proc/meminfo: memFree=31077740/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=3268 CPUtime=0.09 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 1089 0 0 0 9 0 0 0 25 0 1 0 891493462 3346432 736 33554432000 134512640 135072097 4294086208 18446744073709551615 134558242 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 817 736 76 137 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3268

[startup+0.300148 s]
/proc/loadavg: 3.58 1.52 1.11 5/189 27380
/proc/meminfo: memFree=31077740/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=0.29 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 29 0 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6300

[startup+0.70103 s]
/proc/loadavg: 3.58 1.52 1.11 5/189 27380
/proc/meminfo: memFree=31077740/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=0.69 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 69 0 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6300

[startup+1.50094 s]
/proc/loadavg: 3.58 1.52 1.11 5/190 27381
/proc/meminfo: memFree=31072300/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=1.49 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 149 0 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134568903 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6300

[startup+3.10066 s]
/proc/loadavg: 3.61 1.57 1.13 5/190 27381
/proc/meminfo: memFree=31071952/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=3.09 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 309 0 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134548775 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6300

[startup+6.30109 s]
/proc/loadavg: 3.61 1.57 1.13 5/190 27382
/proc/meminfo: memFree=31072072/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=6.29 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 629 0 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134585044 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6300

[startup+12.7009 s]
/proc/loadavg: 3.67 1.64 1.16 5/190 27382
/proc/meminfo: memFree=31071584/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=12.69 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 1269 0 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134518232 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6300

[startup+25.5006 s]
/proc/loadavg: 3.72 1.72 1.19 5/190 27382
/proc/meminfo: memFree=31071668/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=25.49 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 2548 1 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134543684 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6300

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

[startup+31.9065 s]
/proc/loadavg: 3.76 1.80 1.22 5/190 27382
/proc/meminfo: memFree=31071656/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=31.9 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 3189 1 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134583982 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 6300

[startup+35.101 s]
/proc/loadavg: 3.76 1.80 1.22 5/190 27382
/proc/meminfo: memFree=31071636/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=35.1 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 3509 1 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134548993 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 35.1
Current children cumulated vsize (KiB) 6300

[startup+38.3003 s]
/proc/loadavg: 3.78 1.83 1.23 5/190 27382
/proc/meminfo: memFree=31071636/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=38.29 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 3828 1 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134584039 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 6300

[startup+39.9011 s]
/proc/loadavg: 3.78 1.83 1.23 5/190 27382
/proc/meminfo: memFree=31071384/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=39.89 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 3988 1 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134548676 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (KiB) 6300

[startup+40.301 s]
/proc/loadavg: 3.78 1.83 1.23 5/190 27382
/proc/meminfo: memFree=31071384/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=40.29 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 4028 1 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134583963 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 40.29
Current children cumulated vsize (KiB) 6300

[startup+40.501 s]
/proc/loadavg: 3.78 1.83 1.23 5/190 27382
/proc/meminfo: memFree=31071384/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=40.49 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 4048 1 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134568903 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 40.49
Current children cumulated vsize (KiB) 6300

[startup+40.601 s]
/proc/loadavg: 3.78 1.83 1.23 5/190 27382
/proc/meminfo: memFree=31071260/32950904 swapFree=67055440/67111528
[pid=27380] ppid=27378 vsize=6300 CPUtime=40.6 cores=4,6
/proc/27380/stat : 27380 (picomus) R 27378 27380 27073 0 -1 4202496 5228 0 0 0 4059 1 0 0 25 0 1 0 891493462 6451200 1407 33554432000 134512640 135072097 4294086208 18446744073709551615 134544032 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 1575 1407 77 137 0 1436 0
Current children cumulated CPU time (s) 40.6
Current children cumulated vsize (KiB) 6300

Child status: 20
Real time (s): 40.691
CPU time (s): 40.6868
CPU user time (s): 40.6708
CPU system time (s): 0.015997
CPU usage (%): 99.9898
Max. virtual memory (cumulated for all children) (KiB): 6300

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

runsolver used 0.05999 second user time and 0.175973 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-11 15:28:57
IDJOB=3493406
IDBENCH=89489
IDSOLVER=1974
FILE ID=node121/3493406-1307798937
RUNJOBID= node121-1307798807-27092
PBS_JOBID= 13551029
Free space on /tmp= 74064 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/bmc-aerielogic/fifo4_33.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493406-1307798937/watcher-3493406-1307798937 -o /tmp/evaluation-result-3493406-1307798937/solver-3493406-1307798937 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493406-1307798937.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= eb6e9a37df8d3108c66d811b9d68e89b
RANDOM SEED=992521909

node121.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.817
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.63
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.817
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	: 5226.07
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.817
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.84
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.817
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.817
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.82
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.817
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.74
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.817
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.75
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.817
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:     32950904 kB
MemFree:      31078160 kB
Buffers:        289908 kB
Cached:         871228 kB
SwapCached:       9944 kB
Active:        1042832 kB
Inactive:       627728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      31078160 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:           11700 kB
Writeback:           0 kB
AnonPages:      507384 kB
Mapped:          13872 kB
Slab:           135544 kB
PageTables:       6240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   752388 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= 74064 MiB
End job on node121 at 2011-06-11 15:29:38