Trace number 1735421

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 88.4436 88.4768

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

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 24475
/proc/meminfo: memFree=1672528/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=260600 CPUtime=0
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 883 0 0 0 0 0 0 0 18 0 1 0 108252936 266854400 867 1992294400 134512640 135204289 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 65150 874 54 168 0 64980 0

[startup+0.0954831 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24475
/proc/meminfo: memFree=1672528/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268412 CPUtime=0.08
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 3194 0 0 0 7 1 0 0 18 0 1 0 108252936 274853888 3178 1992294400 134512640 135204289 4294956208 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67103 3185 56 168 0 66933 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 268412

[startup+0.101483 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24475
/proc/meminfo: memFree=1672528/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268412 CPUtime=0.09
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 4301 0 0 0 7 2 0 0 18 0 1 0 108252936 274853888 4285 1992294400 134512640 135204289 4294956208 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67103 4291 56 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.301523 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24475
/proc/meminfo: memFree=1672528/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=0.29
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 27 2 0 0 19 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134537486 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701603 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24475
/proc/meminfo: memFree=1672528/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=0.69
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 67 2 0 0 22 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134537471 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1651272/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=1.49
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 147 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134537308 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1651144/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=3.09
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 307 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30171 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1651016/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=6.29
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 627 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134536986 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650888/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=12.69
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 1267 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134536747 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650888/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=25.48
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 2546 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134537401 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268416

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=51.07
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 5105 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 268416

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

[startup+63.9021 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=63.87
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 6385 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134537502 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 268416

[startup+76.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=76.66
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 7664 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134549115 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 268416

[startup+83.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=83.06
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 8304 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134537149 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 268416

[startup+86.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=86.26
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 8624 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 86.26
Current children cumulated vsize (KiB) 268416

[startup+87.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=87.06
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 8704 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 87.06
Current children cumulated vsize (KiB) 268416

[startup+87.9019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=87.86
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 8784 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 87.86
Current children cumulated vsize (KiB) 268416

[startup+88.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=88.26
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 8824 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 88.26
Current children cumulated vsize (KiB) 268416

[startup+88.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24476
/proc/meminfo: memFree=1650952/2055920 swapFree=4191900/4192956
[pid=24475] ppid=24473 vsize=268416 CPUtime=88.36
/proc/24475/stat : 24475 (hybridGM) R 24473 24475 23523 0 -1 4194304 5365 0 0 0 8834 2 0 0 25 0 1 0 108252936 274857984 5348 1992294400 134512640 135204289 4294956208 18446744073709551615 134537272 0 0 4096 0 0 0 0 17 1 0 0
/proc/24475/statm: 67104 5348 63 168 0 66934 0
Current children cumulated CPU time (s) 88.36
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 88.4768
CPU time (s): 88.4436
CPU user time (s): 88.4116
CPU system time (s): 0.031995
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.4116
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= 5377
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= 144

runsolver used 0.069989 second user time and 0.19397 second system time

The end

Launcher Data 

Begin job on node1 at 2009-04-27 05:16:22
IDJOB=1735421
IDBENCH=71418
IDSOLVER=533
FILE ID=node1/1735421-1240802182
PBS_JOBID= 9187347
Free space on /tmp= 66340 MiB

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

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

MD5SUM BENCH= 5b3cb365e0da247dad8c75295d40c6a5
RANDOM SEED=1880541673

node1.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.259
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	: 5931.00
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.259
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:       1673008 kB
Buffers:         49508 kB
Cached:         248628 kB
SwapCached:        384 kB
Active:         122572 kB
Inactive:       188984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1673008 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:          21824 kB
Slab:            57352 kB
Committed_AS:   412420 kB
PageTables:       1436 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= 66340 MiB
End job on node1 at 2009-04-27 05:17:51