Trace number 1735172

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM3 3SAT 247.939 248.008

General information on the benchmark

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

Solver Data 

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

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/65 26195
/proc/meminfo: memFree=1607336/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=260600 CPUtime=0
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 927 0 0 0 0 0 0 0 18 0 1 0 108089139 266854400 911 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 65150 918 54 168 0 64980 0

[startup+0.00752003 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26195
/proc/meminfo: memFree=1607336/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=0
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 1071 0 0 0 0 0 0 0 18 0 1 0 108089139 274857984 1055 1992294400 134512640 135204385 4294956208 18446744073709551615 134728478 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 1055 56 168 0 66934 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 268416

[startup+0.101532 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26195
/proc/meminfo: memFree=1607336/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268412 CPUtime=0.09
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 4058 0 0 0 8 1 0 0 18 0 1 0 108089139 274853888 4041 1992294400 134512640 135204385 4294956208 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67103 4049 56 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.301554 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26195
/proc/meminfo: memFree=1607336/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=0.29
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 27 2 0 0 19 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.7016 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26195
/proc/meminfo: memFree=1607336/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=0.69
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 67 2 0 0 22 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538282 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585952/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=1.49
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 147 2 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134537724 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10188 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585824/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=3.09
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 307 2 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30126 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585824/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=6.29
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 627 2 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 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/66 26196
/proc/meminfo: memFree=1585768/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=12.69
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 1267 2 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134545325 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 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/66 26196
/proc/meminfo: memFree=1585768/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=25.48
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 2546 2 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268416

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585768/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=51.08
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 5106 2 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538520 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585768/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=102.26
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 10224 2 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 268416

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=162.25
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 16222 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134549145 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 268416

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=222.23
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 22220 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134545440 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 268416

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

[startup+230.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=230.23
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 23020 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134549107 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 230.23
Current children cumulated vsize (KiB) 268416

[startup+236.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=236.63
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 23660 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538314 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 236.63
Current children cumulated vsize (KiB) 268416

[startup+243.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=243.03
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 24300 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 243.03
Current children cumulated vsize (KiB) 268416

[startup+246.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=246.23
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 24620 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134545248 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 246.23
Current children cumulated vsize (KiB) 268416

[startup+247.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=247.02
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 24699 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 247.02
Current children cumulated vsize (KiB) 268416

[startup+247.506 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=247.43
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 24740 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 247.43
Current children cumulated vsize (KiB) 268416

[startup+247.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=247.82
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5363 0 0 0 24779 3 0 0 25 0 1 0 108089139 274857984 5346 1992294400 134512640 135204385 4294956208 18446744073709551615 134538380 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5346 62 168 0 66934 0
Current children cumulated CPU time (s) 247.82
Current children cumulated vsize (KiB) 268416

[startup+248.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26196
/proc/meminfo: memFree=1585704/2055920 swapFree=4180664/4192956
[pid=26195] ppid=26193 vsize=268416 CPUtime=247.92
/proc/26195/stat : 26195 (hybridGM3) R 26193 26195 25988 0 -1 4194304 5364 0 0 0 24789 3 0 0 25 0 1 0 108089139 274857984 5347 1992294400 134512640 135204385 4294956208 18446744073709551615 134549503 0 0 4096 0 0 0 0 17 1 0 0
/proc/26195/statm: 67104 5347 62 168 0 66934 0
Current children cumulated CPU time (s) 247.92
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 248.008
CPU time (s): 247.939
CPU user time (s): 247.9
CPU system time (s): 0.038994
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.9
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5375
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 363

runsolver used 0.228965 second user time and 0.687895 second system time

The end

Launcher Data 

Begin job on node73 at 2009-04-27 04:49:28
IDJOB=1735172
IDBENCH=71365
IDSOLVER=534
FILE ID=node73/1735172-1240800568
PBS_JOBID= 9187392
Free space on /tmp= 66356 MiB

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

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

MD5SUM BENCH= df9c42090e37db3e7c6222a93cb90a4d
RANDOM SEED=911740638

node73.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:       1607816 kB
Buffers:         52664 kB
Cached:         318300 kB
SwapCached:       6232 kB
Active:         122460 kB
Inactive:       257060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1607816 kB
SwapTotal:     4192956 kB
SwapFree:      4180664 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:          14032 kB
Slab:            54596 kB
Committed_AS:   472476 kB
PageTables:       1396 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= 66356 MiB
End job on node73 at 2009-04-27 04:53:36