Trace number 2655839

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.05 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14500
Total number of constraints461872
Number of constraints which are clauses461872
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29
Number of terms in the objective function 14500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655839-1276417254.opb.
0.00/0.00	c Instance file HOME/instance-2655839-1276417254.opb
0.00/0.00	c File size is 11967798 bytes.
1.69/1.76	c Highest Coefficient sum: 30
1.69/1.76	c ============================[ Problem Statistics ]=============================
1.69/1.76	c |                                                                             |
1.69/1.76	c |  Parsing time:          1.73         s                                      |
1.69/1.76	c |  Number Variables:      14500                                               |
1.69/1.76	c |  Number Clauses:        461872                                              |
1.69/1.76	c |  Number Cardinality:    0                                                   |
1.69/1.76	c |  Number PB Constraints: 0                                                   |
5.09/5.10	c ============================[ Search Statistics ]==============================
5.09/5.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.09/5.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.09/5.10	c ===============================================================================
5.09/5.10	c |         0 |   14500   461872   930494 |   153957        0    nan |  0.000 % |
5.09/5.12	c |       100 |   14500   461872   930494 |   169353      100    101 |  0.000 % |
5.09/5.17	c |       252 |   14500   461872   930494 |   186288      252    152 |  0.000 % |
5.18/5.27	c |       477 |   14500   461872   930494 |   204917      477    212 |  0.000 % |
5.39/5.49	c |       815 |   14500   461872   930494 |   225408      815    282 |  0.000 % |
5.89/5.93	c |      1321 |   14500   461872   930494 |   247949     1321    387 |  0.000 % |
6.60/6.65	c |      2081 |   14500   461872   930494 |   272744     2081    458 |  0.000 % |
7.88/7.96	c |      3220 |   14500   461872   930494 |   300019     3220    506 |  0.000 % |
10.59/10.66	c |      4928 |   14500   461872   930494 |   330021     4928    613 |  0.000 % |
14.48/14.53	c |      7492 |   14500   461872   930494 |   363023     7492    676 |  0.000 % |
20.29/20.37	c |     11336 |   14500   461872   930494 |   399325    11336    624 |  0.000 % |
31.79/31.90	c |     17102 |   14500   461872   930494 |   439258    17102    668 |  0.000 % |
61.87/61.95	c |     25751 |   14500   461872   930494 |   483184    25751    810 |  0.000 % |
116.47/116.53	c |     38729 |   14500   461872   930494 |   531502    38729    889 |  0.000 % |
180.64/180.76	c There are 0 assigned variables. 0 in cost function.
269.22/269.33	c core #1
269.22/269.33	c core #2
269.22/269.33	c core #3
269.22/269.33	c core #4
269.22/269.33	c core #5
269.22/269.33	c core #6
269.22/269.33	c core #7
269.22/269.33	c core #8
269.22/269.33	c core #9
269.22/269.33	c core #10
269.22/269.33	c core #11
269.22/269.33	c core #12
269.22/269.33	c core #13
269.22/269.33	c core #14
269.22/269.33	c core #15
269.22/269.33	c core #16
269.22/269.33	c core #17
269.22/269.33	c core #18
269.22/269.33	c core #19
269.22/269.33	c core #20
269.22/269.33	c core #21
269.22/269.33	c core #22
269.22/269.33	c core #23
269.22/269.33	c core #24
269.22/269.33	c core #25
269.22/269.33	c core #26
269.22/269.33	c core #27
269.22/269.33	c core #28
269.22/269.33	c core #29
269.22/269.33	c core #30
269.22/269.33	c core #31
269.22/269.33	c core #32
269.22/269.33	c core #33
269.22/269.33	c core #34
269.22/269.33	c core #35
269.22/269.33	c core #36
269.22/269.33	c core #37
269.22/269.33	c core #38
269.22/269.33	c core #39
269.22/269.33	c core #40
269.22/269.33	c core #41
269.22/269.33	c core #42
269.22/269.33	c core #43
269.22/269.33	c core #44
269.22/269.33	c core #45
269.22/269.33	c core #46
269.22/269.33	c core #47
269.22/269.33	c core #48
269.22/269.33	c core #49
269.22/269.33	c core #50
269.22/269.33	c core #51
269.22/269.33	c core #52
269.22/269.33	c core #53
269.22/269.33	c core #54
269.22/269.33	c core #55
269.22/269.33	c core #56
269.22/269.33	c core #57
269.22/269.33	c core #58
269.22/269.33	c core #59
269.22/269.33	c core #60
269.22/269.33	c core #61
269.22/269.33	c core #62
269.22/269.33	c core #63
269.22/269.33	c core #64
269.22/269.33	c core #65
269.22/269.33	c core #66
269.22/269.33	c core #67
269.22/269.33	c core #68
269.22/269.33	c core #69
269.22/269.33	c core #70
269.22/269.33	c core #71
269.22/269.33	c core #72
269.22/269.33	c core #73
269.22/269.33	c core #74
269.22/269.33	c core #75
269.22/269.33	c core #76
269.22/269.33	c core #77
269.22/269.33	c core #78
269.22/269.33	c core #79
269.22/269.33	c core #80
269.22/269.33	c core #81
269.22/269.33	c core #82
269.22/269.33	c core #83
269.22/269.33	c core #84
269.22/269.33	c core #85
269.22/269.33	c core #86
269.22/269.33	c core #87
269.22/269.33	c core #88
269.22/269.33	c core #89
269.22/269.33	c core #90
269.22/269.33	c core #91
269.22/269.33	c core #92
269.22/269.33	c core #93
269.22/269.33	c core #94
269.22/269.33	c core #95
269.22/269.33	c core #96
269.22/269.33	c core #97
269.22/269.33	c core #98
269.22/269.33	c core #99
269.22/269.33	c core #100
269.22/269.33	c core #101
269.22/269.33	c core #102
269.22/269.33	c core #103
269.22/269.33	c core #104
269.22/269.33	c core #105
269.22/269.33	c core #106
269.22/269.33	c core #107
269.22/269.33	c core #108
269.22/269.33	c core #109
269.22/269.33	c core #110
269.22/269.33	c core #111
269.22/269.33	c core #112
269.22/269.33	c core #113
269.22/269.33	c core #114
269.22/269.33	c core #115
269.22/269.33	c core #116
269.22/269.33	c core #117
269.22/269.33	c core #118
269.22/269.33	c core #119
269.22/269.33	c core #120
269.22/269.33	c core #121
269.22/269.33	c core #122
269.22/269.33	c core #123
269.22/269.33	c core #124
269.22/269.33	c core #125
269.22/269.33	c core #126
269.22/269.33	c core #127
269.22/269.33	c core #128
269.22/269.33	c core #129
269.22/269.33	c core #130
269.22/269.33	c core #131
269.22/269.33	c core #132
269.22/269.33	c core #133
269.22/269.33	c core #134
269.22/269.33	c core #135
269.22/269.33	c core #136
269.22/269.33	c core #137
269.22/269.33	c core #138
269.22/269.33	c core #139
269.22/269.33	c core #140
269.22/269.33	c core #141
269.22/269.33	c core #142
269.22/269.33	c core #143
269.22/269.33	c core #144
269.22/269.33	c core #145
269.22/269.33	c core #146
269.22/269.33	c core #147
269.22/269.33	c core #148
269.22/269.33	c core #149
269.22/269.33	c core #150
269.22/269.33	c core #151
269.22/269.33	c core #152
269.22/269.33	c core #153
269.22/269.33	c core #154
269.22/269.33	c core #155
269.22/269.33	c core #156
269.22/269.33	c core #157
269.22/269.33	c core #158
269.22/269.33	c core #159
269.22/269.33	c core #160
269.22/269.33	c core #161
269.22/269.33	c core #162
269.22/269.33	c core #163
269.22/269.33	c core #164
269.22/269.33	c core #165
269.22/269.33	c core #166
269.22/269.33	c core #167
269.22/269.33	c core #168
269.22/269.33	c core #169
269.22/269.33	c core #170
269.22/269.33	c core #171
269.22/269.33	c core #172
269.22/269.33	c core #173
269.22/269.33	c core #174
269.22/269.33	c core #175
269.22/269.33	c core #176
269.22/269.33	c core #177
269.22/269.33	c core #178
269.22/269.33	c core #179
269.22/269.33	c core #180
269.22/269.33	c core #181
269.22/269.33	c core #182
269.22/269.33	c core #183
269.22/269.33	c core #184
269.22/269.33	c core #185
269.22/269.33	c core #186
269.22/269.33	c core #187
269.22/269.33	c core #188
269.22/269.33	c core #189
269.22/269.33	c core #190
269.22/269.33	c core #191
269.22/269.33	c core #192
269.22/269.33	c core #193
269.22/269.33	c core #194
269.22/269.33	c core #195
269.22/269.33	c core #196
269.22/269.33	c core #197
269.22/269.33	c core #198
269.22/269.33	c core #199
269.22/269.33	c core #200
269.22/269.33	c core #201
269.22/269.33	c core #202
269.22/269.33	c core #203
269.22/269.33	c core #204
269.22/269.33	c core #205
269.22/269.33	c core #206
269.22/269.33	c core #207
269.22/269.33	c core #208
269.22/269.33	c core #209
269.22/269.33	c core #210
269.22/269.33	c core #211
269.22/269.33	c core #212
269.22/269.33	c core #213
269.22/269.33	c core #214
269.22/269.33	c core #215
269.22/269.33	c core #216
269.22/269.33	c core #217
269.22/269.33	c core #218
269.22/269.33	c core #219
269.22/269.33	c core #220
269.22/269.33	c core #221
269.22/269.33	c core #222
269.22/269.33	c core #223
269.22/269.33	c core #224
269.22/269.33	c core #225
269.22/269.33	c core #226
269.22/269.33	c core #227
269.22/269.33	c core #228
269.22/269.33	c core #229
269.22/269.33	c core #230
269.22/269.33	c core #231
269.22/269.33	c core #232
269.22/269.33	c core #233
269.22/269.33	c core #234
269.22/269.33	c core #235
269.22/269.33	c core #236
269.22/269.33	c core #237
269.22/269.33	c core #238
269.22/269.33	c core #239
269.22/269.33	c core #240
269.22/269.33	c core #241
269.22/269.33	c core #242
269.22/269.33	c core #243
269.22/269.33	c core #244
269.22/269.33	c core #245
269.22/269.33	c core #246
269.22/269.33	c core #247
269.22/269.33	c core #248
269.22/269.33	c core #249
269.22/269.33	c core #250
269.22/269.33	c core #251
269.22/269.33	c core #252
269.22/269.33	c core #253
269.22/269.33	c core #254
269.22/269.33	c core #255
269.22/269.33	c core #256
269.22/269.33	c core #257
269.22/269.33	c core #258
269.22/269.33	c core #259
269.22/269.33	c core #260
269.22/269.33	c core #261
269.22/269.33	c core #262
269.22/269.33	c core #263
269.22/269.33	c core #264
269.22/269.33	c core #265
269.22/269.33	c core #266
269.22/269.33	c core #267
269.22/269.33	c core #268
269.22/269.33	c core #269
269.22/269.33	c core #270
269.22/269.33	c core #271
269.22/269.33	c core #272
269.22/269.33	c core #273
269.22/269.33	c core #274
269.22/269.33	c core #275
269.22/269.33	c core #276
269.22/269.33	c core #277
269.22/269.33	c core #278
269.22/269.33	c core #279
269.22/269.33	c core #280
269.22/269.33	c core #281
269.22/269.33	c core #282
269.22/269.33	c core #283
269.22/269.33	c core #284
269.22/269.33	c core #285
269.22/269.33	c core #286
269.22/269.33	c core #287
269.22/269.33	c core #288
269.22/269.33	c core #289
269.22/269.33	c core #290
269.22/269.33	c core #291
269.22/269.33	c core #292
269.22/269.33	c core #293
269.22/269.33	c core #294
269.22/269.33	c core #295
269.22/269.33	c core #296
269.22/269.33	c core #297
269.22/269.33	c core #298
269.22/269.33	c core #299
269.22/269.33	c core #300
269.22/269.33	c core #301
269.22/269.33	c core #302
269.22/269.33	c core #303
269.22/269.33	c core #304
269.22/269.33	c core #305
269.22/269.33	c core #306
269.22/269.33	c core #307
269.22/269.33	c core #308
269.22/269.33	c core #309
269.22/269.33	c core #310
269.22/269.33	c core #311
269.22/269.33	c core #312
269.22/269.33	c core #313
269.22/269.33	c core #314
269.22/269.33	c core #315
269.22/269.33	c core #316
269.22/269.33	c core #317
269.22/269.33	c core #318
269.22/269.33	c core #319
269.22/269.33	c core #320
269.22/269.33	c core #321
269.22/269.33	c core #322
269.22/269.33	c core #323
269.22/269.33	c core #324
269.22/269.33	c core #325
269.22/269.33	c core #326
269.22/269.33	c core #327
269.22/269.33	c core #328
269.22/269.33	c core #329
269.22/269.33	c core #330
269.22/269.33	c core #331
269.22/269.33	c core #332
269.22/269.33	c core #333
269.22/269.33	c core #334
269.22/269.33	c core #335
269.22/269.33	c core #336
269.22/269.33	c core #337
269.22/269.33	c core #338
269.22/269.33	c core #339
269.22/269.33	c core #340
269.22/269.33	c core #341
269.22/269.33	c core #342
269.22/269.33	c core #343
269.22/269.33	c core #344
269.22/269.33	c core #345
269.22/269.33	c core #346
269.22/269.33	c core #347
269.22/269.33	c core #348
269.22/269.33	c core #349
269.22/269.33	c core #350
269.22/269.33	c core #351
369.40/369.52	c core #352
369.40/369.52	c core #353
369.40/369.52	c core #354
369.40/369.52	c core #355
369.40/369.52	c core #356
369.40/369.52	c core #357
369.40/369.52	c core #358
369.40/369.52	c core #359
369.40/369.52	c core #360
369.40/369.52	c core #361
369.40/369.52	c core #362
369.40/369.52	c core #363
369.40/369.52	c core #364
369.40/369.52	c core #365
369.40/369.52	c core #366
369.40/369.52	c core #367
369.40/369.52	c core #368
369.40/369.52	c core #369
369.40/369.52	c core #370
369.40/369.52	c core #371
369.40/369.52	c core #372
369.40/369.52	c core #373
369.40/369.52	c core #374
369.40/369.52	c core #375
369.40/369.52	c core #376
369.40/369.52	c core #377
369.40/369.52	c core #378
369.40/369.52	c core #379
369.40/369.52	c core #380
369.40/369.52	c core #381
369.40/369.52	c core #382
369.40/369.52	c core #383
369.40/369.52	c core #384
369.40/369.52	c core #385
369.40/369.52	c core #386
369.40/369.52	c core #387
369.40/369.52	c core #388
369.40/369.52	c core #389
369.40/369.52	c core #390
369.40/369.52	c core #391
369.40/369.52	c core #392
369.40/369.52	c core #393
369.40/369.52	c core #394
369.40/369.52	c core #395
369.40/369.52	c core #396
369.40/369.52	c core #397
369.40/369.52	c core #398
369.40/369.52	c core #399
369.40/369.52	c core #400
369.40/369.52	c core #401
369.40/369.52	c core #402
369.40/369.52	c core #403
369.40/369.52	c core #404
369.40/369.52	c core #405
369.40/369.52	c core #406
369.40/369.52	c core #407
369.40/369.52	c core #408
369.40/369.52	c core #409
369.40/369.52	c core #410
369.40/369.52	c core #411
369.40/369.52	c core #412
369.40/369.52	c core #413
369.40/369.52	c core #414
369.40/369.52	c core #415
369.40/369.52	c core #416
369.40/369.52	c core #417
369.40/369.52	c core #418
369.40/369.52	c core #419
369.40/369.52	c core #420
369.40/369.52	c core #421
369.40/369.52	c core #422
369.40/369.52	c core #423
369.40/369.52	c core #424
369.40/369.52	c core #425
369.40/369.52	c core #426
369.40/369.52	c core #427
369.40/369.52	c core #428
369.40/369.52	c core #429
369.40/369.52	c core #430
369.40/369.52	c core #431
369.40/369.52	c core #432
369.40/369.52	c core #433
369.40/369.52	c core #434
369.40/369.52	c core #435
369.40/369.52	c core #436
369.40/369.52	c core #437
369.40/369.52	c core #438
369.40/369.52	c core #439
369.40/369.52	c core #440
369.40/369.52	c core #441
369.40/369.52	c core #442
369.40/369.52	c core #443
369.40/369.52	c core #444
369.40/369.52	c core #445
369.40/369.52	c core #446
369.40/369.52	c core #447
369.40/369.52	c core #448
369.40/369.52	c core #449
369.40/369.52	c core #450
369.40/369.52	c core #451
369.40/369.52	c core #452
369.40/369.52	c core #453
369.40/369.52	c core #454
369.40/369.52	c core #455
369.40/369.52	c core #456
369.40/369.52	c core #457
369.40/369.52	c core #458
369.40/369.52	c core #459
369.40/369.52	c core #460
369.40/369.52	c core #461
369.40/369.52	c core #462
369.40/369.52	c core #463
369.40/369.52	c core #464
369.40/369.52	c core #465
369.40/369.52	c core #466
369.40/369.52	c core #467
369.40/369.52	c core #468
369.40/369.52	c core #469
369.40/369.52	c core #470
369.40/369.52	c core #471
369.40/369.52	c core #472
369.40/369.52	c core #473
369.40/369.52	c core #474
369.40/369.52	c core #475
369.40/369.52	c core #476
369.40/369.52	c core #477
369.40/369.52	c core #478
369.40/369.52	c core #479
369.40/369.52	c core #480
369.40/369.52	c core #481
369.40/369.52	c core #482
369.40/369.52	c core #483
369.40/369.52	c core #484
369.40/369.52	c core #485
369.40/369.52	c core #486
369.40/369.52	c core #487
369.40/369.52	c core #488
369.40/369.52	c core #489
369.40/369.52	c core #490
369.40/369.52	c core #491
369.40/369.52	c core #492
369.40/369.52	c core #493
369.40/369.52	c core #494
369.40/369.52	c core #495
369.40/369.52	c core #496
369.40/369.52	c core #497
369.40/369.52	c core #498
369.40/369.52	c core #499
369.40/369.52	c core #500
369.40/369.52	c core #501
369.40/369.52	c core #502
369.40/369.52	c core #503
369.40/369.52	c core #504
369.40/369.52	c core #505
369.40/369.52	c core #506
369.40/369.52	c core #507
369.40/369.52	c core #508
369.40/369.52	c core #509
369.40/369.52	c core #510
369.40/369.52	c core #511
369.40/369.52	c core #512
369.40/369.52	c core #513
369.40/369.52	c core #514
369.40/369.52	c core #515
369.40/369.52	c core #516
369.40/369.52	c core #517
369.40/369.52	c core #518
369.40/369.52	c core #519
369.40/369.52	c core #520
369.40/369.52	c core #521
369.40/369.52	c core #522
369.40/369.52	c core #523
369.40/369.52	c core #524
369.40/369.52	c core #525
369.40/369.52	c core #526
369.40/369.52	c core #527
369.40/369.52	c core #528
369.40/369.52	c core #529
369.40/369.52	c core #530
369.40/369.52	c core #531
369.40/369.52	c core #532
369.40/369.52	c core #533
369.40/369.52	c core #534
369.40/369.52	c core #535
369.40/369.52	c core #536
369.40/369.52	c core #537
369.40/369.52	c core #538
369.40/369.52	c core #539
369.40/369.52	c core #540
369.40/369.52	c core #541
369.40/369.52	c core #542
369.40/369.52	c core #543
369.40/369.52	c core #544
369.40/369.52	c core #545
369.40/369.52	c core #546
369.40/369.52	c core #547
369.40/369.52	c core #548
369.40/369.52	c core #549
369.40/369.52	c core #550
369.40/369.52	c core #551
369.40/369.52	c core #552
369.40/369.52	c core #553
369.40/369.52	c core #554
369.40/369.52	c core #555
369.40/369.52	c core #556
369.40/369.52	c core #557
369.40/369.52	c core #558
369.40/369.52	c core #559
369.40/369.52	c core #560
369.40/369.52	c core #561
369.40/369.52	c core #562
369.40/369.52	c core #563
369.40/369.52	c core #564
369.40/369.52	c core #565
369.40/369.52	c core #566
369.40/369.52	c core #567
369.40/369.52	c core #568
369.40/369.52	c core #569
369.40/369.52	c core #570
369.40/369.52	c core #571
369.40/369.52	c core #572
369.40/369.52	c core #573
369.40/369.52	c core #574
369.40/369.52	c core #575
369.40/369.52	c core #576
369.40/369.52	c core #577
369.40/369.52	c core #578
369.40/369.52	c core #579
369.40/369.52	c core #580
369.40/369.52	c core #581
369.40/369.52	c core #582
369.40/369.52	c core #583
369.40/369.52	c core #584
369.40/369.52	c core #585
369.40/369.52	c core #586
369.40/369.52	c core #587
369.40/369.52	c core #588
369.40/369.52	c core #589
369.40/369.52	c core #590
369.40/369.52	c core #591
369.40/369.52	c core #592
369.40/369.52	c core #593
369.40/369.52	c core #594
369.40/369.52	c core #595
369.40/369.52	c core #596
369.40/369.52	c core #597
369.40/369.52	c core #598
369.40/369.52	c core #599
369.40/369.52	c core #600
369.40/369.52	c core #601
369.40/369.52	c core #602
369.40/369.52	c core #603
369.40/369.52	c core #604
369.40/369.52	c core #605
369.40/369.52	c core #606
369.40/369.52	c core #607
369.40/369.52	c core #608
369.40/369.52	c core #609
369.40/369.52	c core #610
369.40/369.52	c core #611
369.40/369.52	c core #612
369.40/369.52	c core #613
369.40/369.52	c core #614
369.40/369.52	c core #615
369.40/369.52	c core #616
369.40/369.52	c core #617
369.40/369.52	c core #618
369.40/369.52	c core #619
369.40/369.52	c core #620
369.40/369.52	c core #621
369.40/369.52	c core #622
369.40/369.52	c core #623
369.40/369.52	c core #624
369.40/369.52	c core #625
369.40/369.52	c core #626
369.40/369.52	c core #627
369.40/369.52	c core #628
369.40/369.52	c core #629
369.40/369.52	c core #630
369.40/369.52	c core #631
369.40/369.52	c core #632
369.40/369.52	c core #633
369.40/369.52	c core #634
369.40/369.52	c core #635
369.40/369.52	c core #636
369.40/369.52	c core #637
369.40/369.52	c core #638
369.40/369.52	c core #639
369.40/369.52	c core #640
369.40/369.52	c core #641
369.40/369.52	c core #642
369.40/369.52	c core #643
369.40/369.52	c core #644
369.40/369.52	c core #645
369.40/369.52	c core #646
369.40/369.52	c core #647
369.40/369.52	c core #648
369.40/369.52	c core #649
369.40/369.52	c core #650
369.40/369.52	c core #651
369.40/369.52	c core #652
369.40/369.52	c core #653
369.40/369.52	c core #654
369.40/369.52	c core #655
369.40/369.52	c core #656
369.40/369.52	c core #657
369.40/369.52	c core #658
369.40/369.52	c core #659
369.40/369.52	c core #660
369.40/369.52	c core #661
369.40/369.52	c core #662
369.40/369.52	c core #663
369.40/369.52	c core #664
369.40/369.52	c core #665
369.40/369.52	c core #666
369.40/369.52	c core #667
369.40/369.52	c core #668
369.40/369.52	c core #669
369.40/369.52	c core #670
369.40/369.52	c core #671
369.40/369.52	c core #672
369.40/369.52	c core #673
369.40/369.52	c core #674
369.40/369.52	c core #675
369.40/369.52	c core #676
369.40/369.52	c core #677
369.40/369.52	c core #678
369.40/369.52	c core #679
369.40/369.52	c core #680
369.40/369.52	c core #681
369.40/369.52	c core #682
369.40/369.52	c core #683
369.40/369.52	c core #684
369.40/369.52	c core #685
369.40/369.52	c core #686
369.40/369.52	c core #687
369.40/369.52	c core #688
369.40/369.52	c core #689
369.40/369.52	c core #690
369.40/369.52	c core #691
369.40/369.52	c core #692
490.25/490.45	c core #693
490.25/490.45	c core #694
490.25/490.45	c core #695
490.25/490.45	c core #696
490.25/490.45	c core #697
490.25/490.45	c core #698
490.25/490.45	c core #699
490.25/490.45	c core #700
490.25/490.45	c core #701
490.25/490.45	c core #702
490.25/490.45	c core #703
490.25/490.45	c core #704
490.25/490.45	c core #705
490.25/490.45	c core #706
490.25/490.45	c core #707
490.25/490.45	c core #708
490.25/490.45	c core #709
490.25/490.45	c core #710
490.25/490.45	c core #711
490.25/490.45	c core #712
490.25/490.45	c core #713
490.25/490.45	c core #714
490.25/490.45	c core #715
490.25/490.45	c core #716
490.25/490.45	c core #717
490.25/490.45	c core #718
490.25/490.45	c core #719
490.25/490.45	c core #720
490.25/490.45	c core #721
490.25/490.45	c core #722
490.25/490.45	c core #723
490.25/490.45	c core #724
490.25/490.45	c core #725
490.25/490.45	c core #726
490.25/490.45	c core #727
490.25/490.45	c core #728
490.25/490.45	c core #729
490.25/490.45	c core #730
490.25/490.45	c core #731
490.25/490.45	c core #732
490.25/490.45	c core #733
490.25/490.45	c core #734
490.25/490.45	c core #735
490.25/490.45	c core #736
490.25/490.45	c core #737
490.25/490.45	c core #738
490.25/490.45	c core #739
490.25/490.45	c core #740
490.25/490.45	c core #741
490.25/490.45	c core #742
490.25/490.45	c core #743
490.25/490.45	c core #744
490.25/490.45	c core #745
490.25/490.45	c core #746
490.25/490.45	c core #747
490.25/490.45	c core #748
490.25/490.45	c core #749
490.25/490.45	c core #750
490.25/490.45	c core #751
490.25/490.45	c core #752
490.25/490.45	c core #753
490.25/490.45	c core #754
490.25/490.45	c core #755
490.25/490.45	c core #756
490.25/490.45	c core #757
490.25/490.45	c core #758
490.25/490.45	c core #759
490.25/490.45	c core #760
490.25/490.45	c core #761
490.25/490.45	c core #762
490.25/490.45	c core #763
490.25/490.45	c core #764
490.25/490.45	c core #765
490.25/490.45	c core #766
490.25/490.45	c core #767
490.25/490.45	c core #768
490.25/490.45	c core #769
490.25/490.45	c core #770
490.25/490.45	c core #771
490.25/490.45	c core #772
490.25/490.45	c core #773
490.25/490.45	c core #774
490.25/490.45	c core #775
490.25/490.45	c core #776
490.25/490.45	c core #777
490.25/490.45	c core #778
490.25/490.45	c core #779
490.25/490.45	c core #780
490.25/490.45	c core #781
490.25/490.45	c core #782
490.25/490.45	c core #783
490.25/490.45	c core #784
490.25/490.45	c core #785
490.25/490.45	c core #786
490.25/490.45	c core #787
490.25/490.45	c core #788
490.25/490.45	c core #789
490.25/490.45	c core #790
490.25/490.45	c core #791
490.25/490.45	c core #792
490.25/490.45	c core #793
490.25/490.45	c core #794
490.25/490.45	c core #795
490.25/490.45	c core #796
490.25/490.45	c core #797
490.25/490.45	c core #798
490.25/490.45	c core #799
490.25/490.45	c core #800
490.25/490.45	c core #801
490.25/490.45	c core #802
490.25/490.45	c core #803
490.25/490.45	c core #804
490.25/490.45	c core #805
490.25/490.45	c core #806
490.25/490.45	c core #807
490.25/490.45	c core #808
490.25/490.45	c core #809
490.25/490.45	c core #810
490.25/490.45	c core #811
490.25/490.45	c core #812
490.25/490.45	c core #813
490.25/490.45	c core #814
490.25/490.45	c core #815
490.25/490.45	c core #816
490.25/490.45	c core #817
490.25/490.45	c core #818
490.25/490.45	c core #819
490.25/490.45	c core #820
490.25/490.45	c core #821
490.25/490.45	c core #822
490.25/490.45	c core #823
490.25/490.45	c core #824
490.25/490.45	c core #825
490.25/490.45	c core #826
490.25/490.45	c core #827
490.25/490.45	c core #828
490.25/490.45	c core #829
490.25/490.45	c core #830
490.25/490.45	c core #831
490.25/490.45	c core #832
490.25/490.45	c core #833
490.25/490.45	c core #834
490.25/490.45	c core #835
490.25/490.45	c core #836
490.25/490.45	c core #837
490.25/490.45	c core #838
490.25/490.45	c core #839
490.25/490.45	c core #840
490.25/490.45	c core #841
490.25/490.45	c core #842
490.25/490.45	c core #843
490.25/490.45	c core #844
490.25/490.45	c core #845
490.25/490.45	c core #846
490.25/490.45	c core #847
490.25/490.45	c core #848
490.25/490.45	c core #849
490.25/490.45	c core #850
490.25/490.45	c core #851
490.25/490.45	c core #852
490.25/490.45	c core #853
490.25/490.45	c core #854
490.25/490.45	c core #855
490.25/490.45	c core #856
490.25/490.45	c core #857
490.25/490.45	c core #858
490.25/490.45	c core #859
490.25/490.45	c core #860
490.25/490.45	c core #861
490.25/490.45	c core #862
490.25/490.45	c core #863
490.25/490.45	c core #864
490.25/490.45	c core #865
490.25/490.45	c core #866
490.25/490.45	c core #867
490.25/490.45	c core #868
490.25/490.45	c core #869
490.25/490.45	c core #870
490.25/490.45	c core #871
490.25/490.45	c core #872
490.25/490.45	c core #873
490.25/490.45	c core #874
490.25/490.45	c core #875
490.25/490.45	c core #876
490.25/490.45	c core #877
490.25/490.45	c core #878
490.25/490.45	c core #879
490.25/490.45	c core #880
490.25/490.45	c core #881
490.25/490.45	c core #882
490.25/490.45	c core #883
490.25/490.45	c core #884
490.25/490.45	c core #885
490.25/490.45	c core #886
490.25/490.45	c core #887
490.25/490.45	c core #888
490.25/490.45	c core #889
490.25/490.45	c core #890
490.25/490.45	c core #891
490.25/490.45	c core #892
490.25/490.45	c core #893
490.25/490.45	c core #894
490.25/490.45	c core #895
490.25/490.45	c core #896
490.25/490.45	c core #897
490.25/490.45	c core #898
490.25/490.45	c core #899
490.25/490.45	c core #900
490.25/490.45	c core #901
490.25/490.45	c core #902
490.25/490.45	c core #903
490.25/490.45	c core #904
490.25/490.45	c core #905
490.25/490.45	c core #906
490.25/490.45	c core #907
490.25/490.45	c core #908
490.25/490.45	c core #909
490.25/490.45	c core #910
490.25/490.45	c core #911
490.25/490.45	c core #912
490.25/490.45	c core #913
490.25/490.45	c core #914
490.25/490.45	c core #915
490.25/490.45	c core #916
490.25/490.45	c core #917
490.25/490.45	c core #918
490.25/490.45	c core #919
490.25/490.45	c core #920
490.25/490.45	c core #921
490.25/490.45	c core #922
490.25/490.45	c core #923
490.25/490.45	c core #924
490.25/490.45	c core #925
490.25/490.45	c core #926
490.25/490.45	c core #927
490.25/490.45	c core #928
490.25/490.45	c core #929
490.25/490.45	c core #930
490.25/490.45	c core #931
490.25/490.45	c core #932
490.25/490.45	c core #933
490.25/490.45	c core #934
490.25/490.45	c core #935
490.25/490.45	c core #936
490.25/490.45	c core #937
490.25/490.45	c core #938
490.25/490.45	c core #939
490.25/490.45	c core #940
490.25/490.45	c core #941
490.25/490.45	c core #942
490.25/490.45	c core #943
490.25/490.45	c core #944
490.25/490.45	c core #945
490.25/490.45	c core #946
490.25/490.45	c core #947
490.25/490.45	c core #948
490.25/490.45	c core #949
490.25/490.45	c core #950
490.25/490.45	c core #951
490.25/490.45	c core #952
490.25/490.45	c core #953
490.25/490.45	c core #954
490.25/490.45	c core #955
490.25/490.45	c core #956
490.25/490.45	c core #957
490.25/490.45	c core #958
490.25/490.45	c core #959
490.25/490.45	c core #960
490.25/490.45	c core #961
490.25/490.45	c core #962
490.25/490.45	c core #963
490.25/490.45	c core #964
490.25/490.45	c core #965
490.25/490.45	c core #966
490.25/490.45	c core #967
490.25/490.45	c core #968
490.25/490.45	c core #969
490.25/490.45	c core #970
490.25/490.45	c core #971
490.25/490.45	c core #972
490.25/490.45	c core #973
490.25/490.45	c core #974
490.25/490.45	c core #975
490.25/490.45	c core #976
490.25/490.45	c core #977
490.25/490.45	c core #978
490.25/490.45	c core #979
490.25/490.45	c core #980
490.25/490.45	c core #981
490.25/490.45	c core #982
490.25/490.45	c core #983
490.25/490.45	c core #984
490.25/490.45	c core #985
490.25/490.45	c core #986
490.25/490.45	c core #987
490.25/490.45	c core #988
490.25/490.45	c core #989
490.25/490.45	c core #990
490.25/490.45	c core #991
490.25/490.45	c core #992
490.25/490.45	c core #993
490.25/490.45	c core #994
490.25/490.45	c core #995
490.25/490.45	c core #996
490.25/490.45	c core #997
490.25/490.45	c core #998
490.25/490.45	c core #999
490.25/490.45	c core #1000
490.25/490.45	c core #1001
490.25/490.45	c core #1002
490.25/490.45	c core #1003
490.25/490.45	c core #1004
490.25/490.45	c core #1005
490.25/490.45	c core #1006
490.25/490.45	c core #1007
490.25/490.45	c core #1008
490.25/490.45	c core #1009
490.25/490.45	c core #1010
490.25/490.45	c core #1011
490.25/490.45	c core #1012
490.25/490.45	c core #1013
490.25/490.45	c core #1014
490.25/490.45	c core #1015
490.25/490.45	c core #1016
490.25/490.45	c core #1017
490.25/490.45	c core #1018
490.25/490.45	c core #1019
490.25/490.45	c core #1020
490.25/490.45	c core #1021
490.25/490.45	c core #1022
490.25/490.45	c core #1023
490.25/490.45	c core #1024
490.25/490.45	c core #1025
490.25/490.45	c core #1026
490.25/490.45	c core #1027
490.25/490.45	c core #1028
490.25/490.45	c core #1029
490.25/490.45	c core #1030
490.25/490.45	c core #1031
621.93/622.11	c core #1032
621.93/622.11	c core #1033
621.93/622.11	c core #1034
621.93/622.11	c core #1035
621.93/622.11	c core #1036
621.93/622.11	c core #1037
621.93/622.11	c core #1038
621.93/622.11	c core #1039
621.93/622.11	c core #1040
621.93/622.11	c core #1041
621.93/622.11	c core #1042
621.93/622.11	c core #1043
621.93/622.11	c core #1044
621.93/622.11	c core #1045
621.93/622.11	c core #1046
621.93/622.11	c core #1047
621.93/622.11	c core #1048
621.93/622.11	c core #1049
621.93/622.11	c core #1050
621.93/622.11	c core #1051
621.93/622.11	c core #1052
621.93/622.11	c core #1053
621.93/622.11	c core #1054
621.93/622.11	c core #1055
621.93/622.11	c core #1056
621.93/622.11	c core #1057
621.93/622.11	c core #1058
621.93/622.11	c core #1059
621.93/622.11	c core #1060
621.93/622.11	c core #1061
621.93/622.11	c core #1062
621.93/622.11	c core #1063
621.93/622.11	c core #1064
621.93/622.11	c core #1065
621.93/622.11	c core #1066
621.93/622.11	c core #1067
621.93/622.11	c core #1068
621.93/622.11	c core #1069
621.93/622.11	c core #1070
621.93/622.11	c core #1071
621.93/622.11	c core #1072
621.93/622.11	c core #1073
621.93/622.11	c core #1074
621.93/622.11	c core #1075
621.93/622.11	c core #1076
621.93/622.11	c core #1077
621.93/622.11	c core #1078
621.93/622.11	c core #1079
621.93/622.11	c core #1080
621.93/622.11	c core #1081
621.93/622.11	c core #1082
621.93/622.11	c core #1083
621.93/622.11	c core #1084
621.93/622.11	c core #1085
621.93/622.11	c core #1086
621.93/622.11	c core #1087
621.93/622.11	c core #1088
621.93/622.11	c core #1089
621.93/622.11	c core #1090
621.93/622.11	c core #1091
621.93/622.11	c core #1092
621.93/622.11	c core #1093
621.93/622.11	c core #1094
621.93/622.11	c core #1095
621.93/622.11	c core #1096
621.93/622.11	c core #1097
621.93/622.11	c core #1098
621.93/622.11	c core #1099
621.93/622.11	c core #1100
621.93/622.11	c core #1101
621.93/622.11	c core #1102
621.93/622.11	c core #1103
621.93/622.11	c core #1104
621.93/622.11	c core #1105
621.93/622.11	c core #1106
621.93/622.11	c core #1107
621.93/622.11	c core #1108
621.93/622.11	c core #1109
621.93/622.11	c core #1110
621.93/622.11	c core #1111
621.93/622.11	c core #1112
621.93/622.11	c core #1113
621.93/622.11	c core #1114
621.93/622.11	c core #1115
621.93/622.11	c core #1116
621.93/622.11	c core #1117
621.93/622.11	c core #1118
621.93/622.11	c core #1119
621.93/622.11	c core #1120
621.93/622.11	c core #1121
621.93/622.11	c core #1122
621.93/622.11	c core #1123
621.93/622.11	c core #1124
621.93/622.11	c core #1125
621.93/622.11	c core #1126
621.93/622.11	c core #1127
621.93/622.11	c core #1128
621.93/622.11	c core #1129
621.93/622.11	c core #1130
621.93/622.11	c core #1131
621.93/622.11	c core #1132
621.93/622.11	c core #1133
621.93/622.11	c core #1134
621.93/622.11	c core #1135
621.93/622.11	c core #1136
621.93/622.11	c core #1137
621.93/622.11	c core #1138
621.93/622.11	c core #1139
621.93/622.11	c core #1140
621.93/622.11	c core #1141
621.93/622.11	c core #1142
621.93/622.11	c core #1143
621.93/622.11	c core #1144
621.93/622.11	c core #1145
621.93/622.11	c core #1146
621.93/622.11	c core #1147
621.93/622.11	c core #1148
621.93/622.11	c core #1149
621.93/622.11	c core #1150
621.93/622.11	c core #1151
621.93/622.11	c core #1152
621.93/622.11	c core #1153
621.93/622.11	c core #1154
621.93/622.11	c core #1155
621.93/622.11	c core #1156
621.93/622.11	c core #1157
621.93/622.11	c core #1158
621.93/622.11	c core #1159
621.93/622.11	c core #1160
621.93/622.11	c core #1161
621.93/622.11	c core #1162
621.93/622.11	c core #1163
621.93/622.11	c core #1164
621.93/622.11	c core #1165
621.93/622.11	c core #1166
621.93/622.11	c core #1167
621.93/622.11	c core #1168
621.93/622.11	c core #1169
621.93/622.11	c core #1170
621.93/622.11	c core #1171
621.93/622.11	c core #1172
621.93/622.11	c core #1173
621.93/622.11	c core #1174
621.93/622.11	c core #1175
621.93/622.11	c core #1176
621.93/622.11	c core #1177
621.93/622.11	c core #1178
621.93/622.11	c core #1179
621.93/622.11	c core #1180
621.93/622.11	c core #1181
621.93/622.11	c core #1182
621.93/622.11	c core #1183
621.93/622.11	c core #1184
621.93/622.11	c core #1185
621.93/622.11	c core #1186
621.93/622.11	c core #1187
621.93/622.11	c core #1188
621.93/622.11	c core #1189
621.93/622.11	c core #1190
621.93/622.11	c core #1191
621.93/622.11	c core #1192
621.93/622.11	c core #1193
621.93/622.11	c core #1194
621.93/622.11	c core #1195
621.93/622.11	c core #1196
621.93/622.11	c core #1197
621.93/622.11	c core #1198
621.93/622.11	c core #1199
621.93/622.11	c core #1200
621.93/622.11	c core #1201
621.93/622.11	c core #1202
621.93/622.11	c core #1203
621.93/622.11	c core #1204
621.93/622.11	c core #1205
621.93/622.11	c core #1206
621.93/622.11	c core #1207
621.93/622.11	c core #1208
621.93/622.11	c core #1209
621.93/622.11	c core #1210
621.93/622.11	c core #1211
621.93/622.11	c core #1212
621.93/622.11	c core #1213
621.93/622.11	c core #1214
621.93/622.11	c core #1215
621.93/622.11	c core #1216
621.93/622.11	c core #1217
621.93/622.11	c core #1218
621.93/622.11	c core #1219
621.93/622.11	c core #1220
621.93/622.11	c core #1221
621.93/622.11	c core #1222
621.93/622.11	c core #1223
621.93/622.11	c core #1224
621.93/622.11	c core #1225
621.93/622.11	c core #1226
621.93/622.11	c core #1227
621.93/622.11	c core #1228
621.93/622.11	c core #1229
621.93/622.11	c core #1230
621.93/622.11	c core #1231
621.93/622.11	c core #1232
621.93/622.11	c core #1233
621.93/622.11	c core #1234
621.93/622.11	c core #1235
621.93/622.11	c core #1236
621.93/622.11	c core #1237
621.93/622.11	c core #1238
621.93/622.11	c core #1239
621.93/622.11	c core #1240
621.93/622.11	c core #1241
621.93/622.11	c core #1242
621.93/622.11	c core #1243
621.93/622.11	c core #1244
621.93/622.11	c core #1245
621.93/622.11	c core #1246
621.93/622.11	c core #1247
621.93/622.11	c core #1248
621.93/622.11	c core #1249
621.93/622.11	c core #1250
621.93/622.11	c core #1251
621.93/622.11	c core #1252
621.93/622.11	c core #1253
621.93/622.11	c core #1254
621.93/622.11	c core #1255
621.93/622.11	c core #1256
621.93/622.11	c core #1257
621.93/622.11	c core #1258
621.93/622.11	c core #1259
621.93/622.11	c core #1260
621.93/622.11	c core #1261
621.93/622.11	c core #1262
621.93/622.11	c core #1263
621.93/622.11	c core #1264
621.93/622.11	c core #1265
621.93/622.11	c core #1266
621.93/622.11	c core #1267
621.93/622.11	c core #1268
621.93/622.11	c core #1269
621.93/622.11	c core #1270
621.93/622.11	c core #1271
621.93/622.11	c core #1272
621.93/622.11	c core #1273
621.93/622.11	c core #1274
621.93/622.11	c core #1275
621.93/622.11	c core #1276
621.93/622.11	c core #1277
621.93/622.11	c core #1278
621.93/622.11	c core #1279
621.93/622.11	c core #1280
621.93/622.11	c core #1281
621.93/622.11	c core #1282
621.93/622.11	c core #1283
621.93/622.11	c core #1284
621.93/622.11	c core #1285
621.93/622.11	c core #1286
621.93/622.11	c core #1287
621.93/622.11	c core #1288
621.93/622.11	c core #1289
621.93/622.11	c core #1290
621.93/622.11	c core #1291
621.93/622.11	c core #1292
621.93/622.11	c core #1293
621.93/622.11	c core #1294
621.93/622.11	c core #1295
621.93/622.11	c core #1296
621.93/622.11	c core #1297
621.93/622.11	c core #1298
621.93/622.11	c core #1299
621.93/622.11	c core #1300
621.93/622.11	c core #1301
621.93/622.11	c core #1302
621.93/622.11	c core #1303
621.93/622.11	c core #1304
621.93/622.11	c core #1305
621.93/622.11	c core #1306
621.93/622.11	c core #1307
621.93/622.11	c core #1308
621.93/622.11	c core #1309
621.93/622.11	c core #1310
621.93/622.11	c core #1311
621.93/622.11	c core #1312
621.93/622.11	c core #1313
621.93/622.11	c core #1314
621.93/622.11	c core #1315
621.93/622.11	c core #1316
621.93/622.11	c core #1317
621.93/622.11	c core #1318
621.93/622.11	c core #1319
621.93/622.11	c core #1320
621.93/622.11	c core #1321
621.93/622.11	c core #1322
621.93/622.11	c core #1323
621.93/622.11	c core #1324
621.93/622.11	c core #1325
621.93/622.11	c core #1326
621.93/622.11	c core #1327
621.93/622.11	c core #1328
621.93/622.11	c core #1329
621.93/622.11	c core #1330
621.93/622.11	c core #1331
621.93/622.11	c core #1332
621.93/622.11	c core #1333
621.93/622.11	c core #1334
621.93/622.11	c core #1335
621.93/622.11	c core #1336
621.93/622.11	c core #1337
621.93/622.11	c core #1338
621.93/622.11	c core #1339
621.93/622.11	c core #1340
621.93/622.11	c core #1341
621.93/622.11	c core #1342
621.93/622.11	c core #1343
621.93/622.11	c core #1344
621.93/622.11	c core #1345
621.93/622.11	c core #1346
771.99/772.28	c core #1347
771.99/772.28	c core #1348
771.99/772.28	c core #1349
771.99/772.28	c core #1350
771.99/772.28	c core #1351
771.99/772.28	c core #1352
771.99/772.28	c core #1353
771.99/772.28	c core #1354
771.99/772.28	c core #1355
771.99/772.28	c core #1356
771.99/772.28	c core #1357
771.99/772.28	c core #1358
771.99/772.28	c core #1359
771.99/772.28	c core #1360
771.99/772.28	c core #1361
771.99/772.28	c core #1362
771.99/772.28	c core #1363
771.99/772.28	c core #1364
771.99/772.28	c core #1365
771.99/772.28	c core #1366
771.99/772.28	c core #1367
771.99/772.28	c core #1368
771.99/772.28	c core #1369
771.99/772.28	c core #1370
771.99/772.28	c core #1371
771.99/772.28	c core #1372
771.99/772.28	c core #1373
771.99/772.28	c core #1374
771.99/772.28	c core #1375
771.99/772.28	c core #1376
771.99/772.28	c core #1377
771.99/772.28	c core #1378
771.99/772.28	c core #1379
771.99/772.28	c core #1380
771.99/772.28	c core #1381
771.99/772.28	c core #1382
771.99/772.28	c core #1383
771.99/772.28	c core #1384
771.99/772.28	c core #1385
771.99/772.28	c core #1386
771.99/772.28	c core #1387
771.99/772.28	c core #1388
771.99/772.28	c core #1389
771.99/772.28	c core #1390
771.99/772.28	c core #1391
771.99/772.28	c core #1392
771.99/772.28	c core #1393
771.99/772.28	c core #1394
771.99/772.28	c core #1395
771.99/772.28	c core #1396
771.99/772.28	c core #1397
771.99/772.28	c core #1398
771.99/772.28	c core #1399
771.99/772.28	c core #1400
771.99/772.28	c core #1401
771.99/772.28	c core #1402
771.99/772.28	c core #1403
771.99/772.28	c core #1404
771.99/772.28	c core #1405
771.99/772.28	c core #1406
771.99/772.28	c core #1407
771.99/772.28	c core #1408
771.99/772.28	c core #1409
771.99/772.28	c core #1410
771.99/772.28	c core #1411
771.99/772.28	c core #1412
771.99/772.28	c core #1413
771.99/772.28	c core #1414
771.99/772.28	c core #1415
771.99/772.28	c core #1416
771.99/772.28	c core #1417
771.99/772.28	c core #1418
771.99/772.28	c core #1419
771.99/772.28	c core #1420
771.99/772.28	c core #1421
771.99/772.28	c core #1422
771.99/772.28	c core #1423
771.99/772.28	c core #1424
771.99/772.28	c core #1425
771.99/772.28	c core #1426
771.99/772.28	c core #1427
771.99/772.28	c core #1428
771.99/772.28	c core #1429
771.99/772.28	c core #1430
771.99/772.28	c core #1431
771.99/772.28	c core #1432
771.99/772.28	c core #1433
771.99/772.28	c core #1434
771.99/772.28	c core #1435
771.99/772.28	c core #1436
771.99/772.28	c core #1437
771.99/772.28	c core #1438
771.99/772.28	c core #1439
771.99/772.28	c core #1440
771.99/772.28	c core #1441
771.99/772.28	c core #1442
771.99/772.28	c core #1443
771.99/772.28	c core #1444
771.99/772.28	c core #1445
771.99/772.28	c core #1446
771.99/772.28	c core #1447
771.99/772.28	c core #1448
771.99/772.28	c core #1449
771.99/772.28	c core #1450
771.99/772.28	c core #1451
771.99/772.28	c core #1452
771.99/772.28	c core #1453
771.99/772.28	c core #1454
771.99/772.28	c core #1455
771.99/772.28	c core #1456
771.99/772.28	c core #1457
771.99/772.28	c core #1458
771.99/772.28	c core #1459
771.99/772.28	c core #1460
771.99/772.28	c core #1461
771.99/772.28	c core #1462
771.99/772.28	c core #1463
771.99/772.28	c core #1464
771.99/772.28	c core #1465
771.99/772.28	c core #1466
771.99/772.28	c core #1467
771.99/772.28	c core #1468
771.99/772.28	c core #1469
771.99/772.28	c core #1470
771.99/772.28	c core #1471
771.99/772.28	c core #1472
771.99/772.28	c core #1473
771.99/772.28	c core #1474
771.99/772.28	c core #1475
771.99/772.28	c core #1476
771.99/772.28	c core #1477
771.99/772.28	c core #1478
771.99/772.28	c core #1479
771.99/772.28	c core #1480
771.99/772.28	c core #1481
771.99/772.28	c core #1482
771.99/772.28	c core #1483
771.99/772.28	c core #1484
771.99/772.28	c core #1485
771.99/772.28	c core #1486
771.99/772.28	c core #1487
771.99/772.28	c core #1488
771.99/772.28	c core #1489
771.99/772.28	c core #1490
771.99/772.28	c core #1491
771.99/772.28	c core #1492
771.99/772.28	c core #1493
771.99/772.28	c core #1494
771.99/772.28	c core #1495
771.99/772.28	c core #1496
771.99/772.28	c core #1497
771.99/772.28	c core #1498
771.99/772.28	c core #1499
771.99/772.28	c core #1500
771.99/772.28	c core #1501
771.99/772.28	c core #1502
771.99/772.28	c core #1503
771.99/772.28	c core #1504
771.99/772.28	c core #1505
771.99/772.28	c core #1506
771.99/772.28	c core #1507
771.99/772.28	c core #1508
771.99/772.28	c core #1509
771.99/772.28	c core #1510
771.99/772.28	c core #1511
771.99/772.28	c core #1512
771.99/772.28	c core #1513
771.99/772.28	c core #1514
771.99/772.28	c core #1515
771.99/772.28	c core #1516
771.99/772.28	c core #1517
771.99/772.28	c core #1518
771.99/772.28	c core #1519
771.99/772.28	c core #1520
771.99/772.28	c core #1521
771.99/772.28	c core #1522
771.99/772.28	c core #1523
771.99/772.28	c core #1524
771.99/772.28	c core #1525
771.99/772.28	c core #1526
771.99/772.28	c core #1527
771.99/772.28	c core #1528
771.99/772.28	c core #1529
771.99/772.28	c core #1530
771.99/772.28	c core #1531
771.99/772.28	c core #1532
771.99/772.28	c core #1533
771.99/772.28	c core #1534
771.99/772.28	c core #1535
771.99/772.28	c core #1536
771.99/772.28	c core #1537
771.99/772.28	c core #1538
771.99/772.28	c core #1539
771.99/772.28	c core #1540
771.99/772.28	c core #1541
771.99/772.28	c core #1542
771.99/772.28	c core #1543
771.99/772.28	c core #1544
771.99/772.28	c core #1545
771.99/772.28	c core #1546
771.99/772.28	c core #1547
771.99/772.28	c core #1548
771.99/772.28	c core #1549
771.99/772.28	c core #1550
771.99/772.28	c core #1551
771.99/772.28	c core #1552
771.99/772.28	c core #1553
771.99/772.28	c core #1554
771.99/772.28	c core #1555
771.99/772.28	c core #1556
771.99/772.28	c core #1557
771.99/772.28	c core #1558
771.99/772.28	c core #1559
771.99/772.28	c core #1560
771.99/772.28	c core #1561
771.99/772.28	c core #1562
771.99/772.28	c core #1563
771.99/772.28	c core #1564
771.99/772.28	c core #1565
771.99/772.28	c core #1566
771.99/772.28	c core #1567
771.99/772.28	c core #1568
771.99/772.28	c core #1569
771.99/772.28	c core #1570
771.99/772.28	c core #1571
771.99/772.28	c core #1572
771.99/772.28	c core #1573
771.99/772.28	c core #1574
771.99/772.28	c core #1575
771.99/772.28	c core #1576
771.99/772.28	c core #1577
771.99/772.28	c core #1578
771.99/772.28	c core #1579
771.99/772.28	c core #1580
771.99/772.28	c core #1581
771.99/772.28	c core #1582
771.99/772.29	c core #1583
771.99/772.29	c core #1584
771.99/772.29	c core #1585
771.99/772.29	c core #1586
771.99/772.29	c core #1587
771.99/772.29	c core #1588
771.99/772.29	c core #1589
771.99/772.29	c core #1590
771.99/772.29	c core #1591
771.99/772.29	c core #1592
771.99/772.29	c core #1593
771.99/772.29	c core #1594
771.99/772.29	c core #1595
771.99/772.29	c core #1596
771.99/772.29	c core #1597
771.99/772.29	c core #1598
771.99/772.29	c core #1599
771.99/772.29	c core #1600
771.99/772.29	c core #1601
771.99/772.29	c core #1602
771.99/772.29	c core #1603
771.99/772.29	c core #1604
771.99/772.29	c core #1605
771.99/772.29	c core #1606
771.99/772.29	c core #1607
771.99/772.29	c core #1608
771.99/772.29	c core #1609
771.99/772.29	c core #1610
771.99/772.29	c core #1611
771.99/772.29	c core #1612
771.99/772.29	c core #1613
771.99/772.29	c core #1614
771.99/772.29	c core #1615
771.99/772.29	c core #1616
771.99/772.29	c core #1617
771.99/772.29	c core #1618
771.99/772.29	c core #1619
771.99/772.29	c core #1620
771.99/772.29	c core #1621
771.99/772.29	c core #1622
771.99/772.29	c core #1623
771.99/772.29	c core #1624
771.99/772.29	c core #1625
771.99/772.29	c core #1626
771.99/772.29	c core #1627
771.99/772.29	c core #1628
771.99/772.29	c core #1629
771.99/772.29	c core #1630
771.99/772.29	c core #1631
771.99/772.29	c core #1632
771.99/772.29	c core #1633
771.99/772.29	c core #1634
771.99/772.29	c core #1635
771.99/772.29	c core #1636
771.99/772.29	c core #1637
771.99/772.29	c core #1638
771.99/772.29	c core #1639
771.99/772.29	c core #1640
771.99/772.29	c core #1641
771.99/772.29	c core #1642
771.99/772.29	c core #1643
771.99/772.29	c core #1644
771.99/772.29	c core #1645
771.99/772.29	c core #1646
771.99/772.29	c core #1647
771.99/772.29	c core #1648
771.99/772.29	c core #1649
771.99/772.29	c core #1650
771.99/772.29	c core #1651
771.99/772.29	c core #1652
771.99/772.29	c core #1653
771.99/772.29	c core #1654
771.99/772.29	c core #1655
771.99/772.29	c core #1656
771.99/772.29	c core #1657
771.99/772.29	c core #1658
771.99/772.29	c core #1659
771.99/772.29	c core #1660
771.99/772.29	c core #1661
948.13/948.47	c core #1662
948.13/948.47	c core #1663
948.13/948.47	c core #1664
948.13/948.47	c core #1665
948.13/948.47	c core #1666
948.13/948.47	c core #1667
948.13/948.47	c core #1668
948.13/948.47	c core #1669
948.13/948.47	c core #1670
948.13/948.47	c core #1671
948.13/948.47	c core #1672
948.13/948.47	c core #1673
948.13/948.47	c core #1674
948.13/948.47	c core #1675
948.13/948.47	c core #1676
948.13/948.47	c core #1677
948.13/948.47	c core #1678
948.13/948.47	c core #1679
948.13/948.47	c core #1680
948.13/948.47	c core #1681
948.13/948.47	c core #1682
948.13/948.47	c core #1683
948.13/948.47	c core #1684
948.13/948.47	c core #1685
948.13/948.47	c core #1686
948.13/948.47	c core #1687
948.13/948.47	c core #1688
948.13/948.47	c core #1689
948.13/948.47	c core #1690
948.13/948.47	c core #1691
948.13/948.47	c core #1692
948.13/948.47	c core #1693
948.13/948.47	c core #1694
948.13/948.47	c core #1695
948.13/948.47	c core #1696
948.13/948.47	c core #1697
948.13/948.47	c core #1698
948.13/948.47	c core #1699
948.13/948.47	c core #1700
948.13/948.47	c core #1701
948.13/948.47	c core #1702
948.13/948.47	c core #1703
948.13/948.47	c core #1704
948.13/948.47	c core #1705
948.13/948.47	c core #1706
948.13/948.47	c core #1707
948.13/948.47	c core #1708
948.13/948.47	c core #1709
948.13/948.47	c core #1710
948.13/948.47	c core #1711
948.13/948.47	c core #1712
948.13/948.47	c core #1713
948.13/948.47	c core #1714
948.13/948.47	c core #1715
948.13/948.47	c core #1716
948.13/948.47	c core #1717
948.13/948.47	c core #1718
948.13/948.47	c core #1719
948.13/948.47	c core #1720
948.13/948.47	c core #1721
948.13/948.47	c core #1722
948.13/948.47	c core #1723
948.13/948.47	c core #1724
948.13/948.47	c core #1725
948.13/948.47	c core #1726
948.13/948.47	c core #1727
948.13/948.47	c core #1728
948.13/948.47	c core #1729
948.13/948.47	c core #1730
948.13/948.47	c core #1731
948.13/948.47	c core #1732
948.13/948.47	c core #1733
948.13/948.47	c core #1734
948.13/948.47	c core #1735
948.13/948.47	c core #1736
948.13/948.47	c core #1737
948.13/948.47	c core #1738
948.13/948.47	c core #1739
948.13/948.47	c core #1740
948.13/948.47	c core #1741
948.13/948.47	c core #1742
948.13/948.47	c core #1743
948.13/948.47	c core #1744
948.13/948.47	c core #1745
948.13/948.47	c core #1746
948.13/948.47	c core #1747
948.13/948.47	c core #1748
948.13/948.47	c core #1749
948.13/948.47	c core #1750
948.13/948.47	c core #1751
948.13/948.47	c core #1752
948.13/948.47	c core #1753
948.13/948.47	c core #1754
948.13/948.47	c core #1755
948.13/948.47	c core #1756
948.13/948.47	c core #1757
948.13/948.47	c core #1758
948.13/948.47	c core #1759
948.13/948.47	c core #1760
948.13/948.47	c core #1761
948.13/948.47	c core #1762
948.13/948.47	c core #1763
948.13/948.47	c core #1764
948.13/948.47	c core #1765
948.13/948.47	c core #1766
948.13/948.47	c core #1767
948.13/948.47	c core #1768
948.13/948.47	c core #1769
948.13/948.47	c core #1770
948.13/948.47	c core #1771
948.13/948.47	c core #1772
948.13/948.47	c core #1773
948.13/948.47	c core #1774
948.13/948.47	c core #1775
948.13/948.47	c core #1776
948.13/948.47	c core #1777
948.13/948.47	c core #1778
948.13/948.47	c core #1779
948.13/948.47	c core #1780
948.13/948.47	c core #1781
948.13/948.47	c core #1782
948.13/948.47	c core #1783
948.13/948.47	c core #1784
948.13/948.47	c core #1785
948.13/948.47	c core #1786
948.13/948.47	c core #1787
948.13/948.47	c core #1788
948.13/948.47	c core #1789
948.13/948.47	c core #1790
948.13/948.47	c core #1791
948.13/948.47	c core #1792
948.13/948.47	c core #1793
948.13/948.47	c core #1794
948.13/948.47	c core #1795
948.13/948.47	c core #1796
948.13/948.47	c core #1797
948.13/948.47	c core #1798
948.13/948.47	c core #1799
948.13/948.47	c core #1800
948.13/948.47	c core #1801
948.13/948.47	c core #1802
948.13/948.47	c core #1803
948.13/948.47	c core #1804
948.13/948.47	c core #1805
948.13/948.47	c core #1806
948.13/948.47	c core #1807
948.13/948.47	c core #1808
948.13/948.47	c core #1809
948.13/948.47	c core #1810
948.13/948.47	c core #1811
948.13/948.47	c core #1812
948.13/948.47	c core #1813
948.13/948.47	c core #1814
948.13/948.47	c core #1815
948.13/948.47	c core #1816
948.13/948.47	c core #1817
948.13/948.47	c core #1818
948.13/948.47	c core #1819
948.13/948.47	c core #1820
948.13/948.47	c core #1821
948.13/948.47	c core #1822
948.13/948.47	c core #1823
948.13/948.47	c core #1824
948.13/948.47	c core #1825
948.13/948.47	c core #1826
948.13/948.47	c core #1827
948.13/948.47	c core #1828
948.13/948.47	c core #1829
948.13/948.47	c core #1830
948.13/948.47	c core #1831
948.13/948.47	c core #1832
948.13/948.47	c core #1833
948.13/948.47	c core #1834
948.13/948.47	c core #1835
948.13/948.47	c core #1836
948.13/948.47	c core #1837
948.13/948.47	c core #1838
948.13/948.47	c core #1839
948.13/948.47	c core #1840
948.13/948.47	c core #1841
948.13/948.47	c core #1842
948.13/948.47	c core #1843
948.13/948.47	c core #1844
948.13/948.47	c core #1845
948.13/948.47	c core #1846
948.13/948.47	c core #1847
948.13/948.47	c core #1848
948.13/948.47	c core #1849
948.13/948.47	c core #1850
948.13/948.47	c core #1851
948.13/948.47	c core #1852
948.13/948.47	c core #1853
948.13/948.47	c core #1854
948.13/948.47	c core #1855
948.13/948.47	c core #1856
948.13/948.47	c core #1857
948.13/948.47	c core #1858
948.13/948.47	c core #1859
948.13/948.47	c core #1860
948.13/948.47	c core #1861
948.13/948.47	c core #1862
948.13/948.47	c core #1863
948.13/948.47	c core #1864
948.13/948.47	c core #1865
948.13/948.47	c core #1866
948.13/948.47	c core #1867
948.13/948.47	c core #1868
948.13/948.47	c core #1869
948.13/948.47	c core #1870
948.13/948.47	c core #1871
948.13/948.47	c core #1872
948.13/948.47	c core #1873
948.13/948.47	c core #1874
948.13/948.47	c core #1875
948.13/948.47	c core #1876
948.13/948.47	c core #1877
948.13/948.47	c core #1878
948.13/948.47	c core #1879
948.13/948.47	c core #1880
948.13/948.47	c core #1881
948.13/948.47	c core #1882
948.13/948.47	c core #1883
948.13/948.47	c core #1884
948.13/948.47	c core #1885
948.13/948.47	c core #1886
948.13/948.47	c core #1887
948.13/948.47	c core #1888
948.13/948.47	c core #1889
948.13/948.47	c core #1890
948.13/948.47	c core #1891
948.13/948.47	c core #1892
948.13/948.47	c core #1893
948.13/948.47	c core #1894
948.13/948.47	c core #1895
948.13/948.47	c core #1896
948.13/948.47	c core #1897
948.13/948.47	c core #1898
948.13/948.47	c core #1899
948.13/948.47	c core #1900
948.13/948.47	c core #1901
948.13/948.47	c core #1902
948.13/948.47	c core #1903
948.13/948.47	c core #1904
948.13/948.47	c core #1905
948.13/948.47	c core #1906
948.13/948.47	c core #1907
948.13/948.47	c core #1908
948.13/948.47	c core #1909
948.13/948.47	c core #1910
948.13/948.47	c core #1911
948.13/948.47	c core #1912
948.13/948.47	c core #1913
948.13/948.47	c core #1914
948.13/948.47	c core #1915
948.13/948.47	c core #1916
948.13/948.47	c core #1917
948.13/948.47	c core #1918
948.13/948.47	c core #1919
948.13/948.47	c core #1920
948.13/948.47	c core #1921
948.13/948.47	c core #1922
948.13/948.47	c core #1923
948.13/948.47	c core #1924
948.13/948.47	c core #1925
948.13/948.47	c core #1926
948.13/948.47	c core #1927
948.13/948.47	c core #1928
948.13/948.47	c core #1929
948.13/948.47	c core #1930
948.13/948.47	c core #1931
948.13/948.47	c core #1932
948.13/948.47	c core #1933
948.13/948.47	c core #1934
948.13/948.47	c core #1935
948.13/948.47	c core #1936
948.13/948.47	c core #1937
948.13/948.47	c core #1938
948.13/948.47	c core #1939
948.13/948.47	c core #1940
948.13/948.47	c core #1941
948.13/948.47	c core #1942
948.13/948.47	c core #1943
948.13/948.47	c core #1944
948.13/948.47	c core #1945
948.13/948.47	c core #1946
948.13/948.47	c core #1947
948.13/948.47	c core #1948
948.13/948.47	c core #1949
948.13/948.47	c core #1950
948.13/948.47	c core #1951
948.13/948.47	c core #1952
948.13/948.47	c core #1953
948.13/948.47	c core #1954
948.13/948.47	c core #1955
948.13/948.47	c core #1956
948.13/948.47	c core #1957
948.13/948.47	c core #1958
948.13/948.47	c core #1959
948.13/948.47	c core #1960
948.13/948.47	c core #1961
948.13/948.47	c core #1962
948.13/948.47	c core #1963
948.13/948.47	c core #1964
948.13/948.47	c core #1965
948.13/948.47	c core #1966
948.13/948.47	c core #1967
948.13/948.47	c core #1968
948.13/948.47	c core #1969
948.13/948.47	c core #1970
948.13/948.47	c core #1971
948.13/948.47	c core #1972
948.13/948.47	c core #1973
948.13/948.47	c core #1974
948.13/948.47	c core #1975
948.13/948.47	c core #1976
1142.89/1143.22	c core #1977
1142.89/1143.22	c core #1978
1142.89/1143.22	c core #1979
1142.89/1143.22	c core #1980
1142.89/1143.22	c core #1981
1142.89/1143.22	c core #1982
1142.89/1143.22	c core #1983
1142.89/1143.22	c core #1984
1142.89/1143.22	c core #1985
1142.89/1143.22	c core #1986
1142.89/1143.22	c core #1987
1142.89/1143.22	c core #1988
1142.89/1143.22	c core #1989
1142.89/1143.22	c core #1990
1142.89/1143.22	c core #1991
1142.89/1143.22	c core #1992
1142.89/1143.22	c core #1993
1142.89/1143.22	c core #1994
1142.89/1143.22	c core #1995
1142.89/1143.22	c core #1996
1142.89/1143.22	c core #1997
1142.89/1143.22	c core #1998
1142.89/1143.22	c core #1999
1142.89/1143.22	c core #2000
1142.89/1143.22	c core #2001
1142.89/1143.22	c core #2002
1142.89/1143.22	c core #2003
1142.89/1143.22	c core #2004
1142.89/1143.22	c core #2005
1142.89/1143.22	c core #2006
1142.89/1143.22	c core #2007
1142.89/1143.22	c core #2008
1142.89/1143.22	c core #2009
1142.89/1143.22	c core #2010
1142.89/1143.22	c core #2011
1142.89/1143.22	c core #2012
1142.89/1143.22	c core #2013
1142.89/1143.22	c core #2014
1142.89/1143.22	c core #2015
1142.89/1143.22	c core #2016
1142.89/1143.22	c core #2017
1142.89/1143.22	c core #2018
1142.89/1143.22	c core #2019
1142.89/1143.22	c core #2020
1142.89/1143.22	c core #2021
1142.89/1143.22	c core #2022
1142.89/1143.22	c core #2023
1142.89/1143.22	c core #2024
1142.89/1143.22	c core #2025
1142.89/1143.22	c core #2026
1142.89/1143.22	c core #2027
1142.89/1143.22	c core #2028
1142.89/1143.22	c core #2029
1142.89/1143.22	c core #2030
1142.89/1143.22	c core #2031
1142.89/1143.22	c core #2032
1142.89/1143.22	c core #2033
1142.89/1143.22	c core #2034
1142.89/1143.22	c core #2035
1142.89/1143.22	c core #2036
1142.89/1143.22	c core #2037
1142.89/1143.22	c core #2038
1142.89/1143.22	c core #2039
1142.89/1143.22	c core #2040
1142.89/1143.22	c core #2041
1142.89/1143.22	c core #2042
1142.89/1143.22	c core #2043
1142.89/1143.22	c core #2044
1142.89/1143.22	c core #2045
1142.89/1143.22	c core #2046
1142.89/1143.22	c core #2047
1142.89/1143.22	c core #2048
1142.89/1143.22	c core #2049
1142.89/1143.22	c core #2050
1142.89/1143.22	c core #2051
1142.89/1143.22	c core #2052
1142.89/1143.22	c core #2053
1142.89/1143.22	c core #2054
1142.89/1143.22	c core #2055
1142.89/1143.22	c core #2056
1142.89/1143.22	c core #2057
1142.89/1143.22	c core #2058
1142.89/1143.22	c core #2059
1142.89/1143.22	c core #2060
1142.89/1143.22	c core #2061
1142.89/1143.22	c core #2062
1142.89/1143.22	c core #2063
1142.89/1143.22	c core #2064
1142.89/1143.22	c core #2065
1142.89/1143.22	c core #2066
1142.89/1143.22	c core #2067
1142.89/1143.22	c core #2068
1142.89/1143.22	c core #2069
1142.89/1143.22	c core #2070
1142.89/1143.22	c core #2071
1142.89/1143.22	c core #2072
1142.89/1143.22	c core #2073
1142.89/1143.22	c core #2074
1142.89/1143.22	c core #2075
1142.89/1143.22	c core #2076
1142.89/1143.22	c core #2077
1142.89/1143.22	c core #2078
1142.89/1143.22	c core #2079
1142.89/1143.22	c core #2080
1142.89/1143.22	c core #2081
1142.89/1143.22	c core #2082
1142.89/1143.22	c core #2083
1142.89/1143.22	c core #2084
1142.89/1143.22	c core #2085
1142.89/1143.22	c core #2086
1142.89/1143.22	c core #2087
1142.89/1143.22	c core #2088
1142.89/1143.22	c core #2089
1142.89/1143.22	c core #2090
1142.89/1143.22	c core #2091
1142.89/1143.22	c core #2092
1142.89/1143.22	c core #2093
1142.89/1143.22	c core #2094
1142.89/1143.22	c core #2095
1142.89/1143.22	c core #2096
1142.89/1143.22	c core #2097
1142.89/1143.22	c core #2098
1142.89/1143.22	c core #2099
1142.89/1143.22	c core #2100
1142.89/1143.22	c core #2101
1142.89/1143.22	c core #2102
1142.89/1143.22	c core #2103
1142.89/1143.22	c core #2104
1142.89/1143.22	c core #2105
1142.89/1143.22	c core #2106
1142.89/1143.22	c core #2107
1142.89/1143.22	c core #2108
1142.89/1143.22	c core #2109
1142.89/1143.22	c core #2110
1142.89/1143.22	c core #2111
1142.89/1143.22	c core #2112
1142.89/1143.22	c core #2113
1142.89/1143.22	c core #2114
1142.89/1143.22	c core #2115
1142.89/1143.22	c core #2116
1142.89/1143.22	c core #2117
1142.89/1143.22	c core #2118
1142.89/1143.22	c core #2119
1142.89/1143.22	c core #2120
1142.89/1143.22	c core #2121
1142.89/1143.22	c core #2122
1142.89/1143.22	c core #2123
1142.89/1143.22	c core #2124
1142.89/1143.22	c core #2125
1142.89/1143.22	c core #2126
1142.89/1143.22	c core #2127
1142.89/1143.22	c core #2128
1142.89/1143.22	c core #2129
1142.89/1143.22	c core #2130
1142.89/1143.22	c core #2131
1142.89/1143.22	c core #2132
1142.89/1143.22	c core #2133
1142.89/1143.22	c core #2134
1142.89/1143.22	c core #2135
1142.89/1143.22	c core #2136
1142.89/1143.22	c core #2137
1142.89/1143.22	c core #2138
1142.89/1143.22	c core #2139
1142.89/1143.22	c core #2140
1142.89/1143.22	c core #2141
1142.89/1143.22	c core #2142
1142.89/1143.22	c core #2143
1142.89/1143.22	c core #2144
1142.89/1143.22	c core #2145
1142.89/1143.22	c core #2146
1142.89/1143.22	c core #2147
1142.89/1143.22	c core #2148
1142.89/1143.22	c core #2149
1142.89/1143.22	c core #2150
1142.89/1143.22	c core #2151
1142.89/1143.22	c core #2152
1142.89/1143.22	c core #2153
1142.89/1143.22	c core #2154
1142.89/1143.22	c core #2155
1142.89/1143.22	c core #2156
1142.89/1143.22	c core #2157
1142.89/1143.22	c core #2158
1142.89/1143.22	c core #2159
1142.89/1143.22	c core #2160
1142.89/1143.22	c core #2161
1142.89/1143.22	c core #2162
1142.89/1143.22	c core #2163
1142.89/1143.22	c core #2164
1142.89/1143.22	c core #2165
1142.89/1143.22	c core #2166
1142.89/1143.22	c core #2167
1142.89/1143.22	c core #2168
1142.89/1143.22	c core #2169
1142.89/1143.22	c core #2170
1142.89/1143.22	c core #2171
1142.89/1143.22	c core #2172
1142.89/1143.22	c core #2173
1142.89/1143.22	c core #2174
1142.89/1143.22	c core #2175
1142.89/1143.22	c core #2176
1142.89/1143.22	c core #2177
1142.89/1143.22	c core #2178
1142.89/1143.22	c core #2179
1142.89/1143.22	c core #2180
1142.89/1143.22	c core #2181
1142.89/1143.22	c core #2182
1142.89/1143.22	c core #2183
1142.89/1143.22	c core #2184
1142.89/1143.22	c core #2185
1142.89/1143.22	c core #2186
1142.89/1143.22	c core #2187
1142.89/1143.22	c core #2188
1142.89/1143.22	c core #2189
1142.89/1143.22	c core #2190
1142.89/1143.22	c core #2191
1142.89/1143.22	c core #2192
1142.89/1143.22	c core #2193
1142.89/1143.22	c core #2194
1142.89/1143.22	c core #2195
1142.89/1143.22	c core #2196
1142.89/1143.22	c core #2197
1142.89/1143.22	c core #2198
1142.89/1143.22	c core #2199
1142.89/1143.22	c core #2200
1142.89/1143.22	c core #2201
1142.89/1143.22	c core #2202
1142.89/1143.22	c core #2203
1142.89/1143.22	c core #2204
1142.89/1143.22	c core #2205
1142.89/1143.22	c core #2206
1142.89/1143.22	c core #2207
1142.89/1143.22	c core #2208
1142.89/1143.22	c core #2209
1142.89/1143.22	c core #2210
1142.89/1143.22	c core #2211
1142.89/1143.22	c core #2212
1142.89/1143.22	c core #2213
1142.89/1143.22	c core #2214
1142.89/1143.22	c core #2215
1142.89/1143.22	c core #2216
1142.89/1143.22	c core #2217
1142.89/1143.22	c core #2218
1142.89/1143.22	c core #2219
1142.89/1143.22	c core #2220
1142.89/1143.22	c core #2221
1142.89/1143.22	c core #2222
1142.89/1143.22	c core #2223
1142.89/1143.22	c core #2224
1142.89/1143.22	c core #2225
1142.89/1143.22	c core #2226
1142.89/1143.22	c core #2227
1142.89/1143.22	c core #2228
1142.89/1143.22	c core #2229
1142.89/1143.22	c core #2230
1142.89/1143.22	c core #2231
1142.89/1143.22	c core #2232
1142.89/1143.22	c core #2233
1142.89/1143.22	c core #2234
1142.89/1143.22	c core #2235
1142.89/1143.22	c core #2236
1142.89/1143.22	c core #2237
1142.89/1143.22	c core #2238
1142.89/1143.22	c core #2239
1142.89/1143.22	c core #2240
1142.89/1143.22	c core #2241
1142.89/1143.22	c core #2242
1142.89/1143.22	c core #2243
1142.89/1143.22	c core #2244
1142.89/1143.22	c core #2245
1142.89/1143.22	c core #2246
1142.89/1143.22	c core #2247
1142.89/1143.22	c core #2248
1142.89/1143.22	c core #2249
1142.89/1143.22	c core #2250
1142.89/1143.22	c core #2251
1142.89/1143.22	c core #2252
1142.89/1143.22	c core #2253
1142.89/1143.22	c core #2254
1142.89/1143.22	c core #2255
1142.89/1143.22	c core #2256
1142.89/1143.22	c core #2257
1142.89/1143.22	c core #2258
1142.89/1143.22	c core #2259
1142.89/1143.22	c core #2260
1142.89/1143.22	c core #2261
1142.89/1143.22	c core #2262
1142.89/1143.22	c core #2263
1142.89/1143.22	c core #2264
1142.89/1143.22	c core #2265
1142.89/1143.22	c core #2266
1142.89/1143.22	c core #2267
1142.89/1143.22	c core #2268
1142.89/1143.22	c core #2269
1142.89/1143.22	c core #2270
1142.89/1143.22	c core #2271
1142.89/1143.22	c core #2272
1142.89/1143.22	c core #2273
1142.89/1143.22	c core #2274
1142.89/1143.22	c core #2275
1142.89/1143.22	c core #2276
1142.89/1143.22	c core #2277
1142.89/1143.22	c core #2278
1142.89/1143.22	c core #2279
1142.89/1143.22	c core #2280
1142.89/1143.22	c core #2281
1142.89/1143.22	c core #2282
1142.89/1143.22	c core #2283
1142.89/1143.22	c core #2284
1142.89/1143.22	c core #2285
1142.89/1143.22	c core #2286
1142.89/1143.22	c core #2287
1142.89/1143.22	c core #2288
1142.89/1143.22	c core #2289
1142.89/1143.22	c core #2290
1142.89/1143.22	c core #2291
1345.53/1345.92	c core #2292
1345.53/1345.92	c core #2293
1345.53/1345.92	c core #2294
1345.53/1345.92	c core #2295
1345.53/1345.92	c core #2296
1345.53/1345.92	c core #2297
1345.53/1345.92	c core #2298
1345.53/1345.92	c core #2299
1345.53/1345.92	c core #2300
1345.53/1345.92	c core #2301
1345.53/1345.92	c core #2302
1345.53/1345.92	c core #2303
1345.53/1345.92	c core #2304
1345.53/1345.92	c core #2305
1345.53/1345.92	c core #2306
1345.53/1345.92	c core #2307
1345.53/1345.92	c core #2308
1345.53/1345.92	c core #2309
1345.53/1345.92	c core #2310
1345.53/1345.92	c core #2311
1345.53/1345.92	c core #2312
1345.53/1345.92	c core #2313
1345.53/1345.92	c core #2314
1345.53/1345.92	c core #2315
1345.53/1345.92	c core #2316
1345.53/1345.92	c core #2317
1345.53/1345.92	c core #2318
1345.53/1345.92	c core #2319
1345.53/1345.92	c core #2320
1345.53/1345.92	c core #2321
1345.53/1345.92	c core #2322
1345.53/1345.92	c core #2323
1345.53/1345.92	c core #2324
1345.53/1345.92	c core #2325
1345.53/1345.92	c core #2326
1345.53/1345.92	c core #2327
1345.53/1345.92	c core #2328
1345.53/1345.92	c core #2329
1345.53/1345.92	c core #2330
1345.53/1345.92	c core #2331
1345.53/1345.92	c core #2332
1345.53/1345.92	c core #2333
1345.53/1345.92	c core #2334
1345.53/1345.92	c core #2335
1345.53/1345.92	c core #2336
1345.53/1345.92	c core #2337
1345.53/1345.92	c core #2338
1345.53/1345.92	c core #2339
1345.53/1345.92	c core #2340
1345.53/1345.92	c core #2341
1345.53/1345.92	c core #2342
1345.53/1345.92	c core #2343
1345.53/1345.92	c core #2344
1345.53/1345.92	c core #2345
1345.53/1345.92	c core #2346
1345.53/1345.92	c core #2347
1345.53/1345.92	c core #2348
1345.53/1345.92	c core #2349
1345.53/1345.92	c core #2350
1345.53/1345.92	c core #2351
1345.53/1345.92	c core #2352
1345.53/1345.92	c core #2353
1345.53/1345.92	c core #2354
1345.53/1345.92	c core #2355
1345.53/1345.92	c core #2356
1345.53/1345.92	c core #2357
1345.53/1345.92	c core #2358
1345.53/1345.92	c core #2359
1345.53/1345.92	c core #2360
1345.53/1345.92	c core #2361
1345.53/1345.92	c core #2362
1345.53/1345.92	c core #2363
1345.53/1345.92	c core #2364
1345.53/1345.92	c core #2365
1345.53/1345.92	c core #2366
1345.53/1345.92	c core #2367
1345.53/1345.92	c core #2368
1345.53/1345.92	c core #2369
1345.53/1345.92	c core #2370
1345.53/1345.92	c core #2371
1345.53/1345.92	c core #2372
1345.53/1345.92	c core #2373
1345.53/1345.92	c core #2374
1345.53/1345.92	c core #2375
1345.53/1345.92	c core #2376
1345.53/1345.92	c core #2377
1345.53/1345.92	c core #2378
1345.53/1345.92	c core #2379
1345.53/1345.92	c core #2380
1345.53/1345.92	c core #2381
1345.53/1345.92	c core #2382
1345.53/1345.92	c core #2383
1345.53/1345.92	c core #2384
1345.53/1345.92	c core #2385
1345.53/1345.92	c core #2386
1345.53/1345.92	c core #2387
1345.53/1345.92	c core #2388
1345.53/1345.92	c core #2389
1345.53/1345.92	c core #2390
1345.53/1345.92	c core #2391
1345.53/1345.92	c core #2392
1345.53/1345.92	c core #2393
1345.53/1345.92	c core #2394
1345.53/1345.92	c core #2395
1345.53/1345.92	c core #2396
1345.53/1345.92	c core #2397
1345.53/1345.92	c core #2398
1345.53/1345.92	c core #2399
1345.53/1345.92	c core #2400
1345.53/1345.92	c core #2401
1345.53/1345.92	c core #2402
1345.53/1345.92	c core #2403
1345.53/1345.92	c core #2404
1345.53/1345.92	c core #2405
1345.53/1345.92	c core #2406
1345.53/1345.92	c core #2407
1345.53/1345.92	c core #2408
1345.53/1345.92	c core #2409
1345.53/1345.92	c core #2410
1345.53/1345.92	c core #2411
1345.53/1345.92	c core #2412
1345.53/1345.92	c core #2413
1345.53/1345.92	c core #2414
1345.53/1345.92	c core #2415
1345.53/1345.92	c core #2416
1345.53/1345.92	c core #2417
1345.53/1345.92	c core #2418
1345.53/1345.92	c core #2419
1345.53/1345.92	c core #2420
1345.53/1345.92	c core #2421
1345.53/1345.92	c core #2422
1345.53/1345.92	c core #2423
1345.53/1345.92	c core #2424
1345.53/1345.92	c core #2425
1345.53/1345.92	c core #2426
1345.53/1345.92	c core #2427
1345.53/1345.92	c core #2428
1345.53/1345.92	c core #2429
1345.53/1345.92	c core #2430
1345.53/1345.92	c core #2431
1345.53/1345.92	c core #2432
1345.53/1345.92	c core #2433
1345.53/1345.92	c core #2434
1345.53/1345.92	c core #2435
1345.53/1345.92	c core #2436
1345.53/1345.92	c core #2437
1345.53/1345.92	c core #2438
1345.53/1345.92	c core #2439
1345.53/1345.92	c core #2440
1345.53/1345.92	c core #2441
1345.53/1345.92	c core #2442
1345.53/1345.92	c core #2443
1345.53/1345.92	c core #2444
1345.53/1345.92	c core #2445
1345.53/1345.92	c core #2446
1345.53/1345.92	c core #2447
1345.53/1345.92	c core #2448
1345.53/1345.92	c core #2449
1345.53/1345.92	c core #2450
1345.53/1345.92	c core #2451
1345.53/1345.92	c core #2452
1345.53/1345.92	c core #2453
1345.53/1345.92	c core #2454
1345.53/1345.92	c core #2455
1345.53/1345.92	c core #2456
1345.53/1345.92	c core #2457
1345.53/1345.92	c core #2458
1345.53/1345.92	c core #2459
1345.53/1345.92	c core #2460
1345.53/1345.92	c core #2461
1345.53/1345.92	c core #2462
1345.53/1345.92	c core #2463
1345.53/1345.92	c core #2464
1345.53/1345.92	c core #2465
1345.53/1345.92	c core #2466
1345.53/1345.92	c core #2467
1345.53/1345.92	c core #2468
1345.53/1345.92	c core #2469
1345.53/1345.92	c core #2470
1345.53/1345.92	c core #2471
1345.53/1345.92	c core #2472
1345.53/1345.92	c core #2473
1345.53/1345.92	c core #2474
1345.53/1345.92	c core #2475
1345.53/1345.92	c core #2476
1345.53/1345.92	c core #2477
1345.53/1345.92	c core #2478
1345.53/1345.92	c core #2479
1345.53/1345.92	c core #2480
1345.53/1345.92	c core #2481
1345.53/1345.92	c core #2482
1345.53/1345.92	c core #2483
1345.53/1345.92	c core #2484
1345.53/1345.92	c core #2485
1345.53/1345.92	c core #2486
1345.53/1345.92	c core #2487
1345.53/1345.92	c core #2488
1345.53/1345.92	c core #2489
1345.53/1345.92	c core #2490
1345.53/1345.92	c core #2491
1345.53/1345.92	c core #2492
1345.53/1345.92	c core #2493
1345.53/1345.92	c core #2494
1345.53/1345.92	c core #2495
1345.53/1345.92	c core #2496
1345.53/1345.92	c core #2497
1345.53/1345.92	c core #2498
1345.53/1345.92	c core #2499
1345.53/1345.92	c core #2500
1345.53/1345.92	c core #2501
1345.53/1345.92	c core #2502
1345.53/1345.92	c core #2503
1345.53/1345.92	c core #2504
1345.53/1345.92	c core #2505
1345.53/1345.92	c core #2506
1345.53/1345.92	c core #2507
1345.53/1345.92	c core #2508
1345.53/1345.92	c core #2509
1345.53/1345.92	c core #2510
1345.53/1345.92	c core #2511
1345.53/1345.92	c core #2512
1345.53/1345.92	c core #2513
1345.53/1345.92	c core #2514
1345.53/1345.92	c core #2515
1345.53/1345.92	c core #2516
1345.53/1345.92	c core #2517
1345.53/1345.92	c core #2518
1345.53/1345.92	c core #2519
1345.53/1345.92	c core #2520
1345.53/1345.92	c core #2521
1345.53/1345.92	c core #2522
1345.53/1345.92	c core #2523
1345.53/1345.92	c core #2524
1345.53/1345.92	c core #2525
1345.53/1345.92	c core #2526
1345.53/1345.92	c core #2527
1345.53/1345.92	c core #2528
1345.53/1345.92	c core #2529
1345.53/1345.92	c core #2530
1345.53/1345.92	c core #2531
1345.53/1345.92	c core #2532
1345.53/1345.92	c core #2533
1345.53/1345.92	c core #2534
1345.53/1345.92	c core #2535
1345.53/1345.92	c core #2536
1345.53/1345.92	c core #2537
1345.53/1345.92	c core #2538
1345.53/1345.92	c core #2539
1345.53/1345.92	c core #2540
1345.53/1345.92	c core #2541
1345.53/1345.92	c core #2542
1345.53/1345.92	c core #2543
1345.53/1345.92	c core #2544
1345.53/1345.92	c core #2545
1345.53/1345.92	c core #2546
1345.53/1345.92	c core #2547
1345.53/1345.92	c core #2548
1345.53/1345.92	c core #2549
1345.53/1345.92	c core #2550
1345.53/1345.92	c core #2551
1345.53/1345.92	c core #2552
1345.53/1345.92	c core #2553
1345.53/1345.92	c core #2554
1345.53/1345.92	c core #2555
1345.53/1345.92	c core #2556
1345.53/1345.92	c core #2557
1345.53/1345.92	c core #2558
1345.53/1345.92	c core #2559
1345.53/1345.92	c core #2560
1345.53/1345.92	c core #2561
1345.53/1345.92	c core #2562
1345.53/1345.92	c core #2563
1345.53/1345.92	c core #2564
1345.53/1345.92	c core #2565
1345.53/1345.92	c core #2566
1345.53/1345.92	c core #2567
1345.53/1345.92	c core #2568
1345.53/1345.92	c core #2569
1345.53/1345.92	c core #2570
1345.53/1345.92	c core #2571
1345.53/1345.92	c core #2572
1345.53/1345.92	c core #2573
1345.53/1345.92	c core #2574
1345.53/1345.92	c core #2575
1345.53/1345.92	c core #2576
1345.53/1345.92	c core #2577
1345.53/1345.92	c core #2578
1345.53/1345.92	c core #2579
1345.53/1345.92	c core #2580
1345.53/1345.92	c core #2581
1345.53/1345.92	c core #2582
1345.53/1345.92	c core #2583
1345.53/1345.92	c core #2584
1345.53/1345.92	c core #2585
1345.53/1345.92	c core #2586
1345.53/1345.92	c core #2587
1345.53/1345.92	c core #2588
1345.53/1345.92	c core #2589
1345.53/1345.92	c core #2590
1345.53/1345.92	c core #2591
1345.53/1345.92	c core #2592
1345.53/1345.92	c core #2593
1345.53/1345.92	c core #2594
1345.53/1345.92	c core #2595
1345.53/1345.92	c core #2596
1345.53/1345.92	c core #2597
1345.53/1345.92	c core #2598
1345.53/1345.92	c core #2599
1345.53/1345.92	c core #2600
1345.53/1345.92	c core #2601
1345.53/1345.92	c core #2602
1345.53/1345.92	c core #2603
1345.53/1345.92	c core #2604
1345.53/1345.92	c core #2605
1345.53/1345.92	c core #2606
1554.27/1554.76	c core #2607
1554.27/1554.76	c core #2608
1554.27/1554.76	c core #2609
1554.27/1554.76	c core #2610
1554.27/1554.76	c core #2611
1554.27/1554.76	c core #2612
1554.27/1554.76	c core #2613
1554.27/1554.76	c core #2614
1554.27/1554.76	c core #2615
1554.27/1554.76	c core #2616
1554.27/1554.76	c core #2617
1554.27/1554.76	c core #2618
1554.27/1554.76	c core #2619
1554.27/1554.76	c core #2620
1554.27/1554.76	c core #2621
1554.27/1554.76	c core #2622
1554.27/1554.76	c core #2623
1554.27/1554.76	c core #2624
1554.27/1554.76	c core #2625
1554.27/1554.76	c core #2626
1554.27/1554.76	c core #2627
1554.27/1554.76	c core #2628
1554.27/1554.76	c core #2629
1554.27/1554.76	c core #2630
1554.27/1554.76	c core #2631
1554.27/1554.76	c core #2632
1554.27/1554.76	c core #2633
1554.27/1554.76	c core #2634
1554.27/1554.76	c core #2635
1554.27/1554.76	c core #2636
1554.27/1554.76	c core #2637
1554.27/1554.76	c core #2638
1554.27/1554.76	c core #2639
1554.27/1554.76	c core #2640
1554.27/1554.76	c core #2641
1554.27/1554.76	c core #2642
1554.27/1554.76	c core #2643
1554.27/1554.76	c core #2644
1554.27/1554.76	c core #2645
1554.27/1554.76	c core #2646
1554.27/1554.76	c core #2647
1554.27/1554.76	c core #2648
1554.27/1554.76	c core #2649
1554.27/1554.76	c core #2650
1554.27/1554.76	c core #2651
1554.27/1554.76	c core #2652
1554.27/1554.76	c core #2653
1554.27/1554.76	c core #2654
1554.27/1554.76	c core #2655
1554.27/1554.76	c core #2656
1554.27/1554.76	c core #2657
1554.27/1554.76	c core #2658
1554.27/1554.76	c core #2659
1554.27/1554.76	c core #2660
1554.27/1554.76	c core #2661
1554.27/1554.76	c core #2662
1554.27/1554.76	c core #2663
1554.27/1554.76	c core #2664
1554.27/1554.76	c core #2665
1554.27/1554.76	c core #2666
1554.27/1554.76	c core #2667
1554.27/1554.76	c core #2668
1554.27/1554.76	c core #2669
1554.27/1554.76	c core #2670
1554.27/1554.76	c core #2671
1554.27/1554.76	c core #2672
1554.27/1554.76	c core #2673
1554.27/1554.76	c core #2674
1554.27/1554.76	c core #2675
1554.27/1554.76	c core #2676
1554.27/1554.76	c core #2677
1554.27/1554.76	c core #2678
1554.27/1554.76	c core #2679
1554.27/1554.76	c core #2680
1554.27/1554.76	c core #2681
1554.27/1554.76	c core #2682
1554.27/1554.76	c core #2683
1554.27/1554.76	c core #2684
1554.27/1554.76	c core #2685
1554.27/1554.76	c core #2686
1554.27/1554.76	c core #2687
1554.27/1554.76	c core #2688
1554.27/1554.76	c core #2689
1554.27/1554.76	c core #2690
1554.27/1554.76	c core #2691
1554.27/1554.76	c core #2692
1554.27/1554.76	c core #2693
1554.27/1554.76	c core #2694
1554.27/1554.76	c core #2695
1554.27/1554.76	c core #2696
1554.27/1554.76	c core #2697
1554.27/1554.76	c core #2698
1554.27/1554.76	c core #2699
1554.27/1554.76	c core #2700
1554.27/1554.76	c core #2701
1554.27/1554.76	c core #2702
1554.27/1554.76	c core #2703
1554.27/1554.76	c core #2704
1554.27/1554.76	c core #2705
1554.27/1554.76	c core #2706
1554.27/1554.76	c core #2707
1554.27/1554.76	c core #2708
1554.27/1554.76	c core #2709
1554.27/1554.76	c core #2710
1554.27/1554.76	c core #2711
1554.27/1554.76	c core #2712
1554.27/1554.76	c core #2713
1554.27/1554.76	c core #2714
1554.27/1554.76	c core #2715
1554.27/1554.76	c core #2716
1554.27/1554.76	c core #2717
1554.27/1554.76	c core #2718
1554.27/1554.76	c core #2719
1554.27/1554.76	c core #2720
1554.27/1554.76	c core #2721
1554.27/1554.76	c core #2722
1554.27/1554.76	c core #2723
1554.27/1554.76	c core #2724
1554.27/1554.76	c core #2725
1554.27/1554.76	c core #2726
1554.27/1554.76	c core #2727
1554.27/1554.76	c core #2728
1554.27/1554.76	c core #2729
1554.27/1554.76	c core #2730
1554.27/1554.76	c core #2731
1554.27/1554.76	c core #2732
1554.27/1554.76	c core #2733
1554.27/1554.76	c core #2734
1554.27/1554.76	c core #2735
1554.27/1554.76	c core #2736
1554.27/1554.76	c core #2737
1554.27/1554.76	c core #2738
1554.27/1554.76	c core #2739
1554.27/1554.76	c core #2740
1554.27/1554.76	c core #2741
1554.27/1554.76	c core #2742
1554.27/1554.76	c core #2743
1554.27/1554.76	c core #2744
1554.27/1554.76	c core #2745
1554.27/1554.76	c core #2746
1554.27/1554.76	c core #2747
1554.27/1554.76	c core #2748
1554.27/1554.76	c core #2749
1554.27/1554.76	c core #2750
1554.27/1554.76	c core #2751
1554.27/1554.76	c core #2752
1554.27/1554.76	c core #2753
1554.27/1554.76	c core #2754
1554.27/1554.76	c core #2755
1554.27/1554.76	c core #2756
1554.27/1554.76	c core #2757
1554.27/1554.76	c core #2758
1554.27/1554.76	c core #2759
1554.27/1554.76	c core #2760
1554.27/1554.76	c core #2761
1554.27/1554.76	c core #2762
1554.27/1554.76	c core #2763
1554.27/1554.76	c core #2764
1554.27/1554.76	c core #2765
1554.27/1554.76	c core #2766
1554.27/1554.76	c core #2767
1554.27/1554.76	c core #2768
1554.27/1554.76	c core #2769
1554.27/1554.76	c core #2770
1554.27/1554.76	c core #2771
1554.27/1554.76	c core #2772
1554.27/1554.76	c core #2773
1554.27/1554.76	c core #2774
1554.27/1554.76	c core #2775
1554.27/1554.76	c core #2776
1554.27/1554.76	c core #2777
1554.27/1554.76	c core #2778
1554.27/1554.76	c core #2779
1554.27/1554.76	c core #2780
1554.27/1554.76	c core #2781
1554.27/1554.76	c core #2782
1554.27/1554.76	c core #2783
1554.27/1554.76	c core #2784
1554.27/1554.76	c core #2785
1554.27/1554.76	c core #2786
1554.27/1554.76	c core #2787
1554.27/1554.76	c core #2788
1554.27/1554.76	c core #2789
1554.27/1554.76	c core #2790
1554.27/1554.76	c core #2791
1554.27/1554.76	c core #2792
1554.27/1554.76	c core #2793
1554.27/1554.76	c core #2794
1554.27/1554.76	c core #2795
1554.27/1554.76	c core #2796
1554.27/1554.76	c core #2797
1554.27/1554.76	c core #2798
1554.27/1554.76	c core #2799
1554.27/1554.76	c core #2800
1554.27/1554.76	c core #2801
1554.27/1554.76	c core #2802
1554.27/1554.76	c core #2803
1554.27/1554.76	c core #2804
1554.27/1554.76	c core #2805
1554.27/1554.76	c core #2806
1554.27/1554.76	c core #2807
1554.27/1554.76	c core #2808
1554.27/1554.76	c core #2809
1554.27/1554.76	c core #2810
1554.27/1554.76	c core #2811
1554.27/1554.76	c core #2812
1554.27/1554.76	c core #2813
1554.27/1554.76	c core #2814
1554.27/1554.76	c core #2815
1554.27/1554.76	c core #2816
1554.27/1554.76	c core #2817
1554.27/1554.76	c core #2818
1554.27/1554.76	c core #2819
1554.27/1554.76	c core #2820
1554.27/1554.76	c core #2821
1554.27/1554.76	c core #2822
1554.27/1554.76	c core #2823
1554.27/1554.76	c core #2824
1554.27/1554.76	c core #2825
1554.27/1554.76	c core #2826
1554.27/1554.76	c core #2827
1554.27/1554.76	c core #2828
1554.27/1554.76	c core #2829
1554.27/1554.76	c core #2830
1554.27/1554.76	c core #2831
1554.27/1554.76	c core #2832
1554.27/1554.76	c core #2833
1554.27/1554.76	c core #2834
1554.27/1554.76	c core #2835
1554.27/1554.76	c core #2836
1554.27/1554.76	c core #2837
1554.27/1554.76	c core #2838
1554.27/1554.76	c core #2839
1554.27/1554.76	c core #2840
1554.27/1554.76	c core #2841
1554.27/1554.76	c core #2842
1554.27/1554.76	c core #2843
1554.27/1554.77	c core #2844
1554.27/1554.77	c core #2845
1554.27/1554.77	c core #2846
1554.27/1554.77	c core #2847
1554.27/1554.77	c core #2848
1554.27/1554.77	c core #2849
1554.27/1554.77	c core #2850
1554.27/1554.77	c core #2851
1554.27/1554.77	c core #2852
1554.27/1554.77	c core #2853
1554.27/1554.77	c core #2854
1554.27/1554.77	c core #2855
1554.27/1554.77	c core #2856
1554.27/1554.77	c core #2857
1554.27/1554.77	c core #2858
1554.27/1554.77	c core #2859
1554.27/1554.77	c core #2860
1554.27/1554.77	c core #2861
1554.27/1554.77	c core #2862
1554.27/1554.77	c core #2863
1554.27/1554.77	c core #2864
1554.27/1554.77	c core #2865
1554.27/1554.77	c core #2866
1554.27/1554.77	c core #2867
1554.27/1554.77	c core #2868
1554.27/1554.77	c core #2869
1554.27/1554.77	c core #2870
1554.27/1554.77	c core #2871
1554.27/1554.77	c core #2872
1554.27/1554.77	c core #2873
1554.27/1554.77	c core #2874
1554.27/1554.77	c core #2875
1554.27/1554.77	c core #2876
1554.27/1554.77	c core #2877
1554.27/1554.77	c core #2878
1554.27/1554.77	c core #2879
1554.27/1554.77	c core #2880
1554.27/1554.77	c core #2881
1554.27/1554.77	c core #2882
1554.27/1554.77	c core #2883
1554.27/1554.77	c core #2884
1554.27/1554.77	c core #2885
1554.27/1554.77	c core #2886
1554.27/1554.77	c core #2887
1554.27/1554.77	c core #2888
1554.27/1554.77	c core #2889
1554.27/1554.77	c core #2890
1554.27/1554.77	c core #2891
1554.27/1554.77	c core #2892
1554.27/1554.77	c core #2893
1554.27/1554.77	c core #2894
1554.27/1554.77	c core #2895
1554.27/1554.77	c core #2896
1554.27/1554.77	c core #2897
1554.27/1554.77	c core #2898
1554.27/1554.77	c core #2899
1554.27/1554.77	c core #2900
1554.27/1554.77	c core #2901
1554.27/1554.77	c core #2902
1554.27/1554.77	c core #2903
1554.27/1554.77	c core #2904
1554.27/1554.77	c core #2905
1554.27/1554.77	c core #2906
1554.27/1554.77	c core #2907
1554.27/1554.77	c core #2908
1554.27/1554.77	c core #2909
1554.27/1554.77	c core #2910
1554.27/1554.77	c core #2911
1554.27/1554.77	c core #2912
1554.27/1554.77	c core #2913
1554.27/1554.77	c core #2914
1554.27/1554.77	c core #2915
1554.27/1554.77	c core #2916
1554.27/1554.77	c core #2917
1554.27/1554.77	c core #2918
1554.27/1554.77	c core #2919
1554.27/1554.77	c core #2920
1554.27/1554.77	c core #2921
1773.12/1773.65	c core #2922
1773.12/1773.65	c core #2923
1773.12/1773.65	c core #2924
1773.12/1773.65	c core #2925
1773.12/1773.65	c core #2926
1773.12/1773.65	c core #2927
1773.12/1773.65	c core #2928
1773.12/1773.65	c core #2929
1773.12/1773.65	c core #2930
1773.12/1773.65	c core #2931
1773.12/1773.65	c core #2932
1773.12/1773.65	c core #2933
1773.12/1773.65	c core #2934
1773.12/1773.65	c core #2935
1773.12/1773.65	c core #2936
1773.12/1773.65	c core #2937
1773.12/1773.65	c core #2938
1773.12/1773.65	c core #2939
1773.12/1773.65	c core #2940
1773.12/1773.65	c core #2941
1773.12/1773.65	c core #2942
1773.12/1773.65	c core #2943
1773.12/1773.65	c core #2944
1773.12/1773.65	c core #2945
1773.12/1773.65	c core #2946
1773.12/1773.65	c core #2947
1773.12/1773.65	c core #2948
1773.12/1773.65	c core #2949
1773.12/1773.65	c core #2950
1773.12/1773.65	c core #2951
1773.12/1773.65	c core #2952
1773.12/1773.65	c core #2953
1773.12/1773.65	c core #2954
1773.12/1773.65	c core #2955
1773.12/1773.65	c core #2956
1773.12/1773.65	c core #2957
1773.12/1773.65	c core #2958
1773.12/1773.65	c core #2959
1773.12/1773.65	c core #2960
1773.12/1773.65	c core #2961
1773.12/1773.65	c core #2962
1773.12/1773.65	c core #2963
1773.12/1773.65	c core #2964
1773.12/1773.65	c core #2965
1773.12/1773.65	c core #2966
1773.12/1773.65	c core #2967
1773.12/1773.65	c core #2968
1773.12/1773.65	c core #2969
1773.12/1773.65	c core #2970
1773.12/1773.65	c core #2971
1773.12/1773.65	c core #2972
1773.12/1773.65	c core #2973
1773.12/1773.65	c core #2974
1773.12/1773.65	c core #2975
1773.12/1773.65	c core #2976
1773.12/1773.65	c core #2977
1773.12/1773.65	c core #2978
1773.12/1773.65	c core #2979
1773.12/1773.65	c core #2980
1773.12/1773.65	c core #2981
1773.12/1773.65	c core #2982
1773.12/1773.65	c core #2983
1773.12/1773.65	c core #2984
1773.12/1773.65	c core #2985
1773.12/1773.65	c core #2986
1773.12/1773.65	c core #2987
1773.12/1773.65	c core #2988
1773.12/1773.65	c core #2989
1773.12/1773.65	c core #2990
1773.12/1773.65	c core #2991
1773.12/1773.65	c core #2992
1773.12/1773.65	c core #2993
1773.12/1773.65	c core #2994
1773.12/1773.65	c core #2995
1773.12/1773.65	c core #2996
1773.12/1773.65	c core #2997
1773.12/1773.65	c core #2998
1773.12/1773.65	c core #2999
1773.12/1773.65	c core #3000
1773.12/1773.65	c core #3001
1773.12/1773.65	c core #3002
1773.12/1773.65	c core #3003
1773.12/1773.65	c core #3004
1773.12/1773.65	c core #3005
1773.12/1773.65	c core #3006
1773.12/1773.65	c core #3007
1773.12/1773.65	c core #3008
1773.12/1773.65	c core #3009
1773.12/1773.65	c core #3010
1773.12/1773.65	c core #3011
1773.12/1773.65	c core #3012
1773.12/1773.65	c core #3013
1773.12/1773.65	c core #3014
1773.12/1773.65	c core #3015
1773.12/1773.65	c core #3016
1773.12/1773.65	c core #3017
1773.12/1773.65	c core #3018
1773.12/1773.65	c core #3019
1773.12/1773.65	c core #3020
1773.12/1773.65	c core #3021
1773.12/1773.65	c core #3022
1773.12/1773.65	c core #3023
1773.12/1773.65	c core #3024
1773.12/1773.65	c core #3025
1773.12/1773.65	c core #3026
1773.12/1773.65	c core #3027
1773.12/1773.65	c core #3028
1773.12/1773.65	c core #3029
1773.12/1773.65	c core #3030
1773.12/1773.65	c core #3031
1773.12/1773.65	c core #3032
1773.12/1773.65	c core #3033
1773.12/1773.65	c core #3034
1773.12/1773.65	c core #3035
1773.12/1773.65	c core #3036
1773.12/1773.65	c core #3037
1773.12/1773.65	c core #3038
1773.12/1773.65	c core #3039
1773.12/1773.65	c core #3040
1773.12/1773.65	c core #3041
1773.12/1773.65	c core #3042
1773.12/1773.65	c core #3043
1773.12/1773.65	c core #3044
1773.12/1773.65	c core #3045
1773.12/1773.65	c core #3046
1773.12/1773.65	c core #3047
1773.12/1773.65	c core #3048
1773.12/1773.65	c core #3049
1773.12/1773.65	c core #3050
1773.12/1773.65	c core #3051
1773.12/1773.65	c core #3052
1773.12/1773.65	c core #3053
1773.12/1773.65	c core #3054
1773.12/1773.65	c core #3055
1773.12/1773.65	c core #3056
1773.12/1773.65	c core #3057
1773.12/1773.65	c core #3058
1773.12/1773.65	c core #3059
1773.12/1773.65	c core #3060
1773.12/1773.65	c core #3061
1773.12/1773.65	c core #3062
1773.12/1773.65	c core #3063
1773.12/1773.65	c core #3064
1773.12/1773.65	c core #3065
1773.12/1773.65	c core #3066
1773.12/1773.65	c core #3067
1773.12/1773.65	c core #3068
1773.12/1773.65	c core #3069
1773.12/1773.65	c core #3070
1773.12/1773.65	c core #3071
1773.12/1773.65	c core #3072
1773.12/1773.65	c core #3073
1773.12/1773.65	c core #3074
1773.12/1773.65	c core #3075
1773.12/1773.65	c core #3076
1773.12/1773.65	c core #3077
1773.12/1773.65	c core #3078
1773.12/1773.65	c core #3079
1773.12/1773.65	c core #3080
1773.12/1773.65	c core #3081
1773.12/1773.65	c core #3082
1773.12/1773.65	c core #3083
1773.12/1773.65	c core #3084
1773.12/1773.65	c core #3085
1773.12/1773.65	c core #3086
1773.12/1773.65	c core #3087
1773.12/1773.65	c core #3088
1773.12/1773.65	c core #3089
1773.12/1773.65	c core #3090
1773.12/1773.65	c core #3091
1773.12/1773.65	c core #3092
1773.12/1773.65	c core #3093
1773.12/1773.65	c core #3094
1773.12/1773.65	c core #3095
1773.12/1773.65	c core #3096
1773.12/1773.65	c core #3097
1773.12/1773.65	c core #3098
1773.12/1773.65	c core #3099
1773.12/1773.65	c core #3100
1773.12/1773.65	c core #3101
1773.12/1773.65	c core #3102
1773.12/1773.65	c core #3103
1773.12/1773.65	c core #3104
1773.12/1773.65	c core #3105
1773.12/1773.65	c core #3106
1773.12/1773.65	c core #3107
1773.12/1773.65	c core #3108
1773.12/1773.65	c core #3109
1773.12/1773.65	c core #3110
1773.12/1773.65	c core #3111
1773.12/1773.65	c core #3112
1773.12/1773.65	c core #3113
1773.12/1773.65	c core #3114
1773.12/1773.65	c core #3115
1773.12/1773.65	c core #3116
1773.12/1773.65	c core #3117
1773.12/1773.65	c core #3118
1773.12/1773.65	c core #3119
1773.12/1773.65	c core #3120
1773.12/1773.65	c core #3121
1773.12/1773.65	c core #3122
1773.12/1773.65	c core #3123
1773.12/1773.65	c core #3124
1773.12/1773.65	c core #3125
1773.12/1773.65	c core #3126
1773.12/1773.65	c core #3127
1773.12/1773.65	c core #3128
1773.12/1773.65	c core #3129
1773.12/1773.65	c core #3130
1773.12/1773.65	c core #3131
1773.12/1773.65	c core #3132
1773.12/1773.65	c core #3133
1773.12/1773.65	c core #3134
1773.12/1773.65	c core #3135
1773.12/1773.65	c core #3136
1773.12/1773.65	c core #3137
1773.12/1773.65	c core #3138
1773.12/1773.65	c core #3139
1773.12/1773.65	c core #3140
1773.12/1773.65	c core #3141
1773.12/1773.65	c core #3142
1773.12/1773.65	c core #3143
1773.12/1773.65	c core #3144
1773.12/1773.65	c core #3145
1773.12/1773.65	c core #3146
1773.12/1773.65	c core #3147
1773.12/1773.65	c core #3148
1773.12/1773.65	c core #3149
1773.12/1773.65	c core #3150
1773.12/1773.65	c core #3151
1773.12/1773.65	c core #3152
1773.12/1773.65	c core #3153
1773.12/1773.65	c core #3154
1773.12/1773.65	c core #3155
1773.12/1773.65	c core #3156
1773.12/1773.65	c core #3157
1773.12/1773.65	c core #3158
1773.12/1773.65	c core #3159
1773.12/1773.65	c core #3160
1773.12/1773.65	c core #3161
1773.12/1773.65	c core #3162
1773.12/1773.65	c core #3163
1773.12/1773.65	c core #3164
1773.12/1773.65	c core #3165
1773.12/1773.65	c core #3166
1773.12/1773.65	c core #3167
1773.12/1773.65	c core #3168
1773.12/1773.65	c core #3169
1773.12/1773.65	c core #3170
1773.12/1773.65	c core #3171
1773.12/1773.65	c core #3172
1773.12/1773.65	c core #3173
1773.12/1773.65	c core #3174
1773.12/1773.65	c core #3175
1773.12/1773.65	c core #3176
1773.12/1773.65	c core #3177
1773.12/1773.65	c core #3178
1773.12/1773.65	c core #3179
1773.12/1773.65	c core #3180
1773.12/1773.65	c core #3181
1773.12/1773.65	c core #3182
1773.12/1773.65	c core #3183
1773.12/1773.65	c core #3184
1773.12/1773.65	c core #3185
1773.12/1773.65	c core #3186
1773.12/1773.65	c core #3187
1773.12/1773.65	c core #3188
1773.12/1773.65	c core #3189
1773.12/1773.65	c core #3190
1773.12/1773.65	c core #3191
1773.12/1773.65	c core #3192
1773.12/1773.65	c core #3193
1773.12/1773.65	c core #3194
1773.12/1773.65	c core #3195
1773.12/1773.65	c core #3196
1773.12/1773.65	c core #3197
1773.12/1773.65	c core #3198
1773.12/1773.65	c core #3199
1773.12/1773.65	c core #3200
1773.12/1773.65	c core #3201
1773.12/1773.65	c core #3202
1773.12/1773.65	c core #3203
1773.12/1773.65	c core #3204
1773.12/1773.65	c core #3205
1773.12/1773.65	c core #3206
1773.12/1773.65	c core #3207
1773.12/1773.65	c core #3208
1773.12/1773.65	c core #3209
1773.12/1773.65	c core #3210
1773.12/1773.65	c core #3211
1773.12/1773.65	c core #3212
1773.12/1773.65	c core #3213
1773.12/1773.65	c core #3214
1773.12/1773.65	c core #3215
1773.12/1773.65	c core #3216
1773.12/1773.65	c core #3217
1773.12/1773.65	c core #3218
1773.12/1773.65	c core #3219
1773.12/1773.65	c core #3220
1773.12/1773.65	c core #3221
1773.12/1773.65	c core #3222
1773.12/1773.65	c core #3223
1773.12/1773.65	c core #3224
1773.12/1773.65	c core #3225
1773.12/1773.65	c core #3226
1773.12/1773.65	c core #3227
1773.12/1773.65	c core #3228
1773.12/1773.65	c core #3229
1773.12/1773.65	c core #3230
1773.12/1773.65	c core #3231
1773.12/1773.65	c core #3232
1773.12/1773.65	c core #3233
1773.12/1773.65	c core #3234
1773.12/1773.65	c core #3235
1773.12/1773.65	c core #3236

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655839-1276417254/watcher-2655839-1276417254 -o /tmp/evaluation-result-2655839-1276417254/solver-2655839-1276417254 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655839-1276417254.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.99 1.08 3/106 22913
/proc/meminfo: memFree=1684556/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=15132 CPUtime=0
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 470 0 0 0 0 0 0 0 18 0 1 0 17329116 15495168 389 1992294400 134512640 135751879 4294811888 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 3783 389 141 303 0 556 0

[startup+0.0414149 s]
/proc/loadavg: 0.85 0.99 1.08 3/106 22913
/proc/meminfo: memFree=1684556/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=17116 CPUtime=0.04
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 935 0 0 0 4 0 0 0 20 0 1 0 17329116 17526784 854 1992294400 134512640 135751879 4294811888 18446744073709551615 134560373 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 4279 854 189 303 0 1052 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17116

[startup+0.101419 s]
/proc/loadavg: 0.85 0.99 1.08 3/106 22913
/proc/meminfo: memFree=1684556/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=17868 CPUtime=0.09
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 1227 0 0 0 9 0 0 0 20 0 1 0 17329116 18296832 1146 1992294400 134512640 135751879 4294811888 18446744073709551615 134562157 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 4467 1146 289 303 0 1240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17868

[startup+0.301442 s]
/proc/loadavg: 0.85 0.99 1.08 3/106 22913
/proc/meminfo: memFree=1684556/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=20608 CPUtime=0.29
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 2235 0 0 0 29 0 0 0 20 0 1 0 17329116 21102592 2154 1992294400 134512640 135751879 4294811888 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 5152 2154 625 303 0 1925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20608

[startup+0.701489 s]
/proc/loadavg: 0.85 0.99 1.08 3/106 22913
/proc/meminfo: memFree=1684556/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=25544 CPUtime=0.69
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 4110 0 0 0 68 1 0 0 21 0 1 0 17329116 26157056 4029 1992294400 134512640 135751879 4294811888 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 6386 4029 1282 303 0 3159 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25544

[startup+1.50158 s]
/proc/loadavg: 0.85 0.99 1.08 2/107 22914
/proc/meminfo: memFree=1669792/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=35004 CPUtime=1.49
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 7778 0 0 0 146 3 0 0 23 0 1 0 17329116 35844096 7697 1992294400 134512640 135751879 4294811888 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 8751 7697 2606 303 0 5524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35004

[startup+3.10177 s]
/proc/loadavg: 0.85 0.99 1.08 2/107 22914
/proc/meminfo: memFree=1628004/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=59044 CPUtime=3.09
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 17644 0 0 0 303 6 0 0 25 0 1 0 17329116 60461056 14158 1992294400 134512640 135751879 4294811888 18446744073709551615 134594751 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 14761 14158 144 303 0 14456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59044

[startup+6.30114 s]
/proc/loadavg: 0.86 0.99 1.08 2/107 22914
/proc/meminfo: memFree=1627508/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=59044 CPUtime=6.29
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 17647 0 0 0 622 7 0 0 25 0 1 0 17329116 60461056 14161 1992294400 134512640 135751879 4294811888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 14761 14161 147 303 0 14456 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59044

[startup+12.7019 s]
/proc/loadavg: 0.87 0.99 1.08 2/107 22914
/proc/meminfo: memFree=1627632/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=59044 CPUtime=12.69
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 17647 0 0 0 1260 9 0 0 25 0 1 0 17329116 60461056 14161 1992294400 134512640 135751879 4294811888 18446744073709551615 134604797 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 14761 14161 147 303 0 14456 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59044

[startup+25.5014 s]
/proc/loadavg: 0.90 0.99 1.08 3/107 22914
/proc/meminfo: memFree=1620440/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=67056 CPUtime=25.49
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 19641 0 0 0 2535 14 0 0 25 0 1 0 17329116 68665344 16155 1992294400 134512640 135751879 4294811888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 16764 16155 147 303 0 16459 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67056

[startup+51.1013 s]
/proc/loadavg: 0.93 0.99 1.07 2/107 22914
/proc/meminfo: memFree=1584976/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=102760 CPUtime=51.08
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 28592 0 0 0 5082 26 0 0 25 0 1 0 17329116 105226240 25106 1992294400 134512640 135751879 4294811888 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 25690 25106 147 303 0 25385 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 102760

[startup+102.308 s]
/proc/loadavg: 0.97 0.99 1.07 2/107 22916
/proc/meminfo: memFree=1530416/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=156604 CPUtime=102.27
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 42041 0 0 0 10183 44 0 0 25 0 1 0 17329116 160362496 38555 1992294400 134512640 135751879 4294811888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 39151 38555 147 303 0 38846 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 156604

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 1.06 2/107 22918
/proc/meminfo: memFree=1478212/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=208984 CPUtime=162.25
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 55138 0 0 0 16160 65 0 0 25 0 1 0 17329116 213999616 51652 1992294400 134512640 135751879 4294811888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 52246 51652 147 303 0 51941 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 208984

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 1.06 2/107 22920
/proc/meminfo: memFree=1456884/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=222.23
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62917 0 0 0 22151 72 0 0 25 0 1 0 17329116 234156032 56700 1992294400 134512640 135751879 4294811888 18446744073709551615 134541851 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56700 150 303 0 56862 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 228668

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 1.05 2/107 22920
/proc/meminfo: memFree=1456884/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=282.21
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62917 0 0 0 28149 72 0 0 25 0 1 0 17329116 234156032 56700 1992294400 134512640 135751879 4294811888 18446744073709551615 134517370 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56700 150 303 0 56862 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 228668

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 1.05 2/107 22922
/proc/meminfo: memFree=1456760/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=342.2
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62917 0 0 0 34148 72 0 0 25 0 1 0 17329116 234156032 56700 1992294400 134512640 135751879 4294811888 18446744073709551615 135220894 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56700 150 303 0 56862 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 228668

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 1.04 2/107 22924
/proc/meminfo: memFree=1456760/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=402.18
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62917 0 0 0 40146 72 0 0 25 0 1 0 17329116 234156032 56700 1992294400 134512640 135751879 4294811888 18446744073709551615 135200225 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56700 150 303 0 56862 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 228668

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 1.03 2/107 22926
/proc/meminfo: memFree=1456760/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=462.16
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62918 0 0 0 46144 72 0 0 25 0 1 0 17329116 234156032 56701 1992294400 134512640 135751879 4294811888 18446744073709551615 134541909 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56701 150 303 0 56862 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 228668

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 1.03 2/107 22928
/proc/meminfo: memFree=1456636/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=522.15
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62918 0 0 0 52143 72 0 0 25 0 1 0 17329116 234156032 56701 1992294400 134512640 135751879 4294811888 18446744073709551615 134637640 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56701 150 303 0 56862 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 228668

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 1.02 2/107 22928
/proc/meminfo: memFree=1456512/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=582.14
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62918 0 0 0 58141 73 0 0 25 0 1 0 17329116 234156032 56701 1992294400 134512640 135751879 4294811888 18446744073709551615 135220982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56701 150 303 0 56862 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 228668

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 1.02 2/107 22930
/proc/meminfo: memFree=1456636/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=642.13
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62918 0 0 0 64140 73 0 0 25 0 1 0 17329116 234156032 56701 1992294400 134512640 135751879 4294811888 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56701 150 303 0 56862 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 228668

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22936
/proc/meminfo: memFree=1456388/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=882.06
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62919 0 0 0 88133 73 0 0 25 0 1 0 17329116 234156032 56702 1992294400 134512640 135751879 4294811888 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56702 150 303 0 56862 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 228668

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22938
/proc/meminfo: memFree=1456388/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228668 CPUtime=942.04
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62919 0 0 0 94131 73 0 0 25 0 1 0 17329116 234156032 56702 1992294400 134512640 135751879 4294811888 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57167 56702 150 303 0 56862 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 228668

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22940
/proc/meminfo: memFree=1456264/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=228932 CPUtime=1002.03
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 62984 0 0 0 100129 74 0 0 25 0 1 0 17329116 234426368 56767 1992294400 134512640 135751879 4294811888 18446744073709551615 135220848 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57233 56767 150 303 0 56928 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 228932

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22942
/proc/meminfo: memFree=1456140/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229196 CPUtime=1062.01
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63050 0 0 0 106127 74 0 0 25 0 1 0 17329116 234696704 56833 1992294400 134512640 135751879 4294811888 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57299 56833 150 303 0 56994 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 229196

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22944
/proc/meminfo: memFree=1456140/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229328 CPUtime=1121.99
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63084 0 0 0 112125 74 0 0 25 0 1 0 17329116 234831872 56867 1992294400 134512640 135751879 4294811888 18446744073709551615 135201644 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57332 56867 150 303 0 57027 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 229328

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22944
/proc/meminfo: memFree=1456016/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229328 CPUtime=1181.98
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63084 0 0 0 118124 74 0 0 25 0 1 0 17329116 234831872 56867 1992294400 134512640 135751879 4294811888 18446744073709551615 135204161 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57332 56867 150 303 0 57027 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 229328

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22946
/proc/meminfo: memFree=1455768/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229460 CPUtime=1241.96
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63117 0 0 0 124122 74 0 0 25 0 1 0 17329116 234967040 56900 1992294400 134512640 135751879 4294811888 18446744073709551615 134541773 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57365 56900 150 303 0 57060 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 229460

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22948
/proc/meminfo: memFree=1455520/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1301.95
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63148 0 0 0 130121 74 0 0 25 0 1 0 17329116 235102208 56931 1992294400 134512640 135751879 4294811888 18446744073709551615 134541480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56931 150 303 0 57093 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 229592

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22950
/proc/meminfo: memFree=1455520/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1361.93
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63149 0 0 0 136119 74 0 0 25 0 1 0 17329116 235102208 56932 1992294400 134512640 135751879 4294811888 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56932 150 303 0 57093 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 229592

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22952
/proc/meminfo: memFree=1455520/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1421.92
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63149 0 0 0 142118 74 0 0 25 0 1 0 17329116 235102208 56932 1992294400 134512640 135751879 4294811888 18446744073709551615 134541480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56932 150 303 0 57093 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 229592

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22952
/proc/meminfo: memFree=1455396/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1481.89
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63150 0 0 0 148115 74 0 0 25 0 1 0 17329116 235102208 56933 1992294400 134512640 135751879 4294811888 18446744073709551615 135202521 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56933 150 303 0 57093 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 229592

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22954
/proc/meminfo: memFree=1455396/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1541.88
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63151 0 0 0 154114 74 0 0 25 0 1 0 17329116 235102208 56934 1992294400 134512640 135751879 4294811888 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56934 150 303 0 57093 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 229592

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22956
/proc/meminfo: memFree=1455272/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1601.86
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63151 0 0 0 160112 74 0 0 25 0 1 0 17329116 235102208 56934 1992294400 134512640 135751879 4294811888 18446744073709551615 135202560 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56934 150 303 0 57093 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 229592

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22958
/proc/meminfo: memFree=1455272/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1661.84
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63151 0 0 0 166110 74 0 0 25 0 1 0 17329116 235102208 56934 1992294400 134512640 135751879 4294811888 18446744073709551615 135228441 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56934 150 303 0 57093 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 229592

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22960
/proc/meminfo: memFree=1455148/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1721.83
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63151 0 0 0 172109 74 0 0 25 0 1 0 17329116 235102208 56934 1992294400 134512640 135751879 4294811888 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56934 150 303 0 57093 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 229592

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22960
/proc/meminfo: memFree=1454776/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1781.82
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63151 0 0 0 178107 75 0 0 25 0 1 0 17329116 235102208 56934 1992294400 134512640 135751879 4294811888 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56934 150 303 0 57093 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 229592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22962
/proc/meminfo: memFree=1454776/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1800.02
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63151 0 0 0 179927 75 0 0 25 0 1 0 17329116 235102208 56934 1992294400 134512640 135751879 4294811888 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56934 150 303 0 57093 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 229592

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 22962
/proc/meminfo: memFree=1454776/2059040 swapFree=4158992/4192956
[pid=22913] ppid=22911 vsize=229592 CPUtime=1800.02
/proc/22913/stat : 22913 (wbo1.4b) R 22911 22913 22888 0 -1 4202496 63151 0 0 0 179927 75 0 0 25 0 1 0 17329116 235102208 56934 1992294400 134512640 135751879 4294811888 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22913/statm: 57398 56934 150 303 0 57093 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 229592

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.05
CPU user time (s): 1799.27
CPU system time (s): 0.776881
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 241220

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

runsolver used 2.92355 second user time and 8.58669 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-13 10:20:54
IDJOB=2655839
IDBENCH=2058
IDSOLVER=1161
FILE ID=node006/2655839-1276417254
PBS_JOBID= 11173296
Free space on /tmp= 62464 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655839-1276417254/watcher-2655839-1276417254 -o /tmp/evaluation-result-2655839-1276417254/solver-2655839-1276417254 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655839-1276417254.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47
RANDOM SEED=947944416

node006.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1685084 kB
Buffers:        103236 kB
Cached:         173376 kB
SwapCached:       2232 kB
Active:         144924 kB
Inactive:       159820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1685084 kB
SwapTotal:     4192956 kB
SwapFree:      4158992 kB
Dirty:           14440 kB
Writeback:           0 kB
AnonPages:       25928 kB
Mapped:          13956 kB
Slab:            47528 kB
PageTables:       3952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62460 MiB
End job on node006 at 2010-06-13 10:50:57