Trace number 332603

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 691.461 691.676

General information on the benchmark

Namecrafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
MD5SUM29cf0f53dfca3fe2e94789628bed3971
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.46547
Satisfiable
(Un)Satisfiability was proved
Number of variables1497
Number of clauses73374
Sum of the clauses size615277
Maximum clause length11
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 242
Number of clauses of size 3337
Number of clauses of size 4413
Number of clauses of size 53127
Number of clauses of size over 569449

Solver Data (download as text)

165.44/165.57	c +------------------------------+
165.44/165.57	c | R+AdaptNovelty+, version 1.5 |
165.44/165.57	c +------------------------------+
165.44/165.57	c ranov -h for help
165.44/165.57	c 
165.44/165.57	c Problem instance: numAtoms = 1497, numClauses = 73368, numLiterals = 615108
165.44/165.57	c General parameters: seed=1932530032, cutoff=100000, targetCost = 0, print solution: yes
165.44/165.57	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
165.44/165.57	c tries = 1
165.44/165.57	c 
691.38/691.65	s SATISFIABLE
691.38/691.65	v 1
691.38/691.65	v 2
691.38/691.65	v -3
691.38/691.65	v 4
691.38/691.65	v -5
691.38/691.65	v 6
691.38/691.65	v -7
691.38/691.65	v 8
691.38/691.65	v 9
691.38/691.65	v -10
691.38/691.65	v -11
691.38/691.65	v 12
691.38/691.65	v -13
691.38/691.65	v 14
691.38/691.65	v 15
691.38/691.65	v -16
691.38/691.65	v -17
691.38/691.65	v 18
691.38/691.65	v -19
691.38/691.65	v -20
691.38/691.65	v 21
691.38/691.65	v -22
691.38/691.65	v 23
691.38/691.65	v 24
691.38/691.65	v -25
691.38/691.65	v 26
691.38/691.65	v -27
691.38/691.65	v 28
691.38/691.65	v 29
691.38/691.65	v -30
691.38/691.65	v 31
691.38/691.65	v -32
691.38/691.65	v 33
691.38/691.65	v -34
691.38/691.65	v 35
691.38/691.65	v -36
691.38/691.65	v -37
691.38/691.65	v 38
691.38/691.65	v 39
691.38/691.65	v 40
691.38/691.65	v 41
691.38/691.65	v -42
691.38/691.65	v -43
691.38/691.65	v 44
691.38/691.65	v 45
691.38/691.65	v -46
691.38/691.65	v 47
691.38/691.65	v -48
691.38/691.65	v -49
691.38/691.65	v -50
691.38/691.65	v -51
691.38/691.65	v 52
691.38/691.65	v -53
691.38/691.65	v -54
691.38/691.65	v 55
691.38/691.65	v 56
691.38/691.65	v -57
691.38/691.65	v 58
691.38/691.65	v 59
691.38/691.65	v 60
691.38/691.65	v 61
691.38/691.65	v 62
691.38/691.65	v 63
691.38/691.65	v 64
691.38/691.65	v -65
691.38/691.65	v -66
691.38/691.65	v -67
691.38/691.65	v -68
691.38/691.65	v -69
691.38/691.65	v 70
691.38/691.65	v -71
691.38/691.65	v -72
691.38/691.65	v 73
691.38/691.65	v 74
691.38/691.65	v -75
691.38/691.65	v -76
691.38/691.65	v 77
691.38/691.65	v 78
691.38/691.65	v -79
691.38/691.65	v 80
691.38/691.65	v 81
691.38/691.65	v 82
691.38/691.65	v -83
691.38/691.65	v -84
691.38/691.65	v -85
691.38/691.65	v 86
691.38/691.65	v -87
691.38/691.65	v -88
691.38/691.65	v -89
691.38/691.65	v -90
691.38/691.65	v -91
691.38/691.65	v 92
691.38/691.65	v 93
691.38/691.65	v -94
691.38/691.65	v -95
691.38/691.65	v 96
691.38/691.65	v 97
691.38/691.65	v 98
691.38/691.65	v 99
691.38/691.65	v -100
691.38/691.65	v -101
691.38/691.65	v 102
691.38/691.65	v 103
691.38/691.65	v -104
691.38/691.65	v 105
691.38/691.65	v -106
691.38/691.65	v -107
691.38/691.65	v 108
691.38/691.65	v 109
691.38/691.65	v -110
691.38/691.65	v 111
691.38/691.65	v -112
691.38/691.65	v 113
691.38/691.65	v 114
691.38/691.65	v -115
691.38/691.65	v -116
691.38/691.65	v -117
691.38/691.65	v 118
691.38/691.65	v -119
691.38/691.65	v 120
691.38/691.65	v -121
691.38/691.65	v 122
691.38/691.65	v -123
691.38/691.65	v 124
691.38/691.65	v -125
691.38/691.65	v 126
691.38/691.65	v 127
691.38/691.65	v 128
691.38/691.65	v -129
691.38/691.65	v 130
691.38/691.65	v 131
691.38/691.65	v 132
691.38/691.65	v 133
691.38/691.65	v 134
691.38/691.65	v -135
691.38/691.65	v 136
691.38/691.65	v -137
691.38/691.65	v 138
691.38/691.65	v -139
691.38/691.65	v -140
691.38/691.65	v 141
691.38/691.65	v -142
691.38/691.65	v -143
691.38/691.65	v -144
691.38/691.65	v -145
691.38/691.65	v 146
691.38/691.65	v 147
691.38/691.65	v -148
691.38/691.65	v -149
691.38/691.65	v 150
691.38/691.65	v 151
691.38/691.65	v -152
691.38/691.65	v 153
691.38/691.65	v 154
691.38/691.65	v 155
691.38/691.65	v 156
691.38/691.65	v -157
691.38/691.65	v 158
691.38/691.65	v -159
691.38/691.65	v -160
691.38/691.65	v 161
691.38/691.65	v -162
691.38/691.65	v 163
691.38/691.65	v -164
691.38/691.65	v -165
691.38/691.65	v 166
691.38/691.65	v 167
691.38/691.65	v -168
691.38/691.65	v 169
691.38/691.65	v -170
691.38/691.65	v 171
691.38/691.65	v 172
691.38/691.65	v -173
691.38/691.66	v -174
691.38/691.66	v -175
691.38/691.66	v 176
691.38/691.66	v 177
691.38/691.66	v 178
691.38/691.66	v -179
691.38/691.66	v 180
691.38/691.66	v 181
691.38/691.66	v 182
691.38/691.66	v 183
691.38/691.66	v -184
691.38/691.66	v -185
691.38/691.66	v -186
691.38/691.66	v -187
691.38/691.66	v 188
691.38/691.66	v 189
691.38/691.66	v -190
691.38/691.66	v -191
691.38/691.66	v -192
691.38/691.66	v -193
691.38/691.66	v -194
691.38/691.66	v -195
691.38/691.66	v -196
691.38/691.66	v 197
691.38/691.66	v -198
691.38/691.66	v -199
691.38/691.66	v -200
691.38/691.66	v -201
691.38/691.66	v 202
691.38/691.66	v -203
691.38/691.66	v 204
691.38/691.66	v 205
691.38/691.66	v -206
691.38/691.66	v -207
691.38/691.66	v 208
691.38/691.66	v -209
691.38/691.66	v 210
691.38/691.66	v -211
691.38/691.66	v -212
691.38/691.66	v -213
691.38/691.66	v 214
691.38/691.66	v -215
691.38/691.66	v 216
691.38/691.66	v 217
691.38/691.66	v -218
691.38/691.66	v -219
691.38/691.66	v 220
691.38/691.66	v -221
691.38/691.66	v 222
691.38/691.66	v -223
691.38/691.66	v 224
691.38/691.66	v 225
691.38/691.66	v 226
691.38/691.66	v 227
691.38/691.66	v 228
691.38/691.66	v 229
691.38/691.66	v -230
691.38/691.66	v 231
691.38/691.66	v 232
691.38/691.66	v -233
691.38/691.66	v 234
691.38/691.66	v -235
691.38/691.66	v 236
691.38/691.66	v 237
691.38/691.66	v -238
691.38/691.66	v -239
691.38/691.66	v -240
691.38/691.66	v 241
691.38/691.66	v 242
691.38/691.66	v 243
691.38/691.66	v -244
691.38/691.66	v -245
691.38/691.66	v 246
691.38/691.66	v -247
691.38/691.66	v 248
691.38/691.66	v -249
691.38/691.66	v -250
691.38/691.66	v -251
691.38/691.66	v -252
691.38/691.66	v -253
691.38/691.66	v -254
691.38/691.66	v -255
691.38/691.66	v -256
691.38/691.66	v 257
691.38/691.66	v -258
691.38/691.66	v -259
691.38/691.66	v -260
691.38/691.66	v -261
691.38/691.66	v -262
691.38/691.66	v -263
691.38/691.66	v -264
691.38/691.66	v -265
691.38/691.66	v 266
691.38/691.66	v -267
691.38/691.66	v 268
691.38/691.66	v 269
691.38/691.66	v 270
691.38/691.66	v 271
691.38/691.66	v 272
691.38/691.66	v -273
691.38/691.66	v 274
691.38/691.66	v -275
691.38/691.66	v 276
691.38/691.66	v -277
691.38/691.66	v 278
691.38/691.66	v -279
691.38/691.66	v 280
691.38/691.66	v 281
691.38/691.66	v 282
691.38/691.66	v -283
691.38/691.66	v 284
691.38/691.66	v -285
691.38/691.66	v 286
691.38/691.66	v 287
691.38/691.66	v 288
691.38/691.66	v 289
691.38/691.66	v -290
691.38/691.66	v -291
691.38/691.66	v -292
691.38/691.66	v 293
691.38/691.66	v 294
691.38/691.66	v -295
691.38/691.66	v -296
691.38/691.66	v -297
691.38/691.66	v 298
691.38/691.66	v -299
691.38/691.66	v 300
691.38/691.66	v -301
691.38/691.66	v -302
691.38/691.66	v 303
691.38/691.66	v -304
691.38/691.66	v 305
691.38/691.66	v 306
691.38/691.66	v -307
691.38/691.66	v 308
691.38/691.66	v -309
691.38/691.66	v 310
691.38/691.66	v 311
691.38/691.66	v -312
691.38/691.66	v 313
691.38/691.66	v -314
691.38/691.66	v -315
691.38/691.66	v 316
691.38/691.66	v -317
691.38/691.66	v -318
691.38/691.66	v -319
691.38/691.66	v 320
691.38/691.66	v -321
691.38/691.66	v -322
691.38/691.66	v 323
691.38/691.66	v 324
691.38/691.66	v 325
691.38/691.66	v 326
691.38/691.66	v 327
691.38/691.66	v 328
691.38/691.66	v -329
691.38/691.66	v 330
691.38/691.66	v -331
691.38/691.66	v -332
691.38/691.66	v -333
691.38/691.66	v -334
691.38/691.66	v -335
691.38/691.66	v -336
691.38/691.66	v -337
691.38/691.66	v 338
691.38/691.66	v -339
691.38/691.66	v -340
691.38/691.66	v 341
691.38/691.66	v -342
691.38/691.66	v 343
691.38/691.66	v -344
691.38/691.66	v 345
691.38/691.66	v -346
691.38/691.66	v -347
691.38/691.66	v 348
691.38/691.66	v -349
691.38/691.66	v -350
691.38/691.66	v -351
691.38/691.66	v 352
691.38/691.66	v -353
691.38/691.66	v -354
691.38/691.66	v -355
691.38/691.66	v 356
691.38/691.66	v -357
691.38/691.66	v 358
691.38/691.66	v -359
691.38/691.66	v -360
691.38/691.66	v 361
691.38/691.66	v 362
691.38/691.66	v 363
691.38/691.66	v 364
691.38/691.66	v 365
691.38/691.66	v 366
691.38/691.66	v -367
691.38/691.66	v 368
691.38/691.66	v -369
691.38/691.66	v 370
691.38/691.66	v -371
691.38/691.66	v -372
691.38/691.66	v 373
691.38/691.66	v 374
691.38/691.66	v 375
691.38/691.66	v -376
691.38/691.66	v -377
691.38/691.66	v -378
691.38/691.66	v -379
691.38/691.66	v 380
691.38/691.66	v 381
691.38/691.66	v 382
691.38/691.66	v -383
691.38/691.66	v -384
691.38/691.66	v -385
691.38/691.66	v -386
691.38/691.66	v 387
691.38/691.66	v 388
691.38/691.66	v -389
691.38/691.66	v -390
691.38/691.66	v -391
691.38/691.66	v -392
691.38/691.66	v -393
691.38/691.66	v -394
691.38/691.66	v -395
691.38/691.66	v 396
691.38/691.66	v -397
691.38/691.66	v 398
691.38/691.66	v -399
691.38/691.66	v 400
691.38/691.66	v 401
691.38/691.66	v 402
691.38/691.66	v 403
691.38/691.66	v -404
691.38/691.66	v -405
691.38/691.66	v -406
691.38/691.66	v 407
691.38/691.66	v -408
691.38/691.66	v -409
691.38/691.66	v -410
691.38/691.66	v 411
691.38/691.66	v 412
691.38/691.66	v -413
691.38/691.66	v 414
691.38/691.66	v 415
691.38/691.66	v -416
691.38/691.66	v 417
691.38/691.66	v 418
691.38/691.66	v -419
691.38/691.66	v -420
691.38/691.66	v 421
691.38/691.66	v 422
691.38/691.66	v -423
691.38/691.66	v 424
691.38/691.66	v -425
691.38/691.66	v 426
691.38/691.66	v 427
691.38/691.66	v -428
691.38/691.66	v 429
691.38/691.66	v -430
691.38/691.66	v -431
691.38/691.66	v 432
691.38/691.66	v 433
691.38/691.66	v -434
691.38/691.66	v 435
691.38/691.66	v 436
691.38/691.66	v -437
691.38/691.66	v 438
691.38/691.66	v -439
691.38/691.66	v -440
691.38/691.66	v 441
691.38/691.66	v 442
691.38/691.66	v 443
691.38/691.66	v -444
691.38/691.66	v -445
691.38/691.66	v -446
691.38/691.66	v 447
691.38/691.66	v 448
691.38/691.66	v -449
691.38/691.66	v -450
691.38/691.66	v 451
691.38/691.66	v -452
691.38/691.66	v 453
691.38/691.66	v 454
691.38/691.66	v -455
691.38/691.66	v -456
691.38/691.66	v 457
691.38/691.66	v -458
691.38/691.66	v 459
691.38/691.66	v -460
691.38/691.66	v 461
691.38/691.66	v -462
691.38/691.66	v -463
691.38/691.66	v -464
691.38/691.66	v -465
691.38/691.66	v 466
691.38/691.66	v 467
691.38/691.66	v 468
691.38/691.66	v -469
691.38/691.66	v 470
691.38/691.66	v -471
691.38/691.66	v -472
691.38/691.66	v -473
691.38/691.66	v -474
691.38/691.66	v -475
691.38/691.66	v -476
691.38/691.66	v 477
691.38/691.66	v -478
691.38/691.66	v 479
691.38/691.66	v 480
691.38/691.66	v -481
691.38/691.66	v 482
691.38/691.66	v -483
691.38/691.66	v 484
691.38/691.66	v 485
691.38/691.66	v 486
691.38/691.66	v -487
691.38/691.66	v -488
691.38/691.66	v -489
691.38/691.66	v -490
691.38/691.66	v -491
691.38/691.66	v -492
691.38/691.66	v 493
691.38/691.66	v 494
691.38/691.66	v 495
691.38/691.66	v -496
691.38/691.66	v 497
691.38/691.66	v -498
691.38/691.66	v 499
691.38/691.66	v -500
691.38/691.66	v -501
691.38/691.66	v -502
691.38/691.66	v -503
691.38/691.66	v -504
691.38/691.66	v -505
691.38/691.66	v -506
691.38/691.66	v -507
691.38/691.66	v -508
691.38/691.66	v -509
691.38/691.66	v -510
691.38/691.66	v 511
691.38/691.66	v 512
691.38/691.66	v 513
691.38/691.66	v 514
691.38/691.66	v -515
691.38/691.66	v 516
691.38/691.66	v -517
691.38/691.66	v -518
691.38/691.66	v -519
691.38/691.66	v 520
691.38/691.66	v -521
691.38/691.66	v 522
691.38/691.66	v 523
691.38/691.66	v -524
691.38/691.66	v 525
691.38/691.66	v 526
691.38/691.66	v 527
691.38/691.66	v -528
691.38/691.66	v 529
691.38/691.66	v -530
691.38/691.66	v -531
691.38/691.66	v 532
691.38/691.66	v 533
691.38/691.66	v 534
691.38/691.66	v 535
691.38/691.66	v 536
691.38/691.66	v 537
691.38/691.66	v -538
691.38/691.66	v 539
691.38/691.66	v 540
691.38/691.66	v 541
691.38/691.66	v 542
691.38/691.66	v -543
691.38/691.66	v 544
691.38/691.66	v 545
691.38/691.66	v 546
691.38/691.66	v -547
691.38/691.66	v -548
691.38/691.66	v -549
691.38/691.66	v 550
691.38/691.66	v -551
691.38/691.66	v -552
691.38/691.66	v -553
691.38/691.66	v 554
691.38/691.66	v -555
691.38/691.66	v 556
691.38/691.66	v 557
691.38/691.66	v 558
691.38/691.66	v 559
691.38/691.66	v -560
691.38/691.66	v -561
691.38/691.66	v 562
691.38/691.66	v -563
691.38/691.66	v 564
691.38/691.66	v -565
691.38/691.66	v 566
691.38/691.66	v -567
691.38/691.66	v 568
691.38/691.66	v 569
691.38/691.66	v 570
691.38/691.66	v -571
691.38/691.66	v -572
691.38/691.66	v 573
691.38/691.66	v 574
691.38/691.66	v 575
691.38/691.66	v -576
691.38/691.66	v -577
691.38/691.66	v -578
691.38/691.66	v -579
691.38/691.66	v 580
691.38/691.66	v 581
691.38/691.66	v -582
691.38/691.66	v 583
691.38/691.66	v -584
691.38/691.66	v 585
691.38/691.66	v -586
691.38/691.66	v 587
691.38/691.66	v -588
691.38/691.66	v -589
691.38/691.66	v -590
691.38/691.66	v 591
691.38/691.66	v 592
691.38/691.66	v 593
691.38/691.66	v 594
691.38/691.66	v 595
691.38/691.66	v -596
691.38/691.66	v 597
691.38/691.66	v -598
691.38/691.66	v -599
691.38/691.66	v 600
691.38/691.66	v 601
691.38/691.66	v 602
691.38/691.66	v 603
691.38/691.66	v -604
691.38/691.66	v 605
691.38/691.66	v 606
691.38/691.66	v 607
691.38/691.66	v -608
691.38/691.66	v 609
691.38/691.66	v -610
691.38/691.66	v -611
691.38/691.66	v 612
691.38/691.66	v 613
691.38/691.66	v -614
691.38/691.66	v -615
691.38/691.66	v -616
691.38/691.66	v -617
691.38/691.66	v 618
691.38/691.66	v 619
691.38/691.66	v -620
691.38/691.66	v 621
691.38/691.66	v 622
691.38/691.66	v -623
691.38/691.66	v -624
691.38/691.66	v 625
691.38/691.66	v -626
691.38/691.66	v 627
691.38/691.66	v 628
691.38/691.66	v -629
691.38/691.66	v 630
691.38/691.66	v 631
691.38/691.66	v -632
691.38/691.66	v -633
691.38/691.66	v 634
691.38/691.66	v -635
691.38/691.66	v 636
691.38/691.66	v -637
691.38/691.66	v -638
691.38/691.66	v -639
691.38/691.66	v -640
691.38/691.66	v 641
691.38/691.66	v -642
691.38/691.66	v 643
691.38/691.66	v -644
691.38/691.66	v 645
691.38/691.66	v -646
691.38/691.66	v -647
691.38/691.66	v -648
691.38/691.66	v 649
691.38/691.66	v 650
691.38/691.66	v 651
691.38/691.66	v 652
691.38/691.66	v -653
691.38/691.66	v -654
691.38/691.66	v -655
691.38/691.66	v 656
691.38/691.66	v 657
691.38/691.66	v -658
691.38/691.66	v -659
691.38/691.66	v -660
691.38/691.66	v 661
691.38/691.66	v 662
691.38/691.66	v -663
691.38/691.66	v 664
691.38/691.66	v 665
691.38/691.66	v -666
691.38/691.66	v -667
691.38/691.66	v -668
691.38/691.66	v 669
691.38/691.66	v 670
691.38/691.66	v -671
691.38/691.66	v -672
691.38/691.66	v -673
691.38/691.66	v 674
691.38/691.66	v -675
691.38/691.66	v -676
691.38/691.66	v -677
691.38/691.66	v -678
691.38/691.66	v 679
691.38/691.66	v 680
691.38/691.66	v 681
691.38/691.66	v -682
691.38/691.66	v -683
691.38/691.66	v 684
691.38/691.66	v 685
691.38/691.66	v -686
691.38/691.66	v 687
691.38/691.66	v -688
691.38/691.66	v 689
691.38/691.66	v 690
691.38/691.66	v -691
691.38/691.66	v 692
691.38/691.66	v -693
691.38/691.66	v -694
691.38/691.66	v 695
691.38/691.66	v -696
691.38/691.66	v 697
691.38/691.66	v -698
691.38/691.66	v -699
691.38/691.66	v 700
691.38/691.66	v 701
691.38/691.66	v 702
691.38/691.66	v -703
691.38/691.66	v 704
691.38/691.66	v 705
691.38/691.66	v -706
691.38/691.66	v -707
691.38/691.66	v 708
691.38/691.66	v 709
691.38/691.66	v 710
691.38/691.66	v 711
691.38/691.66	v 712
691.38/691.66	v 713
691.38/691.66	v 714
691.38/691.66	v 715
691.38/691.66	v -716
691.38/691.66	v 717
691.38/691.66	v -718
691.38/691.66	v -719
691.38/691.66	v -720
691.38/691.66	v 721
691.38/691.66	v -722
691.38/691.66	v -723
691.38/691.66	v 724
691.38/691.66	v -725
691.38/691.66	v -726
691.38/691.66	v 727
691.38/691.66	v -728
691.38/691.66	v -729
691.38/691.66	v -730
691.38/691.66	v -731
691.38/691.66	v -732
691.38/691.66	v 733
691.38/691.66	v -734
691.38/691.66	v 735
691.38/691.66	v -736
691.38/691.66	v -737
691.38/691.66	v 738
691.38/691.66	v -739
691.38/691.66	v -740
691.38/691.66	v 741
691.38/691.66	v 742
691.38/691.66	v -743
691.38/691.66	v -744
691.38/691.66	v 745
691.38/691.66	v 746
691.38/691.66	v -747
691.38/691.66	v -748
691.38/691.66	v -749
691.38/691.66	v 750
691.38/691.66	v -751
691.38/691.66	v -752
691.38/691.66	v -753
691.38/691.66	v 754
691.38/691.66	v 755
691.38/691.66	v 756
691.38/691.66	v 757
691.38/691.66	v 758
691.38/691.66	v -759
691.38/691.66	v 760
691.38/691.66	v -761
691.38/691.66	v -762
691.38/691.66	v 763
691.38/691.66	v 764
691.38/691.66	v -765
691.38/691.66	v -766
691.38/691.66	v -767
691.38/691.66	v -768
691.38/691.66	v 769
691.38/691.66	v 770
691.38/691.66	v 771
691.38/691.66	v -772
691.38/691.66	v 773
691.38/691.66	v -774
691.38/691.66	v 775
691.38/691.66	v -776
691.38/691.66	v 777
691.38/691.66	v 778
691.38/691.66	v -779
691.38/691.66	v -780
691.38/691.66	v 781
691.38/691.66	v -782
691.38/691.66	v -783
691.38/691.66	v -784
691.38/691.66	v 785
691.38/691.66	v -786
691.38/691.66	v 787
691.38/691.66	v -788
691.38/691.66	v 789
691.38/691.66	v -790
691.38/691.66	v 791
691.38/691.66	v -792
691.38/691.66	v 793
691.38/691.66	v 794
691.38/691.66	v -795
691.38/691.66	v 796
691.38/691.66	v -797
691.38/691.66	v -798
691.38/691.66	v 799
691.38/691.66	v 800
691.38/691.66	v -801
691.38/691.66	v -802
691.38/691.66	v 803
691.38/691.66	v 804
691.38/691.66	v 805
691.38/691.66	v -806
691.38/691.66	v 807
691.38/691.66	v 808
691.38/691.66	v -809
691.38/691.66	v 810
691.38/691.66	v 811
691.38/691.66	v 812
691.38/691.66	v 813
691.38/691.66	v -814
691.38/691.66	v 815
691.38/691.66	v -816
691.38/691.66	v -817
691.38/691.66	v 818
691.38/691.66	v -819
691.38/691.66	v 820
691.38/691.66	v -821
691.38/691.66	v -822
691.38/691.66	v 823
691.38/691.66	v -824
691.38/691.66	v -825
691.38/691.66	v -826
691.38/691.66	v -827
691.38/691.66	v 828
691.38/691.66	v 829
691.38/691.66	v 830
691.38/691.66	v 831
691.38/691.66	v 832
691.38/691.66	v -833
691.38/691.66	v -834
691.38/691.66	v -835
691.38/691.66	v 836
691.38/691.66	v -837
691.38/691.66	v 838
691.38/691.66	v -839
691.38/691.66	v -840
691.38/691.66	v 841
691.38/691.66	v -842
691.38/691.66	v -843
691.38/691.66	v -844
691.38/691.66	v 845
691.38/691.66	v -846
691.38/691.66	v -847
691.38/691.66	v 848
691.38/691.66	v 849
691.38/691.66	v -850
691.38/691.66	v 851
691.38/691.66	v -852
691.38/691.66	v 853
691.38/691.66	v -854
691.38/691.66	v -855
691.38/691.66	v 856
691.38/691.66	v -857
691.38/691.66	v 858
691.38/691.66	v 859
691.38/691.66	v -860
691.38/691.66	v -861
691.38/691.66	v -862
691.38/691.66	v -863
691.38/691.66	v -864
691.38/691.66	v 865
691.38/691.66	v -866
691.38/691.66	v -867
691.38/691.66	v 868
691.38/691.66	v -869
691.38/691.66	v -870
691.38/691.66	v 871
691.38/691.66	v 872
691.38/691.66	v 873
691.38/691.66	v 874
691.38/691.66	v 875
691.38/691.66	v -876
691.38/691.66	v -877
691.38/691.66	v -878
691.38/691.66	v 879
691.38/691.66	v 880
691.38/691.66	v -881
691.38/691.66	v 882
691.38/691.66	v -883
691.38/691.66	v 884
691.38/691.66	v 885
691.38/691.66	v -886
691.38/691.66	v 887
691.38/691.66	v -888
691.38/691.66	v -889
691.38/691.66	v -890
691.38/691.66	v 891
691.38/691.66	v 892
691.38/691.66	v 893
691.38/691.66	v -894
691.38/691.66	v -895
691.38/691.66	v 896
691.38/691.66	v -897
691.38/691.66	v -898
691.38/691.66	v -899
691.38/691.66	v 900
691.38/691.66	v -901
691.38/691.66	v 902
691.38/691.66	v 903
691.38/691.66	v 904
691.38/691.66	v 905
691.38/691.66	v -906
691.38/691.66	v -907
691.38/691.66	v -908
691.38/691.66	v -909
691.38/691.66	v -910
691.38/691.66	v 911
691.38/691.66	v 912
691.38/691.66	v -913
691.38/691.66	v -914
691.38/691.66	v 915
691.38/691.66	v -916
691.38/691.66	v -917
691.38/691.66	v 918
691.38/691.66	v -919
691.38/691.66	v -920
691.38/691.66	v 921
691.38/691.66	v 922
691.38/691.66	v -923
691.38/691.66	v -924
691.38/691.66	v -925
691.38/691.66	v -926
691.38/691.66	v -927
691.38/691.66	v -928
691.38/691.66	v 929
691.38/691.66	v -930
691.38/691.66	v -931
691.38/691.66	v -932
691.38/691.66	v 933
691.38/691.66	v -934
691.38/691.66	v 935
691.38/691.66	v -936
691.38/691.66	v -937
691.38/691.66	v 938
691.38/691.66	v 939
691.38/691.66	v 940
691.38/691.66	v 941
691.38/691.66	v 942
691.38/691.66	v 943
691.38/691.66	v -944
691.38/691.66	v 945
691.38/691.66	v -946
691.38/691.66	v -947
691.38/691.66	v 948
691.38/691.66	v 949
691.38/691.66	v -950
691.38/691.66	v 951
691.38/691.66	v 952
691.38/691.66	v -953
691.38/691.66	v -954
691.38/691.66	v 955
691.38/691.66	v -956
691.38/691.66	v -957
691.38/691.66	v -958
691.38/691.66	v 959
691.38/691.66	v -960
691.38/691.66	v -961
691.38/691.66	v -962
691.38/691.66	v 963
691.38/691.66	v 964
691.38/691.66	v -965
691.38/691.66	v -966
691.38/691.66	v 967
691.38/691.66	v 968
691.38/691.66	v -969
691.38/691.66	v 970
691.38/691.66	v 971
691.38/691.66	v -972
691.38/691.66	v -973
691.38/691.66	v 974
691.38/691.66	v 975
691.38/691.66	v -976
691.38/691.66	v 977
691.38/691.66	v -978
691.38/691.66	v -979
691.38/691.66	v -980
691.38/691.66	v 981
691.38/691.66	v 982
691.38/691.66	v -983
691.38/691.66	v -984
691.38/691.66	v -985
691.38/691.66	v -986
691.38/691.66	v 987
691.38/691.66	v 988
691.38/691.66	v -989
691.38/691.66	v 990
691.38/691.66	v 991
691.38/691.66	v 992
691.38/691.66	v -993
691.38/691.66	v 994
691.38/691.66	v 995
691.38/691.66	v 996
691.38/691.66	v -997
691.38/691.66	v -998
691.38/691.66	v -999
691.38/691.66	v 1000
691.38/691.66	v 1001
691.38/691.66	v 1002
691.38/691.66	v -1003
691.38/691.66	v -1004
691.38/691.66	v -1005
691.38/691.66	v -1006
691.38/691.66	v 1007
691.38/691.66	v 1008
691.38/691.66	v -1009
691.38/691.66	v 1010
691.38/691.66	v 1011
691.38/691.66	v -1012
691.38/691.66	v -1013
691.38/691.66	v 1014
691.38/691.66	v 1015
691.38/691.66	v -1016
691.38/691.66	v -1017
691.38/691.66	v -1018
691.38/691.66	v 1019
691.38/691.66	v -1020
691.38/691.66	v 1021
691.38/691.66	v -1022
691.38/691.66	v -1023
691.38/691.66	v 1024
691.38/691.66	v 1025
691.38/691.66	v 1026
691.38/691.66	v -1027
691.38/691.66	v -1028
691.38/691.66	v -1029
691.38/691.66	v -1030
691.38/691.66	v -1031
691.38/691.66	v -1032
691.38/691.66	v 1033
691.38/691.66	v -1034
691.38/691.66	v 1035
691.38/691.66	v 1036
691.38/691.66	v -1037
691.38/691.66	v 1038
691.38/691.66	v 1039
691.38/691.66	v -1040
691.38/691.66	v 1041
691.38/691.66	v -1042
691.38/691.66	v 1043
691.38/691.66	v 1044
691.38/691.66	v -1045
691.38/691.66	v 1046
691.38/691.66	v -1047
691.38/691.66	v -1048
691.38/691.66	v -1049
691.38/691.66	v -1050
691.38/691.66	v 1051
691.38/691.66	v 1052
691.38/691.66	v 1053
691.38/691.66	v -1054
691.38/691.66	v -1055
691.38/691.66	v -1056
691.38/691.66	v -1057
691.38/691.66	v -1058
691.38/691.66	v -1059
691.38/691.66	v -1060
691.38/691.66	v 1061
691.38/691.66	v -1062
691.38/691.66	v -1063
691.38/691.66	v 1064
691.38/691.66	v 1065
691.38/691.66	v 1066
691.38/691.66	v 1067
691.38/691.66	v 1068
691.38/691.66	v 1069
691.38/691.66	v 1070
691.38/691.66	v 1071
691.38/691.66	v 1072
691.38/691.66	v 1073
691.38/691.66	v 1074
691.38/691.66	v -1075
691.38/691.66	v -1076
691.38/691.66	v -1077
691.38/691.66	v 1078
691.38/691.66	v -1079
691.38/691.66	v -1080
691.38/691.66	v 1081
691.38/691.66	v -1082
691.38/691.66	v -1083
691.38/691.66	v 1084
691.38/691.66	v 1085
691.38/691.66	v -1086
691.38/691.66	v -1087
691.38/691.66	v -1088
691.38/691.66	v 1089
691.38/691.66	v -1090
691.38/691.66	v 1091
691.38/691.66	v -1092
691.38/691.66	v -1093
691.38/691.66	v -1094
691.38/691.66	v -1095
691.38/691.66	v -1096
691.38/691.66	v 1097
691.38/691.66	v -1098
691.38/691.66	v -1099
691.38/691.66	v -1100
691.38/691.66	v -1101
691.38/691.66	v -1102
691.38/691.66	v 1103
691.38/691.66	v 1104
691.38/691.66	v -1105
691.38/691.66	v 1106
691.38/691.66	v 1107
691.38/691.66	v 1108
691.38/691.66	v 1109
691.38/691.66	v -1110
691.38/691.66	v -1111
691.38/691.66	v -1112
691.38/691.66	v -1113
691.38/691.66	v 1114
691.38/691.66	v 1115
691.38/691.66	v 1116
691.38/691.66	v -1117
691.38/691.66	v 1118
691.38/691.66	v 1119
691.38/691.66	v 1120
691.38/691.66	v 1121
691.38/691.66	v 1122
691.38/691.66	v -1123
691.38/691.66	v 1124
691.38/691.66	v -1125
691.38/691.66	v 1126
691.38/691.66	v 1127
691.38/691.66	v 1128
691.38/691.66	v -1129
691.38/691.66	v -1130
691.38/691.66	v -1131
691.38/691.66	v -1132
691.38/691.66	v 1133
691.38/691.66	v 1134
691.38/691.66	v 1135
691.38/691.66	v 1136
691.38/691.66	v 1137
691.38/691.66	v 1138
691.38/691.66	v -1139
691.38/691.66	v -1140
691.38/691.66	v 1141
691.38/691.66	v 1142
691.38/691.66	v -1143
691.38/691.66	v -1144
691.38/691.66	v -1145
691.38/691.66	v 1146
691.38/691.66	v -1147
691.38/691.66	v -1148
691.38/691.66	v -1149
691.38/691.66	v -1150
691.38/691.66	v 1151
691.38/691.66	v -1152
691.38/691.66	v 1153
691.38/691.66	v 1154
691.38/691.66	v 1155
691.38/691.66	v -1156
691.38/691.66	v 1157
691.38/691.66	v 1158
691.38/691.66	v 1159
691.38/691.66	v 1160
691.38/691.66	v -1161
691.38/691.66	v -1162
691.38/691.66	v -1163
691.38/691.66	v -1164
691.38/691.66	v 1165
691.38/691.66	v -1166
691.38/691.66	v -1167
691.38/691.66	v 1168
691.38/691.66	v 1169
691.38/691.66	v 1170
691.38/691.66	v 1171
691.38/691.66	v 1172
691.38/691.66	v 1173
691.38/691.66	v -1174
691.38/691.66	v -1175
691.38/691.66	v 1176
691.38/691.66	v 1177
691.38/691.66	v -1178
691.38/691.66	v -1179
691.38/691.66	v 1180
691.38/691.66	v -1181
691.38/691.66	v -1182
691.38/691.66	v -1183
691.38/691.66	v 1184
691.38/691.66	v 1185
691.38/691.66	v 1186
691.38/691.66	v 1187
691.38/691.66	v -1188
691.38/691.66	v 1189
691.38/691.66	v 1190
691.38/691.66	v 1191
691.38/691.66	v -1192
691.38/691.66	v -1193
691.38/691.66	v -1194
691.38/691.66	v 1195
691.38/691.66	v 1196
691.38/691.66	v 1197
691.38/691.66	v 1198
691.38/691.66	v -1199
691.38/691.66	v -1200
691.38/691.66	v -1201
691.38/691.66	v 1202
691.38/691.66	v 1203
691.38/691.66	v 1204
691.38/691.66	v -1205
691.38/691.66	v -1206
691.38/691.66	v -1207
691.38/691.66	v 1208
691.38/691.66	v -1209
691.38/691.66	v 1210
691.38/691.66	v -1211
691.38/691.66	v 1212
691.38/691.66	v -1213
691.38/691.66	v -1214
691.38/691.66	v 1215
691.38/691.66	v 1216
691.38/691.66	v 1217
691.38/691.66	v 1218
691.38/691.66	v -1219
691.38/691.66	v 1220
691.38/691.66	v -1221
691.38/691.66	v 1222
691.38/691.66	v -1223
691.38/691.66	v -1224
691.38/691.66	v 1225
691.38/691.66	v -1226
691.38/691.66	v -1227
691.38/691.66	v 1228
691.38/691.66	v -1229
691.38/691.66	v -1230
691.38/691.66	v 1231
691.38/691.66	v 1232
691.38/691.66	v 1233
691.38/691.66	v 1234
691.38/691.66	v 1235
691.38/691.66	v -1236
691.38/691.66	v -1237
691.38/691.66	v 1238
691.38/691.66	v -1239
691.38/691.66	v 1240
691.38/691.66	v 1241
691.38/691.66	v -1242
691.38/691.66	v 1243
691.38/691.66	v 1244
691.38/691.66	v -1245
691.38/691.66	v 1246
691.38/691.66	v 1247
691.38/691.66	v 1248
691.38/691.66	v 1249
691.38/691.66	v 1250
691.38/691.66	v 1251
691.38/691.66	v 1252
691.38/691.66	v -1253
691.38/691.66	v -1254
691.38/691.66	v -1255
691.38/691.66	v -1256
691.38/691.66	v -1257
691.38/691.66	v 1258
691.38/691.66	v -1259
691.38/691.66	v 1260
691.38/691.66	v 1261
691.38/691.66	v 1262
691.38/691.66	v 1263
691.38/691.66	v -1264
691.38/691.66	v -1265
691.38/691.66	v 1266
691.38/691.66	v 1267
691.38/691.66	v -1268
691.38/691.66	v 1269
691.38/691.66	v 1270
691.38/691.66	v 1271
691.38/691.66	v 1272
691.38/691.66	v -1273
691.38/691.66	v 1274
691.38/691.66	v 1275
691.38/691.66	v 1276
691.38/691.66	v -1277
691.38/691.66	v 1278
691.38/691.66	v -1279
691.38/691.66	v -1280
691.38/691.66	v 1281
691.38/691.66	v -1282
691.38/691.66	v -1283
691.38/691.66	v -1284
691.38/691.66	v -1285
691.38/691.66	v 1286
691.38/691.66	v 1287
691.38/691.66	v -1288
691.38/691.66	v 1289
691.38/691.66	v -1290
691.38/691.66	v -1291
691.38/691.66	v -1292
691.38/691.66	v 1293
691.38/691.66	v -1294
691.38/691.66	v -1295
691.38/691.66	v 1296
691.38/691.66	v 1297
691.38/691.66	v 1298
691.38/691.66	v -1299
691.38/691.66	v 1300
691.38/691.66	v -1301
691.38/691.66	v 1302
691.38/691.66	v -1303
691.38/691.66	v 1304
691.38/691.66	v 1305
691.38/691.66	v 1306
691.38/691.66	v -1307
691.38/691.66	v 1308
691.38/691.66	v -1309
691.38/691.66	v -1310
691.38/691.66	v -1311
691.38/691.66	v 1312
691.38/691.66	v -1313
691.38/691.66	v -1314
691.38/691.66	v -1315
691.38/691.66	v -1316
691.38/691.66	v 1317
691.38/691.66	v -1318
691.38/691.66	v -1319
691.38/691.66	v -1320
691.38/691.66	v -1321
691.38/691.66	v -1322
691.38/691.66	v -1323
691.38/691.66	v 1324
691.38/691.66	v 1325
691.38/691.66	v -1326
691.38/691.66	v 1327
691.38/691.66	v -1328
691.38/691.66	v 1329
691.38/691.66	v -1330
691.38/691.66	v 1331
691.38/691.66	v -1332
691.38/691.66	v 1333
691.38/691.66	v 1334
691.38/691.66	v 1335
691.38/691.66	v 1336
691.38/691.66	v -1337
691.38/691.66	v -1338
691.38/691.66	v -1339
691.38/691.66	v 1340
691.38/691.66	v -1341
691.38/691.66	v -1342
691.38/691.66	v 1343
691.38/691.66	v 1344
691.38/691.66	v -1345
691.38/691.66	v -1346
691.38/691.66	v 1347
691.38/691.66	v 1348
691.38/691.66	v -1349
691.38/691.66	v 1350
691.38/691.66	v 1351
691.38/691.66	v 1352
691.38/691.66	v 1353
691.38/691.66	v 1354
691.38/691.66	v 1355
691.38/691.66	v -1356
691.38/691.66	v 1357
691.38/691.66	v 1358
691.38/691.66	v 1359
691.38/691.66	v -1360
691.38/691.66	v -1361
691.38/691.66	v -1362
691.38/691.66	v -1363
691.38/691.66	v -1364
691.38/691.66	v 1365
691.38/691.66	v -1366
691.38/691.66	v -1367
691.38/691.66	v 1368
691.38/691.66	v 1369
691.38/691.66	v -1370
691.38/691.66	v -1371
691.38/691.66	v 1372
691.38/691.66	v 1373
691.38/691.66	v -1374
691.38/691.66	v -1375
691.38/691.66	v -1376
691.38/691.66	v 1377
691.38/691.66	v -1378
691.38/691.66	v -1379
691.38/691.66	v -1380
691.38/691.66	v -1381
691.38/691.66	v -1382
691.38/691.66	v -1383
691.38/691.66	v 1384
691.38/691.66	v -1385
691.38/691.66	v 1386
691.38/691.66	v -1387
691.38/691.66	v 1388
691.38/691.66	v 1389
691.38/691.66	v 1390
691.38/691.66	v 1391
691.38/691.66	v -1392
691.38/691.66	v -1393
691.38/691.66	v 1394
691.38/691.66	v -1395
691.38/691.66	v 1396
691.38/691.66	v -1397
691.38/691.66	v -1398
691.38/691.66	v 1399
691.38/691.66	v 1400
691.38/691.66	v -1401
691.38/691.66	v -1402
691.38/691.66	v -1403
691.38/691.66	v -1404
691.38/691.66	v -1405
691.38/691.66	v 1406
691.38/691.66	v 1407
691.38/691.66	v -1408
691.38/691.66	v -1409
691.38/691.66	v 1410
691.38/691.66	v 1411
691.38/691.66	v 1412
691.38/691.66	v 1413
691.38/691.66	v -1414
691.38/691.66	v 1415
691.38/691.66	v 1416
691.38/691.66	v -1417
691.38/691.66	v 1418
691.38/691.66	v 1419
691.38/691.66	v 1420
691.38/691.66	v 1421
691.38/691.66	v 1422
691.38/691.66	v 1423
691.38/691.66	v -1424
691.38/691.66	v 1425
691.38/691.66	v 1426
691.38/691.66	v 1427
691.38/691.66	v -1428
691.38/691.66	v 1429
691.38/691.66	v 1430
691.38/691.66	v 1431
691.38/691.66	v 1432
691.38/691.66	v 1433
691.38/691.66	v -1434
691.38/691.66	v -1435
691.38/691.66	v 1436
691.38/691.66	v 1437
691.38/691.66	v -1438
691.38/691.66	v 1439
691.38/691.66	v -1440
691.38/691.66	v -1441
691.38/691.66	v 1442
691.38/691.66	v -1443
691.38/691.66	v -1444
691.38/691.66	v 1445
691.38/691.66	v -1446
691.38/691.66	v -1447
691.38/691.66	v 1448
691.38/691.66	v 1449
691.38/691.66	v 1450
691.38/691.66	v -1451
691.38/691.66	v -1452
691.38/691.66	v 1453
691.38/691.66	v -1454
691.38/691.66	v -1455
691.38/691.66	v -1456
691.38/691.66	v -1457
691.38/691.66	v 1458
691.38/691.66	v 1459
691.38/691.66	v 1460
691.38/691.66	v 1461
691.38/691.66	v -1462
691.38/691.66	v -1463
691.38/691.66	v 1464
691.38/691.66	v -1465
691.38/691.66	v -1466
691.38/691.66	v -1467
691.38/691.66	v 1468
691.38/691.66	v 1469
691.38/691.66	v -1470
691.38/691.66	v -1471
691.38/691.66	v 1472
691.38/691.66	v -1473
691.38/691.66	v 1474
691.38/691.66	v 1475
691.38/691.66	v 1476
691.38/691.66	v -1477
691.38/691.66	v 1478
691.38/691.66	v 1479
691.38/691.66	v 1480
691.38/691.66	v -1481
691.38/691.66	v 1482
691.38/691.66	v -1483
691.38/691.66	v -1484
691.38/691.66	v -1485
691.38/691.66	v 1486
691.38/691.66	v -1487
691.38/691.66	v -1488
691.38/691.66	v 1489
691.38/691.66	v -1490
691.38/691.66	v 1491
691.38/691.66	v -1492
691.38/691.66	v 1493
691.38/691.66	v 1494
691.38/691.66	v -1495
691.38/691.66	v 1496
691.38/691.66	v -1497
691.38/691.66	v 0
691.38/691.66	c Done in 525.960000 seconds

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-332603-1173483403 -o ROOT/results/node11/solver-332603-1173483403 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/332603-1173483403/ranov /tmp/evaluation/332603-1173483403/instance-332603-1173483403.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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.85 0.94 0.97 3/77 9647
/proc/meminfo: memFree=1421696/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=319884 CPUtime=0
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 856 0 0 0 0 0 0 0 18 0 1 0 368294946 327561216 841 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 79971 847 30 98 0 79870 0

[startup+0.035457 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 9647
/proc/meminfo: memFree=1421696/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=319892 CPUtime=0.03
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 4978 0 0 0 1 2 0 0 18 0 1 0 368294946 327569408 4963 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134586349 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 79973 4964 38 98 0 79872 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 319892

[startup+0.101466 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 9647
/proc/meminfo: memFree=1421696/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=320684 CPUtime=0.09
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 5221 0 0 0 7 2 0 0 18 0 1 0 368294946 328380416 5206 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134566063 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 80171 5206 38 98 0 80070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 320684

[startup+0.301487 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 9647
/proc/meminfo: memFree=1421696/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=327860 CPUtime=0.29
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 8685 0 0 0 26 3 0 0 19 0 1 0 368294946 335728640 8669 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134529408 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 81965 8676 38 98 0 81864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 327860

[startup+0.701534 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 9647
/proc/meminfo: memFree=1421696/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=327860 CPUtime=0.69
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 11999 0 0 0 65 4 0 0 22 0 1 0 368294946 335728640 11983 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134529481 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 81965 11983 39 98 0 81864 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 327860

[startup+1.50163 s]
/proc/loadavg: 0.85 0.94 0.97 2/78 9648
/proc/meminfo: memFree=1373688/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=328000 CPUtime=1.49
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 12027 0 0 0 145 4 0 0 25 0 1 0 368294946 335872000 12011 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134529481 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 82000 12011 39 98 0 81899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 328000

[startup+3.10182 s]
/proc/loadavg: 0.85 0.94 0.97 2/78 9648
/proc/meminfo: memFree=1373368/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=328140 CPUtime=3.09
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 12073 0 0 0 304 5 0 0 25 0 1 0 368294946 336015360 12057 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134529481 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 82035 12057 39 98 0 81934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328140

[startup+6.30119 s]
/proc/loadavg: 0.86 0.94 0.97 2/78 9648
/proc/meminfo: memFree=1373056/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=328420 CPUtime=6.29
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 12144 0 0 0 624 5 0 0 25 0 1 0 368294946 336302080 12128 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523878 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 82105 12128 39 98 0 82004 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 328420

[startup+12.7019 s]
/proc/loadavg: 0.87 0.94 0.97 2/78 9648
/proc/meminfo: memFree=1372544/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=328844 CPUtime=12.69
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 12249 0 0 0 1264 5 0 0 25 0 1 0 368294946 336736256 12233 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523909 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 82211 12233 39 98 0 82110 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 328844

[startup+25.5015 s]
/proc/loadavg: 0.90 0.94 0.97 2/78 9648
/proc/meminfo: memFree=1371904/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=329408 CPUtime=25.48
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 12399 0 0 0 2543 5 0 0 25 0 1 0 368294946 337313792 12383 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523886 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 82352 12383 39 98 0 82251 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 329408

[startup+51.1015 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 9648
/proc/meminfo: memFree=1371072/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=330392 CPUtime=51.06
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 12616 0 0 0 5101 5 0 0 25 0 1 0 368294946 338321408 12600 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134521910 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 82598 12600 39 98 0 82497 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 330392

[startup+102.306 s]
/proc/loadavg: 0.97 0.95 0.97 2/78 9648
/proc/meminfo: memFree=1369856/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=331516 CPUtime=102.26
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 12916 0 0 0 10220 6 0 0 25 0 1 0 368294946 339472384 12900 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523915 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 82879 12900 39 98 0 82778 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 331516

[startup+162.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 9648
/proc/meminfo: memFree=1368768/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=332644 CPUtime=162.24
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 13177 0 0 0 16217 7 0 0 25 0 1 0 368294946 340627456 13161 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523883 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 83161 13161 39 98 0 83060 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 332644

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 9648
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=222.22
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 22214 8 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 342844

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9648
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=282.2
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 28211 9 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513733 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 342844

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9648
/proc/meminfo: memFree=1351808/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=342.18
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 34209 9 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513424 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 342844

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9648
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=402.17
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 40207 10 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513795 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 342844

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9648
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=462.14
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 46204 10 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 342844

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9650
/proc/meminfo: memFree=1351808/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=522.13
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 52202 11 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 342844

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9650
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=582.11
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 58200 11 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514905 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 342844

[startup+642.301 s]
/proc/loadavg: 1.06 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351808/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=642.1
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 64198 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 342844

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

[startup+665.506 s]
/proc/loadavg: 1.04 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=665.29
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 66517 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 665.29
Current children cumulated vsize (KiB) 342844

[startup+678.301 s]
/proc/loadavg: 1.03 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=678.08
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 67796 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 678.08
Current children cumulated vsize (KiB) 342844

[startup+684.701 s]
/proc/loadavg: 1.03 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=684.48
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 68436 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513298 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 684.48
Current children cumulated vsize (KiB) 342844

[startup+687.902 s]
/proc/loadavg: 1.03 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=687.68
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 68756 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 687.68
Current children cumulated vsize (KiB) 342844

[startup+689.502 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=689.28
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 68916 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 689.28
Current children cumulated vsize (KiB) 342844

[startup+690.302 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351744/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=690.08
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 68996 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 690.08
Current children cumulated vsize (KiB) 342844

[startup+691.102 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351808/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=690.88
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 69076 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513474 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 690.88
Current children cumulated vsize (KiB) 342844

[startup+691.502 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351808/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=691.28
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 69116 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 691.28
Current children cumulated vsize (KiB) 342844

[startup+691.602 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 9650
/proc/meminfo: memFree=1351808/2055920 swapFree=4169972/4192956
[pid=9647] ppid=9645 vsize=342844 CPUtime=691.38
/proc/9647/stat : 9647 (ranov) R 9645 9647 8156 0 -1 4194304 17408 0 0 0 69126 12 0 0 25 0 1 0 368294946 351072256 17392 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513795 0 0 4096 0 0 0 0 17 1 0 0
/proc/9647/statm: 85711 17392 42 98 0 85610 0
Current children cumulated CPU time (s) 691.38
Current children cumulated vsize (KiB) 342844

Child status: 10
Real time (s): 691.676
CPU time (s): 691.461
CPU user time (s): 691.324
CPU system time (s): 0.136979
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 342844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 691.324
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17420
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= 11
involuntary context switches= 14053

runsolver used 0.812876 second user time and 1.70574 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Fri Mar  9 23:36:44 UTC 2007

IDJOB= 332603
IDBENCH= 24584
IDSOLVER= 105
FILE ID= node11/332603-1173483403

PBS_JOBID= 4101077

Free space on /tmp= 66334 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Medium/contest05/pebbling/sat-pbl-00400.sat05-1322.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/332603-1173483403/ranov /tmp/evaluation/332603-1173483403/instance-332603-1173483403.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-332603-1173483403 -o ROOT/results/node11/solver-332603-1173483403 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/332603-1173483403/ranov /tmp/evaluation/332603-1173483403/instance-332603-1173483403.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  29cf0f53dfca3fe2e94789628bed3971

RANDOM SEED= 224837914

TIME LIMIT= 1200 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.243
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.243
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:       1422168 kB
Buffers:         50684 kB
Cached:         492700 kB
SwapCached:       2248 kB
Active:         199292 kB
Inactive:       367708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1422168 kB
SwapTotal:     4192956 kB
SwapFree:      4169972 kB
Dirty:            4076 kB
Writeback:           0 kB
Mapped:          31572 kB
Slab:            52364 kB
Committed_AS:  1151192 kB
PageTables:       1760 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= 66334 MiB

End job on node11 on Fri Mar  9 23:48:16 UTC 2007