Trace number 1540573

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM7 7SAT 130.207 130.255

General information on the benchmark

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.18 1.47 3/64 24990
/proc/meminfo: memFree=1700152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=260600 CPUtime=0
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 879 0 0 0 0 0 0 0 18 0 1 0 1116100179 266854400 863 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 65150 868 55 168 0 64980 0

[startup+0.029725 s]
/proc/loadavg: 1.00 1.18 1.47 3/64 24990
/proc/meminfo: memFree=1700152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=268412 CPUtime=0.02
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 2110 0 0 0 2 0 0 0 18 0 1 0 1116100179 274853888 2093 1992294400 134512640 135204385 4294956208 18446744073709551615 134543494 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67103 2093 57 168 0 66933 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 268412

[startup+0.101732 s]
/proc/loadavg: 1.00 1.18 1.47 3/64 24990
/proc/meminfo: memFree=1700152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=268416 CPUtime=0.09
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 4699 0 0 0 8 1 0 0 18 0 1 0 1116100179 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134547469 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301758 s]
/proc/loadavg: 1.00 1.18 1.47 3/64 24990
/proc/meminfo: memFree=1700152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=268416 CPUtime=0.29
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 4699 0 0 0 28 1 0 0 19 0 1 0 1116100179 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134549123 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701811 s]
/proc/loadavg: 1.00 1.18 1.47 3/64 24990
/proc/meminfo: memFree=1700152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=268416 CPUtime=0.69
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 4699 0 0 0 68 1 0 0 22 0 1 0 1116100179 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134549117 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50292 s]
/proc/loadavg: 1.00 1.18 1.47 2/65 24991
/proc/meminfo: memFree=1681520/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=268416 CPUtime=1.49
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 4699 0 0 0 148 1 0 0 25 0 1 0 1116100179 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134537272 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10113 s]
/proc/loadavg: 1.00 1.18 1.47 2/65 24991
/proc/meminfo: memFree=1681392/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=268416 CPUtime=3.08
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 4699 0 0 0 307 1 0 0 25 0 1 0 1116100179 274857984 4682 1992294400 134512640 135204385 4294956208 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67104 4682 64 168 0 66934 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 268416

[startup+6.30155 s]
/proc/loadavg: 1.00 1.17 1.46 2/65 24991
/proc/meminfo: memFree=1681392/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=268708 CPUtime=6.29
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 5247 0 0 0 627 2 0 0 25 0 1 0 1116100179 275156992 4993 1992294400 134512640 135204385 4294956208 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67177 4993 85 168 0 67007 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268708

[startup+12.7014 s]
/proc/loadavg: 1.00 1.17 1.46 2/65 24991
/proc/meminfo: memFree=1679984/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=268708 CPUtime=12.69
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 5248 0 0 0 1267 2 0 0 25 0 1 0 1116100179 275156992 4994 1992294400 134512640 135204385 4294956208 18446744073709551615 134536922 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67177 4994 85 168 0 67007 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268708

[startup+25.5011 s]
/proc/loadavg: 1.00 1.16 1.45 2/65 24991
/proc/meminfo: memFree=1679216/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269988 CPUtime=25.48
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 5954 0 0 0 2546 2 0 0 25 0 1 0 1116100179 276467712 5230 1992294400 134512640 135204385 4294956208 18446744073709551615 134536955 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67497 5230 85 168 0 67327 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 269988

[startup+51.1015 s]
/proc/loadavg: 1.00 1.15 1.44 2/65 24991
/proc/meminfo: memFree=1679280/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269940 CPUtime=51.08
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 6424 0 0 0 5105 3 0 0 25 0 1 0 1116100179 276418560 5219 1992294400 134512640 135204385 4294956208 18446744073709551615 134537242 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67485 5219 85 168 0 67315 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 269940

[startup+102.305 s]
/proc/loadavg: 1.00 1.12 1.42 2/65 24991
/proc/meminfo: memFree=1679536/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269452 CPUtime=102.26
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 6930 0 0 0 10223 3 0 0 25 0 1 0 1116100179 275918848 5115 1992294400 134512640 135204385 4294956208 18446744073709551615 134537363 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67363 5115 85 168 0 67193 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 269452

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

[startup+115.102 s]
/proc/loadavg: 1.00 1.12 1.41 2/65 24991
/proc/meminfo: memFree=1679472/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=270024 CPUtime=115.05
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 7188 0 0 0 11502 3 0 0 25 0 1 0 1116100179 276504576 5239 1992294400 134512640 135204385 4294956208 18446744073709551615 134536871 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67506 5239 85 168 0 67336 0
Current children cumulated CPU time (s) 115.05
Current children cumulated vsize (KiB) 270024

[startup+121.503 s]
/proc/loadavg: 1.00 1.11 1.41 2/65 24991
/proc/meminfo: memFree=1679152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269976 CPUtime=121.45
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 7194 0 0 0 12142 3 0 0 25 0 1 0 1116100179 276455424 5245 1992294400 134512640 135204385 4294956208 18446744073709551615 134545866 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67494 5245 85 168 0 67324 0
Current children cumulated CPU time (s) 121.45
Current children cumulated vsize (KiB) 269976

[startup+124.701 s]
/proc/loadavg: 1.00 1.11 1.41 2/65 24991
/proc/meminfo: memFree=1679152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269976 CPUtime=124.65
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 7194 0 0 0 12462 3 0 0 25 0 1 0 1116100179 276455424 5245 1992294400 134512640 135204385 4294956208 18446744073709551615 134537366 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67494 5245 85 168 0 67324 0
Current children cumulated CPU time (s) 124.65
Current children cumulated vsize (KiB) 269976

[startup+127.902 s]
/proc/loadavg: 1.00 1.11 1.40 2/65 24991
/proc/meminfo: memFree=1679152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269976 CPUtime=127.85
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 7194 0 0 0 12782 3 0 0 25 0 1 0 1116100179 276455424 5245 1992294400 134512640 135204385 4294956208 18446744073709551615 134545862 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67494 5245 85 168 0 67324 0
Current children cumulated CPU time (s) 127.85
Current children cumulated vsize (KiB) 269976

[startup+129.502 s]
/proc/loadavg: 1.00 1.11 1.40 2/65 24991
/proc/meminfo: memFree=1679152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269976 CPUtime=129.45
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 7194 0 0 0 12942 3 0 0 25 0 1 0 1116100179 276455424 5245 1992294400 134512640 135204385 4294956208 18446744073709551615 134547676 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67494 5245 85 168 0 67324 0
Current children cumulated CPU time (s) 129.45
Current children cumulated vsize (KiB) 269976

[startup+129.903 s]
/proc/loadavg: 1.00 1.11 1.40 2/65 24991
/proc/meminfo: memFree=1679152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269976 CPUtime=129.85
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 7194 0 0 0 12982 3 0 0 25 0 1 0 1116100179 276455424 5245 1992294400 134512640 135204385 4294956208 18446744073709551615 134536929 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67494 5245 85 168 0 67324 0
Current children cumulated CPU time (s) 129.85
Current children cumulated vsize (KiB) 269976

[startup+130.103 s]
/proc/loadavg: 1.00 1.11 1.40 2/65 24991
/proc/meminfo: memFree=1679152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269976 CPUtime=130.05
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 7194 0 0 0 13002 3 0 0 25 0 1 0 1116100179 276455424 5245 1992294400 134512640 135204385 4294956208 18446744073709551615 134536641 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67494 5245 85 168 0 67324 0
Current children cumulated CPU time (s) 130.05
Current children cumulated vsize (KiB) 269976

[startup+130.202 s]
/proc/loadavg: 1.00 1.11 1.40 2/65 24991
/proc/meminfo: memFree=1679152/2055920 swapFree=4177692/4192956
[pid=24990] ppid=24988 vsize=269976 CPUtime=130.15
/proc/24990/stat : 24990 (hybridGM7) R 24988 24990 24713 0 -1 4194304 7194 0 0 0 13012 3 0 0 25 0 1 0 1116100179 276455424 5245 1992294400 134512640 135204385 4294956208 18446744073709551615 134581378 0 0 4096 0 0 0 0 17 1 0 0
/proc/24990/statm: 67494 5245 85 168 0 67324 0
Current children cumulated CPU time (s) 130.15
Current children cumulated vsize (KiB) 269976

Child status: 10
Real time (s): 130.255
CPU time (s): 130.207
CPU user time (s): 130.164
CPU system time (s): 0.042993
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 270036

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

runsolver used 0.124981 second user time and 0.25996 second system time

The end

Launcher Data 

Begin job on node13 at 2009-03-30 19:32:20
IDJOB=1540573
IDBENCH=70292
IDSOLVER=535
FILE ID=node13/1540573-1238434340
PBS_JOBID= 9061592
Free space on /tmp= 66396 MiB

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

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

MD5SUM BENCH= 68d6a1970f04966f07e2b02a79996009
RANDOM SEED=1314686799

node13.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.240
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.240
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:       1700568 kB
Buffers:         66836 kB
Cached:         215284 kB
SwapCached:       9056 kB
Active:         217724 kB
Inactive:        74820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1700568 kB
SwapTotal:     4192956 kB
SwapFree:      4177692 kB
Dirty:            1184 kB
Writeback:           0 kB
Mapped:          16100 kB
Slab:            48712 kB
Committed_AS:  3024248 kB
PageTables:       1464 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= 66396 MiB
End job on node13 at 2009-03-30 19:34:30