Trace number 1735871

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
hybridGM 1SAT 13.046 13.0527

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
MD5SUM52e359b1b3f50700797d7fba5a906213
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.72283
Satisfiable
(Un)Satisfiability was proved
Number of variables1150
Number of clauses84314
Sum of the clauses size169678
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

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

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: 1.00 1.00 1.00 3/64 24422
/proc/meminfo: memFree=1701944/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=260600 CPUtime=0
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 870 0 0 0 0 0 0 0 18 0 1 0 108791214 266854400 854 1992294400 134512640 135204289 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 65150 861 54 168 0 64980 0

[startup+0.00861004 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24422
/proc/meminfo: memFree=1701944/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=0
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 1075 0 0 0 0 0 0 0 18 0 1 0 108791214 274857984 1059 1992294400 134512640 135204289 4294956208 18446744073709551615 134728430 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 1059 56 168 0 66934 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 268416

[startup+0.102617 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24422
/proc/meminfo: memFree=1701944/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268412 CPUtime=0.09
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 1818 0 0 0 8 1 0 0 18 0 1 0 108791214 274853888 1801 1992294400 134512640 135204289 4294956208 18446744073709551615 134543223 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67103 1805 56 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.30263 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24422
/proc/meminfo: memFree=1701944/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=0.29
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 5692 0 0 0 27 2 0 0 19 0 1 0 108791214 274857984 5675 1992294400 134512640 135204289 4294956208 18446744073709551615 134537502 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 5675 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.702661 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24422
/proc/meminfo: memFree=1701944/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=0.69
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 5692 0 0 0 67 2 0 0 22 0 1 0 108791214 274857984 5675 1992294400 134512640 135204289 4294956208 18446744073709551615 134537308 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 5675 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50172 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24423
/proc/meminfo: memFree=1679344/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=1.49
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 5692 0 0 0 147 2 0 0 25 0 1 0 108791214 274857984 5675 1992294400 134512640 135204289 4294956208 18446744073709551615 134537401 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 5675 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10184 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24423
/proc/meminfo: memFree=1679152/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=3.09
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 5692 0 0 0 307 2 0 0 25 0 1 0 108791214 274857984 5675 1992294400 134512640 135204289 4294956208 18446744073709551615 134537383 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 5675 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30107 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24423
/proc/meminfo: memFree=1679088/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=6.28
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 5692 0 0 0 626 2 0 0 25 0 1 0 108791214 274857984 5675 1992294400 134512640 135204289 4294956208 18446744073709551615 134546510 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 5675 63 168 0 66934 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 268416

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24423
/proc/meminfo: memFree=1679024/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=12.69
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 5692 0 0 0 1266 3 0 0 25 0 1 0 108791214 274857984 5675 1992294400 134512640 135204289 4294956208 18446744073709551615 134536641 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 5675 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

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

[startup+12.9016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24423
/proc/meminfo: memFree=1679024/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=12.89
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 5692 0 0 0 1286 3 0 0 25 0 1 0 108791214 274857984 5675 1992294400 134512640 135204289 4294956208 18446744073709551615 134537383 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 5675 63 168 0 66934 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 268416

[startup+13.0016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24423
/proc/meminfo: memFree=1679024/2055920 swapFree=4191900/4192956
[pid=24422] ppid=24420 vsize=268416 CPUtime=12.99
/proc/24422/stat : 24422 (hybridGM) R 24420 24422 24081 0 -1 4194304 5692 0 0 0 1296 3 0 0 25 0 1 0 108791214 274857984 5675 1992294400 134512640 135204289 4294956208 18446744073709551615 134537502 0 0 4096 0 0 0 0 17 1 0 0
/proc/24422/statm: 67104 5675 63 168 0 66934 0
Current children cumulated CPU time (s) 12.99
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 13.0527
CPU time (s): 13.046
CPU user time (s): 13.011
CPU system time (s): 0.034994
CPU usage (%): 99.9484
Max. virtual memory (cumulated for all children) (KiB): 268416

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

runsolver used 0.021996 second user time and 0.038994 second system time

The end

Launcher Data 

Begin job on node34 at 2009-04-27 06:46:26
IDJOB=1735871
IDBENCH=71537
IDSOLVER=533
FILE ID=node34/1735871-1240807586
PBS_JOBID= 9187391
Free space on /tmp= 66416 MiB

SOLVER NAME= hybridGM 1
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1150c84314gyes2.cnf
COMMAND LINE= HOME/hybridGM BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1735871-1240807586/watcher-1735871-1240807586 -o /tmp/evaluation-result-1735871-1240807586/solver-1735871-1240807586 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM HOME/instance-1735871-1240807586.cnf 1831022391 

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

MD5SUM BENCH= 52e359b1b3f50700797d7fba5a906213
RANDOM SEED=1831022391

node34.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.214
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.214
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:       1702424 kB
Buffers:         51168 kB
Cached:         217036 kB
SwapCached:        260 kB
Active:          95028 kB
Inactive:       186448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1702424 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2044 kB
Writeback:           0 kB
Mapped:          21780 kB
Slab:            58096 kB
Committed_AS:   454772 kB
PageTables:       1380 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= 66416 MiB
End job on node34 at 2009-04-27 06:46:39