Trace number 1735921

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 117.277 117.322

General information on the benchmark

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

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.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=1543728/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=260600 CPUtime=0
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 872 0 0 0 0 0 0 0 18 0 1 0 108839300 266854400 856 1992294400 134512640 135204289 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 65150 863 54 168 0 64980 0

[startup+0.057707 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=1543728/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=0.05
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 1248 0 0 0 5 0 0 0 18 0 1 0 108839300 274857984 1232 1992294400 134512640 135204289 4294956224 18446744073709551615 134728430 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 1232 56 168 0 66934 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 268416

[startup+0.101713 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=1543728/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268412 CPUtime=0.09
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 4046 0 0 0 8 1 0 0 18 0 1 0 108839300 274853888 4029 1992294400 134512640 135204289 4294956224 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67103 4036 56 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.301747 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=1543728/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=0.29
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 27 2 0 0 19 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537320 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701817 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=1543728/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=0.69
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 67 2 0 0 22 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537502 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50196 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522408/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=1.49
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 147 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10124 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522280/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=3.09
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 307 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134536980 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.3018 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522152/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=6.29
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 627 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134549115 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=12.69
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 1267 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134536986 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=25.48
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 2546 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268416

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=51.07
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 5105 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 268416

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=102.26
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 10224 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537383 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 268416

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

[startup+108.702 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=108.65
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 10863 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 108.65
Current children cumulated vsize (KiB) 268416

[startup+111.901 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=111.85
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 11183 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 111.85
Current children cumulated vsize (KiB) 268416

[startup+115.102 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=115.05
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 11503 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 115.05
Current children cumulated vsize (KiB) 268416

[startup+116.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=116.65
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 11663 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537481 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 116.65
Current children cumulated vsize (KiB) 268416

[startup+117.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=117.05
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 11703 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537544 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 117.05
Current children cumulated vsize (KiB) 268416

[startup+117.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=1522088/2055920 swapFree=4181888/4192956
[pid=32294] ppid=32292 vsize=268416 CPUtime=117.25
/proc/32294/stat : 32294 (hybridGM) R 32292 32294 32196 0 -1 4194304 5372 0 0 0 11723 2 0 0 25 0 1 0 108839300 274857984 5355 1992294400 134512640 135204289 4294956224 18446744073709551615 134537576 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 67104 5355 63 168 0 66934 0
Current children cumulated CPU time (s) 117.25
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 117.322
CPU time (s): 117.277
CPU user time (s): 117.246
CPU system time (s): 0.030995
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.246
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5384
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= 309

runsolver used 0.089986 second user time and 0.25696 second system time

The end

Launcher Data 

Begin job on node18 at 2009-04-27 06:54:20
IDJOB=1735921
IDBENCH=71554
IDSOLVER=533
FILE ID=node18/1735921-1240808060
PBS_JOBID= 9187432
Free space on /tmp= 66148 MiB

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

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

MD5SUM BENCH= 0b0881d9187e7912564ae88556ada128
RANDOM SEED=1759124554

node18.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.280
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.280
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:       1544144 kB
Buffers:         64712 kB
Cached:         364496 kB
SwapCached:       4972 kB
Active:         157108 kB
Inactive:       280024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1544144 kB
SwapTotal:     4192956 kB
SwapFree:      4181888 kB
Dirty:            1748 kB
Writeback:           0 kB
Mapped:          14012 kB
Slab:            60664 kB
Committed_AS:   479868 kB
PageTables:       1372 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= 66144 MiB
End job on node18 at 2009-04-27 06:56:18