Trace number 368109

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, and are wall clock time (not CPU 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
gnovelty+ 2007-02-08SAT 2548.18 2549.02

General information on the benchmark

Namerandom/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
MD5SUM501f8679d94954afbc271fea6b765cd5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.1281
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 (download as text)

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node11/watcher-368109-1177133631 -o ROOT/results/node11/solver-368109-1177133631 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368109-1177133631/gnovelty+ /tmp/evaluation/368109-1177133631/instance-368109-1177133631.cnf 

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): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 27938
/proc/meminfo: memFree=1763616/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=244700 CPUtime=0
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 881 0 0 0 0 0 0 0 18 0 1 0 154412015 250572800 866 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 61175 873 39 99 0 61074 0

[startup+0.043405 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 27938
/proc/meminfo: memFree=1763616/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252516 CPUtime=0.03
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 1149 0 0 0 3 0 0 0 18 0 1 0 154412015 258576384 1134 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134592557 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63129 1134 40 99 0 63028 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 252516

[startup+0.101411 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 27938
/proc/meminfo: memFree=1763616/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=0.09
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 8 1 0 0 18 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513313 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 252512

[startup+0.301435 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 27938
/proc/meminfo: memFree=1763616/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=0.29
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 28 1 0 0 19 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513286 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 252512

[startup+0.701482 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 27938
/proc/meminfo: memFree=1763616/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=0.69
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 68 1 0 0 23 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134514002 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 252512

[startup+1.50158 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752472/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=1.49
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 148 1 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513313 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 252512

[startup+3.10177 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752344/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=3.09
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 308 1 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513590 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 252512

[startup+6.30124 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752344/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=6.29
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 628 1 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513764 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 252512

[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752280/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=12.69
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 1268 1 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513878 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 252512

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752280/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=25.48
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 2547 1 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134514002 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 252512

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752280/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=51.07
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 5106 1 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134514002 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 252512

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=102.26
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 10225 1 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134514016 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 252512

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=162.24
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 16222 2 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 252512

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752152/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=222.22
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 22220 2 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513616 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 252512

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=282.21
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 28218 3 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134540257 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 252512

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=342.19
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 34216 3 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513867 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 252512

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=402.18
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 40214 4 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 252512

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=462.15
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 46211 4 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513579 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 252512

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=522.13
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 52209 4 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513823 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 252512

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27939
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=582.12
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 58207 5 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513867 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 252512

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27941
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=642.1
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 64205 5 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513471 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 252512


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

/proc/meminfo: memFree=1752024/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=1961.63
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 196148 15 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513340 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 1961.63
Current children cumulated vsize (KiB) 252512

[startup+2022.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752024/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2021.61
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 202146 15 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513993 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2021.61
Current children cumulated vsize (KiB) 252512

[startup+2082.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2081.6
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 208144 16 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513277 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2081.6
Current children cumulated vsize (KiB) 252512

[startup+2142.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2141.57
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 214141 16 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513188 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2141.57
Current children cumulated vsize (KiB) 252512

[startup+2202.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2201.56
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 220139 17 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513956 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2201.56
Current children cumulated vsize (KiB) 252512

[startup+2262.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752152/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2261.54
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 226137 17 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513881 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2261.54
Current children cumulated vsize (KiB) 252512

[startup+2322.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752216/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2321.52
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 232134 18 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513284 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2321.52
Current children cumulated vsize (KiB) 252512

[startup+2382.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752152/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2381.5
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 238132 18 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513767 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2381.5
Current children cumulated vsize (KiB) 252512

[startup+2442.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2441.48
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 244130 18 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513471 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2441.48
Current children cumulated vsize (KiB) 252512

[startup+2502.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2501.47
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 250128 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2501.47
Current children cumulated vsize (KiB) 252512

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

[startup+2508.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2507.87
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 250768 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513323 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2507.87
Current children cumulated vsize (KiB) 252512

[startup+2534.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2533.46
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 253327 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513874 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2533.46
Current children cumulated vsize (KiB) 252512

[startup+2540.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2539.86
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 253967 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513874 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2539.86
Current children cumulated vsize (KiB) 252512

[startup+2543.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752088/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2543.06
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 254287 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513455 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2543.06
Current children cumulated vsize (KiB) 252512

[startup+2547.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752024/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2546.25
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 254606 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513546 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2546.25
Current children cumulated vsize (KiB) 252512

[startup+2547.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752024/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2547.05
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 254686 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513837 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2547.05
Current children cumulated vsize (KiB) 252512

[startup+2548.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752024/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2547.86
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 254767 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513809 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2547.86
Current children cumulated vsize (KiB) 252512

[startup+2548.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752024/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2548.05
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 254786 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134513286 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2548.05
Current children cumulated vsize (KiB) 252512

[startup+2549 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 28139
/proc/meminfo: memFree=1752024/2055920 swapFree=4150632/4192956
[pid=27938] ppid=27936 vsize=252512 CPUtime=2548.15
/proc/27938/stat : 27938 (gnovelty+) R 27936 27938 27647 0 -1 4194304 2796 0 0 0 254796 19 0 0 25 0 1 0 154412015 258572288 2780 18446744073709551615 134512640 134921880 4294956672 18446744073709551615 134523660 0 0 4096 0 0 0 0 17 1 0 0
/proc/27938/statm: 63128 2780 44 99 0 63027 0
Current children cumulated CPU time (s) 2548.15
Current children cumulated vsize (KiB) 252512

Child status: 10
Real time (s): 2549.02
CPU time (s): 2548.18
CPU user time (s): 2547.98
CPU system time (s): 0.198969
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 252516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2547.98
system time used= 0.198969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2808
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= 9
involuntary context switches= 55716

runsolver used 2.55461 second user time and 5.86411 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Apr 21 05:33:51 UTC 2007

IDJOB= 368109
IDBENCH= 20067
IDSOLVER= 176
FILE ID= node11/368109-1177133631

PBS_JOBID= 4648806

Free space on /tmp= 66348 MiB

SOLVER NAME= gnovelty+ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S811174248-16.cnf
COMMAND LINE= /tmp/evaluation/368109-1177133631/gnovelty+ /tmp/evaluation/368109-1177133631/instance-368109-1177133631.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-368109-1177133631 -o ROOT/results/node11/solver-368109-1177133631 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/368109-1177133631/gnovelty+ /tmp/evaluation/368109-1177133631/instance-368109-1177133631.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  501f8679d94954afbc271fea6b765cd5

RANDOM SEED= 138343132

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.235
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.235
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:       1764088 kB
Buffers:         37988 kB
Cached:         167268 kB
SwapCached:      10916 kB
Active:         142600 kB
Inactive:        86024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764088 kB
SwapTotal:     4192956 kB
SwapFree:      4150632 kB
Dirty:            1448 kB
Writeback:           0 kB
Mapped:          30380 kB
Slab:            48740 kB
Committed_AS:  6245388 kB
PageTables:       1848 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= 66348 MiB

End job on node11 on Sat Apr 21 06:16:20 UTC 2007