Trace number 1721721

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM 1SAT 38.6431 38.669

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
MD5SUM0678a0ef5b4345961915559db9bf689b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.906861
Satisfiable
(Un)Satisfiability was proved
Number of variables2220
Number of clauses148488
Sum of the clauses size442317
Maximum clause length15
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23423
Number of clauses of size 3145042
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.08 3/65 14639
/proc/meminfo: memFree=1699176/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=260600 CPUtime=0
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 918 0 0 0 0 0 0 0 20 0 1 0 94902221 266854400 902 1992294400 134512640 135204289 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 65150 909 54 168 0 64980 0

[startup+0.071453 s]
/proc/loadavg: 0.92 0.98 1.08 3/65 14639
/proc/meminfo: memFree=1699176/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=0.06
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 1283 0 0 0 6 0 0 0 20 0 1 0 94902221 274857984 1267 1992294400 134512640 135204289 4294956208 18446744073709551615 134542911 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 1267 56 168 0 66934 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 268416

[startup+0.101457 s]
/proc/loadavg: 0.92 0.98 1.08 3/65 14639
/proc/meminfo: memFree=1699176/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=0.09
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 1381 0 0 0 8 1 0 0 20 0 1 0 94902221 274857984 1365 1992294400 134512640 135204289 4294956208 18446744073709551615 134542853 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 1365 56 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301491 s]
/proc/loadavg: 0.92 0.98 1.08 3/65 14639
/proc/meminfo: memFree=1699176/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=0.29
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 26 3 0 0 22 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537020 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701563 s]
/proc/loadavg: 0.92 0.98 1.08 3/65 14639
/proc/meminfo: memFree=1699176/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=0.69
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 66 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537274 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50171 s]
/proc/loadavg: 0.92 0.98 1.08 2/66 14640
/proc/meminfo: memFree=1672160/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=1.49
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 146 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10199 s]
/proc/loadavg: 0.92 0.98 1.08 2/66 14640
/proc/meminfo: memFree=1672032/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=3.09
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 306 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537565 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30156 s]
/proc/loadavg: 1.09 1.02 1.09 2/66 14640
/proc/meminfo: memFree=1671968/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=6.29
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 626 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537403 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7017 s]
/proc/loadavg: 1.08 1.02 1.09 2/66 14640
/proc/meminfo: memFree=1671904/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=12.69
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 1266 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537308 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.502 s]
/proc/loadavg: 1.06 1.01 1.09 2/66 14640
/proc/meminfo: memFree=1671904/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=25.48
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 2545 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134536698 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268416

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

[startup+31.9051 s]
/proc/loadavg: 1.06 1.01 1.09 2/66 14640
/proc/meminfo: memFree=1671840/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=31.88
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 3185 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537403 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 268416

[startup+35.1017 s]
/proc/loadavg: 1.05 1.01 1.09 2/66 14640
/proc/meminfo: memFree=1671904/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=35.08
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 3505 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134536986 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 35.08
Current children cumulated vsize (KiB) 268416

[startup+36.702 s]
/proc/loadavg: 1.05 1.01 1.09 2/66 14640
/proc/meminfo: memFree=1671904/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=36.68
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 3665 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537435 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 36.68
Current children cumulated vsize (KiB) 268416

[startup+37.5011 s]
/proc/loadavg: 1.05 1.01 1.09 2/66 14640
/proc/meminfo: memFree=1671904/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=37.48
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 3745 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537403 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 37.48
Current children cumulated vsize (KiB) 268416

[startup+38.3013 s]
/proc/loadavg: 1.05 1.01 1.09 2/66 14640
/proc/meminfo: memFree=1671904/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=38.28
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 3825 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537308 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 268416

[startup+38.5053 s]
/proc/loadavg: 1.05 1.01 1.09 2/66 14640
/proc/meminfo: memFree=1671904/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=38.48
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 3845 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134537242 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 38.48
Current children cumulated vsize (KiB) 268416

[startup+38.6013 s]
/proc/loadavg: 1.05 1.01 1.09 2/66 14640
/proc/meminfo: memFree=1671904/2055920 swapFree=4192952/4192956
[pid=14639] ppid=14637 vsize=268416 CPUtime=38.58
/proc/14639/stat : 14639 (hybridGM) R 14637 14639 14272 0 -1 4194304 6808 0 0 0 3855 3 0 0 25 0 1 0 94902221 274857984 6791 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/14639/statm: 67104 6791 63 168 0 66934 0
Current children cumulated CPU time (s) 38.58
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 38.669
CPU time (s): 38.6431
CPU user time (s): 38.6031
CPU system time (s): 0.039993
CPU usage (%): 99.9332
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.6031
system time used= 0.039993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6821
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= 13
involuntary context switches= 60

runsolver used 0.047992 second user time and 0.107983 second system time

The end

Launcher Data 

Begin job on node89 at 2009-04-25 16:12:07
IDJOB=1721721
IDBENCH=71075
IDSOLVER=533
FILE ID=node89/1721721-1240668727
PBS_JOBID= 9186587
Free space on /tmp= 66348 MiB

SOLVER NAME= hybridGM 1
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_14_SAT.cnf
COMMAND LINE= HOME/hybridGM BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1721721-1240668727/watcher-1721721-1240668727 -o /tmp/evaluation-result-1721721-1240668727/solver-1721721-1240668727 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM HOME/instance-1721721-1240668727.cnf 1527563374 

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

MD5SUM BENCH= 0678a0ef5b4345961915559db9bf689b
RANDOM SEED=1527563374

node89.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.268
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.268
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1699592 kB
Buffers:         26656 kB
Cached:         251052 kB
SwapCached:          4 kB
Active:          92544 kB
Inactive:       198996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699592 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            3624 kB
Writeback:           0 kB
Mapped:          23604 kB
Slab:            50700 kB
Committed_AS:   261452 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66348 MiB
End job on node89 at 2009-04-25 16:12:46