Trace number 1627224

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 11.4013 11.4127

General information on the benchmark

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

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1627224-1240018603/watcher-1627224-1240018603 -o /tmp/evaluation-result-1627224-1240018603/solver-1627224-1240018603 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/hybridGM3 HOME/instance-1627224-1240018603.cnf 461137497 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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.99 0.97 0.99 3/64 20519
/proc/meminfo: memFree=760088/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=260600 CPUtime=0
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 861 0 0 0 0 0 0 0 18 0 1 0 29893425 266854400 845 1992294400 134512640 135204385 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 65150 851 54 168 0 64980 0

[startup+0.0151999 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 20519
/proc/meminfo: memFree=760088/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=268416 CPUtime=0.01
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 1092 0 0 0 1 0 0 0 18 0 1 0 29893425 274857984 1076 1992294400 134512640 135204385 4294956224 18446744073709551615 134542911 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67104 1076 56 168 0 66934 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 268416

[startup+0.101209 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 20519
/proc/meminfo: memFree=760088/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=268416 CPUtime=0.09
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 4698 0 0 0 7 2 0 0 18 0 1 0 29893425 274857984 4681 1992294400 134512640 135204385 4294956224 18446744073709551615 134545862 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.30123 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 20519
/proc/meminfo: memFree=760088/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=268416 CPUtime=0.29
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 4698 0 0 0 27 2 0 0 19 0 1 0 29893425 274857984 4681 1992294400 134512640 135204385 4294956224 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701273 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 20519
/proc/meminfo: memFree=760088/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=268724 CPUtime=0.69
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 5244 0 0 0 67 2 0 0 22 0 1 0 29893425 275173376 4992 1992294400 134512640 135204385 4294956224 18446744073709551615 134547411 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67181 4992 84 168 0 67011 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268724

[startup+1.50237 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20520
/proc/meminfo: memFree=740048/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=268764 CPUtime=1.49
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 6901 0 0 0 147 2 0 0 25 0 1 0 29893425 275214336 4992 1992294400 134512640 135204385 4294956224 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67191 4992 84 168 0 67021 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268764

[startup+3.10153 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20520
/proc/meminfo: memFree=739152/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=269428 CPUtime=3.09
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 7263 0 0 0 307 2 0 0 25 0 1 0 29893425 275894272 5105 1992294400 134512640 135204385 4294956224 18446744073709551615 134537495 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67357 5105 84 168 0 67187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 269428

[startup+6.30188 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20520
/proc/meminfo: memFree=739088/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=269428 CPUtime=6.3
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 7662 0 0 0 627 3 0 0 25 0 1 0 29893425 275894272 5109 1992294400 134512640 135204385 4294956224 18446744073709551615 134545744 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67357 5109 84 168 0 67187 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 269428

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

[startup+9.50123 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20520
/proc/meminfo: memFree=739024/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=270004 CPUtime=9.49
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 7801 0 0 0 946 3 0 0 25 0 1 0 29893425 276484096 5248 1992294400 134512640 135204385 4294956224 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67501 5248 84 168 0 67331 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 270004

[startup+10.3013 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20520
/proc/meminfo: memFree=739024/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=270004 CPUtime=10.29
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 7801 0 0 0 1026 3 0 0 25 0 1 0 29893425 276484096 5248 1992294400 134512640 135204385 4294956224 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67501 5248 84 168 0 67331 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 270004

[startup+11.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20520
/proc/meminfo: memFree=738960/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=270032 CPUtime=11.09
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 7935 0 0 0 1106 3 0 0 25 0 1 0 29893425 276512768 5243 1992294400 134512640 135204385 4294956224 18446744073709551615 134705123 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67508 5243 84 168 0 67338 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 270032

[startup+11.3015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20520
/proc/meminfo: memFree=738960/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=269428 CPUtime=11.29
/proc/20519/stat : 20519 (hybridGM3) R 20517 20519 20333 0 -1 4194304 7939 0 0 0 1126 3 0 0 25 0 1 0 29893425 275894272 5109 1992294400 134512640 135204385 4294956224 18446744073709551615 134536678 0 0 4096 0 0 0 0 17 1 0 0
/proc/20519/statm: 67357 5109 84 168 0 67187 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 269428

[startup+11.4014 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20520
/proc/meminfo: memFree=738960/2055920 swapFree=4192956/4192956
[pid=20519] ppid=20517 vsize=270024 CPUtime=11.38
/proc/20519/stat : 20519 (hybridGM3) S 20517 20519 20333 0 -1 4194304 8074 0 0 0 1135 3 0 0 16 0 1 0 29893425 276504576 5244 1992294400 134512640 135204385 4294956224 18446744073709551615 134728574 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20519/statm: 67506 5244 85 168 0 67336 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 270024

Child status: 10
Real time (s): 11.4127
CPU time (s): 11.4013
CPU user time (s): 11.3583
CPU system time (s): 0.042993
CPU usage (%): 99.8995
Max. virtual memory (cumulated for all children) (KiB): 270032

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

runsolver used 0.012998 second user time and 0.043993 second system time

The end

Launcher Data 

Begin job on node21 at 2009-04-18 03:36:43
IDJOB=1627224
IDBENCH=70290
IDSOLVER=580
FILE ID=node21/1627224-1240018603
PBS_JOBID= 9158972
Free space on /tmp= 66312 MiB

SOLVER NAME= hybridGM3 3
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
COMMAND LINE= HOME/hybridGM3 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1627224-1240018603/watcher-1627224-1240018603 -o /tmp/evaluation-result-1627224-1240018603/solver-1627224-1240018603 -C 5000 -W 6000 -M 1800 --output-limit 1,15  HOME/hybridGM3 HOME/instance-1627224-1240018603.cnf 461137497 

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

MD5SUM BENCH= e16a301b3b11f2fcadc19b12fcb8ed0b
RANDOM SEED=461137497

node21.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.233
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.233
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:        760504 kB
Buffers:         91952 kB
Cached:        1107772 kB
SwapCached:          0 kB
Active:         230712 kB
Inactive:       983000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        760504 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1580 kB
Writeback:           0 kB
Mapped:          23708 kB
Slab:            67812 kB
Committed_AS:   155732 kB
PageTables:       1376 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 node21 at 2009-04-18 03:36:54