Trace number 301432

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
ranov 2007-02-08SAT 215.737 215.816

General information on the benchmark

Namerandom/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
MD5SUM7d11f63b7086729c0b1c75db27f32aba
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark21.1348
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses20000
Sum of the clauses size100000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 520000
Number of clauses of size over 50

Solver Data (download as text)

1.54/1.58	c +------------------------------+
1.54/1.58	c | R+AdaptNovelty+, version 1.5 |
1.54/1.58	c +------------------------------+
1.54/1.58	c ranov -h for help
1.54/1.58	c 
1.54/1.58	c Problem instance: numAtoms = 1000, numClauses = 20000, numLiterals = 100000
1.54/1.58	c General parameters: seed=1899877000, cutoff=100000, targetCost = 0, print solution: yes
1.54/1.58	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
1.54/1.58	c tries = 1
1.54/1.58	c 
215.66/215.80	s SATISFIABLE
215.66/215.80	v 1
215.66/215.80	v -2
215.66/215.80	v -3
215.66/215.80	v -4
215.66/215.80	v -5
215.66/215.80	v -6
215.66/215.80	v -7
215.66/215.80	v 8
215.66/215.80	v 9
215.66/215.80	v 10
215.66/215.80	v -11
215.66/215.80	v -12
215.66/215.80	v -13
215.66/215.80	v 14
215.66/215.80	v 15
215.66/215.80	v -16
215.66/215.80	v 17
215.66/215.80	v -18
215.66/215.80	v -19
215.66/215.80	v -20
215.66/215.80	v 21
215.66/215.80	v 22
215.66/215.80	v -23
215.66/215.80	v -24
215.66/215.80	v 25
215.66/215.80	v 26
215.66/215.80	v 27
215.66/215.80	v -28
215.66/215.80	v 29
215.66/215.80	v -30
215.66/215.80	v 31
215.66/215.80	v 32
215.66/215.80	v 33
215.66/215.80	v 34
215.66/215.80	v 35
215.66/215.80	v -36
215.66/215.80	v -37
215.66/215.80	v -38
215.66/215.80	v -39
215.66/215.80	v 40
215.66/215.80	v -41
215.66/215.80	v 42
215.66/215.80	v -43
215.66/215.80	v -44
215.66/215.80	v 45
215.66/215.80	v 46
215.66/215.80	v -47
215.66/215.80	v -48
215.66/215.80	v -49
215.66/215.80	v 50
215.66/215.80	v -51
215.66/215.80	v -52
215.66/215.80	v -53
215.66/215.80	v 54
215.66/215.80	v 55
215.66/215.80	v -56
215.66/215.80	v 57
215.66/215.80	v -58
215.66/215.80	v 59
215.66/215.80	v 60
215.66/215.80	v 61
215.66/215.80	v 62
215.66/215.80	v 63
215.66/215.80	v -64
215.66/215.80	v 65
215.66/215.80	v -66
215.66/215.80	v -67
215.66/215.80	v 68
215.66/215.80	v -69
215.66/215.80	v -70
215.66/215.80	v -71
215.66/215.80	v 72
215.66/215.80	v 73
215.66/215.80	v -74
215.66/215.80	v 75
215.66/215.80	v 76
215.66/215.80	v 77
215.66/215.80	v 78
215.66/215.80	v -79
215.66/215.80	v -80
215.66/215.80	v 81
215.66/215.80	v -82
215.66/215.80	v -83
215.66/215.80	v 84
215.66/215.80	v -85
215.66/215.80	v -86
215.66/215.80	v 87
215.66/215.80	v -88
215.66/215.80	v 89
215.66/215.80	v -90
215.66/215.80	v -91
215.66/215.80	v -92
215.66/215.80	v 93
215.66/215.80	v -94
215.66/215.80	v -95
215.66/215.80	v -96
215.66/215.80	v -97
215.66/215.80	v -98
215.66/215.80	v -99
215.66/215.80	v 100
215.66/215.80	v 101
215.66/215.80	v 102
215.66/215.80	v -103
215.66/215.80	v -104
215.66/215.80	v 105
215.66/215.80	v -106
215.66/215.80	v 107
215.66/215.80	v 108
215.66/215.80	v -109
215.66/215.80	v -110
215.66/215.80	v 111
215.66/215.80	v 112
215.66/215.80	v 113
215.66/215.80	v 114
215.66/215.80	v 115
215.66/215.80	v 116
215.66/215.80	v -117
215.66/215.80	v 118
215.66/215.80	v 119
215.66/215.80	v -120
215.66/215.80	v -121
215.66/215.80	v 122
215.66/215.80	v 123
215.66/215.80	v 124
215.66/215.80	v -125
215.66/215.80	v -126
215.66/215.80	v -127
215.66/215.80	v -128
215.66/215.80	v -129
215.66/215.80	v -130
215.66/215.80	v 131
215.66/215.80	v 132
215.66/215.80	v 133
215.66/215.80	v -134
215.66/215.80	v -135
215.66/215.80	v -136
215.66/215.80	v -137
215.66/215.80	v -138
215.66/215.80	v 139
215.66/215.80	v -140
215.66/215.80	v 141
215.66/215.80	v 142
215.66/215.80	v 143
215.66/215.80	v 144
215.66/215.80	v 145
215.66/215.80	v 146
215.66/215.80	v -147
215.66/215.80	v -148
215.66/215.80	v 149
215.66/215.80	v 150
215.66/215.80	v 151
215.66/215.80	v 152
215.66/215.80	v 153
215.66/215.80	v 154
215.66/215.80	v 155
215.66/215.80	v -156
215.66/215.80	v 157
215.66/215.80	v -158
215.66/215.80	v 159
215.66/215.80	v 160
215.66/215.80	v 161
215.66/215.80	v 162
215.66/215.80	v -163
215.66/215.80	v 164
215.66/215.80	v 165
215.66/215.80	v 166
215.66/215.80	v -167
215.66/215.80	v -168
215.66/215.80	v -169
215.66/215.80	v -170
215.66/215.80	v 171
215.66/215.80	v -172
215.66/215.80	v -173
215.66/215.80	v -174
215.66/215.80	v -175
215.66/215.80	v 176
215.66/215.80	v 177
215.66/215.80	v 178
215.66/215.80	v -179
215.66/215.80	v -180
215.66/215.80	v -181
215.66/215.80	v -182
215.66/215.80	v -183
215.66/215.80	v -184
215.66/215.80	v 185
215.66/215.80	v 186
215.66/215.80	v -187
215.66/215.80	v 188
215.66/215.80	v -189
215.66/215.80	v -190
215.66/215.80	v -191
215.66/215.80	v 192
215.66/215.80	v -193
215.66/215.80	v -194
215.66/215.80	v -195
215.66/215.80	v -196
215.66/215.80	v 197
215.66/215.80	v -198
215.66/215.80	v 199
215.66/215.80	v -200
215.66/215.80	v -201
215.66/215.80	v -202
215.66/215.80	v 203
215.66/215.80	v 204
215.66/215.80	v -205
215.66/215.80	v 206
215.66/215.80	v 207
215.66/215.80	v 208
215.66/215.80	v -209
215.66/215.80	v 210
215.66/215.80	v -211
215.66/215.80	v -212
215.66/215.80	v -213
215.66/215.80	v -214
215.66/215.80	v 215
215.66/215.80	v -216
215.66/215.80	v 217
215.66/215.80	v -218
215.66/215.80	v -219
215.66/215.80	v 220
215.66/215.80	v 221
215.66/215.80	v 222
215.66/215.80	v 223
215.66/215.80	v -224
215.66/215.80	v -225
215.66/215.80	v 226
215.66/215.80	v -227
215.66/215.80	v -228
215.66/215.80	v 229
215.66/215.80	v -230
215.66/215.80	v 231
215.66/215.80	v -232
215.66/215.80	v -233
215.66/215.80	v -234
215.66/215.80	v -235
215.66/215.80	v -236
215.66/215.80	v -237
215.66/215.80	v -238
215.66/215.80	v 239
215.66/215.80	v 240
215.66/215.80	v 241
215.66/215.80	v -242
215.66/215.80	v 243
215.66/215.80	v -244
215.66/215.80	v -245
215.66/215.80	v 246
215.66/215.80	v -247
215.66/215.80	v -248
215.66/215.80	v -249
215.66/215.80	v 250
215.66/215.80	v 251
215.66/215.80	v 252
215.66/215.80	v -253
215.66/215.80	v 254
215.66/215.80	v 255
215.66/215.80	v -256
215.66/215.80	v 257
215.66/215.80	v 258
215.66/215.80	v 259
215.66/215.80	v -260
215.66/215.80	v -261
215.66/215.80	v 262
215.66/215.80	v -263
215.66/215.80	v -264
215.66/215.80	v -265
215.66/215.80	v -266
215.66/215.80	v 267
215.66/215.80	v 268
215.66/215.80	v 269
215.66/215.80	v 270
215.66/215.80	v -271
215.66/215.80	v 272
215.66/215.80	v -273
215.66/215.80	v 274
215.66/215.80	v -275
215.66/215.80	v -276
215.66/215.80	v 277
215.66/215.80	v 278
215.66/215.80	v -279
215.66/215.80	v -280
215.66/215.80	v 281
215.66/215.80	v 282
215.66/215.80	v -283
215.66/215.80	v 284
215.66/215.80	v -285
215.66/215.80	v 286
215.66/215.80	v -287
215.66/215.80	v 288
215.66/215.80	v 289
215.66/215.80	v 290
215.66/215.80	v -291
215.66/215.80	v 292
215.66/215.80	v -293
215.66/215.80	v 294
215.66/215.80	v 295
215.66/215.80	v 296
215.66/215.80	v -297
215.66/215.80	v 298
215.66/215.80	v 299
215.66/215.80	v -300
215.66/215.80	v 301
215.66/215.80	v 302
215.66/215.80	v 303
215.66/215.80	v -304
215.66/215.80	v -305
215.66/215.80	v 306
215.66/215.80	v 307
215.66/215.80	v 308
215.66/215.80	v -309
215.66/215.80	v -310
215.66/215.80	v -311
215.66/215.80	v 312
215.66/215.80	v -313
215.66/215.80	v 314
215.66/215.80	v 315
215.66/215.80	v 316
215.66/215.80	v 317
215.66/215.80	v 318
215.66/215.80	v -319
215.66/215.80	v 320
215.66/215.80	v -321
215.66/215.80	v -322
215.66/215.80	v -323
215.66/215.80	v -324
215.66/215.80	v 325
215.66/215.80	v -326
215.66/215.80	v 327
215.66/215.80	v -328
215.66/215.80	v 329
215.66/215.80	v -330
215.66/215.80	v 331
215.66/215.80	v -332
215.66/215.80	v -333
215.66/215.80	v -334
215.66/215.80	v -335
215.66/215.80	v -336
215.66/215.80	v -337
215.66/215.80	v -338
215.66/215.80	v 339
215.66/215.80	v -340
215.66/215.80	v -341
215.66/215.80	v 342
215.66/215.80	v 343
215.66/215.80	v 344
215.66/215.80	v -345
215.66/215.80	v 346
215.66/215.80	v -347
215.66/215.80	v 348
215.66/215.80	v -349
215.66/215.80	v 350
215.66/215.80	v -351
215.66/215.80	v 352
215.66/215.80	v -353
215.66/215.80	v -354
215.66/215.80	v -355
215.66/215.80	v 356
215.66/215.80	v -357
215.66/215.80	v 358
215.66/215.80	v -359
215.66/215.80	v 360
215.66/215.80	v 361
215.66/215.80	v 362
215.66/215.80	v 363
215.66/215.80	v -364
215.66/215.80	v -365
215.66/215.80	v -366
215.66/215.80	v 367
215.66/215.80	v 368
215.66/215.80	v -369
215.66/215.80	v 370
215.66/215.80	v -371
215.66/215.80	v -372
215.66/215.80	v -373
215.66/215.80	v -374
215.66/215.80	v -375
215.66/215.80	v 376
215.66/215.80	v 377
215.66/215.80	v -378
215.66/215.80	v -379
215.66/215.80	v 380
215.66/215.80	v 381
215.66/215.80	v -382
215.66/215.80	v 383
215.66/215.80	v -384
215.66/215.80	v 385
215.66/215.80	v 386
215.66/215.80	v 387
215.66/215.80	v -388
215.66/215.80	v 389
215.66/215.80	v -390
215.66/215.80	v 391
215.66/215.80	v 392
215.66/215.80	v 393
215.66/215.80	v 394
215.66/215.80	v 395
215.66/215.80	v -396
215.66/215.80	v 397
215.66/215.80	v 398
215.66/215.80	v 399
215.66/215.80	v 400
215.66/215.80	v -401
215.66/215.80	v -402
215.66/215.80	v -403
215.66/215.80	v -404
215.66/215.80	v -405
215.66/215.80	v 406
215.66/215.80	v -407
215.66/215.80	v -408
215.66/215.80	v 409
215.66/215.80	v 410
215.66/215.80	v 411
215.66/215.80	v 412
215.66/215.80	v 413
215.66/215.80	v 414
215.66/215.80	v 415
215.66/215.80	v -416
215.66/215.80	v -417
215.66/215.80	v 418
215.66/215.80	v -419
215.66/215.80	v -420
215.66/215.80	v -421
215.66/215.80	v 422
215.66/215.80	v 423
215.66/215.80	v -424
215.66/215.80	v -425
215.66/215.80	v 426
215.66/215.80	v -427
215.66/215.80	v -428
215.66/215.80	v -429
215.66/215.80	v -430
215.66/215.80	v -431
215.66/215.80	v 432
215.66/215.80	v 433
215.66/215.80	v -434
215.66/215.80	v 435
215.66/215.80	v -436
215.66/215.80	v 437
215.66/215.80	v -438
215.66/215.80	v -439
215.66/215.80	v -440
215.66/215.80	v 441
215.66/215.80	v -442
215.66/215.80	v -443
215.66/215.80	v 444
215.66/215.80	v 445
215.66/215.80	v 446
215.66/215.80	v 447
215.66/215.80	v -448
215.66/215.80	v -449
215.66/215.80	v -450
215.66/215.80	v -451
215.66/215.80	v 452
215.66/215.80	v 453
215.66/215.80	v 454
215.66/215.80	v 455
215.66/215.80	v -456
215.66/215.80	v 457
215.66/215.80	v 458
215.66/215.80	v 459
215.66/215.80	v -460
215.66/215.80	v 461
215.66/215.80	v 462
215.66/215.80	v -463
215.66/215.80	v 464
215.66/215.80	v 465
215.66/215.80	v -466
215.66/215.80	v 467
215.66/215.80	v -468
215.66/215.80	v -469
215.66/215.80	v 470
215.66/215.80	v 471
215.66/215.80	v 472
215.66/215.80	v -473
215.66/215.80	v -474
215.66/215.80	v -475
215.66/215.80	v 476
215.66/215.80	v -477
215.66/215.80	v 478
215.66/215.80	v -479
215.66/215.80	v 480
215.66/215.80	v 481
215.66/215.80	v 482
215.66/215.80	v 483
215.66/215.80	v 484
215.66/215.80	v -485
215.66/215.80	v -486
215.66/215.80	v -487
215.66/215.80	v 488
215.66/215.80	v -489
215.66/215.80	v 490
215.66/215.80	v -491
215.66/215.80	v 492
215.66/215.80	v 493
215.66/215.80	v -494
215.66/215.80	v 495
215.66/215.80	v 496
215.66/215.80	v 497
215.66/215.80	v 498
215.66/215.80	v 499
215.66/215.80	v -500
215.66/215.80	v -501
215.66/215.80	v 502
215.66/215.80	v 503
215.66/215.80	v 504
215.66/215.80	v 505
215.66/215.80	v 506
215.66/215.80	v 507
215.66/215.80	v 508
215.66/215.80	v -509
215.66/215.80	v 510
215.66/215.80	v 511
215.66/215.80	v 512
215.66/215.80	v -513
215.66/215.80	v -514
215.66/215.80	v 515
215.66/215.80	v 516
215.66/215.80	v 517
215.66/215.80	v -518
215.66/215.80	v -519
215.66/215.80	v -520
215.66/215.80	v 521
215.66/215.80	v -522
215.66/215.80	v 523
215.66/215.80	v -524
215.66/215.80	v -525
215.66/215.80	v -526
215.66/215.80	v -527
215.66/215.80	v 528
215.66/215.80	v -529
215.66/215.80	v 530
215.66/215.80	v -531
215.66/215.80	v 532
215.66/215.80	v 533
215.66/215.80	v -534
215.66/215.80	v -535
215.66/215.80	v -536
215.66/215.80	v -537
215.66/215.80	v -538
215.66/215.80	v -539
215.66/215.80	v 540
215.66/215.80	v -541
215.66/215.80	v 542
215.66/215.80	v 543
215.66/215.80	v -544
215.66/215.80	v -545
215.66/215.80	v -546
215.66/215.80	v 547
215.66/215.80	v 548
215.66/215.80	v 549
215.66/215.80	v 550
215.66/215.80	v 551
215.66/215.80	v 552
215.66/215.80	v 553
215.66/215.80	v -554
215.66/215.80	v -555
215.66/215.80	v -556
215.66/215.80	v 557
215.66/215.80	v -558
215.66/215.80	v 559
215.66/215.80	v -560
215.66/215.80	v -561
215.66/215.80	v 562
215.66/215.80	v 563
215.66/215.80	v 564
215.66/215.80	v -565
215.66/215.80	v 566
215.66/215.80	v -567
215.66/215.80	v 568
215.66/215.80	v 569
215.66/215.80	v -570
215.66/215.80	v 571
215.66/215.80	v -572
215.66/215.80	v -573
215.66/215.80	v 574
215.66/215.80	v -575
215.66/215.80	v -576
215.66/215.80	v -577
215.66/215.80	v -578
215.66/215.80	v -579
215.66/215.80	v -580
215.66/215.80	v -581
215.66/215.80	v 582
215.66/215.80	v -583
215.66/215.80	v -584
215.66/215.80	v 585
215.66/215.80	v 586
215.66/215.80	v 587
215.66/215.80	v -588
215.66/215.80	v 589
215.66/215.80	v -590
215.66/215.80	v 591
215.66/215.80	v -592
215.66/215.80	v 593
215.66/215.80	v -594
215.66/215.80	v -595
215.66/215.80	v -596
215.66/215.80	v -597
215.66/215.80	v 598
215.66/215.80	v -599
215.66/215.80	v -600
215.66/215.80	v 601
215.66/215.80	v 602
215.66/215.80	v -603
215.66/215.80	v 604
215.66/215.80	v 605
215.66/215.80	v -606
215.66/215.80	v 607
215.66/215.80	v 608
215.66/215.80	v -609
215.66/215.80	v 610
215.66/215.80	v 611
215.66/215.80	v -612
215.66/215.80	v -613
215.66/215.80	v 614
215.66/215.80	v -615
215.66/215.80	v 616
215.66/215.80	v 617
215.66/215.80	v 618
215.66/215.80	v 619
215.66/215.80	v -620
215.66/215.80	v 621
215.66/215.80	v 622
215.66/215.80	v -623
215.66/215.80	v 624
215.66/215.80	v 625
215.66/215.80	v -626
215.66/215.80	v -627
215.66/215.80	v -628
215.66/215.80	v 629
215.66/215.80	v 630
215.66/215.80	v -631
215.66/215.80	v 632
215.66/215.80	v 633
215.66/215.80	v 634
215.66/215.80	v 635
215.66/215.80	v 636
215.66/215.80	v -637
215.66/215.80	v 638
215.66/215.80	v -639
215.66/215.80	v 640
215.66/215.80	v -641
215.66/215.80	v -642
215.66/215.80	v 643
215.66/215.80	v 644
215.66/215.80	v 645
215.66/215.80	v -646
215.66/215.80	v -647
215.66/215.80	v 648
215.66/215.80	v -649
215.66/215.80	v -650
215.66/215.80	v 651
215.66/215.80	v 652
215.66/215.80	v 653
215.66/215.80	v 654
215.66/215.80	v 655
215.66/215.80	v -656
215.66/215.80	v 657
215.66/215.80	v -658
215.66/215.80	v -659
215.66/215.80	v 660
215.66/215.80	v 661
215.66/215.80	v -662
215.66/215.80	v -663
215.66/215.80	v -664
215.66/215.80	v 665
215.66/215.80	v -666
215.66/215.80	v -667
215.66/215.80	v -668
215.66/215.80	v 669
215.66/215.80	v 670
215.66/215.80	v -671
215.66/215.80	v 672
215.66/215.80	v 673
215.66/215.80	v 674
215.66/215.80	v 675
215.66/215.80	v -676
215.66/215.80	v -677
215.66/215.80	v -678
215.66/215.80	v -679
215.66/215.80	v 680
215.66/215.80	v 681
215.66/215.80	v 682
215.66/215.80	v -683
215.66/215.80	v 684
215.66/215.80	v 685
215.66/215.80	v 686
215.66/215.80	v -687
215.66/215.80	v 688
215.66/215.80	v 689
215.66/215.80	v 690
215.66/215.80	v 691
215.66/215.80	v -692
215.66/215.80	v 693
215.66/215.80	v 694
215.66/215.80	v 695
215.66/215.80	v 696
215.66/215.80	v -697
215.66/215.80	v -698
215.66/215.80	v 699
215.66/215.80	v -700
215.66/215.80	v -701
215.66/215.80	v -702
215.66/215.80	v -703
215.66/215.80	v -704
215.66/215.80	v -705
215.66/215.80	v -706
215.66/215.80	v -707
215.66/215.80	v -708
215.66/215.80	v 709
215.66/215.80	v 710
215.66/215.80	v -711
215.66/215.80	v -712
215.66/215.80	v -713
215.66/215.80	v 714
215.66/215.80	v -715
215.66/215.80	v 716
215.66/215.80	v -717
215.66/215.80	v -718
215.66/215.80	v 719
215.66/215.80	v 720
215.66/215.80	v 721
215.66/215.80	v -722
215.66/215.80	v 723
215.66/215.80	v 724
215.66/215.80	v -725
215.66/215.80	v 726
215.66/215.80	v -727
215.66/215.80	v -728
215.66/215.80	v -729
215.66/215.80	v -730
215.66/215.80	v -731
215.66/215.80	v -732
215.66/215.80	v 733
215.66/215.80	v 734
215.66/215.80	v 735
215.66/215.80	v 736
215.66/215.80	v 737
215.66/215.80	v -738
215.66/215.80	v -739
215.66/215.80	v 740
215.66/215.80	v 741
215.66/215.80	v 742
215.66/215.80	v 743
215.66/215.80	v 744
215.66/215.80	v -745
215.66/215.80	v 746
215.66/215.80	v 747
215.66/215.80	v 748
215.66/215.80	v 749
215.66/215.80	v 750
215.66/215.80	v -751
215.66/215.80	v 752
215.66/215.80	v 753
215.66/215.80	v 754
215.66/215.80	v -755
215.66/215.80	v 756
215.66/215.80	v -757
215.66/215.80	v 758
215.66/215.80	v -759
215.66/215.80	v 760
215.66/215.80	v 761
215.66/215.80	v 762
215.66/215.80	v 763
215.66/215.80	v -764
215.66/215.80	v -765
215.66/215.80	v -766
215.66/215.80	v -767
215.66/215.80	v -768
215.66/215.80	v -769
215.66/215.80	v 770
215.66/215.80	v 771
215.66/215.80	v 772
215.66/215.80	v -773
215.66/215.80	v 774
215.66/215.80	v -775
215.66/215.80	v 776
215.66/215.80	v 777
215.66/215.80	v 778
215.66/215.80	v -779
215.66/215.80	v 780
215.66/215.80	v -781
215.66/215.80	v 782
215.66/215.80	v -783
215.66/215.80	v 784
215.66/215.80	v 785
215.66/215.80	v 786
215.66/215.80	v 787
215.66/215.80	v -788
215.66/215.80	v -789
215.66/215.80	v 790
215.66/215.80	v 791
215.66/215.80	v 792
215.66/215.80	v 793
215.66/215.80	v -794
215.66/215.80	v 795
215.66/215.80	v -796
215.66/215.80	v 797
215.66/215.80	v -798
215.66/215.80	v -799
215.66/215.80	v 800
215.66/215.80	v 801
215.66/215.80	v 802
215.66/215.80	v 803
215.66/215.80	v -804
215.66/215.80	v 805
215.66/215.80	v -806
215.66/215.80	v -807
215.66/215.80	v 808
215.66/215.80	v 809
215.66/215.80	v -810
215.66/215.80	v -811
215.66/215.80	v 812
215.66/215.80	v -813
215.66/215.80	v 814
215.66/215.80	v -815
215.66/215.80	v 816
215.66/215.80	v -817
215.66/215.80	v -818
215.66/215.80	v -819
215.66/215.80	v -820
215.66/215.80	v -821
215.66/215.80	v -822
215.66/215.80	v 823
215.66/215.80	v 824
215.66/215.80	v 825
215.66/215.80	v 826
215.66/215.80	v -827
215.66/215.80	v 828
215.66/215.80	v -829
215.66/215.80	v 830
215.66/215.80	v -831
215.66/215.80	v 832
215.66/215.80	v -833
215.66/215.80	v -834
215.66/215.80	v -835
215.66/215.80	v 836
215.66/215.80	v 837
215.66/215.80	v 838
215.66/215.80	v -839
215.66/215.80	v -840
215.66/215.80	v -841
215.66/215.80	v 842
215.66/215.80	v 843
215.66/215.80	v 844
215.66/215.80	v 845
215.66/215.80	v 846
215.66/215.80	v -847
215.66/215.80	v 848
215.66/215.80	v -849
215.66/215.80	v -850
215.66/215.80	v 851
215.66/215.80	v -852
215.66/215.80	v -853
215.66/215.80	v 854
215.66/215.80	v 855
215.66/215.80	v 856
215.66/215.80	v -857
215.66/215.80	v 858
215.66/215.80	v 859
215.66/215.80	v 860
215.66/215.80	v 861
215.66/215.80	v -862
215.66/215.80	v 863
215.66/215.80	v -864
215.66/215.80	v 865
215.66/215.80	v 866
215.66/215.80	v -867
215.66/215.80	v -868
215.66/215.80	v 869
215.66/215.80	v -870
215.66/215.80	v 871
215.66/215.80	v 872
215.66/215.80	v -873
215.66/215.80	v 874
215.66/215.80	v 875
215.66/215.80	v -876
215.66/215.80	v -877
215.66/215.80	v -878
215.66/215.80	v -879
215.66/215.80	v -880
215.66/215.80	v -881
215.66/215.80	v 882
215.66/215.80	v -883
215.66/215.80	v 884
215.66/215.80	v -885
215.66/215.80	v 886
215.66/215.80	v -887
215.66/215.80	v -888
215.66/215.80	v 889
215.66/215.80	v -890
215.66/215.80	v 891
215.66/215.80	v 892
215.66/215.80	v 893
215.66/215.80	v -894
215.66/215.80	v -895
215.66/215.80	v -896
215.66/215.80	v -897
215.66/215.80	v -898
215.66/215.80	v 899
215.66/215.80	v -900
215.66/215.80	v -901
215.66/215.80	v 902
215.66/215.80	v 903
215.66/215.80	v -904
215.66/215.80	v -905
215.66/215.80	v 906
215.66/215.80	v 907
215.66/215.80	v -908
215.66/215.80	v 909
215.66/215.80	v 910
215.66/215.80	v -911
215.66/215.80	v -912
215.66/215.80	v 913
215.66/215.80	v 914
215.66/215.80	v -915
215.66/215.80	v -916
215.66/215.80	v 917
215.66/215.80	v -918
215.66/215.80	v -919
215.66/215.80	v 920
215.66/215.80	v -921
215.66/215.80	v 922
215.66/215.80	v -923
215.66/215.80	v 924
215.66/215.80	v 925
215.66/215.80	v -926
215.66/215.80	v 927
215.66/215.80	v -928
215.66/215.80	v -929
215.66/215.80	v -930
215.66/215.80	v 931
215.66/215.80	v 932
215.66/215.80	v 933
215.66/215.80	v -934
215.66/215.80	v -935
215.66/215.80	v -936
215.66/215.80	v -937
215.66/215.80	v -938
215.66/215.80	v 939
215.66/215.80	v 940
215.66/215.80	v -941
215.66/215.80	v -942
215.66/215.80	v -943
215.66/215.80	v -944
215.66/215.80	v 945
215.66/215.80	v 946
215.66/215.80	v 947
215.66/215.80	v 948
215.66/215.80	v 949
215.66/215.80	v 950
215.66/215.80	v -951
215.66/215.80	v -952
215.66/215.80	v 953
215.66/215.80	v 954
215.66/215.80	v -955
215.66/215.80	v -956
215.66/215.80	v -957
215.66/215.80	v -958
215.66/215.80	v -959
215.66/215.80	v -960
215.66/215.80	v -961
215.66/215.80	v -962
215.66/215.80	v -963
215.66/215.80	v 964
215.66/215.80	v -965
215.66/215.80	v -966
215.66/215.80	v 967
215.66/215.80	v -968
215.66/215.80	v -969
215.66/215.80	v -970
215.66/215.80	v -971
215.66/215.80	v -972
215.66/215.80	v 973
215.66/215.80	v 974
215.66/215.80	v -975
215.66/215.80	v -976
215.66/215.80	v 977
215.66/215.80	v -978
215.66/215.80	v 979
215.66/215.80	v 980
215.66/215.80	v -981
215.66/215.80	v -982
215.66/215.80	v 983
215.66/215.80	v 984
215.66/215.80	v 985
215.66/215.80	v -986
215.66/215.80	v 987
215.66/215.80	v -988
215.66/215.80	v 989
215.66/215.80	v 990
215.66/215.80	v 991
215.66/215.80	v -992
215.66/215.80	v -993
215.66/215.80	v -994
215.66/215.80	v -995
215.66/215.80	v -996
215.66/215.80	v 997
215.66/215.80	v -998
215.66/215.80	v 999
215.66/215.80	v -1000
215.66/215.80	v 0
215.66/215.80	c Done in 214.160000 seconds

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-301432-1171969899 -o ROOT/results/node15/solver-301432-1171969899 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/301432-1171969899/ranov /tmp/evaluation/301432-1171969899/instance-301432-1171969899.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.97 0.98 0.99 3/77 3295
/proc/meminfo: memFree=1347456/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=319884 CPUtime=0
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 677 0 0 0 0 0 0 0 18 0 1 0 216944308 327561216 662 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 79971 669 30 98 0 79870 0

[startup+0.107295 s]
/proc/loadavg: 0.97 0.98 0.99 3/77 3295
/proc/meminfo: memFree=1347456/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=321264 CPUtime=0.09
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 10249 0 0 0 6 3 0 0 18 0 1 0 216944308 328974336 10233 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134529696 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 80316 10233 39 98 0 80215 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 321264

[startup+0.515365 s]
/proc/loadavg: 0.97 0.98 0.99 3/77 3295
/proc/meminfo: memFree=1347456/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=321684 CPUtime=0.51
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 10339 0 0 0 47 4 0 0 21 0 1 0 216944308 329404416 10323 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134523909 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 80421 10323 39 98 0 80320 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 321684

[startup+1.33951 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1305912/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=321964 CPUtime=1.33
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 10419 0 0 0 129 4 0 0 25 0 1 0 216944308 329691136 10403 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134523927 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 80491 10403 39 98 0 80390 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 321964

[startup+2.97579 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1296056/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=2.96
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 292 4 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513517 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 330320

[startup+6.25535 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295992/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=6.24
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 620 4 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513623 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 330320

[startup+12.7105 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295928/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=12.69
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 1265 4 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330320

[startup+25.5127 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295928/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=25.49
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 2545 4 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 330320

[startup+51.127 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295864/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=51.1
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 5105 5 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 330320

[startup+102.349 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295800/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=102.3
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 10225 5 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513379 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 330320

[startup+162.376 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295800/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=162.31
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 16226 5 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134519985 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 330320

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

[startup+183.579 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295736/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=183.5
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 18345 5 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513753 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 183.5
Current children cumulated vsize (KiB) 330320

[startup+196.691 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295736/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=196.61
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 19656 5 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513324 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 196.61
Current children cumulated vsize (KiB) 330320

[startup+203.247 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295736/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=203.16
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 20311 5 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513795 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 203.16
Current children cumulated vsize (KiB) 330320

[startup+209.805 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295736/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=209.72
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 20967 5 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513285 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 209.72
Current children cumulated vsize (KiB) 330320

[startup+213.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295736/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=213
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 21294 6 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 213
Current children cumulated vsize (KiB) 330320

[startup+214.72 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295736/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=214.64
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 21458 6 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134514893 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 214.64
Current children cumulated vsize (KiB) 330320

[startup+215.54 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295736/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=215.46
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 21540 6 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134514886 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 215.46
Current children cumulated vsize (KiB) 330320

[startup+215.744 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3296
/proc/meminfo: memFree=1295736/2055920 swapFree=4192812/4192956
[pid=3295] ppid=3293 vsize=330320 CPUtime=215.66
/proc/3295/stat : 3295 (ranov) R 3293 3295 1873 0 -1 4194304 12820 0 0 0 21560 6 0 0 25 0 1 0 216944308 338247680 12804 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134514665 0 0 4096 0 0 0 0 17 1 0 0
/proc/3295/statm: 82580 12804 42 98 0 82479 0
Current children cumulated CPU time (s) 215.66
Current children cumulated vsize (KiB) 330320

Child status: 10
Real time (s): 215.816
CPU time (s): 215.737
CPU user time (s): 215.667
CPU system time (s): 0.069989
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 330320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.667
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12831
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= 8
involuntary context switches= 340

runsolver used 0.252961 second user time and 0.484926 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Tue Feb 20 11:11:39 UTC 2007

IDJOB= 301432
IDBENCH= 20059
IDSOLVER= 105
FILE ID= node15/301432-1171969899

PBS_JOBID= 3849001

Free space on /tmp= 66548 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1971221253-16.cnf
COMMAND LINE= /tmp/evaluation/301432-1171969899/ranov /tmp/evaluation/301432-1171969899/instance-301432-1171969899.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-301432-1171969899 -o ROOT/results/node15/solver-301432-1171969899 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/301432-1171969899/ranov /tmp/evaluation/301432-1171969899/instance-301432-1171969899.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  7d11f63b7086729c0b1c75db27f32aba

RANDOM SEED= 239827800

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.276
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.276
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:       1347864 kB
Buffers:         42096 kB
Cached:         535088 kB
SwapCached:          0 kB
Active:         212708 kB
Inactive:       424900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1347864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1460 kB
Writeback:           0 kB
Mapped:          79308 kB
Slab:            55928 kB
Committed_AS:   835436 kB
PageTables:       1800 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= 66548 MiB

End job on node15 on Tue Feb 20 11:15:15 UTC 2007