Trace number 300448

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 689.834 690.025

General information on the benchmark

Namerandom/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
MD5SUM8ad037218b3fb71e87bf66baa8322f0b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark65.522
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses16000
Sum of the clauses size80000
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 516000
Number of clauses of size over 50

Solver Data (download as text)

1.22/1.24	c +------------------------------+
1.22/1.24	c | R+AdaptNovelty+, version 1.5 |
1.22/1.24	c +------------------------------+
1.22/1.24	c ranov -h for help
1.22/1.24	c 
1.22/1.24	c Problem instance: numAtoms = 800, numClauses = 16000, numLiterals = 80000
1.22/1.24	c General parameters: seed=103561727, cutoff=100000, targetCost = 0, print solution: yes
1.22/1.24	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
1.22/1.24	c tries = 1
1.22/1.24	c 
689.72/690.01	s SATISFIABLE
689.72/690.01	v -1
689.72/690.01	v 2
689.72/690.01	v -3
689.72/690.01	v -4
689.72/690.01	v 5
689.72/690.01	v 6
689.72/690.01	v 7
689.72/690.01	v 8
689.72/690.01	v -9
689.72/690.01	v 10
689.72/690.01	v -11
689.72/690.01	v 12
689.72/690.01	v 13
689.72/690.01	v -14
689.72/690.01	v 15
689.72/690.01	v 16
689.72/690.01	v -17
689.72/690.01	v 18
689.72/690.01	v -19
689.72/690.01	v 20
689.72/690.01	v 21
689.72/690.01	v -22
689.72/690.01	v -23
689.72/690.01	v 24
689.72/690.01	v 25
689.72/690.01	v 26
689.72/690.01	v -27
689.72/690.01	v 28
689.72/690.01	v -29
689.72/690.01	v 30
689.72/690.01	v 31
689.72/690.01	v 32
689.72/690.01	v -33
689.72/690.01	v -34
689.72/690.01	v 35
689.72/690.01	v -36
689.72/690.01	v 37
689.72/690.01	v 38
689.72/690.01	v -39
689.72/690.01	v 40
689.72/690.01	v -41
689.72/690.01	v -42
689.72/690.01	v -43
689.72/690.01	v 44
689.72/690.01	v 45
689.72/690.01	v -46
689.72/690.01	v 47
689.72/690.01	v 48
689.72/690.01	v -49
689.72/690.01	v -50
689.72/690.01	v 51
689.72/690.01	v -52
689.72/690.01	v 53
689.72/690.01	v 54
689.72/690.01	v 55
689.72/690.01	v 56
689.72/690.01	v 57
689.72/690.01	v 58
689.72/690.01	v 59
689.72/690.01	v -60
689.72/690.01	v -61
689.72/690.01	v 62
689.72/690.01	v -63
689.72/690.01	v -64
689.72/690.01	v 65
689.72/690.01	v -66
689.72/690.01	v -67
689.72/690.01	v 68
689.72/690.01	v 69
689.72/690.01	v 70
689.72/690.01	v 71
689.72/690.01	v 72
689.72/690.01	v -73
689.72/690.01	v 74
689.72/690.01	v 75
689.72/690.01	v 76
689.72/690.01	v 77
689.72/690.01	v 78
689.72/690.01	v 79
689.72/690.01	v -80
689.72/690.01	v -81
689.72/690.01	v -82
689.72/690.01	v -83
689.72/690.01	v -84
689.72/690.01	v 85
689.72/690.01	v 86
689.72/690.01	v 87
689.72/690.01	v 88
689.72/690.01	v -89
689.72/690.01	v -90
689.72/690.01	v 91
689.72/690.01	v 92
689.72/690.01	v 93
689.72/690.01	v 94
689.72/690.01	v -95
689.72/690.01	v -96
689.72/690.01	v 97
689.72/690.01	v -98
689.72/690.01	v 99
689.72/690.01	v -100
689.72/690.01	v -101
689.72/690.01	v -102
689.72/690.01	v 103
689.72/690.01	v -104
689.72/690.01	v -105
689.72/690.01	v -106
689.72/690.01	v -107
689.72/690.01	v -108
689.72/690.01	v 109
689.72/690.01	v -110
689.72/690.01	v -111
689.72/690.01	v -112
689.72/690.01	v 113
689.72/690.01	v -114
689.72/690.01	v -115
689.72/690.01	v 116
689.72/690.01	v -117
689.72/690.01	v 118
689.72/690.01	v -119
689.72/690.01	v -120
689.72/690.01	v -121
689.72/690.01	v 122
689.72/690.01	v 123
689.72/690.01	v 124
689.72/690.01	v -125
689.72/690.01	v -126
689.72/690.01	v 127
689.72/690.01	v 128
689.72/690.01	v -129
689.72/690.01	v 130
689.72/690.01	v -131
689.72/690.01	v 132
689.72/690.01	v 133
689.72/690.01	v 134
689.72/690.01	v -135
689.72/690.01	v 136
689.72/690.01	v -137
689.72/690.01	v -138
689.72/690.01	v -139
689.72/690.01	v -140
689.72/690.01	v -141
689.72/690.01	v 142
689.72/690.01	v 143
689.72/690.01	v -144
689.72/690.01	v -145
689.72/690.01	v 146
689.72/690.01	v -147
689.72/690.01	v -148
689.72/690.01	v -149
689.72/690.01	v -150
689.72/690.01	v -151
689.72/690.01	v 152
689.72/690.01	v -153
689.72/690.01	v -154
689.72/690.01	v -155
689.72/690.01	v -156
689.72/690.01	v 157
689.72/690.01	v -158
689.72/690.01	v 159
689.72/690.01	v 160
689.72/690.01	v -161
689.72/690.01	v -162
689.72/690.01	v 163
689.72/690.01	v -164
689.72/690.01	v -165
689.72/690.01	v -166
689.72/690.01	v -167
689.72/690.01	v 168
689.72/690.01	v -169
689.72/690.01	v -170
689.72/690.01	v 171
689.72/690.01	v 172
689.72/690.01	v 173
689.72/690.01	v 174
689.72/690.01	v -175
689.72/690.01	v 176
689.72/690.01	v -177
689.72/690.01	v 178
689.72/690.01	v 179
689.72/690.01	v -180
689.72/690.01	v 181
689.72/690.01	v 182
689.72/690.01	v 183
689.72/690.01	v 184
689.72/690.01	v 185
689.72/690.01	v 186
689.72/690.01	v -187
689.72/690.01	v -188
689.72/690.01	v 189
689.72/690.01	v 190
689.72/690.01	v -191
689.72/690.01	v 192
689.72/690.01	v -193
689.72/690.01	v 194
689.72/690.01	v -195
689.72/690.01	v 196
689.72/690.01	v -197
689.72/690.01	v -198
689.72/690.01	v 199
689.72/690.01	v -200
689.72/690.01	v 201
689.72/690.01	v -202
689.72/690.01	v 203
689.72/690.01	v 204
689.72/690.01	v -205
689.72/690.01	v -206
689.72/690.01	v 207
689.72/690.01	v -208
689.72/690.01	v -209
689.72/690.01	v 210
689.72/690.01	v 211
689.72/690.01	v 212
689.72/690.01	v 213
689.72/690.01	v 214
689.72/690.01	v -215
689.72/690.01	v -216
689.72/690.01	v -217
689.72/690.01	v -218
689.72/690.01	v -219
689.72/690.01	v 220
689.72/690.01	v 221
689.72/690.01	v -222
689.72/690.01	v -223
689.72/690.01	v -224
689.72/690.01	v 225
689.72/690.01	v -226
689.72/690.01	v -227
689.72/690.01	v 228
689.72/690.01	v 229
689.72/690.01	v -230
689.72/690.01	v -231
689.72/690.01	v -232
689.72/690.01	v 233
689.72/690.01	v -234
689.72/690.01	v 235
689.72/690.01	v -236
689.72/690.01	v -237
689.72/690.01	v -238
689.72/690.01	v 239
689.72/690.01	v 240
689.72/690.01	v -241
689.72/690.01	v 242
689.72/690.01	v 243
689.72/690.01	v 244
689.72/690.01	v 245
689.72/690.01	v 246
689.72/690.01	v 247
689.72/690.01	v -248
689.72/690.01	v 249
689.72/690.01	v -250
689.72/690.01	v 251
689.72/690.01	v -252
689.72/690.01	v 253
689.72/690.01	v -254
689.72/690.01	v -255
689.72/690.01	v 256
689.72/690.01	v -257
689.72/690.01	v 258
689.72/690.01	v -259
689.72/690.01	v -260
689.72/690.01	v -261
689.72/690.01	v 262
689.72/690.01	v -263
689.72/690.01	v 264
689.72/690.01	v 265
689.72/690.01	v 266
689.72/690.01	v 267
689.72/690.01	v 268
689.72/690.01	v 269
689.72/690.01	v -270
689.72/690.01	v -271
689.72/690.01	v -272
689.72/690.01	v -273
689.72/690.01	v -274
689.72/690.01	v -275
689.72/690.01	v -276
689.72/690.01	v 277
689.72/690.01	v 278
689.72/690.01	v -279
689.72/690.01	v 280
689.72/690.01	v -281
689.72/690.01	v -282
689.72/690.01	v -283
689.72/690.01	v -284
689.72/690.01	v -285
689.72/690.01	v -286
689.72/690.01	v -287
689.72/690.01	v -288
689.72/690.01	v 289
689.72/690.01	v 290
689.72/690.01	v 291
689.72/690.01	v 292
689.72/690.01	v 293
689.72/690.01	v -294
689.72/690.01	v -295
689.72/690.01	v -296
689.72/690.01	v -297
689.72/690.01	v -298
689.72/690.01	v 299
689.72/690.01	v 300
689.72/690.01	v -301
689.72/690.01	v 302
689.72/690.01	v 303
689.72/690.01	v 304
689.72/690.01	v -305
689.72/690.01	v -306
689.72/690.01	v -307
689.72/690.01	v 308
689.72/690.01	v 309
689.72/690.01	v 310
689.72/690.01	v -311
689.72/690.01	v -312
689.72/690.01	v 313
689.72/690.01	v -314
689.72/690.01	v -315
689.72/690.01	v 316
689.72/690.01	v 317
689.72/690.01	v -318
689.72/690.01	v 319
689.72/690.01	v 320
689.72/690.01	v -321
689.72/690.01	v 322
689.72/690.01	v -323
689.72/690.01	v -324
689.72/690.01	v 325
689.72/690.01	v -326
689.72/690.01	v -327
689.72/690.01	v 328
689.72/690.01	v -329
689.72/690.01	v -330
689.72/690.01	v -331
689.72/690.01	v -332
689.72/690.01	v -333
689.72/690.01	v -334
689.72/690.01	v 335
689.72/690.01	v -336
689.72/690.01	v -337
689.72/690.01	v 338
689.72/690.01	v -339
689.72/690.01	v -340
689.72/690.01	v 341
689.72/690.01	v 342
689.72/690.01	v -343
689.72/690.01	v -344
689.72/690.01	v -345
689.72/690.01	v -346
689.72/690.01	v -347
689.72/690.01	v 348
689.72/690.01	v -349
689.72/690.01	v -350
689.72/690.01	v -351
689.72/690.01	v -352
689.72/690.01	v 353
689.72/690.01	v 354
689.72/690.01	v -355
689.72/690.01	v -356
689.72/690.01	v -357
689.72/690.01	v 358
689.72/690.01	v 359
689.72/690.01	v 360
689.72/690.01	v 361
689.72/690.01	v 362
689.72/690.01	v -363
689.72/690.01	v -364
689.72/690.01	v -365
689.72/690.01	v 366
689.72/690.01	v 367
689.72/690.01	v -368
689.72/690.01	v -369
689.72/690.01	v -370
689.72/690.01	v 371
689.72/690.01	v -372
689.72/690.01	v -373
689.72/690.01	v -374
689.72/690.01	v -375
689.72/690.01	v -376
689.72/690.01	v -377
689.72/690.01	v -378
689.72/690.01	v 379
689.72/690.01	v 380
689.72/690.01	v -381
689.72/690.01	v -382
689.72/690.01	v 383
689.72/690.01	v 384
689.72/690.01	v -385
689.72/690.01	v 386
689.72/690.01	v -387
689.72/690.01	v -388
689.72/690.01	v 389
689.72/690.01	v 390
689.72/690.01	v 391
689.72/690.01	v -392
689.72/690.01	v -393
689.72/690.01	v -394
689.72/690.01	v 395
689.72/690.01	v 396
689.72/690.01	v -397
689.72/690.01	v 398
689.72/690.01	v 399
689.72/690.01	v 400
689.72/690.01	v 401
689.72/690.01	v 402
689.72/690.01	v -403
689.72/690.01	v 404
689.72/690.01	v -405
689.72/690.01	v -406
689.72/690.01	v 407
689.72/690.01	v 408
689.72/690.01	v 409
689.72/690.01	v -410
689.72/690.01	v -411
689.72/690.01	v 412
689.72/690.01	v -413
689.72/690.01	v 414
689.72/690.01	v 415
689.72/690.01	v 416
689.72/690.01	v 417
689.72/690.01	v 418
689.72/690.01	v 419
689.72/690.01	v -420
689.72/690.01	v 421
689.72/690.01	v 422
689.72/690.01	v 423
689.72/690.01	v -424
689.72/690.01	v 425
689.72/690.01	v -426
689.72/690.01	v -427
689.72/690.01	v -428
689.72/690.01	v 429
689.72/690.01	v -430
689.72/690.01	v -431
689.72/690.01	v -432
689.72/690.01	v 433
689.72/690.01	v -434
689.72/690.01	v -435
689.72/690.01	v -436
689.72/690.01	v 437
689.72/690.01	v 438
689.72/690.01	v -439
689.72/690.01	v -440
689.72/690.01	v 441
689.72/690.01	v 442
689.72/690.01	v 443
689.72/690.01	v 444
689.72/690.01	v 445
689.72/690.01	v 446
689.72/690.01	v 447
689.72/690.01	v 448
689.72/690.01	v 449
689.72/690.01	v -450
689.72/690.01	v -451
689.72/690.01	v 452
689.72/690.01	v -453
689.72/690.01	v -454
689.72/690.01	v -455
689.72/690.01	v 456
689.72/690.01	v 457
689.72/690.01	v 458
689.72/690.01	v -459
689.72/690.01	v -460
689.72/690.01	v -461
689.72/690.01	v 462
689.72/690.01	v 463
689.72/690.01	v -464
689.72/690.01	v -465
689.72/690.01	v 466
689.72/690.01	v -467
689.72/690.01	v 468
689.72/690.01	v -469
689.72/690.01	v 470
689.72/690.01	v -471
689.72/690.01	v -472
689.72/690.01	v -473
689.72/690.01	v -474
689.72/690.01	v -475
689.72/690.01	v 476
689.72/690.01	v -477
689.72/690.01	v 478
689.72/690.01	v 479
689.72/690.01	v 480
689.72/690.01	v 481
689.72/690.01	v 482
689.72/690.01	v 483
689.72/690.01	v -484
689.72/690.01	v -485
689.72/690.01	v 486
689.72/690.01	v -487
689.72/690.01	v -488
689.72/690.01	v -489
689.72/690.01	v -490
689.72/690.01	v 491
689.72/690.01	v -492
689.72/690.01	v 493
689.72/690.01	v -494
689.72/690.01	v 495
689.72/690.01	v -496
689.72/690.01	v 497
689.72/690.01	v -498
689.72/690.01	v 499
689.72/690.01	v 500
689.72/690.01	v -501
689.72/690.01	v 502
689.72/690.01	v -503
689.72/690.01	v -504
689.72/690.01	v -505
689.72/690.01	v -506
689.72/690.01	v 507
689.72/690.01	v -508
689.72/690.01	v -509
689.72/690.01	v -510
689.72/690.01	v 511
689.72/690.01	v 512
689.72/690.01	v 513
689.72/690.01	v -514
689.72/690.01	v -515
689.72/690.01	v -516
689.72/690.01	v -517
689.72/690.01	v -518
689.72/690.01	v 519
689.72/690.01	v 520
689.72/690.01	v -521
689.72/690.01	v 522
689.72/690.01	v -523
689.72/690.01	v 524
689.72/690.01	v 525
689.72/690.01	v -526
689.72/690.01	v -527
689.72/690.01	v -528
689.72/690.01	v -529
689.72/690.01	v 530
689.72/690.01	v -531
689.72/690.01	v 532
689.72/690.01	v 533
689.72/690.01	v -534
689.72/690.01	v 535
689.72/690.01	v -536
689.72/690.01	v -537
689.72/690.01	v 538
689.72/690.01	v -539
689.72/690.01	v 540
689.72/690.01	v 541
689.72/690.01	v -542
689.72/690.01	v -543
689.72/690.01	v 544
689.72/690.01	v -545
689.72/690.01	v 546
689.72/690.01	v 547
689.72/690.01	v 548
689.72/690.01	v 549
689.72/690.01	v -550
689.72/690.01	v 551
689.72/690.01	v 552
689.72/690.01	v -553
689.72/690.01	v -554
689.72/690.01	v -555
689.72/690.01	v -556
689.72/690.01	v 557
689.72/690.01	v 558
689.72/690.01	v -559
689.72/690.01	v 560
689.72/690.01	v -561
689.72/690.01	v 562
689.72/690.01	v 563
689.72/690.01	v -564
689.72/690.01	v 565
689.72/690.01	v -566
689.72/690.01	v 567
689.72/690.01	v 568
689.72/690.01	v -569
689.72/690.01	v -570
689.72/690.01	v -571
689.72/690.01	v 572
689.72/690.01	v -573
689.72/690.01	v -574
689.72/690.01	v -575
689.72/690.01	v 576
689.72/690.01	v -577
689.72/690.01	v -578
689.72/690.01	v -579
689.72/690.01	v -580
689.72/690.01	v -581
689.72/690.01	v -582
689.72/690.01	v 583
689.72/690.01	v 584
689.72/690.01	v 585
689.72/690.01	v -586
689.72/690.01	v -587
689.72/690.01	v 588
689.72/690.01	v 589
689.72/690.01	v -590
689.72/690.01	v -591
689.72/690.01	v -592
689.72/690.01	v -593
689.72/690.01	v 594
689.72/690.01	v 595
689.72/690.01	v 596
689.72/690.01	v -597
689.72/690.01	v 598
689.72/690.01	v -599
689.72/690.01	v 600
689.72/690.01	v 601
689.72/690.01	v -602
689.72/690.01	v 603
689.72/690.01	v 604
689.72/690.01	v -605
689.72/690.01	v 606
689.72/690.01	v 607
689.72/690.01	v 608
689.72/690.01	v -609
689.72/690.01	v -610
689.72/690.01	v 611
689.72/690.01	v 612
689.72/690.01	v 613
689.72/690.01	v -614
689.72/690.01	v -615
689.72/690.01	v -616
689.72/690.01	v 617
689.72/690.01	v 618
689.72/690.01	v 619
689.72/690.01	v -620
689.72/690.01	v 621
689.72/690.01	v 622
689.72/690.01	v -623
689.72/690.01	v 624
689.72/690.01	v -625
689.72/690.01	v -626
689.72/690.01	v 627
689.72/690.01	v 628
689.72/690.01	v -629
689.72/690.01	v -630
689.72/690.01	v -631
689.72/690.01	v -632
689.72/690.01	v 633
689.72/690.01	v -634
689.72/690.01	v -635
689.72/690.01	v -636
689.72/690.01	v -637
689.72/690.01	v -638
689.72/690.01	v -639
689.72/690.01	v -640
689.72/690.01	v -641
689.72/690.01	v -642
689.72/690.01	v 643
689.72/690.01	v -644
689.72/690.01	v -645
689.72/690.01	v -646
689.72/690.01	v 647
689.72/690.01	v 648
689.72/690.01	v 649
689.72/690.01	v -650
689.72/690.01	v -651
689.72/690.01	v 652
689.72/690.01	v -653
689.72/690.01	v -654
689.72/690.01	v -655
689.72/690.01	v -656
689.72/690.01	v -657
689.72/690.01	v 658
689.72/690.01	v -659
689.72/690.01	v 660
689.72/690.01	v 661
689.72/690.01	v -662
689.72/690.01	v 663
689.72/690.01	v 664
689.72/690.01	v -665
689.72/690.01	v -666
689.72/690.01	v -667
689.72/690.01	v 668
689.72/690.01	v 669
689.72/690.01	v 670
689.72/690.01	v 671
689.72/690.01	v 672
689.72/690.01	v -673
689.72/690.01	v -674
689.72/690.01	v 675
689.72/690.01	v -676
689.72/690.01	v -677
689.72/690.01	v -678
689.72/690.01	v 679
689.72/690.01	v 680
689.72/690.01	v 681
689.72/690.01	v -682
689.72/690.01	v -683
689.72/690.01	v 684
689.72/690.01	v 685
689.72/690.01	v 686
689.72/690.01	v -687
689.72/690.01	v 688
689.72/690.01	v 689
689.72/690.01	v 690
689.72/690.01	v 691
689.72/690.01	v 692
689.72/690.01	v -693
689.72/690.01	v 694
689.72/690.01	v -695
689.72/690.01	v 696
689.72/690.01	v 697
689.72/690.01	v -698
689.72/690.01	v -699
689.72/690.01	v -700
689.72/690.01	v 701
689.72/690.01	v 702
689.72/690.01	v -703
689.72/690.01	v -704
689.72/690.01	v 705
689.72/690.01	v 706
689.72/690.01	v 707
689.72/690.01	v 708
689.72/690.01	v -709
689.72/690.01	v 710
689.72/690.01	v 711
689.72/690.01	v -712
689.72/690.01	v -713
689.72/690.01	v 714
689.72/690.01	v -715
689.72/690.01	v 716
689.72/690.01	v 717
689.72/690.01	v 718
689.72/690.01	v 719
689.72/690.01	v 720
689.72/690.01	v 721
689.72/690.01	v 722
689.72/690.01	v -723
689.72/690.01	v -724
689.72/690.01	v -725
689.72/690.01	v 726
689.72/690.01	v 727
689.72/690.01	v 728
689.72/690.01	v 729
689.72/690.01	v -730
689.72/690.01	v -731
689.72/690.01	v -732
689.72/690.01	v -733
689.72/690.01	v -734
689.72/690.01	v 735
689.72/690.01	v 736
689.72/690.01	v -737
689.72/690.01	v -738
689.72/690.01	v 739
689.72/690.01	v -740
689.72/690.01	v -741
689.72/690.01	v 742
689.72/690.01	v 743
689.72/690.01	v -744
689.72/690.01	v -745
689.72/690.01	v 746
689.72/690.01	v -747
689.72/690.01	v 748
689.72/690.01	v -749
689.72/690.01	v -750
689.72/690.01	v 751
689.72/690.01	v 752
689.72/690.01	v 753
689.72/690.01	v -754
689.72/690.01	v -755
689.72/690.01	v 756
689.72/690.01	v 757
689.72/690.01	v 758
689.72/690.01	v -759
689.72/690.01	v 760
689.72/690.01	v -761
689.72/690.01	v 762
689.72/690.01	v -763
689.72/690.01	v -764
689.72/690.01	v 765
689.72/690.01	v 766
689.72/690.01	v 767
689.72/690.01	v -768
689.72/690.01	v -769
689.72/690.01	v 770
689.72/690.01	v 771
689.72/690.01	v -772
689.72/690.01	v -773
689.72/690.01	v -774
689.72/690.01	v -775
689.72/690.01	v -776
689.72/690.01	v -777
689.72/690.01	v 778
689.72/690.01	v 779
689.72/690.01	v -780
689.72/690.01	v -781
689.72/690.01	v -782
689.72/690.01	v -783
689.72/690.01	v 784
689.72/690.01	v -785
689.72/690.01	v -786
689.72/690.01	v -787
689.72/690.01	v 788
689.72/690.01	v -789
689.72/690.01	v 790
689.72/690.01	v 791
689.72/690.01	v -792
689.72/690.01	v 793
689.72/690.01	v 794
689.72/690.01	v 795
689.72/690.01	v -796
689.72/690.01	v -797
689.72/690.01	v -798
689.72/690.01	v 799
689.72/690.01	v 800
689.72/690.01	v 0
689.72/690.01	c Done in 688.670000 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/node4/watcher-300448-1171906663 -o ROOT/results/node4/solver-300448-1171906663 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300448-1171906663/ranov /tmp/evaluation/300448-1171906663/instance-300448-1171906663.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.91 0.97 0.99 3/77 32039
/proc/meminfo: memFree=986408/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=319884 CPUtime=0
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 866 0 0 0 0 0 0 0 18 0 1 0 210621158 327561216 852 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 79971 858 30 98 0 79870 0

[startup+0.106954 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 32039
/proc/meminfo: memFree=986408/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=320996 CPUtime=0.1
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 10177 0 0 0 6 4 0 0 18 0 1 0 210621158 328699904 10161 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134523927 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 80249 10161 39 98 0 80148 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 320996

[startup+0.514994 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 32039
/proc/meminfo: memFree=986408/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=321420 CPUtime=0.51
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 10255 0 0 0 47 4 0 0 21 0 1 0 210621158 329134080 10239 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134521960 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 80355 10239 39 98 0 80254 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 321420

[startup+1.33507 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 32040
/proc/meminfo: memFree=945248/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=1.32
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 128 4 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 329772

[startup+2.97123 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 32040
/proc/meminfo: memFree=935776/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=2.96
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 292 4 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513698 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 329772

[startup+6.25154 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 32040
/proc/meminfo: memFree=935712/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=6.24
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 619 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134534211 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 329772

[startup+12.7022 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 32040
/proc/meminfo: memFree=935648/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=12.69
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 1264 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 329772

[startup+25.5094 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 32040
/proc/meminfo: memFree=935648/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=25.49
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 2544 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 329772

[startup+51.1218 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 32040
/proc/meminfo: memFree=935648/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=51.1
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 5105 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513568 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 329772

[startup+102.343 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=102.3
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 10225 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513795 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 329772

[startup+162.37 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=162.32
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 16227 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 329772

[startup+222.397 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=222.32
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 22227 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 329772

[startup+282.428 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=282.34
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 28229 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134514791 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 329772

[startup+342.454 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=342.34
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 34229 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 329772

[startup+402.486 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=402.36
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 40231 5 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513665 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 329772

[startup+462.515 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=462.38
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 46232 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 462.38
Current children cumulated vsize (KiB) 329772

[startup+522.54 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=522.39
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 52233 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134514737 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 329772

[startup+582.565 s]
/proc/loadavg: 1.05 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=582.4
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 58234 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513418 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 582.4
Current children cumulated vsize (KiB) 329772

[startup+642.597 s]
/proc/loadavg: 1.02 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=642.41
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 64235 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513408 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 642.41
Current children cumulated vsize (KiB) 329772

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

[startup+655.602 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=655.41
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 65535 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 655.41
Current children cumulated vsize (KiB) 329772

[startup+668.718 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=668.52
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 66846 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513698 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 668.52
Current children cumulated vsize (KiB) 329772

[startup+681.832 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=681.63
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 68157 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513782 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 681.63
Current children cumulated vsize (KiB) 329772

[startup+685.106 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=684.91
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 68485 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513698 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 684.91
Current children cumulated vsize (KiB) 329772

[startup+688.382 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=688.18
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 68812 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513509 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 688.18
Current children cumulated vsize (KiB) 329772

[startup+689.202 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=689
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 68894 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513568 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 689
Current children cumulated vsize (KiB) 329772

[startup+689.61 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=329772 CPUtime=689.41
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194304 12619 0 0 0 68935 6 0 0 25 0 1 0 210621158 337686528 12603 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 689.41
Current children cumulated vsize (KiB) 329772

[startup+690.022 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32042
/proc/meminfo: memFree=935520/2055920 swapFree=4192812/4192956
[pid=32039] ppid=32037 vsize=0 CPUtime=689.82
/proc/32039/stat : 32039 (ranov) R 32037 32039 31359 0 -1 4194308 12630 0 0 0 68975 7 0 0 16 0 1 0 210621158 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/32039/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 689.82
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 690.025
CPU time (s): 689.834
CPU user time (s): 689.759
CPU system time (s): 0.074988
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 329772

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

runsolver used 0.798878 second user time and 1.57376 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Mon Feb 19 17:37:43 UTC 2007

IDJOB= 300448
IDBENCH= 20035
IDSOLVER= 105
FILE ID= node4/300448-1171906663

PBS_JOBID= 3848849

Free space on /tmp= 66551 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S1058323130-08.cnf
COMMAND LINE= /tmp/evaluation/300448-1171906663/ranov /tmp/evaluation/300448-1171906663/instance-300448-1171906663.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-300448-1171906663 -o ROOT/results/node4/solver-300448-1171906663 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/300448-1171906663/ranov /tmp/evaluation/300448-1171906663/instance-300448-1171906663.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  8ad037218b3fb71e87bf66baa8322f0b

RANDOM SEED= 223852364

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.231
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.231
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:        986880 kB
Buffers:         59856 kB
Cached:         871812 kB
SwapCached:          0 kB
Active:         355640 kB
Inactive:       635780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        986880 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1308 kB
Writeback:           0 kB
Mapped:          78660 kB
Slab:            63140 kB
Committed_AS:   925432 kB
PageTables:       1768 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= 66551 MiB

End job on node4 on Mon Feb 19 17:49:13 UTC 2007