Trace number 1540578

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 13.6929 13.7065

General information on the benchmark

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

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: 1.28 1.13 1.23 3/73 24878
/proc/meminfo: memFree=1643488/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=260600 CPUtime=0
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 1045 0 0 0 0 0 0 0 20 0 1 0 1116102677 266854400 1030 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 65150 1037 54 168 0 64980 0

[startup+0.0471911 s]
/proc/loadavg: 1.28 1.13 1.23 3/73 24878
/proc/meminfo: memFree=1643488/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=268412 CPUtime=0.03
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 4536 0 0 0 2 1 0 0 20 0 1 0 1116102677 274853888 4519 1992294400 134512640 135204385 4294956208 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67103 4527 56 168 0 66933 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 268412

[startup+0.101195 s]
/proc/loadavg: 1.28 1.13 1.23 3/73 24878
/proc/meminfo: memFree=1643488/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=268416 CPUtime=0.09
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 4698 0 0 0 8 1 0 0 20 0 1 0 1116102677 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134536851 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301215 s]
/proc/loadavg: 1.28 1.13 1.23 3/73 24878
/proc/meminfo: memFree=1643488/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=268416 CPUtime=0.29
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 4698 0 0 0 28 1 0 0 22 0 1 0 1116102677 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134537185 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701256 s]
/proc/loadavg: 1.28 1.13 1.23 3/73 24878
/proc/meminfo: memFree=1643488/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=268416 CPUtime=0.69
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 4698 0 0 0 68 1 0 0 25 0 1 0 1116102677 274857984 4681 1992294400 134512640 135204385 4294956208 18446744073709551615 134536663 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50134 s]
/proc/loadavg: 1.28 1.13 1.23 2/74 24879
/proc/meminfo: memFree=1624856/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=269384 CPUtime=1.49
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 5083 0 0 0 147 2 0 0 25 0 1 0 1116102677 275849216 5066 1992294400 134512640 135204385 4294956208 18446744073709551615 134572897 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67346 5066 70 168 0 67176 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 269384

[startup+3.1015 s]
/proc/loadavg: 1.28 1.13 1.23 2/74 24879
/proc/meminfo: memFree=1623320/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=268800 CPUtime=3.09
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 5252 0 0 0 307 2 0 0 25 0 1 0 1116102677 275251200 4993 1992294400 134512640 135204385 4294956208 18446744073709551615 134547411 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67200 4993 84 168 0 67030 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268800

[startup+6.30182 s]
/proc/loadavg: 1.26 1.12 1.23 2/74 24879
/proc/meminfo: memFree=1623320/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=268800 CPUtime=6.29
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 5252 0 0 0 627 2 0 0 25 0 1 0 1116102677 275251200 4993 1992294400 134512640 135204385 4294956208 18446744073709551615 134536705 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67200 4993 84 168 0 67030 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268800

[startup+12.7015 s]
/proc/loadavg: 1.24 1.12 1.23 2/74 24879
/proc/meminfo: memFree=1622488/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=268800 CPUtime=12.69
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 6307 0 0 0 1267 2 0 0 25 0 1 0 1116102677 275251200 4993 1992294400 134512640 135204385 4294956208 18446744073709551615 134536669 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67200 4993 84 168 0 67030 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268800

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

[startup+13.5015 s]
/proc/loadavg: 1.24 1.12 1.23 2/74 24879
/proc/meminfo: memFree=1622488/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=270012 CPUtime=13.48
/proc/24878/stat : 24878 (hybridGM3) R 24876 24878 24537 0 -1 4194304 7361 0 0 0 1346 2 0 0 25 0 1 0 1116102677 276492288 5231 1992294400 134512640 135204385 4294956208 18446744073709551615 134536698 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 67503 5231 84 168 0 67333 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 270012

[startup+13.7016 s]
/proc/loadavg: 1.24 1.12 1.23 2/74 24879
/proc/meminfo: memFree=1622488/2055920 swapFree=4177652/4192956
[pid=24878] ppid=24876 vsize=268800 CPUtime=13.67
/proc/24878/stat : 24878 (hybridGM3) S 24876 24878 24537 0 -1 4194304 7384 0 0 0 1365 2 0 0 16 0 1 0 1116102677 275251200 4997 1992294400 134512640 135204385 4294956208 18446744073709551615 134728574 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24878/statm: 67200 4997 84 168 0 67030 0
Current children cumulated CPU time (s) 13.67
Current children cumulated vsize (KiB) 268800

Child status: 10
Real time (s): 13.7065
CPU time (s): 13.6929
CPU user time (s): 13.6599
CPU system time (s): 0.032994
CPU usage (%): 99.9009
Max. virtual memory (cumulated for all children) (KiB): 270012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6599
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7394
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= 19

runsolver used 0.013997 second user time and 0.057991 second system time

The end

Launcher Data 

Begin job on node84 at 2009-03-30 19:33:07
IDJOB=1540578
IDBENCH=70293
IDSOLVER=534
FILE ID=node84/1540578-1238434387
PBS_JOBID= 9061554
Free space on /tmp= 66312 MiB

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

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

MD5SUM BENCH= f790d28bf27d167da954318ad1a18e9d
RANDOM SEED=112893675

node84.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.231
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.231
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1643904 kB
Buffers:         65812 kB
Cached:         259220 kB
SwapCached:       6944 kB
Active:         126056 kB
Inactive:       208236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1643904 kB
SwapTotal:     4192956 kB
SwapFree:      4177652 kB
Dirty:            1256 kB
Writeback:           0 kB
Mapped:          14856 kB
Slab:            62856 kB
Committed_AS:  2866936 kB
PageTables:       1980 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= 66312 MiB
End job on node84 at 2009-03-30 19:33:21