Trace number 1735422

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 100.38 100.41

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
MD5SUM5b3cb365e0da247dad8c75295d40c6a5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.4134
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 28990
/proc/meminfo: memFree=1626120/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=260600 CPUtime=0
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 886 0 0 0 0 0 0 0 18 0 1 0 108247346 266854400 870 1992294400 134512640 135204385 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 65150 877 54 168 0 64980 0

[startup+0.101987 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 28990
/proc/meminfo: memFree=1626120/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268412 CPUtime=0.09
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 4262 0 0 0 8 1 0 0 18 0 1 0 108247346 274853888 4245 1992294400 134512640 135204385 4294956224 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67103 4253 56 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.201995 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 28990
/proc/meminfo: memFree=1626120/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=0.19
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 17 2 0 0 18 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538282 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 268416

[startup+0.302006 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 28990
/proc/meminfo: memFree=1626120/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=0.29
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 27 2 0 0 19 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701046 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 28990
/proc/meminfo: memFree=1626120/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=0.69
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 67 2 0 0 22 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50113 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 28991
/proc/meminfo: memFree=1604800/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=1.49
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 147 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538587 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10129 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 28991
/proc/meminfo: memFree=1604672/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=3.09
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 307 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30162 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=6.29
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 627 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538411 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7013 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 28991
/proc/meminfo: memFree=1604544/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=12.69
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 1267 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538314 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5016 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 28991
/proc/meminfo: memFree=1604544/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=25.49
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 2547 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134549145 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 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: 1.04 0.99 0.99 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=51.08
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 5106 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416

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

[startup+51.2012 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=51.18
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 5116 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 268416

[startup+76.8018 s]
/proc/loadavg: 1.03 0.99 0.99 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=76.77
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 7675 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134537970 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 76.77
Current children cumulated vsize (KiB) 268416

[startup+89.6011 s]
/proc/loadavg: 1.10 1.00 1.00 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=89.56
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 8954 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (KiB) 268416

[startup+96.0018 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=95.96
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 9594 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 95.96
Current children cumulated vsize (KiB) 268416

[startup+97.6029 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=97.56
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 9754 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 97.56
Current children cumulated vsize (KiB) 268416

[startup+99.2011 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=99.16
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 9914 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538421 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 99.16
Current children cumulated vsize (KiB) 268416

[startup+100.001 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=99.96
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 9994 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538509 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (KiB) 268416

[startup+100.401 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 28991
/proc/meminfo: memFree=1604608/2055920 swapFree=4180816/4192956
[pid=28990] ppid=28988 vsize=268416 CPUtime=100.36
/proc/28990/stat : 28990 (hybridGM3) R 28988 28990 28894 0 -1 4194304 5363 0 0 0 10034 2 0 0 25 0 1 0 108247346 274857984 5346 1992294400 134512640 135204385 4294956224 18446744073709551615 134538404 0 0 4096 0 0 0 0 17 1 0 0
/proc/28990/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 100.36
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 100.41
CPU time (s): 100.38
CPU user time (s): 100.348
CPU system time (s): 0.031995
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 268416

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

runsolver used 0.069989 second user time and 0.232964 second system time

The end

Launcher Data 

Begin job on node45 at 2009-04-27 05:16:35
IDJOB=1735422
IDBENCH=71418
IDSOLVER=534
FILE ID=node45/1735422-1240802195
PBS_JOBID= 9187400
Free space on /tmp= 66296 MiB

SOLVER NAME= hybridGM3 3
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes9.cnf
COMMAND LINE= HOME/hybridGM3 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1735422-1240802195/watcher-1735422-1240802195 -o /tmp/evaluation-result-1735422-1240802195/solver-1735422-1240802195 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM3 HOME/instance-1735422-1240802195.cnf 1371562543 

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

MD5SUM BENCH= 5b3cb365e0da247dad8c75295d40c6a5
RANDOM SEED=1371562543

node45.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.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:       1626536 kB
Buffers:         55696 kB
Cached:         293088 kB
SwapCached:       5972 kB
Active:         119908 kB
Inactive:       237284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1626536 kB
SwapTotal:     4192956 kB
SwapFree:      4180816 kB
Dirty:            1868 kB
Writeback:           0 kB
Mapped:          14056 kB
Slab:            58176 kB
Committed_AS:   449076 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66296 MiB
End job on node45 at 2009-04-27 05:18:15