Trace number 1540579

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
hybridGM7 7SAT 19.716 19.731

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

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.22 1.05 1.01 3/64 27267
/proc/meminfo: memFree=1699680/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=260600 CPUtime=0
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 883 0 0 0 0 0 0 0 18 0 1 0 1116105222 266854400 867 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 65150 874 55 168 0 64980 0

[startup+0.0626389 s]
/proc/loadavg: 1.22 1.05 1.01 3/64 27267
/proc/meminfo: memFree=1699680/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=268416 CPUtime=0.05
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 4699 0 0 0 4 1 0 0 18 0 1 0 1116105222 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134536663 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 268416

[startup+0.101628 s]
/proc/loadavg: 1.22 1.05 1.01 3/64 27267
/proc/meminfo: memFree=1699680/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=268416 CPUtime=0.09
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 4699 0 0 0 8 1 0 0 18 0 1 0 1116105222 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134536577 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301573 s]
/proc/loadavg: 1.22 1.05 1.01 3/64 27267
/proc/meminfo: memFree=1699680/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=268416 CPUtime=0.28
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 4699 0 0 0 27 1 0 0 19 0 1 0 1116105222 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134549117 0 0 4096 0 0 0 0 17 0 0 0
/proc/27267/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 268416

[startup+0.701456 s]
/proc/loadavg: 1.22 1.05 1.01 3/64 27267
/proc/meminfo: memFree=1699680/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=268416 CPUtime=0.68
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 4699 0 0 0 67 1 0 0 23 0 1 0 1116105222 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134537357 0 0 4096 0 0 0 0 17 0 0 0
/proc/27267/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 268416

[startup+1.50223 s]
/proc/loadavg: 1.22 1.05 1.01 2/65 27268
/proc/meminfo: memFree=1681048/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=268416 CPUtime=1.48
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 4699 0 0 0 147 1 0 0 25 0 1 0 1116105222 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134537020 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 268416

[startup+3.10176 s]
/proc/loadavg: 1.22 1.05 1.01 2/65 27268
/proc/meminfo: memFree=1680920/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=268416 CPUtime=3.08
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 4699 0 0 0 307 1 0 0 25 0 1 0 1116105222 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 268416

[startup+6.30184 s]
/proc/loadavg: 1.20 1.05 1.01 2/65 27268
/proc/meminfo: memFree=1679576/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=268764 CPUtime=6.28
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 5237 0 0 0 627 1 0 0 25 0 1 0 1116105222 275214336 4993 1992294400 134512640 135204385 4294956208 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67191 4993 85 168 0 67021 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 268764

[startup+12.701 s]
/proc/loadavg: 1.18 1.04 1.01 2/65 27268
/proc/meminfo: memFree=1679192/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=269416 CPUtime=12.69
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 5469 0 0 0 1267 2 0 0 25 0 1 0 1116105222 275881984 5103 1992294400 134512640 135204385 4294956208 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67354 5103 85 168 0 67184 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 269416

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

[startup+15.9011 s]
/proc/loadavg: 1.17 1.04 1.01 2/65 27268
/proc/meminfo: memFree=1679192/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=269416 CPUtime=15.89
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 5588 0 0 0 1587 2 0 0 25 0 1 0 1116105222 275881984 5104 1992294400 134512640 135204385 4294956208 18446744073709551615 134536986 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67354 5104 85 168 0 67184 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 269416

[startup+17.5016 s]
/proc/loadavg: 1.17 1.04 1.01 2/65 27268
/proc/meminfo: memFree=1679192/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=269416 CPUtime=17.49
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 5588 0 0 0 1747 2 0 0 25 0 1 0 1116105222 275881984 5104 1992294400 134512640 135204385 4294956208 18446744073709551615 134536663 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67354 5104 85 168 0 67184 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 269416

[startup+19.1012 s]
/proc/loadavg: 1.16 1.04 1.01 2/65 27268
/proc/meminfo: memFree=1679192/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=269416 CPUtime=19.09
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 5588 0 0 0 1907 2 0 0 25 0 1 0 1116105222 275881984 5104 1992294400 134512640 135204385 4294956208 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67354 5104 85 168 0 67184 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 269416

[startup+19.501 s]
/proc/loadavg: 1.16 1.04 1.01 2/65 27268
/proc/meminfo: memFree=1679192/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=269416 CPUtime=19.49
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 5588 0 0 0 1947 2 0 0 25 0 1 0 1116105222 275881984 5104 1992294400 134512640 135204385 4294956208 18446744073709551615 134536646 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67354 5104 85 168 0 67184 0
Current children cumulated CPU time (s) 19.49
Current children cumulated vsize (KiB) 269416

[startup+19.702 s]
/proc/loadavg: 1.16 1.04 1.01 2/65 27268
/proc/meminfo: memFree=1679192/2055920 swapFree=4178252/4192956
[pid=27267] ppid=27265 vsize=269416 CPUtime=19.69
/proc/27267/stat : 27267 (hybridGM7) R 27265 27267 26829 0 -1 4194304 5588 0 0 0 1967 2 0 0 25 0 1 0 1116105222 275881984 5104 1992294400 134512640 135204385 4294956208 18446744073709551615 134547802 0 0 4096 0 0 0 0 17 1 0 0
/proc/27267/statm: 67354 5104 85 168 0 67184 0
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (KiB) 269416

Child status: 10
Real time (s): 19.731
CPU time (s): 19.716
CPU user time (s): 19.687
CPU system time (s): 0.028995
CPU usage (%): 99.9242
Max. virtual memory (cumulated for all children) (KiB): 269416

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

runsolver used 0.020996 second user time and 0.06399 second system time

The end

Launcher Data 

Begin job on node16 at 2009-03-30 19:33:07
IDJOB=1540579
IDBENCH=70293
IDSOLVER=535
FILE ID=node16/1540579-1238434387
PBS_JOBID= 9061545
Free space on /tmp= 63956 MiB

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

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

MD5SUM BENCH= f790d28bf27d167da954318ad1a18e9d
RANDOM SEED=1080516978

node16.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.232
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.232
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:       1700160 kB
Buffers:         67556 kB
Cached:         195960 kB
SwapCached:       8484 kB
Active:         124312 kB
Inactive:       149192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1700160 kB
SwapTotal:     4192956 kB
SwapFree:      4178252 kB
Dirty:            1412 kB
Writeback:           0 kB
Mapped:          15612 kB
Slab:            68252 kB
Committed_AS:  3034636 kB
PageTables:       1440 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= 63956 MiB
End job on node16 at 2009-03-30 19:33:27