Trace number 1540529

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
hybridGM 1SAT 24.5203 24.5398

General information on the benchmark

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 1419
/proc/meminfo: memFree=1518192/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=260600 CPUtime=0
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 876 0 0 0 0 0 0 0 18 0 1 0 1116069447 266854400 860 1992294400 134512640 135204289 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 65150 866 54 168 0 64980 0

[startup+0.090119 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 1419
/proc/meminfo: memFree=1518192/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268416 CPUtime=0.08
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 4698 0 0 0 7 1 0 0 18 0 1 0 1116069447 274857984 4681 1992294400 134512640 135204289 4294956208 18446744073709551615 134537143 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 268416

[startup+0.10112 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 1419
/proc/meminfo: memFree=1518192/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268416 CPUtime=0.09
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 4698 0 0 0 8 1 0 0 18 0 1 0 1116069447 274857984 4681 1992294400 134512640 135204289 4294956208 18446744073709551615 134547318 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301157 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 1419
/proc/meminfo: memFree=1518192/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268416 CPUtime=0.29
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 4698 0 0 0 28 1 0 0 19 0 1 0 1116069447 274857984 4681 1992294400 134512640 135204289 4294956208 18446744073709551615 134549093 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701234 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 1419
/proc/meminfo: memFree=1518192/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268416 CPUtime=0.69
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 4698 0 0 0 68 1 0 0 22 0 1 0 1116069447 274857984 4681 1992294400 134512640 135204289 4294956208 18446744073709551615 134537366 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50139 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1499560/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268416 CPUtime=1.49
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 4698 0 0 0 148 1 0 0 25 0 1 0 1116069447 274857984 4681 1992294400 134512640 135204289 4294956208 18446744073709551615 134537383 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.1017 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1499368/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268416 CPUtime=3.09
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 4698 0 0 0 308 1 0 0 25 0 1 0 1116069447 274857984 4681 1992294400 134512640 135204289 4294956208 18446744073709551615 134537126 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30131 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1499304/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268416 CPUtime=6.29
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 4698 0 0 0 628 1 0 0 25 0 1 0 1116069447 274857984 4681 1992294400 134512640 135204289 4294956208 18446744073709551615 134537176 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1497896/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268800 CPUtime=12.69
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 6119 0 0 0 1267 2 0 0 25 0 1 0 1116069447 275251200 4991 1992294400 134512640 135204289 4294956208 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67200 4991 84 168 0 67030 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268800

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

[startup+19.1018 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1497896/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268800 CPUtime=19.09
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 6366 0 0 0 1907 2 0 0 25 0 1 0 1116069447 275251200 4991 1992294400 134512640 135204289 4294956208 18446744073709551615 134545995 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67200 4991 84 168 0 67030 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 268800

[startup+22.3014 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1497896/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268800 CPUtime=22.28
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 6366 0 0 0 2226 2 0 0 25 0 1 0 1116069447 275251200 4991 1992294400 134512640 135204289 4294956208 18446744073709551615 134537383 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67200 4991 84 168 0 67030 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 268800

[startup+23.9017 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1497896/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268800 CPUtime=23.88
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 6606 0 0 0 2386 2 0 0 25 0 1 0 1116069447 275251200 4991 1992294400 134512640 135204289 4294956208 18446744073709551615 134537495 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67200 4991 84 168 0 67030 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 268800

[startup+24.3018 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1497896/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=268800 CPUtime=24.28
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 6606 0 0 0 2426 2 0 0 25 0 1 0 1116069447 275251200 4991 1992294400 134512640 135204289 4294956208 18446744073709551615 134536863 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67200 4991 84 168 0 67030 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 268800

[startup+24.5018 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 1420
/proc/meminfo: memFree=1497896/2055920 swapFree=4179868/4192956
[pid=1419] ppid=1417 vsize=269380 CPUtime=24.48
/proc/1419/stat : 1419 (hybridGM) R 1417 1419 1145 0 -1 4194304 6694 0 0 0 2446 2 0 0 25 0 1 0 1116069447 275845120 5079 1992294400 134512640 135204289 4294956208 18446744073709551615 134587234 0 0 4096 0 0 0 0 17 1 0 0
/proc/1419/statm: 67345 5079 84 168 0 67175 0
Current children cumulated CPU time (s) 24.48
Current children cumulated vsize (KiB) 269380

Child status: 10
Real time (s): 24.5398
CPU time (s): 24.5203
CPU user time (s): 24.4933
CPU system time (s): 0.026995
CPU usage (%): 99.9204
Max. virtual memory (cumulated for all children) (KiB): 269380

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

runsolver used 0.027995 second user time and 0.068989 second system time

The end

Launcher Data 

Begin job on node5 at 2009-03-30 19:27:07
IDJOB=1540529
IDBENCH=70285
IDSOLVER=533
FILE ID=node5/1540529-1238434027
PBS_JOBID= 9061590
Free space on /tmp= 66096 MiB

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

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

MD5SUM BENCH= 8919b1e0a8b22ddbf62ba887cc4a9b9a
RANDOM SEED=453084245

node5.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.263
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.263
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:       1518672 kB
Buffers:         79012 kB
Cached:         356928 kB
SwapCached:       7012 kB
Active:         119496 kB
Inactive:       325004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1518672 kB
SwapTotal:     4192956 kB
SwapFree:      4179868 kB
Dirty:            1176 kB
Writeback:           0 kB
Mapped:          14260 kB
Slab:            78884 kB
Committed_AS:  2860624 kB
PageTables:       1388 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= 66092 MiB
End job on node5 at 2009-03-30 19:27:32