Trace number 1718519

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 194.013 194.069

General information on the benchmark

Nameindustrial/grieu/
vmpc_24.cnf
MD5SUMa69847fa52646cc8016cf4fd8e9d428a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.427934
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of clauses67872
Sum of the clauses size178056
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226568
Number of clauses of size 341256
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 548

Solver Data 

0.09/0.13	c Heuristic : AdaptG2WSAT
0.09/0.13	c Hybrid barrier : 0 
0.09/0.13	c Problem instance: numAtoms = 576, numClauses = 67872, numLiterals = 178056
0.09/0.13	c General parameters: seed=240143900, cutoff=1000000000, targetCost = 0, print solution: yes
0.09/0.13	c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 100
0.09/0.13	c tries = 1
0.09/0.13	c 
193.93/194.06	c gNovelty+ (M  0 )
193.93/194.06	s SATISFIABLE
193.93/194.06	v -1
193.93/194.06	v -2
193.93/194.06	v -3
193.93/194.06	v -4
193.93/194.06	v -5
193.93/194.06	v -6
193.93/194.06	v -7
193.93/194.06	v -8
193.93/194.06	v -9
193.93/194.06	v -10
193.93/194.06	v -11
193.93/194.06	v -12
193.93/194.06	v -13
193.93/194.06	v -14
193.93/194.06	v -15
193.93/194.06	v -16
193.93/194.06	v -17
193.93/194.06	v -18
193.93/194.06	v -19
193.93/194.06	v -20
193.93/194.06	v 21
193.93/194.06	v -22
193.93/194.06	v -23
193.93/194.06	v -24
193.93/194.06	v -25
193.93/194.06	v -26
193.93/194.06	v -27
193.93/194.06	v -28
193.93/194.06	v -29
193.93/194.06	v -30
193.93/194.06	v -31
193.93/194.06	v -32
193.93/194.06	v -33
193.93/194.06	v -34
193.93/194.06	v 35
193.93/194.06	v -36
193.93/194.06	v -37
193.93/194.06	v -38
193.93/194.06	v -39
193.93/194.06	v -40
193.93/194.06	v -41
193.93/194.06	v -42
193.93/194.06	v -43
193.93/194.06	v -44
193.93/194.06	v -45
193.93/194.06	v -46
193.93/194.06	v -47
193.93/194.06	v -48
193.93/194.06	v -49
193.93/194.06	v -50
193.93/194.06	v -51
193.93/194.06	v -52
193.93/194.06	v -53
193.93/194.06	v -54
193.93/194.06	v -55
193.93/194.06	v -56
193.93/194.06	v -57
193.93/194.06	v -58
193.93/194.06	v -59
193.93/194.06	v -60
193.93/194.06	v -61
193.93/194.06	v -62
193.93/194.06	v -63
193.93/194.06	v -64
193.93/194.06	v -65
193.93/194.06	v -66
193.93/194.06	v -67
193.93/194.06	v 68
193.93/194.06	v -69
193.93/194.06	v -70
193.93/194.06	v -71
193.93/194.06	v -72
193.93/194.06	v -73
193.93/194.06	v -74
193.93/194.06	v -75
193.93/194.06	v -76
193.93/194.06	v -77
193.93/194.06	v -78
193.93/194.06	v -79
193.93/194.06	v -80
193.93/194.06	v 81
193.93/194.06	v -82
193.93/194.06	v -83
193.93/194.06	v -84
193.93/194.06	v -85
193.93/194.06	v -86
193.93/194.06	v -87
193.93/194.06	v -88
193.93/194.06	v -89
193.93/194.06	v -90
193.93/194.06	v -91
193.93/194.06	v -92
193.93/194.06	v -93
193.93/194.06	v -94
193.93/194.06	v -95
193.93/194.06	v -96
193.93/194.06	v -97
193.93/194.06	v -98
193.93/194.06	v -99
193.93/194.06	v -100
193.93/194.06	v -101
193.93/194.06	v -102
193.93/194.06	v -103
193.93/194.06	v -104
193.93/194.06	v -105
193.93/194.06	v -106
193.93/194.06	v -107
193.93/194.06	v -108
193.93/194.06	v -109
193.93/194.06	v 110
193.93/194.06	v -111
193.93/194.06	v -112
193.93/194.06	v -113
193.93/194.06	v -114
193.93/194.06	v -115
193.93/194.06	v -116
193.93/194.06	v -117
193.93/194.06	v -118
193.93/194.06	v -119
193.93/194.06	v -120
193.93/194.06	v -121
193.93/194.06	v -122
193.93/194.06	v -123
193.93/194.06	v -124
193.93/194.06	v -125
193.93/194.06	v -126
193.93/194.06	v -127
193.93/194.06	v -128
193.93/194.06	v -129
193.93/194.06	v -130
193.93/194.06	v -131
193.93/194.06	v 132
193.93/194.06	v -133
193.93/194.06	v -134
193.93/194.06	v -135
193.93/194.06	v -136
193.93/194.06	v -137
193.93/194.06	v -138
193.93/194.06	v -139
193.93/194.06	v -140
193.93/194.06	v -141
193.93/194.06	v -142
193.93/194.06	v -143
193.93/194.06	v -144
193.93/194.06	v -145
193.93/194.06	v 146
193.93/194.06	v -147
193.93/194.06	v -148
193.93/194.06	v -149
193.93/194.06	v -150
193.93/194.06	v -151
193.93/194.06	v -152
193.93/194.06	v -153
193.93/194.06	v -154
193.93/194.06	v -155
193.93/194.06	v -156
193.93/194.06	v -157
193.93/194.06	v -158
193.93/194.06	v -159
193.93/194.06	v -160
193.93/194.06	v -161
193.93/194.06	v -162
193.93/194.06	v -163
193.93/194.06	v -164
193.93/194.06	v -165
193.93/194.06	v -166
193.93/194.06	v -167
193.93/194.06	v -168
193.93/194.06	v -169
193.93/194.06	v -170
193.93/194.06	v 171
193.93/194.06	v -172
193.93/194.06	v -173
193.93/194.06	v -174
193.93/194.06	v -175
193.93/194.06	v -176
193.93/194.06	v -177
193.93/194.06	v -178
193.93/194.06	v -179
193.93/194.06	v -180
193.93/194.06	v -181
193.93/194.06	v -182
193.93/194.06	v -183
193.93/194.06	v -184
193.93/194.06	v -185
193.93/194.06	v -186
193.93/194.06	v -187
193.93/194.06	v -188
193.93/194.06	v -189
193.93/194.06	v -190
193.93/194.06	v -191
193.93/194.06	v -192
193.93/194.06	v -193
193.93/194.06	v -194
193.93/194.06	v -195
193.93/194.06	v -196
193.93/194.06	v -197
193.93/194.06	v -198
193.93/194.06	v -199
193.93/194.06	v -200
193.93/194.06	v -201
193.93/194.06	v -202
193.93/194.06	v -203
193.93/194.06	v -204
193.93/194.06	v 205
193.93/194.06	v -206
193.93/194.06	v -207
193.93/194.06	v -208
193.93/194.06	v -209
193.93/194.06	v -210
193.93/194.06	v -211
193.93/194.06	v -212
193.93/194.06	v -213
193.93/194.06	v -214
193.93/194.06	v -215
193.93/194.06	v -216
193.93/194.06	v -217
193.93/194.06	v -218
193.93/194.06	v -219
193.93/194.06	v -220
193.93/194.06	v -221
193.93/194.06	v -222
193.93/194.06	v -223
193.93/194.06	v -224
193.93/194.06	v -225
193.93/194.06	v -226
193.93/194.06	v -227
193.93/194.06	v -228
193.93/194.06	v -229
193.93/194.06	v -230
193.93/194.06	v -231
193.93/194.06	v 232
193.93/194.06	v -233
193.93/194.06	v -234
193.93/194.06	v -235
193.93/194.06	v -236
193.93/194.06	v -237
193.93/194.06	v -238
193.93/194.06	v -239
193.93/194.06	v -240
193.93/194.06	v -241
193.93/194.06	v -242
193.93/194.06	v -243
193.93/194.06	v -244
193.93/194.06	v -245
193.93/194.06	v -246
193.93/194.06	v -247
193.93/194.06	v -248
193.93/194.06	v -249
193.93/194.06	v -250
193.93/194.06	v -251
193.93/194.06	v -252
193.93/194.06	v -253
193.93/194.06	v -254
193.93/194.06	v -255
193.93/194.06	v -256
193.93/194.06	v 257
193.93/194.06	v -258
193.93/194.06	v -259
193.93/194.06	v -260
193.93/194.06	v -261
193.93/194.06	v -262
193.93/194.06	v -263
193.93/194.06	v -264
193.93/194.06	v -265
193.93/194.06	v -266
193.93/194.06	v -267
193.93/194.06	v -268
193.93/194.06	v -269
193.93/194.06	v -270
193.93/194.06	v -271
193.93/194.06	v -272
193.93/194.06	v -273
193.93/194.06	v -274
193.93/194.06	v -275
193.93/194.06	v -276
193.93/194.06	v -277
193.93/194.06	v -278
193.93/194.06	v -279
193.93/194.06	v -280
193.93/194.06	v -281
193.93/194.06	v -282
193.93/194.06	v 283
193.93/194.06	v -284
193.93/194.06	v -285
193.93/194.06	v -286
193.93/194.06	v -287
193.93/194.06	v -288
193.93/194.06	v -289
193.93/194.06	v -290
193.93/194.06	v -291
193.93/194.06	v 292
193.93/194.06	v -293
193.93/194.06	v -294
193.93/194.06	v -295
193.93/194.06	v -296
193.93/194.06	v -297
193.93/194.06	v -298
193.93/194.06	v -299
193.93/194.06	v -300
193.93/194.06	v -301
193.93/194.06	v -302
193.93/194.06	v -303
193.93/194.06	v -304
193.93/194.06	v -305
193.93/194.06	v -306
193.93/194.06	v -307
193.93/194.06	v -308
193.93/194.06	v -309
193.93/194.06	v -310
193.93/194.06	v -311
193.93/194.06	v -312
193.93/194.06	v -313
193.93/194.06	v -314
193.93/194.06	v -315
193.93/194.06	v -316
193.93/194.06	v -317
193.93/194.06	v -318
193.93/194.06	v -319
193.93/194.06	v -320
193.93/194.06	v -321
193.93/194.06	v 322
193.93/194.06	v -323
193.93/194.06	v -324
193.93/194.06	v -325
193.93/194.06	v -326
193.93/194.06	v -327
193.93/194.06	v -328
193.93/194.06	v -329
193.93/194.06	v -330
193.93/194.06	v -331
193.93/194.06	v -332
193.93/194.06	v -333
193.93/194.06	v -334
193.93/194.06	v -335
193.93/194.06	v -336
193.93/194.06	v -337
193.93/194.06	v -338
193.93/194.06	v -339
193.93/194.06	v -340
193.93/194.06	v 341
193.93/194.06	v -342
193.93/194.06	v -343
193.93/194.06	v -344
193.93/194.06	v -345
193.93/194.06	v -346
193.93/194.06	v -347
193.93/194.06	v -348
193.93/194.06	v -349
193.93/194.06	v -350
193.93/194.06	v -351
193.93/194.06	v -352
193.93/194.06	v -353
193.93/194.06	v -354
193.93/194.06	v -355
193.93/194.06	v -356
193.93/194.06	v -357
193.93/194.06	v -358
193.93/194.06	v -359
193.93/194.06	v -360
193.93/194.06	v -361
193.93/194.06	v -362
193.93/194.06	v -363
193.93/194.06	v -364
193.93/194.06	v -365
193.93/194.06	v -366
193.93/194.06	v -367
193.93/194.06	v -368
193.93/194.06	v -369
193.93/194.06	v -370
193.93/194.06	v -371
193.93/194.06	v -372
193.93/194.06	v -373
193.93/194.06	v -374
193.93/194.06	v 375
193.93/194.06	v -376
193.93/194.06	v -377
193.93/194.06	v -378
193.93/194.06	v -379
193.93/194.06	v -380
193.93/194.06	v -381
193.93/194.06	v -382
193.93/194.06	v -383
193.93/194.06	v -384
193.93/194.06	v -385
193.93/194.06	v -386
193.93/194.06	v -387
193.93/194.06	v -388
193.93/194.06	v -389
193.93/194.06	v -390
193.93/194.06	v -391
193.93/194.06	v -392
193.93/194.06	v -393
193.93/194.06	v -394
193.93/194.06	v -395
193.93/194.06	v -396
193.93/194.06	v -397
193.93/194.06	v -398
193.93/194.06	v -399
193.93/194.06	v -400
193.93/194.06	v -401
193.93/194.06	v 402
193.93/194.06	v -403
193.93/194.06	v -404
193.93/194.06	v -405
193.93/194.06	v -406
193.93/194.06	v -407
193.93/194.06	v -408
193.93/194.06	v -409
193.93/194.06	v -410
193.93/194.06	v -411
193.93/194.06	v -412
193.93/194.06	v -413
193.93/194.06	v -414
193.93/194.06	v -415
193.93/194.06	v 416
193.93/194.06	v -417
193.93/194.06	v -418
193.93/194.06	v -419
193.93/194.06	v -420
193.93/194.06	v -421
193.93/194.06	v -422
193.93/194.06	v -423
193.93/194.06	v -424
193.93/194.06	v -425
193.93/194.06	v -426
193.93/194.06	v -427
193.93/194.06	v -428
193.93/194.06	v -429
193.93/194.06	v -430
193.93/194.06	v -431
193.93/194.06	v -432
193.93/194.06	v -433
193.93/194.06	v -434
193.93/194.06	v -435
193.93/194.06	v -436
193.93/194.06	v -437
193.93/194.06	v -438
193.93/194.06	v 439
193.93/194.06	v -440
193.93/194.06	v -441
193.93/194.06	v -442
193.93/194.06	v -443
193.93/194.06	v -444
193.93/194.06	v -445
193.93/194.06	v -446
193.93/194.06	v -447
193.93/194.06	v -448
193.93/194.06	v -449
193.93/194.06	v -450
193.93/194.06	v -451
193.93/194.06	v -452
193.93/194.06	v -453
193.93/194.06	v -454
193.93/194.06	v -455
193.93/194.06	v -456
193.93/194.06	v -457
193.93/194.06	v -458
193.93/194.06	v -459
193.93/194.06	v -460
193.93/194.06	v -461
193.93/194.06	v -462
193.93/194.06	v -463
193.93/194.06	v -464
193.93/194.06	v -465
193.93/194.06	v -466
193.93/194.06	v -467
193.93/194.06	v -468
193.93/194.06	v -469
193.93/194.06	v -470
193.93/194.06	v -471
193.93/194.06	v -472
193.93/194.06	v -473
193.93/194.06	v -474
193.93/194.06	v -475
193.93/194.06	v -476
193.93/194.06	v -477
193.93/194.06	v 478
193.93/194.06	v -479
193.93/194.06	v -480
193.93/194.06	v -481
193.93/194.06	v -482
193.93/194.06	v -483
193.93/194.06	v -484
193.93/194.06	v -485
193.93/194.06	v -486
193.93/194.06	v -487
193.93/194.06	v -488
193.93/194.06	v -489
193.93/194.06	v -490
193.93/194.06	v -491
193.93/194.06	v -492
193.93/194.06	v -493
193.93/194.06	v -494
193.93/194.06	v -495
193.93/194.06	v -496
193.93/194.06	v -497
193.93/194.06	v -498
193.93/194.06	v -499
193.93/194.06	v -500
193.93/194.06	v -501
193.93/194.06	v -502
193.93/194.06	v -503
193.93/194.06	v 504
193.93/194.06	v -505
193.93/194.06	v -506
193.93/194.06	v -507
193.93/194.06	v -508
193.93/194.06	v -509
193.93/194.06	v -510
193.93/194.06	v -511
193.93/194.06	v -512
193.93/194.06	v -513
193.93/194.06	v -514
193.93/194.06	v -515
193.93/194.06	v -516
193.93/194.06	v -517
193.93/194.06	v -518
193.93/194.06	v -519
193.93/194.06	v -520
193.93/194.06	v -521
193.93/194.06	v -522
193.93/194.06	v -523
193.93/194.06	v -524
193.93/194.06	v -525
193.93/194.06	v -526
193.93/194.06	v 527
193.93/194.06	v -528
193.93/194.06	v 529
193.93/194.06	v -530
193.93/194.06	v -531
193.93/194.06	v -532
193.93/194.06	v -533
193.93/194.06	v -534
193.93/194.06	v -535
193.93/194.06	v -536
193.93/194.06	v -537
193.93/194.06	v -538
193.93/194.06	v -539
193.93/194.06	v -540
193.93/194.06	v -541
193.93/194.06	v -542
193.93/194.06	v -543
193.93/194.06	v -544
193.93/194.06	v -545
193.93/194.06	v -546
193.93/194.06	v -547
193.93/194.06	v -548
193.93/194.06	v -549
193.93/194.06	v -550
193.93/194.06	v -551
193.93/194.06	v -552
193.93/194.06	v -553
193.93/194.06	v -554
193.93/194.06	v -555
193.93/194.06	v -556
193.93/194.06	v -557
193.93/194.06	v 558
193.93/194.06	v -559
193.93/194.06	v -560
193.93/194.06	v -561
193.93/194.06	v -562
193.93/194.06	v -563
193.93/194.06	v -564
193.93/194.06	v -565
193.93/194.06	v -566
193.93/194.06	v -567
193.93/194.06	v -568
193.93/194.06	v -569
193.93/194.06	v -570
193.93/194.06	v -571
193.93/194.06	v -572
193.93/194.06	v -573
193.93/194.06	v -574
193.93/194.06	v -575
193.93/194.06	v -576
193.93/194.06	v 0
193.93/194.06	c Done in 193.890000 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-1718519-1240637426/watcher-1718519-1240637426 -o /tmp/evaluation-result-1718519-1240637426/solver-1718519-1240637426 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM HOME/instance-1718519-1240637426.cnf 240143900 

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.04 1.38 1.36 3/64 18915
/proc/meminfo: memFree=1211248/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=260600 CPUtime=0
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 892 0 0 0 0 0 0 0 18 0 1 0 91770769 266854400 877 1992294400 134512640 135204289 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 65150 883 54 168 0 64980 0

[startup+0.094443 s]
/proc/loadavg: 1.04 1.38 1.36 3/64 18915
/proc/meminfo: memFree=1211248/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=0.08
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 1340 0 0 0 8 0 0 0 18 0 1 0 91770769 274857984 1324 1992294400 134512640 135204289 4294956208 18446744073709551615 134728430 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 1324 56 168 0 66934 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 268416

[startup+0.101442 s]
/proc/loadavg: 1.04 1.38 1.36 3/64 18915
/proc/meminfo: memFree=1211248/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=0.09
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 1362 0 0 0 9 0 0 0 18 0 1 0 91770769 274857984 1346 1992294400 134512640 135204289 4294956208 18446744073709551615 134728430 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 1346 56 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301464 s]
/proc/loadavg: 1.04 1.38 1.36 3/64 18915
/proc/meminfo: memFree=1211248/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=0.29
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 26 3 0 0 19 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537290 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701508 s]
/proc/loadavg: 1.04 1.38 1.36 3/64 18915
/proc/meminfo: memFree=1211248/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=0.69
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 66 3 0 0 22 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537320 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.5016 s]
/proc/loadavg: 1.04 1.38 1.36 2/65 18916
/proc/meminfo: memFree=1189416/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=1.49
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 146 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537416 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10177 s]
/proc/loadavg: 1.04 1.38 1.36 2/65 18916
/proc/meminfo: memFree=1189288/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=3.09
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 306 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134536737 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30113 s]
/proc/loadavg: 1.04 1.38 1.36 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=6.29
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 626 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537249 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7018 s]
/proc/loadavg: 1.03 1.37 1.35 2/65 18916
/proc/meminfo: memFree=1189160/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=12.69
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 1266 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5013 s]
/proc/loadavg: 1.02 1.35 1.35 2/65 18916
/proc/meminfo: memFree=1189160/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=25.49
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 2546 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537020 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268416

[startup+51.1011 s]
/proc/loadavg: 1.02 1.32 1.34 2/65 18916
/proc/meminfo: memFree=1189288/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=51.08
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 5105 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 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.27 1.32 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=102.26
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 10223 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537328 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 268416

[startup+162.301 s]
/proc/loadavg: 1.00 1.22 1.30 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=162.24
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 16221 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537460 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 268416

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

[startup+179.101 s]
/proc/loadavg: 1.00 1.20 1.29 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=179.04
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 17901 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537483 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 268416

[startup+185.502 s]
/proc/loadavg: 1.00 1.20 1.29 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=185.43
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 18540 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537565 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 185.43
Current children cumulated vsize (KiB) 268416

[startup+188.701 s]
/proc/loadavg: 1.00 1.20 1.29 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=188.63
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 18860 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537611 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 188.63
Current children cumulated vsize (KiB) 268416

[startup+191.902 s]
/proc/loadavg: 1.00 1.19 1.28 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=191.83
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 19180 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537403 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 191.83
Current children cumulated vsize (KiB) 268416

[startup+192.702 s]
/proc/loadavg: 1.00 1.19 1.28 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=192.63
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 19260 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 192.63
Current children cumulated vsize (KiB) 268416

[startup+193.502 s]
/proc/loadavg: 1.00 1.19 1.28 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=193.44
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 19341 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537231 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 193.44
Current children cumulated vsize (KiB) 268416

[startup+193.902 s]
/proc/loadavg: 1.00 1.19 1.28 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=193.83
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 19380 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134536843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 193.83
Current children cumulated vsize (KiB) 268416

[startup+194.002 s]
/proc/loadavg: 1.00 1.19 1.28 2/65 18916
/proc/meminfo: memFree=1189224/2055920 swapFree=4144072/4192956
[pid=18915] ppid=18913 vsize=268416 CPUtime=193.93
/proc/18915/stat : 18915 (hybridGM) R 18913 18915 18732 0 -1 4194304 5496 0 0 0 19390 3 0 0 25 0 1 0 91770769 274857984 5479 1992294400 134512640 135204289 4294956208 18446744073709551615 134537013 0 0 4096 0 0 0 0 17 1 0 0
/proc/18915/statm: 67104 5479 63 168 0 66934 0
Current children cumulated CPU time (s) 193.93
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 194.069
CPU time (s): 194.013
CPU user time (s): 193.971
CPU system time (s): 0.042993
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.971
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5508
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= 2
involuntary context switches= 489

runsolver used 0.153976 second user time and 0.402938 second system time

The end

Launcher Data 

Begin job on node42 at 2009-04-25 07:30:26
IDJOB=1718519
IDBENCH=20489
IDSOLVER=533
FILE ID=node42/1718519-1240637426
PBS_JOBID= 9186427
Free space on /tmp= 66328 MiB

SOLVER NAME= hybridGM 1
BENCH NAME= SAT07/industrial/grieu/vmpc_24.cnf
COMMAND LINE= HOME/hybridGM BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1718519-1240637426/watcher-1718519-1240637426 -o /tmp/evaluation-result-1718519-1240637426/solver-1718519-1240637426 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM HOME/instance-1718519-1240637426.cnf 240143900 

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

MD5SUM BENCH= a69847fa52646cc8016cf4fd8e9d428a
RANDOM SEED=240143900

node42.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.232
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.232
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:       1211728 kB
Buffers:         78132 kB
Cached:         646292 kB
SwapCached:      43636 kB
Active:         246984 kB
Inactive:       523524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1211728 kB
SwapTotal:     4192956 kB
SwapFree:      4144072 kB
Dirty:            1968 kB
Writeback:           0 kB
Mapped:          14020 kB
Slab:            59732 kB
Committed_AS:   394644 kB
PageTables:       1388 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= 66324 MiB
End job on node42 at 2009-04-25 07:33:40