Trace number 423236

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
ranov 2007-02-08SAT 2126.19 2126.79

General information on the benchmark

Namerandom/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
MD5SUM018b5778952b6ade82e68c4640d24c94
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark253.991
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)

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-423236-1177604625 -o ROOT/results/node7/solver-423236-1177604625 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/423236-1177604625/ranov /tmp/evaluation/423236-1177604625/instance-423236-1177604625.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: 1.00 1.00 1.00 3/77 26523
/proc/meminfo: memFree=1732216/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=319884 CPUtime=0
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 869 0 0 0 0 0 0 0 18 0 1 0 236500155 327561216 856 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 79971 862 30 98 0 79870 0

[startup+0.0963039 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26523
/proc/meminfo: memFree=1732216/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=321420 CPUtime=0.08
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 9823 0 0 0 5 3 0 0 18 0 1 0 236500155 329134080 9808 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134529408 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 80355 9816 38 98 0 80254 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 321420

[startup+0.101305 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26523
/proc/meminfo: memFree=1732216/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=321420 CPUtime=0.09
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 10281 0 0 0 6 3 0 0 18 0 1 0 236500155 329134080 10266 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134529696 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 80355 10266 39 98 0 80254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 321420

[startup+0.301324 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26523
/proc/meminfo: memFree=1732216/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=321700 CPUtime=0.29
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 10348 0 0 0 26 3 0 0 20 0 1 0 236500155 329420800 10333 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134523984 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 80425 10333 39 98 0 80324 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 321700

[startup+0.701368 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26523
/proc/meminfo: memFree=1732216/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=321980 CPUtime=0.69
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 10407 0 0 0 65 4 0 0 23 0 1 0 236500155 329707520 10392 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134521876 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 80495 10392 39 98 0 80394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 321980

[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1690480/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=322264 CPUtime=1.49
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 10476 0 0 0 145 4 0 0 25 0 1 0 236500155 329998336 10461 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134523878 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 80566 10461 39 98 0 80465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 322264

[startup+3.10162 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680368/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=3.09
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 304 5 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513700 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 330476

[startup+6.30195 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680304/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=6.29
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 624 5 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 330476

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680240/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=12.69
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 1264 5 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330476

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680304/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=25.49
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 2544 5 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513698 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 330476

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680304/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=51.08
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 5103 5 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 330476

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680176/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=102.26
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 10221 5 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 330476

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680176/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=162.24
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 16219 5 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513509 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 330476

[startup+222.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 26524
/proc/meminfo: memFree=1680176/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=222.23
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 22217 6 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 330476

[startup+282.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 26524
/proc/meminfo: memFree=1680112/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=282.21
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 28215 6 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513824 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 330476

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680112/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=342.19
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 34213 6 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513324 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 330476

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=402.17
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 40211 6 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514905 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 330476

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680112/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=462.16
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 46209 7 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513779 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 330476

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26524
/proc/meminfo: memFree=1680112/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=522.14
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 52207 7 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 330476

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1679920/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=582.12
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 58205 7 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 330476

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1679984/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=642.11
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 64203 8 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 330476


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

/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1481.87
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 148176 11 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514791 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 330476

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 26526
/proc/meminfo: memFree=1680112/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1541.85
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 154174 11 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 330476

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1601.84
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 160172 12 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513748 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 330476

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680112/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1661.82
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 166170 12 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513740 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 330476

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1721.8
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 172168 12 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 330476

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680112/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1781.78
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 178166 12 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 330476

[startup+1842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1841.77
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 184164 13 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1841.77
Current children cumulated vsize (KiB) 330476

[startup+1902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1901.75
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 190162 13 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1901.75
Current children cumulated vsize (KiB) 330476

[startup+1962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=1961.74
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 196161 13 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513843 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 1961.74
Current children cumulated vsize (KiB) 330476

[startup+2022.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1679984/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2021.72
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 202159 13 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2021.72
Current children cumulated vsize (KiB) 330476

[startup+2082.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2081.71
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 208157 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2081.71
Current children cumulated vsize (KiB) 330476

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

[startup+2099.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2098.5
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 209836 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513471 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2098.5
Current children cumulated vsize (KiB) 330476

[startup+2111.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2111.3
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 211116 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2111.3
Current children cumulated vsize (KiB) 330476

[startup+2118.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1680048/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2117.7
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 211756 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2117.7
Current children cumulated vsize (KiB) 330476

[startup+2121.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1679984/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2120.89
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 212075 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513748 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2120.89
Current children cumulated vsize (KiB) 330476

[startup+2124.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1679984/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2124.09
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 212395 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513474 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2124.09
Current children cumulated vsize (KiB) 330476

[startup+2125.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26526
/proc/meminfo: memFree=1679984/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2124.89
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 212475 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513480 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2124.89
Current children cumulated vsize (KiB) 330476

[startup+2126.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 26526
/proc/meminfo: memFree=1679984/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2125.7
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 212556 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513810 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2125.7
Current children cumulated vsize (KiB) 330476

[startup+2126.7 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 26526
/proc/meminfo: memFree=1679984/2055920 swapFree=4156316/4192956
[pid=26523] ppid=26521 vsize=330476 CPUtime=2126.09
/proc/26523/stat : 26523 (ranov) R 26521 26523 26034 0 -1 4194304 12920 0 0 0 212595 14 0 0 25 0 1 0 236500155 338407424 12905 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/26523/statm: 82619 12905 42 98 0 82518 0
Current children cumulated CPU time (s) 2126.09
Current children cumulated vsize (KiB) 330476

Child status: 10
Real time (s): 2126.79
CPU time (s): 2126.19
CPU user time (s): 2126.03
CPU system time (s): 0.150977
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 330476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2126.03
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12931
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= 10
involuntary context switches= 43545

runsolver used 1.67374 second user time and 4.39733 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Thu Apr 26 16:23:45 UTC 2007

IDJOB= 423236
IDBENCH= 20075
IDSOLVER= 193
FILE ID= node7/423236-1177604625

PBS_JOBID= 4697095

Free space on /tmp= 66519 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S1243695187-06.cnf
COMMAND LINE= /tmp/evaluation/423236-1177604625/ranov /tmp/evaluation/423236-1177604625/instance-423236-1177604625.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-423236-1177604625 -o ROOT/results/node7/solver-423236-1177604625 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/423236-1177604625/ranov /tmp/evaluation/423236-1177604625/instance-423236-1177604625.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  018b5778952b6ade82e68c4640d24c94

RANDOM SEED= 120129646

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1732624 kB
Buffers:         39452 kB
Cached:         215416 kB
SwapCached:      16792 kB
Active:         171392 kB
Inactive:       107616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1732624 kB
SwapTotal:     4192956 kB
SwapFree:      4156316 kB
Dirty:            1432 kB
Writeback:           0 kB
Mapped:          29916 kB
Slab:            29752 kB
Committed_AS:  8921788 kB
PageTables:       1860 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= 66519 MiB

End job on node7 on Thu Apr 26 16:59:12 UTC 2007