Trace number 1540572

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM3 3SAT 83.9892 84.0284

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
MD5SUM68d6a1970f04966f07e2b02a79996009
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.725889
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses8400
Sum of the clauses size25200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.05	c Heuristic: AdaptG2WSAT 
0.00/0.05	c Hybrid barrier : 1 
0.00/0.05	c Problem instance: numAtoms = 2000, numClauses = 8400, numLiterals = 25200
0.00/0.05	c General parameters: seed=1378689793, cutoff=1000000000, targetCost = 0, print solution: yes
0.00/0.05	c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 33
0.00/0.05	c tries = 1
0.00/0.05	c 
83.96/84.01	c gNovelty+ (M  11 )
83.96/84.01	s SATISFIABLE
83.96/84.01	v 1
83.96/84.01	v 2
83.96/84.01	v 3
83.96/84.01	v 4
83.96/84.01	v 5
83.96/84.01	v -6
83.96/84.01	v 7
83.96/84.01	v 8
83.96/84.01	v -9
83.96/84.01	v 10
83.96/84.01	v -11
83.96/84.01	v 12
83.96/84.01	v 13
83.96/84.01	v -14
83.96/84.01	v 15
83.96/84.01	v 16
83.96/84.01	v -17
83.96/84.01	v -18
83.96/84.01	v -19
83.96/84.01	v -20
83.96/84.01	v 21
83.96/84.01	v 22
83.96/84.01	v 23
83.96/84.01	v 24
83.96/84.01	v 25
83.96/84.01	v 26
83.96/84.01	v -27
83.96/84.01	v -28
83.96/84.01	v 29
83.96/84.01	v 30
83.96/84.01	v -31
83.96/84.01	v -32
83.96/84.01	v -33
83.96/84.01	v -34
83.96/84.01	v -35
83.96/84.01	v 36
83.96/84.01	v -37
83.96/84.01	v 38
83.96/84.01	v 39
83.96/84.01	v -40
83.96/84.01	v 41
83.96/84.01	v -42
83.96/84.01	v 43
83.96/84.01	v -44
83.96/84.01	v -45
83.96/84.01	v -46
83.96/84.01	v -47
83.96/84.01	v -48
83.96/84.01	v 49
83.96/84.01	v -50
83.96/84.01	v 51
83.96/84.01	v 52
83.96/84.01	v 53
83.96/84.01	v -54
83.96/84.01	v 55
83.96/84.01	v 56
83.96/84.01	v -57
83.96/84.01	v -58
83.96/84.01	v 59
83.96/84.01	v -60
83.96/84.01	v -61
83.96/84.01	v 62
83.96/84.01	v 63
83.96/84.01	v 64
83.96/84.01	v -65
83.96/84.01	v 66
83.96/84.01	v -67
83.96/84.01	v -68
83.96/84.01	v -69
83.96/84.01	v -70
83.96/84.01	v 71
83.96/84.01	v 72
83.96/84.01	v 73
83.96/84.01	v 74
83.96/84.01	v -75
83.96/84.01	v 76
83.96/84.01	v 77
83.96/84.01	v -78
83.96/84.01	v -79
83.96/84.01	v 80
83.96/84.01	v -81
83.96/84.01	v 82
83.96/84.01	v 83
83.96/84.01	v 84
83.96/84.01	v -85
83.96/84.01	v -86
83.96/84.01	v -87
83.96/84.01	v 88
83.96/84.01	v -89
83.96/84.01	v 90
83.96/84.01	v 91
83.96/84.01	v 92
83.96/84.01	v 93
83.96/84.01	v 94
83.96/84.01	v -95
83.96/84.01	v 96
83.96/84.01	v 97
83.96/84.01	v -98
83.96/84.01	v 99
83.96/84.01	v -100
83.96/84.01	v 101
83.96/84.01	v 102
83.96/84.01	v 103
83.96/84.01	v 104
83.96/84.01	v 105
83.96/84.01	v 106
83.96/84.01	v -107
83.96/84.01	v -108
83.96/84.01	v -109
83.96/84.01	v -110
83.96/84.01	v 111
83.96/84.01	v -112
83.96/84.01	v 113
83.96/84.01	v -114
83.96/84.01	v 115
83.96/84.01	v 116
83.96/84.01	v -117
83.96/84.01	v -118
83.96/84.01	v -119
83.96/84.01	v -120
83.96/84.01	v -121
83.96/84.01	v 122
83.96/84.01	v -123
83.96/84.01	v 124
83.96/84.01	v -125
83.96/84.01	v 126
83.96/84.01	v 127
83.96/84.01	v 128
83.96/84.01	v 129
83.96/84.01	v 130
83.96/84.01	v 131
83.96/84.01	v -132
83.96/84.01	v 133
83.96/84.01	v -134
83.96/84.01	v 135
83.96/84.01	v 136
83.96/84.01	v 137
83.96/84.01	v -138
83.96/84.01	v -139
83.96/84.01	v -140
83.96/84.01	v 141
83.96/84.01	v -142
83.96/84.01	v 143
83.96/84.01	v -144
83.96/84.01	v -145
83.96/84.01	v 146
83.96/84.01	v 147
83.96/84.01	v -148
83.96/84.01	v -149
83.96/84.01	v 150
83.96/84.01	v -151
83.96/84.01	v 152
83.96/84.01	v -153
83.96/84.01	v 154
83.96/84.01	v -155
83.96/84.01	v 156
83.96/84.01	v -157
83.96/84.01	v -158
83.96/84.01	v 159
83.96/84.01	v -160
83.96/84.01	v -161
83.96/84.01	v 162
83.96/84.01	v 163
83.96/84.01	v -164
83.96/84.01	v -165
83.96/84.01	v 166
83.96/84.01	v 167
83.96/84.01	v 168
83.96/84.01	v 169
83.96/84.01	v 170
83.96/84.01	v 171
83.96/84.01	v -172
83.96/84.01	v -173
83.96/84.01	v -174
83.96/84.01	v 175
83.96/84.01	v -176
83.96/84.01	v 177
83.96/84.01	v -178
83.96/84.01	v -179
83.96/84.01	v 180
83.96/84.01	v 181
83.96/84.01	v 182
83.96/84.01	v 183
83.96/84.01	v -184
83.96/84.01	v -185
83.96/84.01	v 186
83.96/84.01	v -187
83.96/84.01	v 188
83.96/84.01	v -189
83.96/84.01	v -190
83.96/84.01	v -191
83.96/84.01	v -192
83.96/84.01	v -193
83.96/84.01	v -194
83.96/84.01	v -195
83.96/84.01	v -196
83.96/84.01	v -197
83.96/84.01	v -198
83.96/84.01	v -199
83.96/84.01	v -200
83.96/84.01	v 201
83.96/84.01	v -202
83.96/84.01	v 203
83.96/84.01	v -204
83.96/84.01	v -205
83.96/84.01	v 206
83.96/84.01	v 207
83.96/84.01	v 208
83.96/84.01	v -209
83.96/84.01	v -210
83.96/84.01	v -211
83.96/84.01	v -212
83.96/84.01	v -213
83.96/84.01	v -214
83.96/84.01	v -215
83.96/84.01	v 216
83.96/84.01	v 217
83.96/84.01	v -218
83.96/84.01	v -219
83.96/84.01	v 220
83.96/84.01	v -221
83.96/84.01	v 222
83.96/84.01	v -223
83.96/84.01	v -224
83.96/84.01	v 225
83.96/84.01	v 226
83.96/84.01	v -227
83.96/84.01	v -228
83.96/84.01	v -229
83.96/84.01	v 230
83.96/84.01	v -231
83.96/84.01	v -232
83.96/84.01	v -233
83.96/84.01	v -234
83.96/84.01	v -235
83.96/84.01	v -236
83.96/84.01	v 237
83.96/84.01	v -238
83.96/84.01	v -239
83.96/84.01	v -240
83.96/84.01	v 241
83.96/84.01	v -242
83.96/84.01	v 243
83.96/84.01	v 244
83.96/84.01	v 245
83.96/84.01	v -246
83.96/84.01	v -247
83.96/84.01	v -248
83.96/84.01	v 249
83.96/84.01	v -250
83.96/84.01	v 251
83.96/84.01	v -252
83.96/84.01	v 253
83.96/84.01	v -254
83.96/84.01	v 255
83.96/84.01	v -256
83.96/84.01	v -257
83.96/84.01	v -258
83.96/84.01	v 259
83.96/84.01	v 260
83.96/84.01	v 261
83.96/84.01	v 262
83.96/84.01	v -263
83.96/84.01	v -264
83.96/84.01	v -265
83.96/84.01	v -266
83.96/84.01	v 267
83.96/84.01	v 268
83.96/84.01	v -269
83.96/84.01	v 270
83.96/84.01	v -271
83.96/84.01	v 272
83.96/84.01	v 273
83.96/84.01	v -274
83.96/84.01	v -275
83.96/84.01	v -276
83.96/84.01	v -277
83.96/84.01	v -278
83.96/84.01	v 279
83.96/84.01	v -280
83.96/84.01	v -281
83.96/84.01	v 282
83.96/84.01	v -283
83.96/84.01	v 284
83.96/84.01	v 285
83.96/84.01	v 286
83.96/84.01	v 287
83.96/84.01	v 288
83.96/84.01	v -289
83.96/84.01	v 290
83.96/84.01	v -291
83.96/84.01	v -292
83.96/84.01	v 293
83.96/84.01	v -294
83.96/84.01	v -295
83.96/84.01	v 296
83.96/84.01	v -297
83.96/84.01	v 298
83.96/84.01	v 299
83.96/84.01	v -300
83.96/84.01	v 301
83.96/84.01	v 302
83.96/84.01	v 303
83.96/84.01	v -304
83.96/84.01	v 305
83.96/84.01	v 306
83.96/84.01	v -307
83.96/84.01	v -308
83.96/84.01	v -309
83.96/84.01	v 310
83.96/84.01	v -311
83.96/84.01	v -312
83.96/84.01	v 313
83.96/84.01	v -314
83.96/84.01	v -315
83.96/84.01	v -316
83.96/84.01	v 317
83.96/84.01	v -318
83.96/84.01	v 319
83.96/84.01	v 320
83.96/84.01	v -321
83.96/84.01	v 322
83.96/84.01	v -323
83.96/84.01	v 324
83.96/84.01	v -325
83.96/84.01	v -326
83.96/84.01	v -327
83.96/84.01	v 328
83.96/84.01	v 329
83.96/84.01	v -330
83.96/84.01	v 331
83.96/84.01	v 332
83.96/84.01	v -333
83.96/84.01	v 334
83.96/84.01	v 335
83.96/84.01	v 336
83.96/84.01	v -337
83.96/84.01	v -338
83.96/84.01	v 339
83.96/84.01	v 340
83.96/84.01	v 341
83.96/84.01	v -342
83.96/84.01	v -343
83.96/84.01	v -344
83.96/84.01	v -345
83.96/84.01	v 346
83.96/84.01	v -347
83.96/84.01	v 348
83.96/84.01	v 349
83.96/84.01	v 350
83.96/84.01	v -351
83.96/84.01	v 352
83.96/84.01	v -353
83.96/84.01	v -354
83.96/84.01	v -355
83.96/84.01	v -356
83.96/84.01	v 357
83.96/84.01	v -358
83.96/84.01	v 359
83.96/84.01	v -360
83.96/84.01	v 361
83.96/84.01	v 362
83.96/84.01	v -363
83.96/84.01	v 364
83.96/84.01	v 365
83.96/84.01	v 366
83.96/84.01	v -367
83.96/84.01	v 368
83.96/84.01	v 369
83.96/84.01	v 370
83.96/84.01	v 371
83.96/84.01	v 372
83.96/84.01	v 373
83.96/84.01	v 374
83.96/84.01	v 375
83.96/84.01	v 376
83.96/84.01	v 377
83.96/84.01	v -378
83.96/84.01	v -379
83.96/84.01	v 380
83.96/84.01	v -381
83.96/84.01	v 382
83.96/84.01	v -383
83.96/84.01	v 384
83.96/84.01	v -385
83.96/84.01	v 386
83.96/84.01	v -387
83.96/84.01	v 388
83.96/84.01	v 389
83.96/84.01	v -390
83.96/84.01	v 391
83.96/84.01	v -392
83.96/84.01	v 393
83.96/84.01	v 394
83.96/84.01	v -395
83.96/84.01	v -396
83.96/84.01	v -397
83.96/84.01	v 398
83.96/84.01	v 399
83.96/84.01	v 400
83.96/84.01	v 401
83.96/84.01	v 402
83.96/84.01	v 403
83.96/84.01	v 404
83.96/84.01	v 405
83.96/84.01	v 406
83.96/84.01	v 407
83.96/84.01	v 408
83.96/84.01	v 409
83.96/84.01	v -410
83.96/84.01	v 411
83.96/84.01	v 412
83.96/84.01	v 413
83.96/84.01	v -414
83.96/84.01	v -415
83.96/84.01	v -416
83.96/84.01	v 417
83.96/84.01	v -418
83.96/84.01	v 419
83.96/84.01	v 420
83.96/84.01	v 421
83.96/84.01	v 422
83.96/84.01	v -423
83.96/84.01	v 424
83.96/84.01	v -425
83.96/84.01	v -426
83.96/84.01	v 427
83.96/84.01	v 428
83.96/84.01	v -429
83.96/84.01	v -430
83.96/84.01	v 431
83.96/84.01	v -432
83.96/84.01	v -433
83.96/84.01	v 434
83.96/84.01	v -435
83.96/84.01	v -436
83.96/84.01	v -437
83.96/84.01	v 438
83.96/84.01	v -439
83.96/84.01	v -440
83.96/84.01	v 441
83.96/84.01	v 442
83.96/84.01	v 443
83.96/84.01	v -444
83.96/84.01	v -445
83.96/84.01	v -446
83.96/84.01	v 447
83.96/84.01	v -448
83.96/84.01	v -449
83.96/84.01	v -450
83.96/84.01	v -451
83.96/84.01	v 452
83.96/84.01	v -453
83.96/84.01	v -454
83.96/84.01	v 455
83.96/84.01	v 456
83.96/84.01	v -457
83.96/84.01	v -458
83.96/84.01	v 459
83.96/84.01	v -460
83.96/84.01	v -461
83.96/84.01	v -462
83.96/84.01	v 463
83.96/84.01	v -464
83.96/84.01	v -465
83.96/84.01	v 466
83.96/84.01	v 467
83.96/84.01	v 468
83.96/84.01	v -469
83.96/84.01	v -470
83.96/84.01	v 471
83.96/84.01	v 472
83.96/84.01	v 473
83.96/84.01	v -474
83.96/84.01	v 475
83.96/84.01	v 476
83.96/84.01	v 477
83.96/84.01	v -478
83.96/84.01	v 479
83.96/84.01	v -480
83.96/84.01	v 481
83.96/84.01	v -482
83.96/84.01	v 483
83.96/84.01	v 484
83.96/84.01	v -485
83.96/84.01	v -486
83.96/84.01	v -487
83.96/84.01	v -488
83.96/84.01	v -489
83.96/84.01	v -490
83.96/84.01	v -491
83.96/84.01	v -492
83.96/84.01	v 493
83.96/84.01	v 494
83.96/84.01	v -495
83.96/84.01	v -496
83.96/84.01	v 497
83.96/84.01	v 498
83.96/84.01	v 499
83.96/84.01	v -500
83.96/84.01	v -501
83.96/84.01	v 502
83.96/84.01	v 503
83.96/84.01	v -504
83.96/84.01	v -505
83.96/84.01	v 506
83.96/84.01	v 507
83.96/84.01	v -508
83.96/84.01	v -509
83.96/84.01	v 510
83.96/84.01	v 511
83.96/84.01	v 512
83.96/84.01	v -513
83.96/84.01	v 514
83.96/84.01	v 515
83.96/84.01	v -516
83.96/84.01	v 517
83.96/84.01	v 518
83.96/84.01	v 519
83.96/84.01	v 520
83.96/84.01	v -521
83.96/84.01	v -522
83.96/84.01	v 523
83.96/84.01	v -524
83.96/84.01	v -525
83.96/84.01	v -526
83.96/84.01	v 527
83.96/84.01	v -528
83.96/84.01	v -529
83.96/84.01	v 530
83.96/84.01	v 531
83.96/84.01	v -532
83.96/84.01	v -533
83.96/84.01	v 534
83.96/84.01	v -535
83.96/84.01	v 536
83.96/84.01	v -537
83.96/84.01	v -538
83.96/84.01	v 539
83.96/84.01	v 540
83.96/84.01	v 541
83.96/84.01	v 542
83.96/84.01	v -543
83.96/84.01	v -544
83.96/84.01	v -545
83.96/84.01	v 546
83.96/84.01	v -547
83.96/84.01	v 548
83.96/84.01	v -549
83.96/84.01	v 550
83.96/84.01	v 551
83.96/84.01	v -552
83.96/84.01	v 553
83.96/84.01	v 554
83.96/84.01	v -555
83.96/84.01	v -556
83.96/84.01	v -557
83.96/84.01	v -558
83.96/84.01	v 559
83.96/84.01	v 560
83.96/84.01	v -561
83.96/84.01	v -562
83.96/84.01	v 563
83.96/84.01	v 564
83.96/84.01	v -565
83.96/84.01	v 566
83.96/84.01	v -567
83.96/84.01	v -568
83.96/84.01	v 569
83.96/84.01	v -570
83.96/84.01	v -571
83.96/84.01	v 572
83.96/84.01	v -573
83.96/84.01	v 574
83.96/84.01	v -575
83.96/84.01	v 576
83.96/84.01	v 577
83.96/84.01	v -578
83.96/84.01	v -579
83.96/84.01	v -580
83.96/84.01	v -581
83.96/84.01	v 582
83.96/84.01	v -583
83.96/84.01	v -584
83.96/84.01	v -585
83.96/84.01	v 586
83.96/84.01	v 587
83.96/84.01	v 588
83.96/84.01	v -589
83.96/84.01	v -590
83.96/84.01	v -591
83.96/84.01	v -592
83.96/84.01	v 593
83.96/84.01	v 594
83.96/84.01	v 595
83.96/84.01	v -596
83.96/84.01	v -597
83.96/84.01	v -598
83.96/84.01	v -599
83.96/84.01	v 600
83.96/84.01	v 601
83.96/84.01	v -602
83.96/84.01	v -603
83.96/84.01	v 604
83.96/84.01	v 605
83.96/84.01	v -606
83.96/84.01	v 607
83.96/84.01	v 608
83.96/84.01	v -609
83.96/84.01	v 610
83.96/84.01	v -611
83.96/84.01	v 612
83.96/84.01	v -613
83.96/84.01	v -614
83.96/84.01	v 615
83.96/84.01	v 616
83.96/84.01	v -617
83.96/84.01	v 618
83.96/84.01	v -619
83.96/84.01	v 620
83.96/84.01	v 621
83.96/84.01	v 622
83.96/84.01	v -623
83.96/84.01	v -624
83.96/84.01	v -625
83.96/84.01	v -626
83.96/84.01	v -627
83.96/84.01	v 628
83.96/84.01	v -629
83.96/84.01	v -630
83.96/84.01	v 631
83.96/84.01	v -632
83.96/84.01	v -633
83.96/84.01	v 634
83.96/84.01	v 635
83.96/84.01	v -636
83.96/84.01	v -637
83.96/84.01	v -638
83.96/84.01	v 639
83.96/84.01	v 640
83.96/84.01	v -641
83.96/84.01	v -642
83.96/84.01	v -643
83.96/84.01	v 644
83.96/84.01	v -645
83.96/84.01	v -646
83.96/84.01	v -647
83.96/84.01	v 648
83.96/84.01	v -649
83.96/84.01	v -650
83.96/84.01	v 651
83.96/84.01	v -652
83.96/84.01	v -653
83.96/84.01	v -654
83.96/84.01	v 655
83.96/84.01	v 656
83.96/84.01	v 657
83.96/84.01	v -658
83.96/84.01	v -659
83.96/84.01	v -660
83.96/84.01	v -661
83.96/84.01	v 662
83.96/84.01	v -663
83.96/84.01	v 664
83.96/84.01	v 665
83.96/84.01	v -666
83.96/84.01	v -667
83.96/84.01	v 668
83.96/84.01	v 669
83.96/84.01	v -670
83.96/84.01	v 671
83.96/84.01	v -672
83.96/84.01	v 673
83.96/84.01	v 674
83.96/84.01	v 675
83.96/84.01	v 676
83.96/84.01	v -677
83.96/84.01	v -678
83.96/84.01	v -679
83.96/84.01	v 680
83.96/84.01	v -681
83.96/84.01	v 682
83.96/84.01	v 683
83.96/84.01	v -684
83.96/84.01	v -685
83.96/84.01	v 686
83.96/84.01	v 687
83.96/84.01	v -688
83.96/84.01	v -689
83.96/84.01	v 690
83.96/84.01	v 691
83.96/84.01	v 692
83.96/84.01	v 693
83.96/84.01	v -694
83.96/84.01	v -695
83.96/84.01	v -696
83.96/84.01	v 697
83.96/84.01	v -698
83.96/84.01	v 699
83.96/84.01	v 700
83.96/84.01	v -701
83.96/84.01	v -702
83.96/84.01	v -703
83.96/84.01	v -704
83.96/84.01	v -705
83.96/84.01	v 706
83.96/84.01	v -707
83.96/84.01	v -708
83.96/84.01	v 709
83.96/84.01	v 710
83.96/84.01	v 711
83.96/84.01	v 712
83.96/84.01	v -713
83.96/84.01	v 714
83.96/84.01	v -715
83.96/84.01	v -716
83.96/84.01	v -717
83.96/84.01	v 718
83.96/84.01	v -719
83.96/84.01	v -720
83.96/84.01	v -721
83.96/84.01	v -722
83.96/84.01	v 723
83.96/84.01	v 724
83.96/84.01	v -725
83.96/84.01	v -726
83.96/84.01	v 727
83.96/84.01	v -728
83.96/84.01	v 729
83.96/84.01	v -730
83.96/84.01	v 731
83.96/84.01	v -732
83.96/84.01	v -733
83.96/84.01	v 734
83.96/84.01	v 735
83.96/84.01	v -736
83.96/84.01	v 737
83.96/84.01	v -738
83.96/84.01	v -739
83.96/84.01	v 740
83.96/84.01	v 741
83.96/84.01	v 742
83.96/84.01	v 743
83.96/84.01	v 744
83.96/84.01	v 745
83.96/84.01	v -746
83.96/84.01	v 747
83.96/84.01	v 748
83.96/84.01	v -749
83.96/84.01	v 750
83.96/84.01	v -751
83.96/84.01	v -752
83.96/84.01	v -753
83.96/84.01	v 754
83.96/84.01	v -755
83.96/84.01	v -756
83.96/84.01	v 757
83.96/84.01	v -758
83.96/84.01	v 759
83.96/84.01	v 760
83.96/84.01	v 761
83.96/84.01	v -762
83.96/84.01	v -763
83.96/84.01	v -764
83.96/84.01	v 765
83.96/84.01	v -766
83.96/84.01	v 767
83.96/84.01	v 768
83.96/84.01	v -769
83.96/84.01	v -770
83.96/84.01	v -771
83.96/84.01	v 772
83.96/84.01	v -773
83.96/84.01	v -774
83.96/84.01	v 775
83.96/84.01	v 776
83.96/84.01	v 777
83.96/84.01	v 778
83.96/84.01	v -779
83.96/84.01	v 780
83.96/84.01	v -781
83.96/84.01	v -782
83.96/84.01	v -783
83.96/84.01	v -784
83.96/84.01	v 785
83.96/84.01	v -786
83.96/84.01	v 787
83.96/84.01	v 788
83.96/84.01	v -789
83.96/84.01	v 790
83.96/84.01	v -791
83.96/84.01	v 792
83.96/84.01	v 793
83.96/84.01	v 794
83.96/84.01	v -795
83.96/84.01	v 796
83.96/84.01	v 797
83.96/84.01	v 798
83.96/84.01	v -799
83.96/84.01	v -800
83.96/84.01	v 801
83.96/84.02	v 802
83.96/84.02	v -803
83.96/84.02	v 804
83.96/84.02	v 805
83.96/84.02	v -806
83.96/84.02	v -807
83.96/84.02	v -808
83.96/84.02	v -809
83.96/84.02	v -810
83.96/84.02	v 811
83.96/84.02	v 812
83.96/84.02	v -813
83.96/84.02	v 814
83.96/84.02	v 815
83.96/84.02	v -816
83.96/84.02	v -817
83.96/84.02	v -818
83.96/84.02	v 819
83.96/84.02	v 820
83.96/84.02	v 821
83.96/84.02	v 822
83.96/84.02	v -823
83.96/84.02	v 824
83.96/84.02	v 825
83.96/84.02	v 826
83.96/84.02	v 827
83.96/84.02	v -828
83.96/84.02	v -829
83.96/84.02	v -830
83.96/84.02	v 831
83.96/84.02	v -832
83.96/84.02	v -833
83.96/84.02	v -834
83.96/84.02	v 835
83.96/84.02	v 836
83.96/84.02	v 837
83.96/84.02	v -838
83.96/84.02	v -839
83.96/84.02	v -840
83.96/84.02	v 841
83.96/84.02	v -842
83.96/84.02	v 843
83.96/84.02	v -844
83.96/84.02	v 845
83.96/84.02	v -846
83.96/84.02	v 847
83.96/84.02	v 848
83.96/84.02	v 849
83.96/84.02	v 850
83.96/84.02	v 851
83.96/84.02	v -852
83.96/84.02	v -853
83.96/84.02	v -854
83.96/84.02	v 855
83.96/84.02	v -856
83.96/84.02	v -857
83.96/84.02	v -858
83.96/84.02	v -859
83.96/84.02	v -860
83.96/84.02	v 861
83.96/84.02	v -862
83.96/84.02	v 863
83.96/84.02	v 864
83.96/84.02	v -865
83.96/84.02	v 866
83.96/84.02	v -867
83.96/84.02	v -868
83.96/84.02	v -869
83.96/84.02	v -870
83.96/84.02	v 871
83.96/84.02	v 872
83.96/84.02	v -873
83.96/84.02	v 874
83.96/84.02	v 875
83.96/84.02	v -876
83.96/84.02	v 877
83.96/84.02	v -878
83.96/84.02	v -879
83.96/84.02	v -880
83.96/84.02	v 881
83.96/84.02	v -882
83.96/84.02	v 883
83.96/84.02	v 884
83.96/84.02	v -885
83.96/84.02	v -886
83.96/84.02	v 887
83.96/84.02	v -888
83.96/84.02	v -889
83.96/84.02	v 890
83.96/84.02	v 891
83.96/84.02	v -892
83.96/84.02	v 893
83.96/84.02	v 894
83.96/84.02	v 895
83.96/84.02	v 896
83.96/84.02	v -897
83.96/84.02	v 898
83.96/84.02	v 899
83.96/84.02	v -900
83.96/84.02	v -901
83.96/84.02	v -902
83.96/84.02	v -903
83.96/84.02	v -904
83.96/84.02	v 905
83.96/84.02	v -906
83.96/84.02	v 907
83.96/84.02	v -908
83.96/84.02	v -909
83.96/84.02	v -910
83.96/84.02	v -911
83.96/84.02	v -912
83.96/84.02	v -913
83.96/84.02	v -914
83.96/84.02	v -915
83.96/84.02	v -916
83.96/84.02	v 917
83.96/84.02	v -918
83.96/84.02	v -919
83.96/84.02	v -920
83.96/84.02	v 921
83.96/84.02	v 922
83.96/84.02	v 923
83.96/84.02	v 924
83.96/84.02	v -925
83.96/84.02	v 926
83.96/84.02	v 927
83.96/84.02	v 928
83.96/84.02	v 929
83.96/84.02	v 930
83.96/84.02	v 931
83.96/84.02	v -932
83.96/84.02	v -933
83.96/84.02	v -934
83.96/84.02	v -935
83.96/84.02	v -936
83.96/84.02	v 937
83.96/84.02	v 938
83.96/84.02	v -939
83.96/84.02	v -940
83.96/84.02	v 941
83.96/84.02	v 942
83.96/84.02	v 943
83.96/84.02	v 944
83.96/84.02	v -945
83.96/84.02	v -946
83.96/84.02	v -947
83.96/84.02	v 948
83.96/84.02	v -949
83.96/84.02	v -950
83.96/84.02	v 951
83.96/84.02	v -952
83.96/84.02	v -953
83.96/84.02	v 954
83.96/84.02	v -955
83.96/84.02	v -956
83.96/84.02	v -957
83.96/84.02	v 958
83.96/84.02	v -959
83.96/84.02	v -960
83.96/84.02	v -961
83.96/84.02	v 962
83.96/84.02	v -963
83.96/84.02	v 964
83.96/84.02	v 965
83.96/84.02	v 966
83.96/84.02	v 967
83.96/84.02	v -968
83.96/84.02	v 969
83.96/84.02	v -970
83.96/84.02	v 971
83.96/84.02	v 972
83.96/84.02	v 973
83.96/84.02	v -974
83.96/84.02	v 975
83.96/84.02	v 976
83.96/84.02	v -977
83.96/84.02	v 978
83.96/84.02	v -979
83.96/84.02	v 980
83.96/84.02	v -981
83.96/84.02	v -982
83.96/84.02	v -983
83.96/84.02	v -984
83.96/84.02	v 985
83.96/84.02	v 986
83.96/84.02	v -987
83.96/84.02	v 988
83.96/84.02	v -989
83.96/84.02	v -990
83.96/84.02	v 991
83.96/84.02	v 992
83.96/84.02	v -993
83.96/84.02	v 994
83.96/84.02	v 995
83.96/84.02	v -996
83.96/84.02	v -997
83.96/84.02	v 998
83.96/84.02	v 999
83.96/84.02	v 1000
83.96/84.02	v 1001
83.96/84.02	v -1002
83.96/84.02	v 1003
83.96/84.02	v 1004
83.96/84.02	v 1005
83.96/84.02	v 1006
83.96/84.02	v -1007
83.96/84.02	v -1008
83.96/84.02	v -1009
83.96/84.02	v 1010
83.96/84.02	v 1011
83.96/84.02	v -1012
83.96/84.02	v -1013
83.96/84.02	v 1014
83.96/84.02	v -1015
83.96/84.02	v 1016
83.96/84.02	v -1017
83.96/84.02	v 1018
83.96/84.02	v 1019
83.96/84.02	v 1020
83.96/84.02	v 1021
83.96/84.02	v -1022
83.96/84.02	v -1023
83.96/84.02	v 1024
83.96/84.02	v 1025
83.96/84.02	v -1026
83.96/84.02	v 1027
83.96/84.02	v -1028
83.96/84.02	v -1029
83.96/84.02	v -1030
83.96/84.02	v 1031
83.96/84.02	v 1032
83.96/84.02	v -1033
83.96/84.02	v -1034
83.96/84.02	v 1035
83.96/84.02	v -1036
83.96/84.02	v 1037
83.96/84.02	v -1038
83.96/84.02	v 1039
83.96/84.02	v 1040
83.96/84.02	v 1041
83.96/84.02	v -1042
83.96/84.02	v 1043
83.96/84.02	v 1044
83.96/84.02	v -1045
83.96/84.02	v -1046
83.96/84.02	v 1047
83.96/84.02	v -1048
83.96/84.02	v 1049
83.96/84.02	v 1050
83.96/84.02	v 1051
83.96/84.02	v -1052
83.96/84.02	v -1053
83.96/84.02	v -1054
83.96/84.02	v -1055
83.96/84.02	v -1056
83.96/84.02	v -1057
83.96/84.02	v 1058
83.96/84.02	v 1059
83.96/84.02	v 1060
83.96/84.02	v 1061
83.96/84.02	v -1062
83.96/84.02	v 1063
83.96/84.02	v 1064
83.96/84.02	v -1065
83.96/84.02	v 1066
83.96/84.02	v 1067
83.96/84.02	v 1068
83.96/84.02	v -1069
83.96/84.02	v 1070
83.96/84.02	v 1071
83.96/84.02	v 1072
83.96/84.02	v -1073
83.96/84.02	v -1074
83.96/84.02	v 1075
83.96/84.02	v -1076
83.96/84.02	v -1077
83.96/84.02	v 1078
83.96/84.02	v 1079
83.96/84.02	v 1080
83.96/84.02	v -1081
83.96/84.02	v 1082
83.96/84.02	v 1083
83.96/84.02	v -1084
83.96/84.02	v -1085
83.96/84.02	v 1086
83.96/84.02	v 1087
83.96/84.02	v -1088
83.96/84.02	v -1089
83.96/84.02	v 1090
83.96/84.02	v 1091
83.96/84.02	v 1092
83.96/84.02	v -1093
83.96/84.02	v 1094
83.96/84.02	v 1095
83.96/84.02	v 1096
83.96/84.02	v -1097
83.96/84.02	v -1098
83.96/84.02	v 1099
83.96/84.02	v -1100
83.96/84.02	v -1101
83.96/84.02	v -1102
83.96/84.02	v -1103
83.96/84.02	v -1104
83.96/84.02	v 1105
83.96/84.02	v -1106
83.96/84.02	v -1107
83.96/84.02	v 1108
83.96/84.02	v 1109
83.96/84.02	v -1110
83.96/84.02	v 1111
83.96/84.02	v -1112
83.96/84.02	v 1113
83.96/84.02	v 1114
83.96/84.02	v -1115
83.96/84.02	v 1116
83.96/84.02	v 1117
83.96/84.02	v -1118
83.96/84.02	v 1119
83.96/84.02	v 1120
83.96/84.02	v -1121
83.96/84.02	v 1122
83.96/84.02	v 1123
83.96/84.02	v 1124
83.96/84.02	v -1125
83.96/84.02	v 1126
83.96/84.02	v 1127
83.96/84.02	v -1128
83.96/84.02	v -1129
83.96/84.02	v 1130
83.96/84.02	v 1131
83.96/84.02	v 1132
83.96/84.02	v 1133
83.96/84.02	v -1134
83.96/84.02	v -1135
83.96/84.02	v 1136
83.96/84.02	v 1137
83.96/84.02	v 1138
83.96/84.02	v 1139
83.96/84.02	v 1140
83.96/84.02	v -1141
83.96/84.02	v 1142
83.96/84.02	v 1143
83.96/84.02	v 1144
83.96/84.02	v -1145
83.96/84.02	v 1146
83.96/84.02	v -1147
83.96/84.02	v 1148
83.96/84.02	v 1149
83.96/84.02	v 1150
83.96/84.02	v -1151
83.96/84.02	v 1152
83.96/84.02	v 1153
83.96/84.02	v -1154
83.96/84.02	v -1155
83.96/84.02	v 1156
83.96/84.02	v -1157
83.96/84.02	v 1158
83.96/84.02	v -1159
83.96/84.02	v -1160
83.96/84.02	v 1161
83.96/84.02	v -1162
83.96/84.02	v -1163
83.96/84.02	v -1164
83.96/84.02	v -1165
83.96/84.02	v -1166
83.96/84.02	v 1167
83.96/84.02	v 1168
83.96/84.02	v -1169
83.96/84.02	v -1170
83.96/84.02	v -1171
83.96/84.02	v -1172
83.96/84.02	v -1173
83.96/84.02	v 1174
83.96/84.02	v -1175
83.96/84.02	v 1176
83.96/84.02	v 1177
83.96/84.02	v -1178
83.96/84.02	v 1179
83.96/84.02	v -1180
83.96/84.02	v -1181
83.96/84.02	v -1182
83.96/84.02	v 1183
83.96/84.02	v -1184
83.96/84.02	v 1185
83.96/84.02	v -1186
83.96/84.02	v -1187
83.96/84.02	v -1188
83.96/84.02	v 1189
83.96/84.02	v -1190
83.96/84.02	v 1191
83.96/84.02	v 1192
83.96/84.02	v 1193
83.96/84.02	v 1194
83.96/84.02	v -1195
83.96/84.02	v 1196
83.96/84.02	v -1197
83.96/84.02	v -1198
83.96/84.02	v 1199
83.96/84.02	v 1200
83.96/84.02	v -1201
83.96/84.02	v -1202
83.96/84.02	v -1203
83.96/84.02	v 1204
83.96/84.02	v 1205
83.96/84.02	v 1206
83.96/84.02	v 1207
83.96/84.02	v -1208
83.96/84.02	v 1209
83.96/84.02	v -1210
83.96/84.02	v 1211
83.96/84.02	v -1212
83.96/84.02	v 1213
83.96/84.02	v 1214
83.96/84.02	v 1215
83.96/84.02	v -1216
83.96/84.02	v -1217
83.96/84.02	v 1218
83.96/84.02	v 1219
83.96/84.02	v -1220
83.96/84.02	v 1221
83.96/84.02	v -1222
83.96/84.02	v -1223
83.96/84.02	v -1224
83.96/84.02	v 1225
83.96/84.02	v 1226
83.96/84.02	v 1227
83.96/84.02	v -1228
83.96/84.02	v -1229
83.96/84.02	v 1230
83.96/84.02	v 1231
83.96/84.02	v 1232
83.96/84.02	v 1233
83.96/84.02	v 1234
83.96/84.02	v -1235
83.96/84.02	v 1236
83.96/84.02	v -1237
83.96/84.02	v 1238
83.96/84.02	v 1239
83.96/84.02	v -1240
83.96/84.02	v 1241
83.96/84.02	v 1242
83.96/84.02	v -1243
83.96/84.02	v -1244
83.96/84.02	v -1245
83.96/84.02	v -1246
83.96/84.02	v 1247
83.96/84.02	v 1248
83.96/84.02	v -1249
83.96/84.02	v 1250
83.96/84.02	v -1251
83.96/84.02	v -1252
83.96/84.02	v 1253
83.96/84.02	v -1254
83.96/84.02	v 1255
83.96/84.02	v 1256
83.96/84.02	v -1257
83.96/84.02	v 1258
83.96/84.02	v -1259
83.96/84.02	v -1260
83.96/84.02	v 1261
83.96/84.02	v -1262
83.96/84.02	v 1263
83.96/84.02	v -1264
83.96/84.02	v 1265
83.96/84.02	v 1266
83.96/84.02	v -1267
83.96/84.02	v 1268
83.96/84.02	v 1269
83.96/84.02	v -1270
83.96/84.02	v -1271
83.96/84.02	v -1272
83.96/84.02	v 1273
83.96/84.02	v -1274
83.96/84.02	v -1275
83.96/84.02	v 1276
83.96/84.02	v -1277
83.96/84.02	v -1278
83.96/84.02	v 1279
83.96/84.02	v 1280
83.96/84.02	v 1281
83.96/84.02	v -1282
83.96/84.02	v 1283
83.96/84.02	v 1284
83.96/84.02	v -1285
83.96/84.02	v -1286
83.96/84.02	v -1287
83.96/84.02	v -1288
83.96/84.02	v 1289
83.96/84.02	v -1290
83.96/84.02	v 1291
83.96/84.02	v 1292
83.96/84.02	v -1293
83.96/84.02	v 1294
83.96/84.02	v 1295
83.96/84.02	v 1296
83.96/84.02	v 1297
83.96/84.02	v 1298
83.96/84.02	v -1299
83.96/84.02	v -1300
83.96/84.02	v -1301
83.96/84.02	v -1302
83.96/84.02	v -1303
83.96/84.02	v 1304
83.96/84.02	v -1305
83.96/84.02	v -1306
83.96/84.02	v 1307
83.96/84.02	v -1308
83.96/84.02	v 1309
83.96/84.02	v -1310
83.96/84.02	v 1311
83.96/84.02	v -1312
83.96/84.02	v 1313
83.96/84.02	v 1314
83.96/84.02	v -1315
83.96/84.02	v 1316
83.96/84.02	v -1317
83.96/84.02	v 1318
83.96/84.02	v -1319
83.96/84.02	v 1320
83.96/84.02	v -1321
83.96/84.02	v 1322
83.96/84.02	v 1323
83.96/84.02	v -1324
83.96/84.02	v 1325
83.96/84.02	v -1326
83.96/84.02	v 1327
83.96/84.02	v 1328
83.96/84.02	v -1329
83.96/84.02	v -1330
83.96/84.02	v 1331
83.96/84.02	v -1332
83.96/84.02	v 1333
83.96/84.02	v -1334
83.96/84.02	v 1335
83.96/84.02	v 1336
83.96/84.02	v -1337
83.96/84.02	v 1338
83.96/84.02	v 1339
83.96/84.02	v -1340
83.96/84.02	v -1341
83.96/84.02	v 1342
83.96/84.02	v -1343
83.96/84.02	v 1344
83.96/84.02	v 1345
83.96/84.02	v -1346
83.96/84.02	v -1347
83.96/84.02	v 1348
83.96/84.02	v -1349
83.96/84.02	v 1350
83.96/84.02	v 1351
83.96/84.02	v 1352
83.96/84.02	v -1353
83.96/84.02	v -1354
83.96/84.02	v -1355
83.96/84.02	v -1356
83.96/84.02	v 1357
83.96/84.02	v -1358
83.96/84.02	v -1359
83.96/84.02	v 1360
83.96/84.02	v -1361
83.96/84.02	v 1362
83.96/84.02	v 1363
83.96/84.02	v -1364
83.96/84.02	v 1365
83.96/84.02	v -1366
83.96/84.02	v -1367
83.96/84.02	v 1368
83.96/84.02	v -1369
83.96/84.02	v -1370
83.96/84.02	v -1371
83.96/84.02	v -1372
83.96/84.02	v -1373
83.96/84.02	v -1374
83.96/84.02	v -1375
83.96/84.02	v -1376
83.96/84.02	v -1377
83.96/84.02	v -1378
83.96/84.02	v -1379
83.96/84.02	v -1380
83.96/84.02	v -1381
83.96/84.02	v -1382
83.96/84.02	v 1383
83.96/84.02	v -1384
83.96/84.02	v 1385
83.96/84.02	v 1386
83.96/84.02	v 1387
83.96/84.02	v 1388
83.96/84.02	v -1389
83.96/84.02	v 1390
83.96/84.02	v -1391
83.96/84.02	v -1392
83.96/84.02	v 1393
83.96/84.02	v -1394
83.96/84.02	v 1395
83.96/84.02	v -1396
83.96/84.02	v 1397
83.96/84.02	v 1398
83.96/84.02	v 1399
83.96/84.02	v 1400
83.96/84.02	v 1401
83.96/84.02	v -1402
83.96/84.02	v 1403
83.96/84.02	v -1404
83.96/84.02	v 1405
83.96/84.02	v 1406
83.96/84.02	v 1407
83.96/84.02	v -1408
83.96/84.02	v 1409
83.96/84.02	v 1410
83.96/84.02	v 1411
83.96/84.02	v 1412
83.96/84.02	v -1413
83.96/84.02	v -1414
83.96/84.02	v 1415
83.96/84.02	v 1416
83.96/84.02	v 1417
83.96/84.02	v -1418
83.96/84.02	v 1419
83.96/84.02	v 1420
83.96/84.02	v 1421
83.96/84.02	v 1422
83.96/84.02	v -1423
83.96/84.02	v -1424
83.96/84.02	v 1425
83.96/84.02	v 1426
83.96/84.02	v -1427
83.96/84.02	v 1428
83.96/84.02	v 1429
83.96/84.02	v -1430
83.96/84.02	v -1431
83.96/84.02	v -1432
83.96/84.02	v -1433
83.96/84.02	v -1434
83.96/84.02	v -1435
83.96/84.02	v 1436
83.96/84.02	v 1437
83.96/84.02	v -1438
83.96/84.02	v 1439
83.96/84.02	v -1440
83.96/84.02	v -1441
83.96/84.02	v -1442
83.96/84.02	v 1443
83.96/84.02	v 1444
83.96/84.02	v -1445
83.96/84.02	v 1446
83.96/84.02	v -1447
83.96/84.02	v -1448
83.96/84.02	v -1449
83.96/84.02	v -1450
83.96/84.02	v -1451
83.96/84.02	v -1452
83.96/84.02	v 1453
83.96/84.02	v -1454
83.96/84.02	v -1455
83.96/84.02	v -1456
83.96/84.02	v -1457
83.96/84.02	v 1458
83.96/84.02	v -1459
83.96/84.02	v 1460
83.96/84.02	v -1461
83.96/84.02	v 1462
83.96/84.02	v 1463
83.96/84.02	v 1464
83.96/84.02	v 1465
83.96/84.02	v -1466
83.96/84.02	v 1467
83.96/84.02	v 1468
83.96/84.02	v 1469
83.96/84.02	v 1470
83.96/84.02	v -1471
83.96/84.02	v 1472
83.96/84.02	v -1473
83.96/84.02	v 1474
83.96/84.02	v -1475
83.96/84.02	v -1476
83.96/84.02	v -1477
83.96/84.02	v 1478
83.96/84.02	v 1479
83.96/84.02	v -1480
83.96/84.02	v 1481
83.96/84.02	v -1482
83.96/84.02	v 1483
83.96/84.02	v 1484
83.96/84.02	v -1485
83.96/84.02	v 1486
83.96/84.02	v 1487
83.96/84.02	v 1488
83.96/84.02	v -1489
83.96/84.02	v -1490
83.96/84.02	v 1491
83.96/84.02	v -1492
83.96/84.02	v 1493
83.96/84.02	v 1494
83.96/84.02	v 1495
83.96/84.02	v 1496
83.96/84.02	v 1497
83.96/84.02	v -1498
83.96/84.02	v -1499
83.96/84.02	v 1500
83.96/84.02	v 1501
83.96/84.02	v -1502
83.96/84.02	v 1503
83.96/84.02	v -1504
83.96/84.02	v -1505
83.96/84.02	v -1506
83.96/84.02	v 1507
83.96/84.02	v 1508
83.96/84.02	v -1509
83.96/84.02	v 1510
83.96/84.02	v 1511
83.96/84.02	v -1512
83.96/84.02	v 1513
83.96/84.02	v 1514
83.96/84.02	v 1515
83.96/84.02	v 1516
83.96/84.02	v -1517
83.96/84.02	v 1518
83.96/84.02	v -1519
83.96/84.02	v 1520
83.96/84.02	v 1521
83.96/84.02	v -1522
83.96/84.02	v 1523
83.96/84.02	v 1524
83.96/84.02	v 1525
83.96/84.02	v 1526
83.96/84.02	v -1527
83.96/84.02	v -1528
83.96/84.02	v -1529
83.96/84.02	v 1530
83.96/84.02	v 1531
83.96/84.02	v -1532
83.96/84.02	v -1533
83.96/84.02	v 1534
83.96/84.02	v 1535
83.96/84.02	v -1536
83.96/84.02	v 1537
83.96/84.02	v 1538
83.96/84.02	v 1539
83.96/84.02	v 1540
83.96/84.02	v -1541
83.96/84.02	v -1542
83.96/84.02	v -1543
83.96/84.02	v -1544
83.96/84.02	v -1545
83.96/84.02	v -1546
83.96/84.02	v -1547
83.96/84.02	v -1548
83.96/84.02	v -1549
83.96/84.02	v -1550
83.96/84.02	v 1551
83.96/84.02	v 1552
83.96/84.02	v -1553
83.96/84.02	v 1554
83.96/84.02	v -1555
83.96/84.02	v -1556
83.96/84.02	v -1557
83.96/84.02	v 1558
83.96/84.02	v -1559
83.96/84.02	v -1560
83.96/84.02	v -1561
83.96/84.02	v 1562
83.96/84.02	v -1563
83.96/84.02	v -1564
83.96/84.02	v -1565
83.96/84.02	v -1566
83.96/84.02	v 1567
83.96/84.02	v -1568
83.96/84.02	v 1569
83.96/84.02	v -1570
83.96/84.02	v 1571
83.96/84.02	v 1572
83.96/84.02	v -1573
83.96/84.02	v -1574
83.96/84.02	v 1575
83.96/84.02	v -1576
83.96/84.02	v 1577
83.96/84.02	v 1578
83.96/84.02	v 1579
83.96/84.02	v -1580
83.96/84.02	v 1581
83.96/84.02	v -1582
83.96/84.02	v 1583
83.96/84.02	v -1584
83.96/84.02	v -1585
83.96/84.02	v 1586
83.96/84.02	v 1587
83.96/84.02	v -1588
83.96/84.02	v 1589
83.96/84.02	v 1590
83.96/84.02	v -1591
83.96/84.02	v 1592
83.96/84.02	v -1593
83.96/84.02	v -1594
83.96/84.02	v -1595
83.96/84.02	v 1596
83.96/84.02	v 1597
83.96/84.02	v 1598
83.96/84.02	v 1599
83.96/84.02	v -1600
83.96/84.02	v -1601
83.96/84.02	v -1602
83.96/84.02	v -1603
83.96/84.02	v -1604
83.96/84.02	v -1605
83.96/84.02	v 1606
83.96/84.02	v 1607
83.96/84.02	v -1608
83.96/84.02	v -1609
83.96/84.02	v -1610
83.96/84.02	v -1611
83.96/84.02	v 1612
83.96/84.02	v -1613
83.96/84.02	v 1614
83.96/84.02	v 1615
83.96/84.02	v 1616
83.96/84.02	v 1617
83.96/84.02	v -1618
83.96/84.02	v 1619
83.96/84.02	v -1620
83.96/84.02	v -1621
83.96/84.02	v -1622
83.96/84.02	v -1623
83.96/84.02	v -1624
83.96/84.02	v -1625
83.96/84.02	v 1626
83.96/84.02	v -1627
83.96/84.02	v 1628
83.96/84.02	v 1629
83.96/84.02	v 1630
83.96/84.02	v 1631
83.96/84.02	v -1632
83.96/84.02	v -1633
83.96/84.02	v -1634
83.96/84.02	v -1635
83.96/84.02	v 1636
83.96/84.02	v -1637
83.96/84.02	v 1638
83.96/84.02	v 1639
83.96/84.02	v 1640
83.96/84.02	v -1641
83.96/84.02	v -1642
83.96/84.02	v 1643
83.96/84.02	v 1644
83.96/84.02	v 1645
83.96/84.02	v 1646
83.96/84.02	v -1647
83.96/84.02	v -1648
83.96/84.02	v 1649
83.96/84.02	v 1650
83.96/84.02	v -1651
83.96/84.02	v -1652
83.96/84.02	v -1653
83.96/84.02	v 1654
83.96/84.02	v 1655
83.96/84.02	v -1656
83.96/84.02	v -1657
83.96/84.02	v -1658
83.96/84.02	v 1659
83.96/84.02	v -1660
83.96/84.02	v 1661
83.96/84.02	v 1662
83.96/84.02	v 1663
83.96/84.02	v -1664
83.96/84.02	v -1665
83.96/84.02	v -1666
83.96/84.02	v 1667
83.96/84.02	v 1668
83.96/84.02	v -1669
83.96/84.02	v -1670
83.96/84.02	v 1671
83.96/84.02	v -1672
83.96/84.02	v -1673
83.96/84.02	v -1674
83.96/84.02	v 1675
83.96/84.02	v 1676
83.96/84.02	v 1677
83.96/84.02	v 1678
83.96/84.02	v 1679
83.96/84.02	v 1680
83.96/84.02	v 1681
83.96/84.02	v 1682
83.96/84.02	v -1683
83.96/84.02	v 1684
83.96/84.02	v 1685
83.96/84.02	v 1686
83.96/84.02	v 1687
83.96/84.02	v 1688
83.96/84.02	v -1689
83.96/84.02	v -1690
83.96/84.02	v 1691
83.96/84.02	v -1692
83.96/84.02	v -1693
83.96/84.02	v -1694
83.96/84.02	v -1695
83.96/84.02	v -1696
83.96/84.02	v -1697
83.96/84.02	v 1698
83.96/84.02	v -1699
83.96/84.02	v 1700
83.96/84.02	v 1701
83.96/84.02	v -1702
83.96/84.02	v 1703
83.96/84.02	v -1704
83.96/84.02	v -1705
83.96/84.02	v 1706
83.96/84.02	v -1707
83.96/84.02	v 1708
83.96/84.02	v 1709
83.96/84.02	v -1710
83.96/84.02	v 1711
83.96/84.02	v 1712
83.96/84.02	v -1713
83.96/84.02	v -1714
83.96/84.02	v 1715
83.96/84.02	v -1716
83.96/84.02	v 1717
83.96/84.02	v -1718
83.96/84.02	v 1719
83.96/84.02	v 1720
83.96/84.02	v 1721
83.96/84.02	v -1722
83.96/84.02	v -1723
83.96/84.02	v 1724
83.96/84.02	v 1725
83.96/84.02	v 1726
83.96/84.02	v -1727
83.96/84.02	v -1728
83.96/84.02	v -1729
83.96/84.02	v -1730
83.96/84.02	v 1731
83.96/84.02	v 1732
83.96/84.02	v -1733
83.96/84.02	v 1734
83.96/84.02	v 1735
83.96/84.02	v -1736
83.96/84.02	v -1737
83.96/84.02	v -1738
83.96/84.02	v 1739
83.96/84.02	v 1740
83.96/84.02	v 1741
83.96/84.02	v -1742
83.96/84.02	v 1743
83.96/84.02	v -1744
83.96/84.02	v -1745
83.96/84.02	v 1746
83.96/84.02	v 1747
83.96/84.02	v -1748
83.96/84.02	v -1749
83.96/84.02	v 1750
83.96/84.02	v -1751
83.96/84.02	v -1752
83.96/84.02	v -1753
83.96/84.02	v 1754
83.96/84.02	v -1755
83.96/84.02	v 1756
83.96/84.02	v 1757
83.96/84.02	v 1758
83.96/84.02	v -1759
83.96/84.02	v -1760
83.96/84.02	v 1761
83.96/84.02	v 1762
83.96/84.02	v -1763
83.96/84.02	v -1764
83.96/84.02	v 1765
83.96/84.02	v -1766
83.96/84.02	v 1767
83.96/84.02	v -1768
83.96/84.02	v -1769
83.96/84.02	v 1770
83.96/84.02	v 1771
83.96/84.02	v 1772
83.96/84.02	v 1773
83.96/84.02	v 1774
83.96/84.02	v -1775
83.96/84.02	v 1776
83.96/84.02	v -1777
83.96/84.02	v 1778
83.96/84.02	v -1779
83.96/84.02	v -1780
83.96/84.02	v 1781
83.96/84.02	v 1782
83.96/84.02	v 1783
83.96/84.02	v 1784
83.96/84.02	v -1785
83.96/84.02	v 1786
83.96/84.02	v -1787
83.96/84.02	v 1788
83.96/84.02	v 1789
83.96/84.02	v -1790
83.96/84.02	v -1791
83.96/84.02	v 1792
83.96/84.02	v 1793
83.96/84.02	v -1794
83.96/84.02	v 1795
83.96/84.02	v 1796
83.96/84.02	v -1797
83.96/84.02	v -1798
83.96/84.02	v -1799
83.96/84.02	v -1800
83.96/84.02	v -1801
83.96/84.02	v -1802
83.96/84.02	v -1803
83.96/84.02	v -1804
83.96/84.02	v -1805
83.96/84.02	v 1806
83.96/84.02	v 1807
83.96/84.02	v 1808
83.96/84.02	v -1809
83.96/84.02	v 1810
83.96/84.02	v -1811
83.96/84.02	v 1812
83.96/84.02	v -1813
83.96/84.02	v -1814
83.96/84.02	v -1815
83.96/84.02	v -1816
83.96/84.02	v -1817
83.96/84.02	v 1818
83.96/84.02	v 1819
83.96/84.02	v 1820
83.96/84.02	v -1821
83.96/84.02	v 1822
83.96/84.02	v -1823
83.96/84.02	v -1824
83.96/84.02	v 1825
83.96/84.02	v 1826
83.96/84.02	v 1827
83.96/84.02	v 1828
83.96/84.02	v -1829
83.96/84.02	v 1830
83.96/84.02	v -1831
83.96/84.02	v -1832
83.96/84.02	v -1833
83.96/84.02	v -1834
83.96/84.02	v 1835
83.96/84.02	v -1836
83.96/84.02	v 1837
83.96/84.02	v 1838
83.96/84.02	v -1839
83.96/84.02	v -1840
83.96/84.02	v 1841
83.96/84.02	v 1842
83.96/84.02	v 1843
83.96/84.02	v 1844
83.96/84.02	v -1845
83.96/84.02	v 1846
83.96/84.02	v 1847
83.96/84.02	v 1848
83.96/84.02	v -1849
83.96/84.02	v -1850
83.96/84.02	v -1851
83.96/84.02	v 1852
83.96/84.02	v 1853
83.96/84.02	v 1854
83.96/84.02	v 1855
83.96/84.02	v 1856
83.96/84.02	v 1857
83.96/84.02	v 1858
83.96/84.02	v 1859
83.96/84.02	v -1860
83.96/84.02	v -1861
83.96/84.02	v 1862
83.96/84.02	v 1863
83.96/84.02	v -1864
83.96/84.02	v -1865
83.96/84.02	v 1866
83.96/84.02	v -1867
83.96/84.02	v -1868
83.96/84.02	v -1869
83.96/84.02	v 1870
83.96/84.02	v 1871
83.96/84.02	v -1872
83.96/84.02	v -1873
83.96/84.02	v -1874
83.96/84.02	v 1875
83.96/84.02	v -1876
83.96/84.02	v -1877
83.96/84.02	v -1878
83.96/84.02	v 1879
83.96/84.02	v 1880
83.96/84.02	v 1881
83.96/84.02	v -1882
83.96/84.02	v 1883
83.96/84.02	v 1884
83.96/84.02	v 1885
83.96/84.02	v -1886
83.96/84.02	v -1887
83.96/84.02	v 1888
83.96/84.02	v 1889
83.96/84.02	v -1890
83.96/84.02	v 1891
83.96/84.02	v 1892
83.96/84.02	v 1893
83.96/84.02	v -1894
83.96/84.02	v -1895
83.96/84.02	v -1896
83.96/84.02	v -1897
83.96/84.02	v 1898
83.96/84.02	v -1899
83.96/84.02	v 1900
83.96/84.02	v 1901
83.96/84.02	v 1902
83.96/84.02	v 1903
83.96/84.02	v -1904
83.96/84.02	v -1905
83.96/84.02	v -1906
83.96/84.02	v -1907
83.96/84.02	v 1908
83.96/84.02	v -1909
83.96/84.02	v 1910
83.96/84.02	v 1911
83.96/84.02	v -1912
83.96/84.02	v 1913
83.96/84.02	v -1914
83.96/84.02	v 1915
83.96/84.02	v -1916
83.96/84.02	v 1917
83.96/84.02	v -1918
83.96/84.02	v 1919
83.96/84.02	v -1920
83.96/84.02	v -1921
83.96/84.02	v -1922
83.96/84.02	v -1923
83.96/84.02	v 1924
83.96/84.02	v -1925
83.96/84.02	v -1926
83.96/84.02	v -1927
83.96/84.02	v -1928
83.96/84.02	v -1929
83.96/84.02	v 1930
83.96/84.02	v -1931
83.96/84.02	v -1932
83.96/84.02	v 1933
83.96/84.02	v 1934
83.96/84.02	v -1935
83.96/84.02	v 1936
83.96/84.02	v 1937
83.96/84.02	v 1938
83.96/84.02	v 1939
83.96/84.02	v -1940
83.96/84.02	v -1941
83.96/84.02	v 1942
83.96/84.02	v 1943
83.96/84.02	v 1944
83.96/84.02	v -1945
83.96/84.02	v 1946
83.96/84.02	v 1947
83.96/84.02	v 1948
83.96/84.02	v 1949
83.96/84.02	v -1950
83.96/84.02	v 1951
83.96/84.02	v 1952
83.96/84.02	v -1953
83.96/84.02	v 1954
83.96/84.02	v -1955
83.96/84.02	v -1956
83.96/84.02	v -1957
83.96/84.02	v 1958
83.96/84.02	v -1959
83.96/84.02	v -1960
83.96/84.02	v -1961
83.96/84.02	v 1962
83.96/84.02	v -1963
83.96/84.02	v 1964
83.96/84.02	v -1965
83.96/84.02	v -1966
83.96/84.02	v 1967
83.96/84.02	v -1968
83.96/84.02	v 1969
83.96/84.02	v 1970
83.96/84.02	v -1971
83.96/84.02	v -1972
83.96/84.02	v -1973
83.96/84.02	v 1974
83.96/84.02	v -1975
83.96/84.02	v -1976
83.96/84.02	v -1977
83.96/84.02	v -1978
83.96/84.02	v -1979
83.96/84.02	v 1980
83.96/84.02	v -1981
83.96/84.02	v -1982
83.96/84.02	v -1983
83.96/84.02	v -1984
83.96/84.02	v -1985
83.96/84.02	v -1986
83.96/84.02	v 1987
83.96/84.02	v -1988
83.96/84.02	v -1989
83.96/84.02	v -1990
83.96/84.02	v 1991
83.96/84.02	v 1992
83.96/84.02	v -1993
83.96/84.02	v 1994
83.96/84.02	v 1995
83.96/84.02	v -1996
83.96/84.02	v -1997
83.96/84.02	v 1998
83.96/84.02	v -1999
83.96/84.02	v 2000
83.96/84.02	v 0
83.96/84.02	c Done in 83.950000 seconds

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1540572-1238434323/watcher-1540572-1238434323 -o /tmp/evaluation-result-1540572-1238434323/solver-1540572-1238434323 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM3 HOME/instance-1540572-1238434323.cnf 1378689793 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12068
/proc/meminfo: memFree=1550040/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=260600 CPUtime=0
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 860 0 0 0 0 0 0 0 18 0 1 0 1116098579 266854400 844 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 65150 851 54 168 0 64980 0

[startup+0.096581 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12068
/proc/meminfo: memFree=1550040/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=0.09
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 4698 0 0 0 7 2 0 0 18 0 1 0 1116098579 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134537224 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.101582 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12068
/proc/meminfo: memFree=1550040/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=0.09
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 4698 0 0 0 7 2 0 0 18 0 1 0 1116098579 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134536843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301619 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12068
/proc/meminfo: memFree=1550040/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=0.29
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 4698 0 0 0 27 2 0 0 19 0 1 0 1116098579 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134537249 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701696 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12068
/proc/meminfo: memFree=1550040/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=0.69
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 4698 0 0 0 67 2 0 0 22 0 1 0 1116098579 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50185 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1531408/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=1.49
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 4698 0 0 0 147 2 0 0 25 0 1 0 1116098579 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10116 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1531216/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=3.09
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 4698 0 0 0 307 2 0 0 25 0 1 0 1116098579 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134537539 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30177 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1531216/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=6.29
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 4699 0 0 0 627 2 0 0 25 0 1 0 1116098579 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134536767 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4682 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1531160/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=12.69
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 4699 0 0 0 1267 2 0 0 25 0 1 0 1116098579 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134537224 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4682 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5014 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1530136/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=268416 CPUtime=25.48
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 5083 0 0 0 2546 2 0 0 25 0 1 0 1116098579 274857984 4906 1992294400 134512640 135204385 4294956208 18446744073709551615 134545995 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67104 4906 69 168 0 66934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268416

[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529048/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=270000 CPUtime=51.07
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6141 0 0 0 5105 2 0 0 25 0 1 0 1116098579 276480000 5237 1992294400 134512640 135204385 4294956208 18446744073709551615 134536965 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67500 5237 84 168 0 67330 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 270000

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

[startup+63.9018 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529048/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=270000 CPUtime=63.87
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6143 0 0 0 6385 2 0 0 25 0 1 0 1116098579 276480000 5239 1992294400 134512640 135204385 4294956208 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67500 5239 84 168 0 67330 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 270000

[startup+76.7013 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529368/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=269428 CPUtime=76.66
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6681 0 0 0 7664 2 0 0 25 0 1 0 1116098579 275894272 5107 1992294400 134512640 135204385 4294956208 18446744073709551615 134536663 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67357 5107 84 168 0 67187 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 269428

[startup+79.9019 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529368/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=269428 CPUtime=79.86
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6681 0 0 0 7984 2 0 0 25 0 1 0 1116098579 275894272 5107 1992294400 134512640 135204385 4294956208 18446744073709551615 134537249 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67357 5107 84 168 0 67187 0
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (KiB) 269428

[startup+81.5012 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529368/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=269428 CPUtime=81.46
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6681 0 0 0 8144 2 0 0 25 0 1 0 1116098579 275894272 5107 1992294400 134512640 135204385 4294956208 18446744073709551615 134547676 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67357 5107 84 168 0 67187 0
Current children cumulated CPU time (s) 81.46
Current children cumulated vsize (KiB) 269428

[startup+83.1015 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529368/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=269428 CPUtime=83.06
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6681 0 0 0 8304 2 0 0 25 0 1 0 1116098579 275894272 5107 1992294400 134512640 135204385 4294956208 18446744073709551615 134536895 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67357 5107 84 168 0 67187 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 269428

[startup+83.5016 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529368/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=269428 CPUtime=83.46
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6681 0 0 0 8344 2 0 0 25 0 1 0 1116098579 275894272 5107 1992294400 134512640 135204385 4294956208 18446744073709551615 134537249 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67357 5107 84 168 0 67187 0
Current children cumulated CPU time (s) 83.46
Current children cumulated vsize (KiB) 269428

[startup+83.9016 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529368/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=269428 CPUtime=83.86
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6681 0 0 0 8384 2 0 0 25 0 1 0 1116098579 275894272 5107 1992294400 134512640 135204385 4294956208 18446744073709551615 134537422 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67357 5107 84 168 0 67187 0
Current children cumulated CPU time (s) 83.86
Current children cumulated vsize (KiB) 269428

[startup+84.0017 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12069
/proc/meminfo: memFree=1529368/2055920 swapFree=4178400/4192956
[pid=12068] ppid=12066 vsize=269428 CPUtime=83.96
/proc/12068/stat : 12068 (hybridGM3) R 12066 12068 11792 0 -1 4194304 6681 0 0 0 8394 2 0 0 25 0 1 0 1116098579 275894272 5107 1992294400 134512640 135204385 4294956208 18446744073709551615 134536646 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 67357 5107 84 168 0 67187 0
Current children cumulated CPU time (s) 83.96
Current children cumulated vsize (KiB) 269428

Child status: 10
Real time (s): 84.0284
CPU time (s): 83.9892
CPU user time (s): 83.9582
CPU system time (s): 0.030995
CPU usage (%): 99.9534
Max. virtual memory (cumulated for all children) (KiB): 270012

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

runsolver used 0.06199 second user time and 0.203968 second system time

The end

Launcher Data 

Begin job on node9 at 2009-03-30 19:32:03
IDJOB=1540572
IDBENCH=70292
IDSOLVER=534
FILE ID=node9/1540572-1238434323
PBS_JOBID= 9061575
Free space on /tmp= 66420 MiB

SOLVER NAME= hybridGM3 3
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
COMMAND LINE= HOME/hybridGM3 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1540572-1238434323/watcher-1540572-1238434323 -o /tmp/evaluation-result-1540572-1238434323/solver-1540572-1238434323 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM3 HOME/instance-1540572-1238434323.cnf 1378689793 

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

MD5SUM BENCH= 68d6a1970f04966f07e2b02a79996009
RANDOM SEED=1378689793

node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.268
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.268
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1550520 kB
Buffers:         91988 kB
Cached:         324236 kB
SwapCached:       8300 kB
Active:         143104 kB
Inactive:       282992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1550520 kB
SwapTotal:     4192956 kB
SwapFree:      4178400 kB
Dirty:            1172 kB
Writeback:           0 kB
Mapped:          15532 kB
Slab:            65324 kB
Committed_AS:  2898716 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66420 MiB
End job on node9 at 2009-03-30 19:33:27