Trace number 1627227

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM3 3SAT 12.3641 12.3808

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.690894
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses8400
Sum of the clauses size25200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

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

Verifier Data 

OK

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22815
/proc/meminfo: memFree=1327088/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=260600 CPUtime=0
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 857 0 0 0 0 0 0 0 18 0 1 0 29944897 266854400 841 1992294400 134512640 135204385 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 65150 848 54 168 0 64980 0

[startup+0.047654 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22815
/proc/meminfo: memFree=1327088/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268412 CPUtime=0.03
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 4130 0 0 0 2 1 0 0 18 0 1 0 29944897 274853888 4113 1992294400 134512640 135204385 4294956224 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67103 4120 56 168 0 66933 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 268412

[startup+0.102663 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22815
/proc/meminfo: memFree=1327088/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268416 CPUtime=0.09
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 4698 0 0 0 8 1 0 0 18 0 1 0 29944897 274857984 4681 1992294400 134512640 135204385 4294956224 18446744073709551615 134537013 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301699 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22815
/proc/meminfo: memFree=1327088/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268416 CPUtime=0.29
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 4698 0 0 0 28 1 0 0 19 0 1 0 29944897 274857984 4681 1992294400 134512640 135204385 4294956224 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.702772 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22815
/proc/meminfo: memFree=1327088/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268416 CPUtime=0.69
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 4698 0 0 0 68 1 0 0 22 0 1 0 29944897 274857984 4681 1992294400 134512640 135204385 4294956224 18446744073709551615 134537070 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22816
/proc/meminfo: memFree=1308456/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268416 CPUtime=1.49
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 4698 0 0 0 148 1 0 0 25 0 1 0 29944897 274857984 4681 1992294400 134512640 135204385 4294956224 18446744073709551615 134536646 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67104 4681 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10121 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22816
/proc/meminfo: memFree=1308328/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268416 CPUtime=3.09
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 4699 0 0 0 308 1 0 0 25 0 1 0 29944897 274857984 4682 1992294400 134512640 135204385 4294956224 18446744073709551615 134537481 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67104 4682 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30179 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22816
/proc/meminfo: memFree=1306920/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268744 CPUtime=6.29
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 5247 0 0 0 627 2 0 0 25 0 1 0 29944897 275193856 4993 1992294400 134512640 135204385 4294956224 18446744073709551615 134536784 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67186 4993 84 168 0 67016 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268744

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

[startup+9.50137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22816
/proc/meminfo: memFree=1306920/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268744 CPUtime=9.49
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 5247 0 0 0 947 2 0 0 25 0 1 0 29944897 275193856 4993 1992294400 134512640 135204385 4294956224 18446744073709551615 134547764 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67186 4993 84 168 0 67016 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 268744

[startup+11.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22816
/proc/meminfo: memFree=1306856/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268744 CPUtime=11.09
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 5488 0 0 0 1107 2 0 0 25 0 1 0 29944897 275193856 4993 1992294400 134512640 135204385 4294956224 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67186 4993 84 168 0 67016 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 268744

[startup+11.9018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22816
/proc/meminfo: memFree=1306856/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268744 CPUtime=11.89
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 5488 0 0 0 1187 2 0 0 25 0 1 0 29944897 275193856 4993 1992294400 134512640 135204385 4294956224 18446744073709551615 134537233 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67186 4993 84 168 0 67016 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 268744

[startup+12.3019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22816
/proc/meminfo: memFree=1306856/2055920 swapFree=4192956/4192956
[pid=22815] ppid=22813 vsize=268772 CPUtime=12.28
/proc/22815/stat : 22815 (hybridGM3) R 22813 22815 22704 0 -1 4194304 5953 0 0 0 1226 2 0 0 25 0 1 0 29944897 275222528 4994 1992294400 134512640 135204385 4294956224 18446744073709551615 134536698 0 0 4096 0 0 0 0 17 1 0 0
/proc/22815/statm: 67193 4994 84 168 0 67023 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 268772

Child status: 10
Real time (s): 12.3808
CPU time (s): 12.3641
CPU user time (s): 12.3301
CPU system time (s): 0.033994
CPU usage (%): 99.8649
Max. virtual memory (cumulated for all children) (KiB): 269460

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

runsolver used 0.016997 second user time and 0.044993 second system time

The end

Launcher Data 

Begin job on node67 at 2009-04-18 03:46:27
IDJOB=1627227
IDBENCH=70293
IDSOLVER=580
FILE ID=node67/1627227-1240019187
PBS_JOBID= 9157389
Free space on /tmp= 66340 MiB

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

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

MD5SUM BENCH= f790d28bf27d167da954318ad1a18e9d
RANDOM SEED=674628393

node67.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.277
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.277
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:       1327504 kB
Buffers:         77692 kB
Cached:         578916 kB
SwapCached:          0 kB
Active:         226352 kB
Inactive:       444188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1327504 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1172 kB
Writeback:           0 kB
Mapped:          23688 kB
Slab:            43772 kB
Committed_AS:   175476 kB
PageTables:       1436 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= 66336 MiB
End job on node67 at 2009-04-18 03:46:39