Trace number 1627138

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 2115.9 2116.68

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
MD5SUM30068bb62ff2ae5a4888c347460a4a1d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark84.9401
Satisfiable
(Un)Satisfiability was proved
Number of variables1100
Number of clauses22000
Sum of the clauses size110000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 522000
Number of clauses of size over 50

Solver Data 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20233
/proc/meminfo: memFree=1203264/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=260600 CPUtime=0
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 879 0 0 0 0 0 0 0 18 0 1 0 27763527 266854400 864 1992294400 134512640 135204385 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 65150 870 54 168 0 64980 0

[startup+0.079666 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20233
/proc/meminfo: memFree=1203264/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268412 CPUtime=0.06
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 2344 0 0 0 6 0 0 0 18 0 1 0 27763527 274853888 2327 1992294400 134512640 135204385 4294956224 18446744073709551615 134543993 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67103 2328 56 168 0 66933 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 268412

[startup+0.101669 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20233
/proc/meminfo: memFree=1203264/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268412 CPUtime=0.09
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 3384 0 0 0 8 1 0 0 18 0 1 0 27763527 274853888 3367 1992294400 134512640 135204385 4294956224 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67103 3373 56 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.301704 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20233
/proc/meminfo: memFree=1203264/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=0.29
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 27 2 0 0 19 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538377 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701777 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20233
/proc/meminfo: memFree=1203264/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=0.69
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 67 2 0 0 22 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537977 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182328/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1.49
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 147 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537717 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10122 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182200/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=3.09
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 307 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538349 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182136/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=6.29
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 627 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537717 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182144/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=12.69
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 1267 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 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.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182144/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=25.48
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 2546 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537704 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268416

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182272/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=51.07
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 5105 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 268416

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182208/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=102.26
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 10224 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538282 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 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.00 1.00 2/65 20234
/proc/meminfo: memFree=1182208/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=162.23
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 16221 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 268416

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182144/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=222.21
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 22219 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538312 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 268416

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182144/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=282.19
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 28217 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 268416

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182080/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=342.16
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 34214 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538013 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 268416

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182016/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=402.14
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 40212 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 268416

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182144/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=462.12
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 46210 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 268416

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182208/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=522.1
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 52208 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 268416

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182208/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=582.07
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 58205 2 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537891 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 268416

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20234
/proc/meminfo: memFree=1182144/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=642.06
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 64203 3 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 268416


################
# More data... #
################

/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1481.74
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 148170 4 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537690 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 268416

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1182016/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1541.72
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 154168 4 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538047 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 268416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1182016/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1601.7
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 160166 4 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538215 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 268416

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181952/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1661.67
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 166163 4 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537711 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 268416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181952/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1721.65
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 172161 4 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538047 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 268416

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1781.63
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 178159 4 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537699 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 268416

[startup+1842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1841.61
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 184157 4 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537711 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1841.61
Current children cumulated vsize (KiB) 268416

[startup+1902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181952/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1901.59
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 190154 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537704 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1901.59
Current children cumulated vsize (KiB) 268416

[startup+1962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=1961.57
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 196152 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537711 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 1961.57
Current children cumulated vsize (KiB) 268416

[startup+2022.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2021.55
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 202150 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134545428 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2021.55
Current children cumulated vsize (KiB) 268416

[startup+2082.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2081.53
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 208148 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134537779 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2081.53
Current children cumulated vsize (KiB) 268416

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

[startup+2099.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2098.32
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 209827 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2098.32
Current children cumulated vsize (KiB) 268416

[startup+2105.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2104.72
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 210467 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134545515 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2104.72
Current children cumulated vsize (KiB) 268416

[startup+2111.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2111.12
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 211107 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2111.12
Current children cumulated vsize (KiB) 268416

[startup+2115.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2114.31
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 211426 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2114.31
Current children cumulated vsize (KiB) 268416

[startup+2115.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2115.11
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 211506 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2115.11
Current children cumulated vsize (KiB) 268416

[startup+2116.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2115.52
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 211547 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2115.52
Current children cumulated vsize (KiB) 268416

[startup+2116.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2115.71
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 211566 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2115.71
Current children cumulated vsize (KiB) 268416

[startup+2116.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20240
/proc/meminfo: memFree=1181888/2055920 swapFree=4192956/4192956
[pid=20233] ppid=20231 vsize=268416 CPUtime=2115.81
/proc/20233/stat : 20233 (hybridGM3) R 20231 20233 20158 0 -1 4194304 5266 0 0 0 211576 5 0 0 25 0 1 0 27763527 274857984 5249 1992294400 134512640 135204385 4294956224 18446744073709551615 134538421 0 0 4096 0 0 0 0 17 1 0 0
/proc/20233/statm: 67104 5249 62 168 0 66934 0
Current children cumulated CPU time (s) 2115.81
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 2116.68
CPU time (s): 2115.9
CPU user time (s): 2115.84
CPU system time (s): 0.057991
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2115.84
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3793

runsolver used 2.02169 second user time and 3.79342 second system time

The end

Launcher Data 

Begin job on node2 at 2009-04-17 21:41:34
IDJOB=1627138
IDBENCH=70204
IDSOLVER=580
FILE ID=node2/1627138-1239997294
PBS_JOBID= 9158711
Free space on /tmp= 66460 MiB

SOLVER NAME= hybridGM3 3
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1100/unif-k5-r20-v1100-c22000-S1954748117-061.cnf
COMMAND LINE= HOME/hybridGM3 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1627138-1239997294/watcher-1627138-1239997294 -o /tmp/evaluation-result-1627138-1239997294/solver-1627138-1239997294 -C 5000 -W 6000 -M 1800 --output-limit 1,15  HOME/hybridGM3 HOME/instance-1627138-1239997294.cnf 1805301374 

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

MD5SUM BENCH= 30068bb62ff2ae5a4888c347460a4a1d
RANDOM SEED=1805301374

node2.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.265
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.265
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:       1203744 kB
Buffers:         85204 kB
Cached:         672588 kB
SwapCached:          0 kB
Active:         160804 kB
Inactive:       611480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1203744 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1564 kB
Writeback:           0 kB
Mapped:          24216 kB
Slab:            65840 kB
Committed_AS:   157628 kB
PageTables:       1468 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= 66460 MiB
End job on node2 at 2009-04-17 22:16:51