Trace number 1627162

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM3 3SAT 786.39 786.618

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
MD5SUMa92f5808dbdbecf675a4a3e4cbc41fbd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark11.3653
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses14000
Sum of the clauses size70000
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 514000
Number of clauses of size over 50

Solver Data 

0.06/0.07	c Heuristic : ANov
0.06/0.07	c Hybrid barrier : 0 
0.06/0.07	c Problem instance: numAtoms = 700, numClauses = 14000, numLiterals = 70000
0.06/0.07	c General parameters: seed=384164717, cutoff=1000000000, targetCost = 0, print solution: yes
0.06/0.07	c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 100
0.06/0.07	c tries = 1
0.06/0.07	c 
786.36/786.61	c gNovelty+ (M  0 )
786.36/786.61	s SATISFIABLE
786.36/786.61	v 1
786.36/786.61	v 2
786.36/786.61	v -3
786.36/786.61	v -4
786.36/786.61	v 5
786.36/786.61	v -6
786.36/786.61	v -7
786.36/786.61	v 8
786.36/786.61	v -9
786.36/786.61	v 10
786.36/786.61	v -11
786.36/786.61	v 12
786.36/786.61	v -13
786.36/786.61	v -14
786.36/786.61	v 15
786.36/786.61	v 16
786.36/786.61	v -17
786.36/786.61	v -18
786.36/786.61	v -19
786.36/786.61	v -20
786.36/786.61	v -21
786.36/786.61	v 22
786.36/786.61	v -23
786.36/786.61	v -24
786.36/786.61	v 25
786.36/786.61	v -26
786.36/786.61	v 27
786.36/786.61	v -28
786.36/786.61	v -29
786.36/786.61	v 30
786.36/786.61	v -31
786.36/786.61	v -32
786.36/786.61	v 33
786.36/786.61	v 34
786.36/786.61	v -35
786.36/786.61	v -36
786.36/786.61	v -37
786.36/786.61	v 38
786.36/786.61	v 39
786.36/786.61	v 40
786.36/786.61	v 41
786.36/786.61	v 42
786.36/786.61	v -43
786.36/786.61	v 44
786.36/786.61	v -45
786.36/786.61	v -46
786.36/786.61	v -47
786.36/786.61	v -48
786.36/786.61	v -49
786.36/786.61	v 50
786.36/786.61	v 51
786.36/786.61	v -52
786.36/786.61	v 53
786.36/786.61	v 54
786.36/786.61	v 55
786.36/786.61	v 56
786.36/786.61	v -57
786.36/786.61	v 58
786.36/786.61	v -59
786.36/786.61	v 60
786.36/786.61	v -61
786.36/786.61	v -62
786.36/786.61	v 63
786.36/786.61	v 64
786.36/786.61	v 65
786.36/786.61	v 66
786.36/786.61	v 67
786.36/786.61	v -68
786.36/786.61	v -69
786.36/786.61	v 70
786.36/786.61	v 71
786.36/786.61	v 72
786.36/786.61	v 73
786.36/786.61	v -74
786.36/786.61	v 75
786.36/786.61	v 76
786.36/786.61	v 77
786.36/786.61	v 78
786.36/786.61	v -79
786.36/786.61	v -80
786.36/786.61	v 81
786.36/786.61	v 82
786.36/786.61	v -83
786.36/786.61	v 84
786.36/786.61	v -85
786.36/786.61	v 86
786.36/786.61	v 87
786.36/786.61	v 88
786.36/786.61	v 89
786.36/786.61	v 90
786.36/786.61	v 91
786.36/786.61	v -92
786.36/786.61	v -93
786.36/786.61	v 94
786.36/786.61	v 95
786.36/786.61	v 96
786.36/786.61	v 97
786.36/786.61	v 98
786.36/786.61	v -99
786.36/786.61	v -100
786.36/786.61	v -101
786.36/786.61	v 102
786.36/786.61	v -103
786.36/786.61	v -104
786.36/786.61	v -105
786.36/786.61	v -106
786.36/786.61	v -107
786.36/786.61	v -108
786.36/786.61	v -109
786.36/786.61	v 110
786.36/786.61	v -111
786.36/786.61	v -112
786.36/786.61	v -113
786.36/786.61	v 114
786.36/786.61	v 115
786.36/786.61	v -116
786.36/786.61	v 117
786.36/786.61	v -118
786.36/786.61	v 119
786.36/786.61	v -120
786.36/786.61	v 121
786.36/786.61	v -122
786.36/786.61	v -123
786.36/786.61	v 124
786.36/786.61	v -125
786.36/786.61	v -126
786.36/786.61	v -127
786.36/786.61	v -128
786.36/786.61	v 129
786.36/786.61	v -130
786.36/786.61	v 131
786.36/786.61	v -132
786.36/786.61	v 133
786.36/786.61	v 134
786.36/786.61	v 135
786.36/786.61	v 136
786.36/786.61	v 137
786.36/786.61	v -138
786.36/786.61	v 139
786.36/786.61	v -140
786.36/786.61	v -141
786.36/786.61	v -142
786.36/786.61	v -143
786.36/786.61	v -144
786.36/786.61	v -145
786.36/786.61	v -146
786.36/786.61	v 147
786.36/786.61	v -148
786.36/786.61	v 149
786.36/786.61	v 150
786.36/786.61	v 151
786.36/786.61	v -152
786.36/786.61	v 153
786.36/786.61	v 154
786.36/786.61	v 155
786.36/786.61	v 156
786.36/786.61	v -157
786.36/786.61	v -158
786.36/786.61	v 159
786.36/786.61	v -160
786.36/786.61	v 161
786.36/786.61	v -162
786.36/786.61	v 163
786.36/786.61	v -164
786.36/786.61	v 165
786.36/786.61	v -166
786.36/786.61	v 167
786.36/786.61	v -168
786.36/786.61	v 169
786.36/786.61	v 170
786.36/786.61	v 171
786.36/786.61	v 172
786.36/786.61	v 173
786.36/786.61	v 174
786.36/786.61	v 175
786.36/786.61	v -176
786.36/786.61	v 177
786.36/786.61	v -178
786.36/786.61	v 179
786.36/786.61	v 180
786.36/786.61	v 181
786.36/786.61	v -182
786.36/786.61	v -183
786.36/786.61	v -184
786.36/786.61	v -185
786.36/786.61	v -186
786.36/786.61	v -187
786.36/786.61	v -188
786.36/786.61	v 189
786.36/786.61	v 190
786.36/786.61	v 191
786.36/786.61	v 192
786.36/786.61	v 193
786.36/786.61	v -194
786.36/786.61	v -195
786.36/786.61	v -196
786.36/786.61	v 197
786.36/786.61	v 198
786.36/786.61	v -199
786.36/786.61	v 200
786.36/786.61	v -201
786.36/786.61	v -202
786.36/786.61	v 203
786.36/786.61	v 204
786.36/786.61	v 205
786.36/786.61	v -206
786.36/786.61	v -207
786.36/786.61	v 208
786.36/786.61	v -209
786.36/786.61	v -210
786.36/786.61	v -211
786.36/786.61	v -212
786.36/786.61	v -213
786.36/786.61	v -214
786.36/786.61	v -215
786.36/786.61	v 216
786.36/786.61	v -217
786.36/786.61	v -218
786.36/786.61	v 219
786.36/786.61	v -220
786.36/786.61	v 221
786.36/786.61	v 222
786.36/786.61	v -223
786.36/786.61	v -224
786.36/786.61	v -225
786.36/786.61	v -226
786.36/786.61	v -227
786.36/786.61	v -228
786.36/786.61	v 229
786.36/786.61	v -230
786.36/786.61	v 231
786.36/786.61	v -232
786.36/786.61	v -233
786.36/786.61	v -234
786.36/786.61	v -235
786.36/786.61	v -236
786.36/786.61	v -237
786.36/786.61	v -238
786.36/786.61	v 239
786.36/786.61	v 240
786.36/786.61	v 241
786.36/786.61	v -242
786.36/786.61	v -243
786.36/786.61	v -244
786.36/786.61	v -245
786.36/786.61	v -246
786.36/786.61	v 247
786.36/786.61	v -248
786.36/786.61	v -249
786.36/786.61	v -250
786.36/786.61	v -251
786.36/786.61	v 252
786.36/786.61	v 253
786.36/786.61	v -254
786.36/786.61	v 255
786.36/786.61	v -256
786.36/786.61	v -257
786.36/786.61	v -258
786.36/786.61	v 259
786.36/786.61	v -260
786.36/786.61	v 261
786.36/786.61	v -262
786.36/786.61	v 263
786.36/786.61	v 264
786.36/786.61	v 265
786.36/786.61	v 266
786.36/786.61	v -267
786.36/786.61	v -268
786.36/786.61	v 269
786.36/786.61	v 270
786.36/786.61	v 271
786.36/786.61	v -272
786.36/786.61	v -273
786.36/786.61	v -274
786.36/786.61	v 275
786.36/786.61	v -276
786.36/786.61	v -277
786.36/786.61	v 278
786.36/786.61	v -279
786.36/786.61	v -280
786.36/786.61	v 281
786.36/786.61	v 282
786.36/786.61	v 283
786.36/786.61	v 284
786.36/786.61	v 285
786.36/786.61	v -286
786.36/786.61	v -287
786.36/786.61	v -288
786.36/786.61	v -289
786.36/786.61	v -290
786.36/786.61	v -291
786.36/786.61	v -292
786.36/786.61	v 293
786.36/786.61	v -294
786.36/786.61	v -295
786.36/786.61	v 296
786.36/786.61	v -297
786.36/786.61	v 298
786.36/786.61	v 299
786.36/786.61	v 300
786.36/786.61	v 301
786.36/786.61	v -302
786.36/786.61	v -303
786.36/786.61	v 304
786.36/786.61	v -305
786.36/786.61	v -306
786.36/786.61	v 307
786.36/786.61	v -308
786.36/786.61	v -309
786.36/786.61	v -310
786.36/786.61	v -311
786.36/786.61	v 312
786.36/786.61	v -313
786.36/786.61	v 314
786.36/786.61	v -315
786.36/786.61	v 316
786.36/786.61	v 317
786.36/786.61	v -318
786.36/786.61	v -319
786.36/786.61	v -320
786.36/786.61	v 321
786.36/786.61	v -322
786.36/786.61	v 323
786.36/786.61	v -324
786.36/786.61	v 325
786.36/786.61	v -326
786.36/786.61	v 327
786.36/786.61	v 328
786.36/786.61	v 329
786.36/786.61	v -330
786.36/786.61	v 331
786.36/786.61	v 332
786.36/786.61	v 333
786.36/786.61	v -334
786.36/786.61	v 335
786.36/786.61	v -336
786.36/786.61	v 337
786.36/786.61	v -338
786.36/786.61	v 339
786.36/786.61	v -340
786.36/786.61	v -341
786.36/786.61	v -342
786.36/786.61	v -343
786.36/786.61	v 344
786.36/786.61	v -345
786.36/786.61	v 346
786.36/786.61	v -347
786.36/786.61	v 348
786.36/786.61	v -349
786.36/786.61	v -350
786.36/786.61	v -351
786.36/786.61	v 352
786.36/786.61	v -353
786.36/786.61	v 354
786.36/786.61	v 355
786.36/786.61	v -356
786.36/786.61	v -357
786.36/786.61	v 358
786.36/786.61	v 359
786.36/786.61	v -360
786.36/786.61	v -361
786.36/786.61	v -362
786.36/786.61	v -363
786.36/786.61	v -364
786.36/786.61	v 365
786.36/786.61	v 366
786.36/786.61	v 367
786.36/786.61	v 368
786.36/786.61	v -369
786.36/786.61	v -370
786.36/786.61	v 371
786.36/786.61	v -372
786.36/786.61	v -373
786.36/786.61	v 374
786.36/786.61	v -375
786.36/786.61	v 376
786.36/786.61	v -377
786.36/786.61	v 378
786.36/786.61	v -379
786.36/786.61	v 380
786.36/786.61	v 381
786.36/786.61	v 382
786.36/786.61	v 383
786.36/786.61	v -384
786.36/786.61	v 385
786.36/786.61	v -386
786.36/786.61	v -387
786.36/786.61	v 388
786.36/786.61	v -389
786.36/786.61	v 390
786.36/786.61	v 391
786.36/786.61	v -392
786.36/786.61	v 393
786.36/786.61	v 394
786.36/786.61	v -395
786.36/786.61	v -396
786.36/786.61	v 397
786.36/786.61	v 398
786.36/786.61	v -399
786.36/786.61	v 400
786.36/786.61	v 401
786.36/786.61	v 402
786.36/786.61	v -403
786.36/786.61	v 404
786.36/786.61	v 405
786.36/786.61	v -406
786.36/786.61	v 407
786.36/786.61	v 408
786.36/786.61	v -409
786.36/786.61	v -410
786.36/786.61	v 411
786.36/786.61	v 412
786.36/786.61	v 413
786.36/786.61	v -414
786.36/786.61	v -415
786.36/786.61	v 416
786.36/786.61	v -417
786.36/786.61	v 418
786.36/786.61	v 419
786.36/786.61	v 420
786.36/786.61	v 421
786.36/786.61	v 422
786.36/786.61	v 423
786.36/786.61	v 424
786.36/786.61	v -425
786.36/786.61	v -426
786.36/786.61	v 427
786.36/786.61	v 428
786.36/786.61	v 429
786.36/786.61	v 430
786.36/786.61	v 431
786.36/786.61	v -432
786.36/786.61	v 433
786.36/786.61	v 434
786.36/786.61	v -435
786.36/786.61	v 436
786.36/786.61	v 437
786.36/786.61	v -438
786.36/786.61	v -439
786.36/786.61	v -440
786.36/786.61	v 441
786.36/786.61	v 442
786.36/786.61	v -443
786.36/786.61	v 444
786.36/786.61	v 445
786.36/786.61	v 446
786.36/786.61	v -447
786.36/786.61	v 448
786.36/786.61	v 449
786.36/786.61	v -450
786.36/786.61	v 451
786.36/786.61	v -452
786.36/786.61	v 453
786.36/786.61	v -454
786.36/786.61	v 455
786.36/786.61	v 456
786.36/786.61	v 457
786.36/786.61	v -458
786.36/786.61	v -459
786.36/786.61	v -460
786.36/786.61	v 461
786.36/786.61	v 462
786.36/786.61	v 463
786.36/786.61	v 464
786.36/786.61	v -465
786.36/786.61	v -466
786.36/786.61	v 467
786.36/786.61	v 468
786.36/786.61	v 469
786.36/786.61	v 470
786.36/786.61	v -471
786.36/786.61	v 472
786.36/786.61	v 473
786.36/786.61	v -474
786.36/786.61	v 475
786.36/786.61	v 476
786.36/786.61	v 477
786.36/786.61	v 478
786.36/786.61	v -479
786.36/786.61	v 480
786.36/786.61	v -481
786.36/786.61	v -482
786.36/786.61	v 483
786.36/786.61	v 484
786.36/786.61	v 485
786.36/786.61	v 486
786.36/786.61	v 487
786.36/786.61	v -488
786.36/786.61	v -489
786.36/786.61	v 490
786.36/786.61	v -491
786.36/786.61	v 492
786.36/786.61	v -493
786.36/786.61	v -494
786.36/786.61	v -495
786.36/786.61	v -496
786.36/786.61	v -497
786.36/786.61	v 498
786.36/786.61	v 499
786.36/786.61	v -500
786.36/786.61	v 501
786.36/786.61	v 502
786.36/786.61	v -503
786.36/786.61	v 504
786.36/786.61	v -505
786.36/786.61	v -506
786.36/786.61	v -507
786.36/786.61	v 508
786.36/786.61	v -509
786.36/786.61	v -510
786.36/786.61	v -511
786.36/786.61	v -512
786.36/786.61	v 513
786.36/786.61	v -514
786.36/786.61	v 515
786.36/786.61	v 516
786.36/786.61	v 517
786.36/786.61	v -518
786.36/786.61	v -519
786.36/786.61	v 520
786.36/786.61	v -521
786.36/786.61	v -522
786.36/786.61	v 523
786.36/786.61	v -524
786.36/786.61	v -525
786.36/786.61	v -526
786.36/786.61	v -527
786.36/786.61	v -528
786.36/786.61	v 529
786.36/786.61	v 530
786.36/786.61	v -531
786.36/786.61	v 532
786.36/786.61	v 533
786.36/786.61	v 534
786.36/786.61	v 535
786.36/786.61	v -536
786.36/786.61	v -537
786.36/786.61	v 538
786.36/786.61	v -539
786.36/786.61	v -540
786.36/786.61	v 541
786.36/786.61	v 542
786.36/786.61	v 543
786.36/786.61	v 544
786.36/786.61	v -545
786.36/786.61	v 546
786.36/786.61	v 547
786.36/786.61	v 548
786.36/786.61	v -549
786.36/786.61	v -550
786.36/786.61	v 551
786.36/786.61	v 552
786.36/786.61	v 553
786.36/786.61	v 554
786.36/786.61	v 555
786.36/786.61	v 556
786.36/786.61	v 557
786.36/786.61	v 558
786.36/786.61	v 559
786.36/786.61	v -560
786.36/786.61	v 561
786.36/786.61	v 562
786.36/786.61	v 563
786.36/786.61	v -564
786.36/786.61	v -565
786.36/786.61	v 566
786.36/786.61	v 567
786.36/786.61	v 568
786.36/786.61	v 569
786.36/786.61	v -570
786.36/786.61	v -571
786.36/786.61	v 572
786.36/786.61	v -573
786.36/786.61	v 574
786.36/786.61	v 575
786.36/786.61	v 576
786.36/786.61	v 577
786.36/786.61	v 578
786.36/786.61	v 579
786.36/786.61	v -580
786.36/786.61	v -581
786.36/786.61	v 582
786.36/786.61	v -583
786.36/786.61	v -584
786.36/786.61	v -585
786.36/786.61	v 586
786.36/786.61	v 587
786.36/786.61	v 588
786.36/786.61	v -589
786.36/786.61	v 590
786.36/786.61	v 591
786.36/786.61	v -592
786.36/786.61	v -593
786.36/786.61	v 594
786.36/786.61	v 595
786.36/786.61	v 596
786.36/786.61	v -597
786.36/786.61	v 598
786.36/786.61	v -599
786.36/786.61	v -600
786.36/786.61	v -601
786.36/786.61	v -602
786.36/786.61	v 603
786.36/786.61	v 604
786.36/786.61	v 605
786.36/786.61	v 606
786.36/786.61	v -607
786.36/786.61	v 608
786.36/786.61	v 609
786.36/786.61	v 610
786.36/786.61	v -611
786.36/786.61	v 612
786.36/786.61	v -613
786.36/786.61	v -614
786.36/786.61	v -615
786.36/786.61	v -616
786.36/786.61	v -617
786.36/786.61	v 618
786.36/786.61	v -619
786.36/786.61	v -620
786.36/786.61	v -621
786.36/786.61	v -622
786.36/786.61	v 623
786.36/786.61	v -624
786.36/786.61	v 625
786.36/786.61	v 626
786.36/786.61	v -627
786.36/786.61	v 628
786.36/786.61	v 629
786.36/786.61	v 630
786.36/786.61	v 631
786.36/786.61	v -632
786.36/786.61	v -633
786.36/786.61	v -634
786.36/786.61	v -635
786.36/786.61	v 636
786.36/786.61	v 637
786.36/786.61	v 638
786.36/786.61	v -639
786.36/786.61	v -640
786.36/786.61	v 641
786.36/786.61	v 642
786.36/786.61	v 643
786.36/786.61	v -644
786.36/786.61	v 645
786.36/786.61	v -646
786.36/786.61	v -647
786.36/786.61	v -648
786.36/786.61	v -649
786.36/786.61	v -650
786.36/786.61	v 651
786.36/786.61	v -652
786.36/786.61	v 653
786.36/786.61	v 654
786.36/786.61	v -655
786.36/786.61	v 656
786.36/786.61	v -657
786.36/786.61	v 658
786.36/786.61	v 659
786.36/786.61	v 660
786.36/786.61	v -661
786.36/786.61	v 662
786.36/786.61	v 663
786.36/786.61	v -664
786.36/786.61	v -665
786.36/786.61	v 666
786.36/786.61	v 667
786.36/786.61	v -668
786.36/786.61	v -669
786.36/786.61	v 670
786.36/786.61	v 671
786.36/786.61	v 672
786.36/786.61	v 673
786.36/786.61	v 674
786.36/786.61	v 675
786.36/786.61	v -676
786.36/786.61	v 677
786.36/786.61	v 678
786.36/786.61	v -679
786.36/786.61	v -680
786.36/786.61	v 681
786.36/786.61	v -682
786.36/786.61	v 683
786.36/786.61	v 684
786.36/786.61	v 685
786.36/786.61	v -686
786.36/786.61	v 687
786.36/786.61	v -688
786.36/786.61	v 689
786.36/786.61	v -690
786.36/786.61	v -691
786.36/786.61	v 692
786.36/786.61	v 693
786.36/786.61	v -694
786.36/786.61	v -695
786.36/786.61	v -696
786.36/786.61	v -697
786.36/786.61	v 698
786.36/786.61	v 699
786.36/786.61	v 700
786.36/786.61	v 0
786.36/786.61	c Done in 786.410000 seconds

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1627162-1239982287/watcher-1627162-1239982287 -o /tmp/evaluation-result-1627162-1239982287/solver-1627162-1239982287 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/hybridGM3 HOME/instance-1627162-1239982287.cnf 384164717 

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): 6000 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.99 0.97 0.89 3/64 23563
/proc/meminfo: memFree=1151848/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=260600 CPUtime=0
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 867 0 0 0 0 0 0 0 18 0 1 0 26262222 266854400 852 1992294400 134512640 135204385 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 65150 859 54 168 0 64980 0

[startup+0.0704891 s]
/proc/loadavg: 0.99 0.97 0.89 3/64 23563
/proc/meminfo: memFree=1151848/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268412 CPUtime=0.06
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 3204 0 0 0 5 1 0 0 18 0 1 0 26262222 274853888 3187 1992294400 134512640 135204385 4294956224 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67103 3194 56 168 0 66933 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 268412

[startup+0.101493 s]
/proc/loadavg: 0.99 0.97 0.89 3/64 23563
/proc/meminfo: memFree=1151848/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=0.09
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 8 1 0 0 18 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301519 s]
/proc/loadavg: 0.99 0.97 0.89 3/64 23563
/proc/meminfo: memFree=1151848/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=0.29
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 28 1 0 0 19 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537891 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701571 s]
/proc/loadavg: 0.99 0.97 0.89 3/64 23563
/proc/meminfo: memFree=1151848/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=0.69
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 68 1 0 0 22 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50168 s]
/proc/loadavg: 0.99 0.97 0.89 2/65 23564
/proc/meminfo: memFree=1132192/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=1.49
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 148 1 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538421 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10189 s]
/proc/loadavg: 0.99 0.97 0.89 2/65 23564
/proc/meminfo: memFree=1132064/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=3.09
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 308 1 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537810 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30131 s]
/proc/loadavg: 0.99 0.97 0.89 2/65 23564
/proc/meminfo: memFree=1132000/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=6.28
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 627 1 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134549189 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 268416

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.89 2/65 23564
/proc/meminfo: memFree=1131944/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=12.69
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 1267 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538421 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.89 2/65 23564
/proc/meminfo: memFree=1131944/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=25.49
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 2547 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134545414 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268416

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.89 2/65 23564
/proc/meminfo: memFree=1132008/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=51.08
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 5106 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538191 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.90 2/65 23564
/proc/meminfo: memFree=1132008/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=102.27
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 10225 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 268416

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.90 2/65 23564
/proc/meminfo: memFree=1132008/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=162.25
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 16223 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538534 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 268416

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23564
/proc/meminfo: memFree=1132008/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=222.23
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 22221 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538435 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 268416

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23564
/proc/meminfo: memFree=1131944/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=282.21
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 28219 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538257 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 268416

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131752/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=342.19
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 34217 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134545518 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 268416

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131752/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=402.17
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 40215 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538393 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 268416

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131752/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=462.15
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 46213 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537776 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 268416

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131752/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=522.13
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 52211 2 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537726 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 268416

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131816/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=582.13
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 58210 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538282 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 268416

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131816/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=642.11
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 64208 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 268416

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131816/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=702.09
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 70206 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 268416

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=762.07
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 76204 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538429 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 268416

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

[startup+767.901 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=767.67
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 76764 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 767.67
Current children cumulated vsize (KiB) 268416

[startup+774.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=774.07
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 77404 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537726 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 774.07
Current children cumulated vsize (KiB) 268416

[startup+780.701 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=780.46
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 78043 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 780.46
Current children cumulated vsize (KiB) 268416

[startup+783.902 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=783.66
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 78363 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 783.66
Current children cumulated vsize (KiB) 268416

[startup+785.503 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=785.26
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 78523 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 785.26
Current children cumulated vsize (KiB) 268416

[startup+786.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=786.06
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 78603 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537729 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 786.06
Current children cumulated vsize (KiB) 268416

[startup+786.505 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=786.27
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 78624 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134537726 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 786.27
Current children cumulated vsize (KiB) 268416

[startup+786.602 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23566
/proc/meminfo: memFree=1131880/2055920 swapFree=4192956/4192956
[pid=23563] ppid=23561 vsize=268416 CPUtime=786.36
/proc/23563/stat : 23563 (hybridGM3) R 23561 23563 23471 0 -1 4194304 4968 0 0 0 78633 3 0 0 25 0 1 0 26262222 274857984 4951 1992294400 134512640 135204385 4294956224 18446744073709551615 134538013 0 0 4096 0 0 0 0 17 1 0 0
/proc/23563/statm: 67104 4951 62 168 0 66934 0
Current children cumulated CPU time (s) 786.36
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 786.618
CPU time (s): 786.39
CPU user time (s): 786.351
CPU system time (s): 0.038994
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 268416

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

runsolver used 0.746886 second user time and 1.42278 second system time

The end

Launcher Data 

Begin job on node13 at 2009-04-17 17:31:27
IDJOB=1627162
IDBENCH=70228
IDSOLVER=580
FILE ID=node13/1627162-1239982287
PBS_JOBID= 9158078
Free space on /tmp= 66312 MiB

SOLVER NAME= hybridGM3 3
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/700/unif-k5-r20-v700-c14000-S1970456972-046.cnf
COMMAND LINE= HOME/hybridGM3 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1627162-1239982287/watcher-1627162-1239982287 -o /tmp/evaluation-result-1627162-1239982287/solver-1627162-1239982287 -C 5000 -W 6000 -M 1800 --output-limit 1,15  HOME/hybridGM3 HOME/instance-1627162-1239982287.cnf 384164717 

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

MD5SUM BENCH= a92f5808dbdbecf675a4a3e4cbc41fbd
RANDOM SEED=384164717

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
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.227
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:       1152328 kB
Buffers:         85332 kB
Cached:         719856 kB
SwapCached:          0 kB
Active:         354284 kB
Inactive:       464776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1152328 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1480 kB
Writeback:           0 kB
Mapped:          23648 kB
Slab:            70516 kB
Committed_AS:   141272 kB
PageTables:       1460 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= 66312 MiB
End job on node13 at 2009-04-17 17:44:34