Trace number 369985

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, and are wall clock time (not CPU 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
gnovelty+ 2007-02-08SAT 818.04 818.33

General information on the benchmark

Namerandom/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
MD5SUM7e1a5d981a0c30d9ab9110d5ea4aeb04
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.53546
Satisfiable
(Un)Satisfiability was proved
Number of variables1665
Number of clauses5177
Sum of the clauses size14496
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21035
Number of clauses of size 34142
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node39/watcher-369985-1177549499 -o ROOT/results/node39/solver-369985-1177549499 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/369985-1177549499/gnovelty+ /tmp/evaluation/369985-1177549499/instance-369985-1177549499.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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.76 0.91 0.89 3/77 9988
/proc/meminfo: memFree=1723648/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=244700 CPUtime=0
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 883 0 0 0 0 0 0 0 18 0 1 0 202861963 250572800 870 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 61175 876 39 99 0 61074 0

[startup+0.0287411 s]
/proc/loadavg: 0.76 0.91 0.89 3/77 9988
/proc/meminfo: memFree=1723648/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=0.02
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2094 0 0 0 2 0 0 0 18 0 1 0 202861963 258572288 2079 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134519889 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2079 41 99 0 63027 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 252512

[startup+0.101753 s]
/proc/loadavg: 0.76 0.91 0.89 3/77 9988
/proc/meminfo: memFree=1723648/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=0.09
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 9 0 0 0 18 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134515657 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 252512

[startup+0.301787 s]
/proc/loadavg: 0.76 0.91 0.89 3/77 9988
/proc/meminfo: memFree=1723648/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=0.29
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 29 0 0 0 19 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513958 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 252512

[startup+0.701854 s]
/proc/loadavg: 0.76 0.91 0.89 3/77 9988
/proc/meminfo: memFree=1723648/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=0.69
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 69 0 0 0 22 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513867 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 252512

[startup+1.50199 s]
/proc/loadavg: 0.76 0.91 0.89 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=1.49
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 149 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134515454 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 252512

[startup+3.10126 s]
/proc/loadavg: 0.76 0.91 0.89 2/78 9989
/proc/meminfo: memFree=1715000/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=3.09
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 309 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134515486 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 252512

[startup+6.3018 s]
/proc/loadavg: 0.78 0.91 0.89 2/78 9989
/proc/meminfo: memFree=1715000/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=6.29
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 629 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513971 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 252512

[startup+12.7019 s]
/proc/loadavg: 0.80 0.91 0.90 2/78 9989
/proc/meminfo: memFree=1715000/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=12.69
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 1269 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134515454 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 252512

[startup+25.501 s]
/proc/loadavg: 0.84 0.92 0.90 2/78 9989
/proc/meminfo: memFree=1715064/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=25.48
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 2548 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134515619 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 252512

[startup+51.1014 s]
/proc/loadavg: 0.90 0.92 0.90 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=51.07
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 5107 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513767 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 252512

[startup+102.305 s]
/proc/loadavg: 0.95 0.93 0.90 2/78 9989
/proc/meminfo: memFree=1715064/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=102.26
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 10226 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513579 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 252512

[startup+162.301 s]
/proc/loadavg: 0.98 0.94 0.91 2/78 9989
/proc/meminfo: memFree=1715064/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=162.23
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 16223 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134515574 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 252512

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.91 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=222.21
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 22221 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513353 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 252512

[startup+282.301 s]
/proc/loadavg: 0.99 0.95 0.91 3/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=282.19
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 28219 0 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513580 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 252512

[startup+342.302 s]
/proc/loadavg: 1.06 0.97 0.91 2/78 9989
/proc/meminfo: memFree=1715064/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=342.17
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 34216 1 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134540242 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 252512

[startup+402.302 s]
/proc/loadavg: 1.02 0.97 0.91 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=402.15
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 40214 1 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134523701 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 252512

[startup+462.302 s]
/proc/loadavg: 1.00 0.97 0.91 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=462.13
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 46212 1 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513185 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 252512

[startup+522.302 s]
/proc/loadavg: 1.00 0.97 0.91 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=522.11
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 52210 1 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513471 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 252512

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=582.09
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 58208 1 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134515486 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 252512

[startup+642.301 s]
/proc/loadavg: 1.08 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715192/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=642.07
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 64206 1 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513683 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 252512

[startup+702.302 s]
/proc/loadavg: 1.03 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=702.04
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 70203 1 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513338 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 252512

[startup+762.306 s]
/proc/loadavg: 1.01 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715192/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=762.03
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 76201 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513230 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 252512

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

[startup+767.902 s]
/proc/loadavg: 1.01 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=767.63
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 76761 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513443 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 767.63
Current children cumulated vsize (KiB) 252512

[startup+793.502 s]
/proc/loadavg: 1.00 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=793.22
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 79320 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513598 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 793.22
Current children cumulated vsize (KiB) 252512

[startup+806.305 s]
/proc/loadavg: 1.00 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=806.02
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 80600 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134515468 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 806.02
Current children cumulated vsize (KiB) 252512

[startup+812.701 s]
/proc/loadavg: 1.00 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=812.41
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 81239 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513983 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 812.41
Current children cumulated vsize (KiB) 252512

[startup+815.902 s]
/proc/loadavg: 1.00 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715128/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=815.61
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 81559 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513443 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 815.61
Current children cumulated vsize (KiB) 252512

[startup+817.502 s]
/proc/loadavg: 1.00 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715192/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=817.21
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 81719 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134540206 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 817.21
Current children cumulated vsize (KiB) 252512

[startup+817.901 s]
/proc/loadavg: 1.00 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715192/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=817.61
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 81759 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513779 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 817.61
Current children cumulated vsize (KiB) 252512

[startup+818.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/78 9989
/proc/meminfo: memFree=1715192/2055920 swapFree=4159384/4192956
[pid=9988] ppid=9986 vsize=252512 CPUtime=818.01
/proc/9988/stat : 9988 (gnovelty+) R 9986 9988 8942 0 -1 4194304 2151 0 0 0 81799 2 0 0 25 0 1 0 202861963 258572288 2136 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134540298 0 0 4096 0 0 0 0 17 1 0 0
/proc/9988/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 818.01
Current children cumulated vsize (KiB) 252512

Child status: 10
Real time (s): 818.33
CPU time (s): 818.04
CPU user time (s): 818.015
CPU system time (s): 0.024996
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 252512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 818.015
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2163
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= 15
involuntary context switches= 2329

runsolver used 0.657899 second user time and 1.68874 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Thu Apr 26 01:04:59 UTC 2007

IDJOB= 369985
IDBENCH= 20339
IDSOLVER= 176
FILE ID= node39/369985-1177549499

PBS_JOBID= 4696584

Free space on /tmp= 66488 MiB

SOLVER NAME= gnovelty+ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v1665/unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
COMMAND LINE= /tmp/evaluation/369985-1177549499/gnovelty+ /tmp/evaluation/369985-1177549499/instance-369985-1177549499.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-369985-1177549499 -o ROOT/results/node39/solver-369985-1177549499 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/369985-1177549499/gnovelty+ /tmp/evaluation/369985-1177549499/instance-369985-1177549499.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  7e1a5d981a0c30d9ab9110d5ea4aeb04

RANDOM SEED= 378598971

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.256
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.256
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:       1724056 kB
Buffers:         39512 kB
Cached:         201388 kB
SwapCached:      13964 kB
Active:         157752 kB
Inactive:       108396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1724056 kB
SwapTotal:     4192956 kB
SwapFree:      4159384 kB
Dirty:            1196 kB
Writeback:           0 kB
Mapped:          32172 kB
Slab:            50976 kB
Committed_AS:  2016396 kB
PageTables:       2012 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= 66488 MiB

End job on node39 on Thu Apr 26 01:18:38 UTC 2007