Trace number 3493770

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PicoMUS 941UNSAT 669.244 669.25

General information on the benchmark

NameSAT03/industrial/kukula/addm_bench/
am_5_5.shuffled-as.sat03-361.cnf
MD5SUMd545f1b275cb8b044c819f6765152511
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.44378
Satisfiable
(Un)Satisfiability was proved
Number of variables1076
Number of clauses3677
Sum of the clauses size9977
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 21050
Number of clauses of size 32625
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 1076 3677
2.39/2.47	s UNSATISFIABLE
2.49/2.52	c [picomus] extracted core 1 of size 2202 out of 3677 (60%) after 2.5 sec
6.29/6.35	c [picomus] extracted core 2 of size 2159 out of 3677 (59%) after 6.4 sec
10.09/10.18	c [picomus] extracted core 3 of size 2148 out of 3677 (58%) after 10.2 sec
15.30/15.32	c [picomus] extracted core 4 of size 2139 out of 3677 (58%) after 15.3 sec
19.99/20.05	c [picomus] extracted core 5 of size 2130 out of 3677 (58%) after 20.1 sec
23.19/23.20	c [picomus] extracted core 6 of size 2129 out of 3677 (58%) after 23.2 sec
26.69/26.74	c [picomus] extracted core 7 of size 2126 out of 3677 (58%) after 26.7 sec
31.69/31.71	c [picomus] extracted core 8 of size 2126 out of 3677 (58%) after 31.7 sec
52.19/52.20	c [picomus] reduction 1 to 2062 out of 3677 (56%) after 52.2 sec
61.39/61.42	c [picomus] reduction 2 to 2046 out of 3677 (56%) after 61.4 sec
68.79/68.88	c [picomus] reduction 3 to 2035 out of 3677 (55%) after 68.9 sec
117.09/117.15	c [picomus] reduction 4 to 2023 out of 3677 (55%) after 117.2 sec
146.79/146.85	c [picomus] reduction 5 to 2019 out of 3677 (55%) after 146.9 sec
189.29/189.37	c [picomus] reduction 6 to 2016 out of 3677 (55%) after 189.4 sec
219.39/219.47	c [picomus] reduction 7 to 2012 out of 3677 (55%) after 219.5 sec
228.19/228.23	c [picomus] reduction 8 to 2002 out of 3677 (54%) after 228.2 sec
256.69/256.74	c [picomus] reduction 9 to 1997 out of 3677 (54%) after 256.7 sec
271.30/271.30	c [picomus] reduction 10 to 1994 out of 3677 (54%) after 271.3 sec
294.70/294.73	c [picomus] reduction 11 to 1993 out of 3677 (54%) after 294.7 sec
317.50/317.57	c [picomus] reduction 12 to 1992 out of 3677 (54%) after 317.6 sec
351.80/351.89	c [picomus] reduction 13 to 1991 out of 3677 (54%) after 351.9 sec
370.60/370.63	c [picomus] reduction 14 to 1989 out of 3677 (54%) after 370.6 sec
393.20/393.24	c [picomus] reduction 15 to 1988 out of 3677 (54%) after 393.2 sec
411.30/411.38	c [picomus] reduction 16 to 1985 out of 3677 (54%) after 411.4 sec
426.10/426.10	c [picomus] reduction 17 to 1983 out of 3677 (54%) after 426.1 sec
443.00/443.02	c [picomus] reduction 18 to 1982 out of 3677 (54%) after 443.0 sec
453.49/453.57	c [picomus] reduction 19 to 1981 out of 3677 (54%) after 453.6 sec
467.00/467.06	c [picomus] reduction 20 to 1980 out of 3677 (54%) after 467.1 sec
477.19/477.26	c [picomus] reduction 21 to 1978 out of 3677 (54%) after 477.3 sec
492.70/492.77	c [picomus] reduction 22 to 1977 out of 3677 (54%) after 492.8 sec
506.69/506.77	c [picomus] reduction 23 to 1975 out of 3677 (54%) after 506.8 sec
519.89/519.93	c [picomus] reduction 24 to 1974 out of 3677 (54%) after 519.9 sec
527.90/527.91	c [picomus] reduction 25 to 1973 out of 3677 (54%) after 527.9 sec
539.49/539.53	c [picomus] reduction 26 to 1972 out of 3677 (54%) after 539.5 sec
551.89/551.98	c [picomus] reduction 27 to 1971 out of 3677 (54%) after 552.0 sec
569.99/570.07	c [picomus] reduction 28 to 1970 out of 3677 (54%) after 570.1 sec
579.29/579.31	c [picomus] reduction 29 to 1969 out of 3677 (54%) after 579.3 sec
586.69/586.72	c [picomus] reduction 30 to 1968 out of 3677 (54%) after 586.7 sec
594.59/594.63	c [picomus] reduction 31 to 1967 out of 3677 (53%) after 594.6 sec
601.29/601.36	c [picomus] reduction 32 to 1966 out of 3677 (53%) after 601.4 sec
612.09/612.14	c [picomus] reduction 33 to 1965 out of 3677 (53%) after 612.1 sec
622.99/623.04	c [picomus] reduction 34 to 1964 out of 3677 (53%) after 623.0 sec
632.29/632.30	c [picomus] reduction 35 to 1963 out of 3677 (53%) after 632.3 sec
652.20/652.28	c [picomus] reduction 36 to 1962 out of 3677 (53%) after 652.3 sec
657.89/657.93	c [picomus] reduction 37 to 1961 out of 3677 (53%) after 657.9 sec
661.69/661.73	c [picomus] reduction 38 to 1960 out of 3677 (53%) after 661.7 sec
668.99/669.03	c [picomus] reduction 39 to 1959 out of 3677 (53%) after 669.0 sec
669.19/669.24	c [picosat] 1999 calls
669.19/669.24	c [picosat] 7 iterations
669.19/669.24	c [picosat] 6722 restarts
669.19/669.24	c [picosat] 2 failed literals
669.19/669.24	c [picosat] 3576420 conflicts
669.19/669.24	c [picosat] 17416520 decisions
669.19/669.24	c [picosat] 2479 fixed variables
669.19/669.24	c [picosat] 1973160433 learned literals
669.19/669.24	c [picosat] 2.7% deleted literals
669.19/669.24	c [picosat] 369681884 propagations
669.19/669.24	c [picosat] 66.7% variables used
669.19/669.24	c [picosat] 636.7 seconds in library
669.19/669.24	c [picosat] 0.6 megaprops/second
669.19/669.24	c [picosat] probing 0.0 seconds 0%
669.19/669.24	c [picosat] 70 simplifications
669.19/669.24	c [picosat] 915 reductions
669.19/669.24	c [picosat] 3498.6 MB recycled
669.19/669.24	c [picosat] 30.3 MB maximally allocated
669.19/669.24	c [picomus] found 1718 redundant clauses 47%
669.19/669.24	c [picomus] computed MUS of size 1959 out of 3677 (53%)
669.19/669.24	v 1
669.19/669.24	v 2
669.19/669.24	v 3
669.19/669.24	v 4
669.19/669.24	v 5
669.19/669.24	v 7
669.19/669.24	v 11
669.19/669.24	v 12
669.19/669.24	v 18
669.19/669.24	v 19
669.19/669.24	v 20
669.19/669.24	v 21
669.19/669.24	v 22
669.19/669.24	v 23
669.19/669.24	v 24
669.19/669.24	v 25
669.19/669.24	v 28
669.19/669.24	v 30
669.19/669.24	v 31
669.19/669.24	v 32
669.19/669.24	v 33
669.19/669.24	v 34
669.19/669.24	v 35
669.19/669.24	v 36
669.19/669.24	v 43
669.19/669.24	v 44
669.19/669.24	v 45
669.19/669.24	v 46
669.19/669.24	v 47
669.19/669.24	v 48
669.19/669.24	v 49
669.19/669.24	v 50
669.19/669.24	v 52
669.19/669.24	v 53
669.19/669.24	v 57
669.19/669.24	v 60
669.19/669.24	v 62
669.19/669.24	v 63
669.19/669.24	v 64
669.19/669.24	v 68
669.19/669.24	v 70
669.19/669.24	v 71
669.19/669.24	v 72
669.19/669.24	v 76
669.19/669.24	v 77
669.19/669.24	v 80
669.19/669.24	v 83
669.19/669.24	v 86
669.19/669.24	v 90
669.19/669.24	v 91
669.19/669.24	v 94
669.19/669.24	v 95
669.19/669.24	v 98
669.19/669.24	v 101
669.19/669.24	v 102
669.19/669.24	v 110
669.19/669.24	v 114
669.19/669.24	v 115
669.19/669.24	v 118
669.19/669.24	v 119
669.19/669.24	v 126
669.19/669.24	v 128
669.19/669.24	v 129
669.19/669.24	v 131
669.19/669.24	v 134
669.19/669.24	v 135
669.19/669.24	v 136
669.19/669.24	v 140
669.19/669.24	v 143
669.19/669.24	v 145
669.19/669.24	v 146
669.19/669.24	v 150
669.19/669.24	v 151
669.19/669.24	v 152
669.19/669.24	v 153
669.19/669.24	v 155
669.19/669.24	v 156
669.19/669.24	v 157
669.19/669.24	v 160
669.19/669.24	v 162
669.19/669.24	v 163
669.19/669.24	v 164
669.19/669.24	v 170
669.19/669.24	v 172
669.19/669.24	v 174
669.19/669.24	v 176
669.19/669.24	v 178
669.19/669.24	v 180
669.19/669.24	v 181
669.19/669.24	v 187
669.19/669.24	v 188
669.19/669.24	v 189
669.19/669.24	v 191
669.19/669.24	v 196
669.19/669.24	v 197
669.19/669.24	v 198
669.19/669.24	v 200
669.19/669.24	v 201
669.19/669.24	v 202
669.19/669.24	v 203
669.19/669.24	v 204
669.19/669.24	v 205
669.19/669.24	v 208
669.19/669.24	v 210
669.19/669.24	v 211
669.19/669.24	v 219
669.19/669.24	v 220
669.19/669.24	v 223
669.19/669.24	v 227
669.19/669.24	v 228
669.19/669.24	v 229
669.19/669.24	v 230
669.19/669.24	v 232
669.19/669.24	v 233
669.19/669.24	v 235
669.19/669.24	v 236
669.19/669.24	v 239
669.19/669.24	v 240
669.19/669.24	v 243
669.19/669.24	v 244
669.19/669.24	v 247
669.19/669.24	v 249
669.19/669.24	v 250
669.19/669.24	v 251
669.19/669.24	v 252
669.19/669.24	v 254
669.19/669.24	v 255
669.19/669.24	v 257
669.19/669.24	v 259
669.19/669.24	v 262
669.19/669.24	v 263
669.19/669.24	v 265
669.19/669.24	v 266
669.19/669.24	v 269
669.19/669.24	v 272
669.19/669.24	v 273
669.19/669.24	v 274
669.19/669.24	v 279
669.19/669.24	v 283
669.19/669.24	v 284
669.19/669.24	v 288
669.19/669.24	v 291
669.19/669.24	v 292
669.19/669.24	v 293
669.19/669.24	v 296
669.19/669.24	v 298
669.19/669.24	v 299
669.19/669.24	v 301
669.19/669.24	v 309
669.19/669.24	v 310
669.19/669.24	v 312
669.19/669.24	v 313
669.19/669.24	v 315
669.19/669.24	v 317
669.19/669.24	v 318
669.19/669.24	v 319
669.19/669.24	v 322
669.19/669.24	v 323
669.19/669.24	v 326
669.19/669.24	v 328
669.19/669.24	v 331
669.19/669.24	v 334
669.19/669.24	v 335
669.19/669.24	v 338
669.19/669.24	v 339
669.19/669.24	v 342
669.19/669.24	v 343
669.19/669.24	v 346
669.19/669.24	v 347
669.19/669.24	v 348
669.19/669.24	v 349
669.19/669.24	v 350
669.19/669.24	v 351
669.19/669.24	v 352
669.19/669.24	v 353
669.19/669.24	v 354
669.19/669.24	v 356
669.19/669.24	v 357
669.19/669.24	v 359
669.19/669.24	v 360
669.19/669.24	v 361
669.19/669.24	v 362
669.19/669.24	v 363
669.19/669.24	v 366
669.19/669.24	v 369
669.19/669.24	v 372
669.19/669.24	v 374
669.19/669.24	v 376
669.19/669.24	v 377
669.19/669.24	v 379
669.19/669.24	v 380
669.19/669.24	v 382
669.19/669.24	v 383
669.19/669.24	v 385
669.19/669.24	v 386
669.19/669.24	v 387
669.19/669.24	v 392
669.19/669.24	v 394
669.19/669.24	v 395
669.19/669.24	v 396
669.19/669.24	v 397
669.19/669.24	v 399
669.19/669.24	v 400
669.19/669.24	v 402
669.19/669.24	v 405
669.19/669.24	v 406
669.19/669.24	v 409
669.19/669.24	v 410
669.19/669.24	v 413
669.19/669.24	v 415
669.19/669.24	v 417
669.19/669.24	v 418
669.19/669.24	v 419
669.19/669.24	v 423
669.19/669.24	v 430
669.19/669.24	v 431
669.19/669.24	v 433
669.19/669.24	v 434
669.19/669.24	v 435
669.19/669.24	v 438
669.19/669.24	v 439
669.19/669.24	v 440
669.19/669.24	v 441
669.19/669.24	v 443
669.19/669.24	v 444
669.19/669.24	v 445
669.19/669.24	v 447
669.19/669.24	v 448
669.19/669.24	v 450
669.19/669.24	v 451
669.19/669.24	v 452
669.19/669.24	v 453
669.19/669.24	v 454
669.19/669.24	v 456
669.19/669.24	v 457
669.19/669.24	v 458
669.19/669.24	v 459
669.19/669.24	v 461
669.19/669.24	v 462
669.19/669.24	v 463
669.19/669.24	v 467
669.19/669.24	v 470
669.19/669.24	v 471
669.19/669.24	v 472
669.19/669.24	v 473
669.19/669.24	v 476
669.19/669.24	v 478
669.19/669.24	v 479
669.19/669.24	v 480
669.19/669.24	v 483
669.19/669.24	v 485
669.19/669.24	v 487
669.19/669.24	v 490
669.19/669.24	v 491
669.19/669.24	v 494
669.19/669.24	v 495
669.19/669.24	v 496
669.19/669.24	v 498
669.19/669.24	v 499
669.19/669.24	v 500
669.19/669.24	v 502
669.19/669.24	v 503
669.19/669.24	v 504
669.19/669.24	v 505
669.19/669.24	v 506
669.19/669.24	v 509
669.19/669.24	v 511
669.19/669.24	v 513
669.19/669.24	v 516
669.19/669.24	v 518
669.19/669.24	v 520
669.19/669.24	v 521
669.19/669.24	v 522
669.19/669.24	v 523
669.19/669.24	v 525
669.19/669.24	v 526
669.19/669.24	v 527
669.19/669.24	v 528
669.19/669.24	v 529
669.19/669.24	v 532
669.19/669.24	v 533
669.19/669.24	v 535
669.19/669.24	v 536
669.19/669.24	v 538
669.19/669.24	v 539
669.19/669.24	v 540
669.19/669.24	v 541
669.19/669.24	v 542
669.19/669.24	v 544
669.19/669.24	v 545
669.19/669.24	v 547
669.19/669.24	v 551
669.19/669.24	v 554
669.19/669.24	v 557
669.19/669.24	v 559
669.19/669.24	v 560
669.19/669.24	v 562
669.19/669.24	v 565
669.19/669.24	v 566
669.19/669.24	v 568
669.19/669.24	v 569
669.19/669.24	v 570
669.19/669.24	v 571
669.19/669.24	v 573
669.19/669.24	v 576
669.19/669.24	v 578
669.19/669.24	v 581
669.19/669.24	v 582
669.19/669.24	v 583
669.19/669.24	v 585
669.19/669.24	v 587
669.19/669.24	v 590
669.19/669.24	v 591
669.19/669.24	v 593
669.19/669.24	v 594
669.19/669.24	v 596
669.19/669.24	v 600
669.19/669.24	v 601
669.19/669.24	v 603
669.19/669.24	v 606
669.19/669.24	v 607
669.19/669.24	v 609
669.19/669.24	v 610
669.19/669.24	v 611
669.19/669.24	v 612
669.19/669.24	v 613
669.19/669.24	v 615
669.19/669.24	v 619
669.19/669.24	v 622
669.19/669.24	v 623
669.19/669.24	v 626
669.19/669.24	v 628
669.19/669.24	v 630
669.19/669.24	v 632
669.19/669.24	v 634
669.19/669.24	v 635
669.19/669.24	v 640
669.19/669.24	v 642
669.19/669.24	v 643
669.19/669.24	v 645
669.19/669.24	v 647
669.19/669.24	v 648
669.19/669.24	v 650
669.19/669.24	v 651
669.19/669.24	v 653
669.19/669.24	v 654
669.19/669.24	v 656
669.19/669.24	v 659
669.19/669.24	v 660
669.19/669.24	v 661
669.19/669.24	v 662
669.19/669.24	v 663
669.19/669.24	v 665
669.19/669.24	v 667
669.19/669.24	v 668
669.19/669.24	v 669
669.19/669.24	v 670
669.19/669.24	v 675
669.19/669.24	v 676
669.19/669.24	v 677
669.19/669.24	v 679
669.19/669.24	v 681
669.19/669.24	v 684
669.19/669.24	v 685
669.19/669.24	v 686
669.19/669.24	v 688
669.19/669.24	v 696
669.19/669.24	v 697
669.19/669.24	v 698
669.19/669.24	v 702
669.19/669.24	v 703
669.19/669.24	v 705
669.19/669.24	v 706
669.19/669.24	v 708
669.19/669.24	v 709
669.19/669.24	v 710
669.19/669.24	v 711
669.19/669.24	v 712
669.19/669.24	v 713
669.19/669.24	v 714
669.19/669.24	v 715
669.19/669.24	v 716
669.19/669.24	v 718
669.19/669.24	v 719
669.19/669.24	v 721
669.19/669.24	v 722
669.19/669.24	v 723
669.19/669.24	v 725
669.19/669.24	v 728
669.19/669.24	v 733
669.19/669.24	v 740
669.19/669.24	v 741
669.19/669.24	v 744
669.19/669.24	v 745
669.19/669.24	v 746
669.19/669.24	v 747
669.19/669.24	v 749
669.19/669.24	v 750
669.19/669.24	v 752
669.19/669.24	v 753
669.19/669.24	v 754
669.19/669.24	v 755
669.19/669.24	v 756
669.19/669.24	v 757
669.19/669.24	v 761
669.19/669.24	v 763
669.19/669.24	v 764
669.19/669.24	v 766
669.19/669.24	v 768
669.19/669.24	v 774
669.19/669.24	v 777
669.19/669.24	v 781
669.19/669.24	v 783
669.19/669.24	v 784
669.19/669.24	v 787
669.19/669.24	v 789
669.19/669.24	v 791
669.19/669.24	v 793
669.19/669.24	v 794
669.19/669.24	v 795
669.19/669.24	v 796
669.19/669.24	v 798
669.19/669.24	v 799
669.19/669.24	v 800
669.19/669.24	v 801
669.19/669.24	v 802
669.19/669.24	v 803
669.19/669.24	v 804
669.19/669.24	v 805
669.19/669.24	v 806
669.19/669.24	v 807
669.19/669.24	v 813
669.19/669.24	v 815
669.19/669.24	v 816
669.19/669.24	v 818
669.19/669.24	v 819
669.19/669.24	v 820
669.19/669.24	v 821
669.19/669.24	v 822
669.19/669.24	v 824
669.19/669.24	v 826
669.19/669.24	v 827
669.19/669.24	v 828
669.19/669.24	v 829
669.19/669.24	v 831
669.19/669.24	v 832
669.19/669.24	v 839
669.19/669.24	v 841
669.19/669.24	v 842
669.19/669.24	v 847
669.19/669.24	v 848
669.19/669.24	v 849
669.19/669.24	v 851
669.19/669.24	v 853
669.19/669.24	v 854
669.19/669.24	v 856
669.19/669.24	v 857
669.19/669.24	v 859
669.19/669.24	v 860
669.19/669.24	v 862
669.19/669.24	v 864
669.19/669.24	v 865
669.19/669.24	v 869
669.19/669.24	v 870
669.19/669.24	v 871
669.19/669.24	v 872
669.19/669.24	v 873
669.19/669.24	v 874
669.19/669.24	v 876
669.19/669.24	v 879
669.19/669.24	v 880
669.19/669.24	v 882
669.19/669.24	v 884
669.19/669.24	v 885
669.19/669.24	v 886
669.19/669.24	v 888
669.19/669.24	v 889
669.19/669.24	v 890
669.19/669.24	v 891
669.19/669.24	v 892
669.19/669.24	v 895
669.19/669.24	v 898
669.19/669.24	v 900
669.19/669.24	v 905
669.19/669.24	v 906
669.19/669.24	v 908
669.19/669.24	v 909
669.19/669.24	v 910
669.19/669.24	v 911
669.19/669.24	v 915
669.19/669.24	v 916
669.19/669.24	v 918
669.19/669.24	v 919
669.19/669.24	v 920
669.19/669.24	v 921
669.19/669.24	v 922
669.19/669.24	v 924
669.19/669.24	v 926
669.19/669.24	v 927
669.19/669.24	v 928
669.19/669.24	v 929
669.19/669.24	v 930
669.19/669.24	v 934
669.19/669.24	v 936
669.19/669.24	v 937
669.19/669.24	v 939
669.19/669.24	v 940
669.19/669.24	v 942
669.19/669.24	v 944
669.19/669.24	v 945
669.19/669.24	v 946
669.19/669.24	v 947
669.19/669.24	v 948
669.19/669.24	v 949
669.19/669.24	v 950
669.19/669.24	v 951
669.19/669.24	v 952
669.19/669.24	v 954
669.19/669.24	v 956
669.19/669.24	v 958
669.19/669.24	v 960
669.19/669.24	v 961
669.19/669.24	v 963
669.19/669.24	v 965
669.19/669.24	v 967
669.19/669.24	v 968
669.19/669.24	v 969
669.19/669.24	v 970
669.19/669.24	v 971
669.19/669.24	v 973
669.19/669.24	v 974
669.19/669.24	v 977
669.19/669.24	v 978
669.19/669.24	v 979
669.19/669.24	v 981
669.19/669.24	v 982
669.19/669.24	v 983
669.19/669.24	v 985
669.19/669.24	v 986
669.19/669.24	v 988
669.19/669.24	v 989
669.19/669.24	v 991
669.19/669.24	v 994
669.19/669.24	v 996
669.19/669.24	v 997
669.19/669.24	v 1001
669.19/669.24	v 1005
669.19/669.24	v 1006
669.19/669.24	v 1007
669.19/669.24	v 1008
669.19/669.24	v 1009
669.19/669.24	v 1012
669.19/669.24	v 1013
669.19/669.24	v 1015
669.19/669.24	v 1016
669.19/669.24	v 1019
669.19/669.24	v 1020
669.19/669.24	v 1022
669.19/669.24	v 1023
669.19/669.24	v 1024
669.19/669.24	v 1027
669.19/669.24	v 1028
669.19/669.24	v 1029
669.19/669.24	v 1030
669.19/669.24	v 1031
669.19/669.24	v 1033
669.19/669.24	v 1034
669.19/669.24	v 1035
669.19/669.24	v 1038
669.19/669.24	v 1041
669.19/669.24	v 1042
669.19/669.24	v 1046
669.19/669.24	v 1047
669.19/669.24	v 1048
669.19/669.24	v 1049
669.19/669.24	v 1050
669.19/669.24	v 1052
669.19/669.24	v 1053
669.19/669.24	v 1058
669.19/669.24	v 1059
669.19/669.24	v 1060
669.19/669.24	v 1061
669.19/669.24	v 1064
669.19/669.24	v 1065
669.19/669.24	v 1066
669.19/669.24	v 1068
669.19/669.24	v 1070
669.19/669.24	v 1072
669.19/669.24	v 1074
669.19/669.24	v 1075
669.19/669.24	v 1080
669.19/669.24	v 1081
669.19/669.24	v 1083
669.19/669.24	v 1086
669.19/669.24	v 1087
669.19/669.24	v 1088
669.19/669.24	v 1089
669.19/669.24	v 1090
669.19/669.24	v 1091
669.19/669.24	v 1092
669.19/669.24	v 1096
669.19/669.24	v 1098
669.19/669.24	v 1099
669.19/669.24	v 1100
669.19/669.24	v 1101
669.19/669.24	v 1102
669.19/669.24	v 1105
669.19/669.24	v 1106
669.19/669.24	v 1108
669.19/669.24	v 1109
669.19/669.24	v 1114
669.19/669.24	v 1116
669.19/669.24	v 1117
669.19/669.24	v 1118
669.19/669.24	v 1119
669.19/669.24	v 1120
669.19/669.24	v 1122
669.19/669.24	v 1124
669.19/669.24	v 1125
669.19/669.24	v 1126
669.19/669.24	v 1128
669.19/669.24	v 1129
669.19/669.24	v 1133
669.19/669.24	v 1135
669.19/669.24	v 1136
669.19/669.24	v 1137
669.19/669.24	v 1138
669.19/669.24	v 1139
669.19/669.24	v 1140
669.19/669.24	v 1141
669.19/669.24	v 1143
669.19/669.24	v 1145
669.19/669.24	v 1147
669.19/669.24	v 1148
669.19/669.24	v 1149
669.19/669.24	v 1150
669.19/669.24	v 1154
669.19/669.24	v 1155
669.19/669.24	v 1157
669.19/669.24	v 1160
669.19/669.24	v 1162
669.19/669.24	v 1163
669.19/669.24	v 1165
669.19/669.24	v 1166
669.19/669.24	v 1167
669.19/669.24	v 1168
669.19/669.24	v 1174
669.19/669.24	v 1175
669.19/669.24	v 1176
669.19/669.24	v 1177
669.19/669.24	v 1178
669.19/669.24	v 1183
669.19/669.24	v 1184
669.19/669.24	v 1187
669.19/669.24	v 1188
669.19/669.24	v 1189
669.19/669.24	v 1191
669.19/669.24	v 1197
669.19/669.24	v 1198
669.19/669.24	v 1200
669.19/669.24	v 1201
669.19/669.24	v 1204
669.19/669.24	v 1205
669.19/669.24	v 1211
669.19/669.24	v 1212
669.19/669.24	v 1215
669.19/669.24	v 1217
669.19/669.24	v 1219
669.19/669.24	v 1220
669.19/669.24	v 1224
669.19/669.24	v 1226
669.19/669.24	v 1228
669.19/669.24	v 1229
669.19/669.24	v 1230
669.19/669.24	v 1231
669.19/669.24	v 1232
669.19/669.24	v 1233
669.19/669.24	v 1234
669.19/669.24	v 1235
669.19/669.24	v 1242
669.19/669.24	v 1245
669.19/669.24	v 1246
669.19/669.24	v 1247
669.19/669.24	v 1248
669.19/669.24	v 1251
669.19/669.24	v 1252
669.19/669.24	v 1257
669.19/669.24	v 1258
669.19/669.24	v 1259
669.19/669.24	v 1260
669.19/669.24	v 1264
669.19/669.24	v 1272
669.19/669.24	v 1273
669.19/669.24	v 1275
669.19/669.24	v 1279
669.19/669.24	v 1280
669.19/669.24	v 1285
669.19/669.24	v 1287
669.19/669.24	v 1290
669.19/669.24	v 1292
669.19/669.24	v 1293
669.19/669.24	v 1294
669.19/669.24	v 1295
669.19/669.24	v 1296
669.19/669.24	v 1297
669.19/669.24	v 1298
669.19/669.24	v 1299
669.19/669.24	v 1300
669.19/669.24	v 1302
669.19/669.24	v 1303
669.19/669.24	v 1304
669.19/669.24	v 1305
669.19/669.24	v 1308
669.19/669.24	v 1309
669.19/669.24	v 1310
669.19/669.24	v 1311
669.19/669.24	v 1316
669.19/669.24	v 1317
669.19/669.24	v 1318
669.19/669.24	v 1319
669.19/669.24	v 1322
669.19/669.24	v 1324
669.19/669.24	v 1325
669.19/669.24	v 1326
669.19/669.24	v 1331
669.19/669.24	v 1332
669.19/669.24	v 1335
669.19/669.24	v 1336
669.19/669.24	v 1338
669.19/669.24	v 1343
669.19/669.24	v 1344
669.19/669.24	v 1348
669.19/669.24	v 1349
669.19/669.24	v 1350
669.19/669.24	v 1352
669.19/669.24	v 1354
669.19/669.24	v 1355
669.19/669.24	v 1356
669.19/669.24	v 1357
669.19/669.24	v 1360
669.19/669.24	v 1361
669.19/669.24	v 1363
669.19/669.24	v 1366
669.19/669.24	v 1367
669.19/669.24	v 1368
669.19/669.24	v 1371
669.19/669.24	v 1376
669.19/669.24	v 1377
669.19/669.24	v 1380
669.19/669.24	v 1381
669.19/669.24	v 1382
669.19/669.24	v 1385
669.19/669.24	v 1388
669.19/669.24	v 1393
669.19/669.24	v 1394
669.19/669.24	v 1397
669.19/669.24	v 1399
669.19/669.24	v 1400
669.19/669.24	v 1405
669.19/669.24	v 1406
669.19/669.24	v 1407
669.19/669.24	v 1409
669.19/669.24	v 1412
669.19/669.24	v 1414
669.19/669.24	v 1415
669.19/669.24	v 1416
669.19/669.24	v 1417
669.19/669.24	v 1418
669.19/669.24	v 1419
669.19/669.24	v 1421
669.19/669.24	v 1423
669.19/669.24	v 1426
669.19/669.24	v 1427
669.19/669.24	v 1428
669.19/669.24	v 1429
669.19/669.24	v 1432
669.19/669.24	v 1433
669.19/669.24	v 1434
669.19/669.24	v 1436
669.19/669.24	v 1437
669.19/669.24	v 1438
669.19/669.24	v 1439
669.19/669.24	v 1440
669.19/669.24	v 1441
669.19/669.24	v 1442
669.19/669.24	v 1444
669.19/669.24	v 1445
669.19/669.24	v 1449
669.19/669.24	v 1450
669.19/669.24	v 1451
669.19/669.24	v 1453
669.19/669.24	v 1458
669.19/669.24	v 1461
669.19/669.24	v 1463
669.19/669.24	v 1465
669.19/669.24	v 1467
669.19/669.24	v 1468
669.19/669.24	v 1470
669.19/669.24	v 1472
669.19/669.24	v 1474
669.19/669.24	v 1476
669.19/669.24	v 1478
669.19/669.24	v 1480
669.19/669.24	v 1482
669.19/669.24	v 1483
669.19/669.24	v 1488
669.19/669.24	v 1490
669.19/669.24	v 1491
669.19/669.24	v 1493
669.19/669.24	v 1495
669.19/669.24	v 1496
669.19/669.24	v 1497
669.19/669.24	v 1498
669.19/669.24	v 1500
669.19/669.24	v 1501
669.19/669.24	v 1503
669.19/669.24	v 1504
669.19/669.24	v 1505
669.19/669.24	v 1507
669.19/669.24	v 1511
669.19/669.24	v 1514
669.19/669.24	v 1515
669.19/669.24	v 1517
669.19/669.24	v 1520
669.19/669.24	v 1521
669.19/669.24	v 1523
669.19/669.24	v 1524
669.19/669.24	v 1525
669.19/669.24	v 1529
669.19/669.24	v 1533
669.19/669.24	v 1535
669.19/669.24	v 1536
669.19/669.24	v 1537
669.19/669.24	v 1541
669.19/669.24	v 1544
669.19/669.24	v 1545
669.19/669.24	v 1549
669.19/669.24	v 1550
669.19/669.24	v 1552
669.19/669.24	v 1553
669.19/669.24	v 1555
669.19/669.24	v 1556
669.19/669.24	v 1557
669.19/669.24	v 1559
669.19/669.24	v 1561
669.19/669.24	v 1563
669.19/669.24	v 1564
669.19/669.24	v 1568
669.19/669.24	v 1569
669.19/669.24	v 1573
669.19/669.24	v 1574
669.19/669.24	v 1575
669.19/669.24	v 1576
669.19/669.24	v 1581
669.19/669.24	v 1582
669.19/669.24	v 1585
669.19/669.24	v 1588
669.19/669.24	v 1591
669.19/669.24	v 1594
669.19/669.24	v 1596
669.19/669.24	v 1598
669.19/669.24	v 1599
669.19/669.24	v 1602
669.19/669.24	v 1603
669.19/669.24	v 1604
669.19/669.24	v 1607
669.19/669.24	v 1608
669.19/669.24	v 1609
669.19/669.24	v 1611
669.19/669.24	v 1612
669.19/669.24	v 1615
669.19/669.24	v 1617
669.19/669.24	v 1619
669.19/669.24	v 1620
669.19/669.24	v 1622
669.19/669.24	v 1623
669.19/669.24	v 1624
669.19/669.24	v 1628
669.19/669.24	v 1630
669.19/669.24	v 1633
669.19/669.24	v 1636
669.19/669.24	v 1637
669.19/669.24	v 1638
669.19/669.24	v 1639
669.19/669.24	v 1641
669.19/669.24	v 1642
669.19/669.24	v 1643
669.19/669.24	v 1645
669.19/669.24	v 1648
669.19/669.24	v 1650
669.19/669.24	v 1653
669.19/669.24	v 1655
669.19/669.24	v 1660
669.19/669.24	v 1666
669.19/669.24	v 1667
669.19/669.24	v 1668
669.19/669.24	v 1669
669.19/669.24	v 1670
669.19/669.24	v 1671
669.19/669.24	v 1672
669.19/669.24	v 1674
669.19/669.24	v 1675
669.19/669.24	v 1676
669.19/669.24	v 1677
669.19/669.24	v 1678
669.19/669.24	v 1679
669.19/669.24	v 1680
669.19/669.24	v 1681
669.19/669.24	v 1683
669.19/669.24	v 1687
669.19/669.24	v 1688
669.19/669.24	v 1689
669.19/669.24	v 1691
669.19/669.24	v 1692
669.19/669.24	v 1694
669.19/669.24	v 1697
669.19/669.24	v 1698
669.19/669.24	v 1706
669.19/669.24	v 1707
669.19/669.24	v 1709
669.19/669.24	v 1710
669.19/669.24	v 1711
669.19/669.24	v 1712
669.19/669.24	v 1713
669.19/669.24	v 1714
669.19/669.24	v 1718
669.19/669.24	v 1719
669.19/669.24	v 1720
669.19/669.24	v 1721
669.19/669.24	v 1723
669.19/669.24	v 1725
669.19/669.24	v 1726
669.19/669.24	v 1728
669.19/669.24	v 1732
669.19/669.24	v 1735
669.19/669.24	v 1737
669.19/669.24	v 1738
669.19/669.24	v 1739
669.19/669.24	v 1741
669.19/669.24	v 1743
669.19/669.24	v 1748
669.19/669.24	v 1750
669.19/669.24	v 1755
669.19/669.24	v 1758
669.19/669.24	v 1759
669.19/669.24	v 1760
669.19/669.24	v 1761
669.19/669.24	v 1763
669.19/669.24	v 1764
669.19/669.24	v 1766
669.19/669.24	v 1767
669.19/669.24	v 1769
669.19/669.24	v 1770
669.19/669.24	v 1775
669.19/669.24	v 1777
669.19/669.24	v 1779
669.19/669.24	v 1780
669.19/669.24	v 1781
669.19/669.24	v 1784
669.19/669.24	v 1785
669.19/669.24	v 1786
669.19/669.24	v 1787
669.19/669.24	v 1788
669.19/669.24	v 1789
669.19/669.24	v 1793
669.19/669.24	v 1795
669.19/669.24	v 1796
669.19/669.24	v 1798
669.19/669.24	v 1799
669.19/669.24	v 1801
669.19/669.24	v 1802
669.19/669.24	v 1803
669.19/669.24	v 1805
669.19/669.24	v 1807
669.19/669.24	v 1808
669.19/669.24	v 1809
669.19/669.24	v 1810
669.19/669.24	v 1811
669.19/669.24	v 1813
669.19/669.24	v 1816
669.19/669.24	v 1817
669.19/669.24	v 1819
669.19/669.24	v 1821
669.19/669.24	v 1823
669.19/669.24	v 1825
669.19/669.24	v 1827
669.19/669.24	v 1828
669.19/669.24	v 1830
669.19/669.24	v 1831
669.19/669.24	v 1832
669.19/669.24	v 1836
669.19/669.24	v 1839
669.19/669.24	v 1840
669.19/669.24	v 1843
669.19/669.24	v 1844
669.19/669.24	v 1848
669.19/669.24	v 1850
669.19/669.24	v 1852
669.19/669.24	v 1853
669.19/669.24	v 1854
669.19/669.24	v 1856
669.19/669.24	v 1857
669.19/669.24	v 1858
669.19/669.24	v 1862
669.19/669.24	v 1863
669.19/669.24	v 1864
669.19/669.24	v 1865
669.19/669.24	v 1866
669.19/669.24	v 1867
669.19/669.24	v 1870
669.19/669.24	v 1871
669.19/669.24	v 1874
669.19/669.24	v 1876
669.19/669.24	v 1877
669.19/669.24	v 1881
669.19/669.24	v 1883
669.19/669.24	v 1884
669.19/669.24	v 1886
669.19/669.24	v 1889
669.19/669.24	v 1893
669.19/669.24	v 1894
669.19/669.24	v 1895
669.19/669.24	v 1896
669.19/669.24	v 1898
669.19/669.24	v 1900
669.19/669.24	v 1901
669.19/669.24	v 1905
669.19/669.24	v 1906
669.19/669.24	v 1907
669.19/669.24	v 1908
669.19/669.24	v 1910
669.19/669.24	v 1911
669.19/669.24	v 1916
669.19/669.24	v 1919
669.19/669.24	v 1921
669.19/669.24	v 1923
669.19/669.24	v 1924
669.19/669.24	v 1926
669.19/669.24	v 1927
669.19/669.24	v 1929
669.19/669.24	v 1930
669.19/669.24	v 1931
669.19/669.24	v 1933
669.19/669.24	v 1934
669.19/669.24	v 1935
669.19/669.24	v 1936
669.19/669.24	v 1937
669.19/669.24	v 1939
669.19/669.24	v 1940
669.19/669.24	v 1941
669.19/669.24	v 1942
669.19/669.24	v 1943
669.19/669.24	v 1944
669.19/669.24	v 1951
669.19/669.24	v 1952
669.19/669.24	v 1953
669.19/669.24	v 1955
669.19/669.24	v 1957
669.19/669.24	v 1958
669.19/669.24	v 1962
669.19/669.24	v 1965
669.19/669.24	v 1966
669.19/669.24	v 1974
669.19/669.24	v 1977
669.19/669.24	v 1978
669.19/669.24	v 1979
669.19/669.24	v 1982
669.19/669.24	v 1983
669.19/669.24	v 1984
669.19/669.24	v 1987
669.19/669.24	v 1988
669.19/669.24	v 1989
669.19/669.24	v 1993
669.19/669.24	v 1994
669.19/669.24	v 1995
669.19/669.24	v 1996
669.19/669.24	v 1998
669.19/669.24	v 2001
669.19/669.24	v 2004
669.19/669.24	v 2006
669.19/669.24	v 2008
669.19/669.24	v 2012
669.19/669.24	v 2016
669.19/669.24	v 2017
669.19/669.24	v 2018
669.19/669.24	v 2020
669.19/669.24	v 2023
669.19/669.24	v 2024
669.19/669.24	v 2025
669.19/669.24	v 2027
669.19/669.24	v 2028
669.19/669.24	v 2038
669.19/669.24	v 2041
669.19/669.24	v 2043
669.19/669.24	v 2044
669.19/669.24	v 2045
669.19/669.24	v 2046
669.19/669.24	v 2048
669.19/669.24	v 2051
669.19/669.24	v 2054
669.19/669.24	v 2055
669.19/669.24	v 2058
669.19/669.24	v 2059
669.19/669.24	v 2062
669.19/669.24	v 2063
669.19/669.24	v 2064
669.19/669.24	v 2069
669.19/669.24	v 2070
669.19/669.24	v 2071
669.19/669.24	v 2072
669.19/669.24	v 2074
669.19/669.24	v 2076
669.19/669.24	v 2080
669.19/669.24	v 2081
669.19/669.24	v 2082
669.19/669.24	v 2083
669.19/669.24	v 2084
669.19/669.24	v 2086
669.19/669.24	v 2087
669.19/669.24	v 2088
669.19/669.24	v 2093
669.19/669.24	v 2094
669.19/669.24	v 2097
669.19/669.24	v 2098
669.19/669.24	v 2100
669.19/669.24	v 2103
669.19/669.24	v 2104
669.19/669.24	v 2106
669.19/669.24	v 2107
669.19/669.24	v 2108
669.19/669.24	v 2109
669.19/669.24	v 2110
669.19/669.24	v 2111
669.19/669.24	v 2112
669.19/669.24	v 2114
669.19/669.24	v 2116
669.19/669.24	v 2117
669.19/669.24	v 2118
669.19/669.24	v 2119
669.19/669.24	v 2120
669.19/669.24	v 2123
669.19/669.24	v 2125
669.19/669.24	v 2126
669.19/669.24	v 2127
669.19/669.24	v 2128
669.19/669.24	v 2131
669.19/669.24	v 2132
669.19/669.24	v 2136
669.19/669.24	v 2137
669.19/669.24	v 2138
669.19/669.24	v 2139
669.19/669.24	v 2140
669.19/669.24	v 2141
669.19/669.24	v 2144
669.19/669.24	v 2145
669.19/669.24	v 2146
669.19/669.24	v 2148
669.19/669.24	v 2150
669.19/669.24	v 2151
669.19/669.24	v 2153
669.19/669.24	v 2154
669.19/669.24	v 2156
669.19/669.24	v 2157
669.19/669.24	v 2158
669.19/669.24	v 2159
669.19/669.24	v 2161
669.19/669.24	v 2163
669.19/669.24	v 2164
669.19/669.24	v 2166
669.19/669.24	v 2169
669.19/669.24	v 2170
669.19/669.24	v 2173
669.19/669.24	v 2174
669.19/669.24	v 2176
669.19/669.24	v 2178
669.19/669.24	v 2179
669.19/669.24	v 2184
669.19/669.24	v 2185
669.19/669.24	v 2187
669.19/669.24	v 2188
669.19/669.24	v 2189
669.19/669.24	v 2191
669.19/669.24	v 2194
669.19/669.24	v 2196
669.19/669.24	v 2197
669.19/669.24	v 2200
669.19/669.24	v 2201
669.19/669.24	v 2202
669.19/669.24	v 2204
669.19/669.24	v 2208
669.19/669.24	v 2213
669.19/669.24	v 2215
669.19/669.24	v 2216
669.19/669.24	v 2217
669.19/669.24	v 2219
669.19/669.24	v 2221
669.19/669.24	v 2222
669.19/669.24	v 2224
669.19/669.24	v 2225
669.19/669.24	v 2226
669.19/669.24	v 2227
669.19/669.24	v 2228
669.19/669.24	v 2229
669.19/669.24	v 2231
669.19/669.24	v 2233
669.19/669.24	v 2234
669.19/669.24	v 2235
669.19/669.24	v 2236
669.19/669.24	v 2238
669.19/669.24	v 2240
669.19/669.24	v 2241
669.19/669.24	v 2243
669.19/669.24	v 2248
669.19/669.24	v 2249
669.19/669.24	v 2253
669.19/669.24	v 2256
669.19/669.24	v 2259
669.19/669.24	v 2260
669.19/669.24	v 2264
669.19/669.24	v 2265
669.19/669.24	v 2266
669.19/669.24	v 2268
669.19/669.24	v 2272
669.19/669.24	v 2273
669.19/669.24	v 2274
669.19/669.24	v 2276
669.19/669.24	v 2279
669.19/669.24	v 2280
669.19/669.24	v 2282
669.19/669.24	v 2284
669.19/669.24	v 2288
669.19/669.24	v 2289
669.19/669.24	v 2290
669.19/669.24	v 2291
669.19/669.24	v 2293
669.19/669.24	v 2295
669.19/669.24	v 2296
669.19/669.24	v 2297
669.19/669.24	v 2299
669.19/669.24	v 2301
669.19/669.24	v 2304
669.19/669.24	v 2305
669.19/669.24	v 2308
669.19/669.24	v 2309
669.19/669.24	v 2311
669.19/669.24	v 2313
669.19/669.24	v 2315
669.19/669.24	v 2316
669.19/669.24	v 2319
669.19/669.24	v 2321
669.19/669.24	v 2322
669.19/669.24	v 2325
669.19/669.24	v 2327
669.19/669.24	v 2331
669.19/669.24	v 2333
669.19/669.24	v 2335
669.19/669.24	v 2336
669.19/669.24	v 2338
669.19/669.24	v 2340
669.19/669.24	v 2341
669.19/669.24	v 2342
669.19/669.24	v 2343
669.19/669.24	v 2344
669.19/669.24	v 2345
669.19/669.24	v 2347
669.19/669.24	v 2349
669.19/669.24	v 2352
669.19/669.24	v 2356
669.19/669.24	v 2357
669.19/669.24	v 2359
669.19/669.24	v 2360
669.19/669.24	v 2362
669.19/669.24	v 2364
669.19/669.24	v 2367
669.19/669.24	v 2368
669.19/669.24	v 2371
669.19/669.24	v 2372
669.19/669.24	v 2373
669.19/669.24	v 2376
669.19/669.24	v 2378
669.19/669.24	v 2380
669.19/669.24	v 2381
669.19/669.24	v 2384
669.19/669.24	v 2386
669.19/669.24	v 2389
669.19/669.24	v 2391
669.19/669.24	v 2395
669.19/669.24	v 2398
669.19/669.24	v 2399
669.19/669.24	v 2401
669.19/669.24	v 2402
669.19/669.24	v 2403
669.19/669.24	v 2404
669.19/669.24	v 2406
669.19/669.24	v 2407
669.19/669.24	v 2408
669.19/669.24	v 2409
669.19/669.24	v 2411
669.19/669.24	v 2412
669.19/669.24	v 2413
669.19/669.24	v 2414
669.19/669.24	v 2415
669.19/669.24	v 2416
669.19/669.24	v 2425
669.19/669.24	v 2426
669.19/669.24	v 2427
669.19/669.24	v 2429
669.19/669.24	v 2430
669.19/669.24	v 2431
669.19/669.24	v 2432
669.19/669.24	v 2433
669.19/669.24	v 2434
669.19/669.24	v 2435
669.19/669.24	v 2437
669.19/669.24	v 2442
669.19/669.24	v 2444
669.19/669.24	v 2451
669.19/669.24	v 2453
669.19/669.24	v 2456
669.19/669.24	v 2457
669.19/669.24	v 2458
669.19/669.24	v 2460
669.19/669.24	v 2463
669.19/669.24	v 2467
669.19/669.24	v 2471
669.19/669.24	v 2474
669.19/669.24	v 2475
669.19/669.24	v 2476
669.19/669.24	v 2477
669.19/669.24	v 2479
669.19/669.24	v 2481
669.19/669.24	v 2483
669.19/669.24	v 2485
669.19/669.24	v 2487
669.19/669.24	v 2489
669.19/669.24	v 2492
669.19/669.24	v 2493
669.19/669.24	v 2494
669.19/669.24	v 2496
669.19/669.24	v 2497
669.19/669.24	v 2500
669.19/669.24	v 2503
669.19/669.24	v 2505
669.19/669.24	v 2509
669.19/669.24	v 2511
669.19/669.24	v 2513
669.19/669.24	v 2514
669.19/669.24	v 2516
669.19/669.24	v 2517
669.19/669.24	v 2519
669.19/669.24	v 2520
669.19/669.24	v 2523
669.19/669.24	v 2524
669.19/669.24	v 2525
669.19/669.24	v 2526
669.19/669.24	v 2528
669.19/669.24	v 2530
669.19/669.24	v 2533
669.19/669.24	v 2535
669.19/669.24	v 2536
669.19/669.24	v 2538
669.19/669.24	v 2540
669.19/669.24	v 2545
669.19/669.24	v 2549
669.19/669.24	v 2551
669.19/669.24	v 2558
669.19/669.24	v 2559
669.19/669.24	v 2560
669.19/669.24	v 2563
669.19/669.24	v 2564
669.19/669.24	v 2565
669.19/669.24	v 2566
669.19/669.24	v 2569
669.19/669.24	v 2574
669.19/669.24	v 2576
669.19/669.24	v 2578
669.19/669.24	v 2579
669.19/669.24	v 2581
669.19/669.24	v 2583
669.19/669.24	v 2584
669.19/669.24	v 2585
669.19/669.24	v 2586
669.19/669.24	v 2587
669.19/669.24	v 2589
669.19/669.24	v 2590
669.19/669.24	v 2592
669.19/669.24	v 2593
669.19/669.24	v 2594
669.19/669.24	v 2595
669.19/669.24	v 2596
669.19/669.24	v 2597
669.19/669.24	v 2600
669.19/669.24	v 2601
669.19/669.24	v 2602
669.19/669.24	v 2604
669.19/669.24	v 2608
669.19/669.24	v 2609
669.19/669.24	v 2614
669.19/669.24	v 2615
669.19/669.24	v 2616
669.19/669.24	v 2618
669.19/669.24	v 2619
669.19/669.24	v 2620
669.19/669.24	v 2621
669.19/669.24	v 2622
669.19/669.24	v 2624
669.19/669.24	v 2625
669.19/669.24	v 2626
669.19/669.24	v 2628
669.19/669.24	v 2629
669.19/669.24	v 2631
669.19/669.24	v 2632
669.19/669.24	v 2633
669.19/669.24	v 2634
669.19/669.24	v 2635
669.19/669.24	v 2637
669.19/669.24	v 2638
669.19/669.24	v 2639
669.19/669.24	v 2640
669.19/669.24	v 2642
669.19/669.24	v 2646
669.19/669.24	v 2648
669.19/669.24	v 2650
669.19/669.24	v 2653
669.19/669.24	v 2654
669.19/669.24	v 2655
669.19/669.24	v 2660
669.19/669.24	v 2664
669.19/669.24	v 2668
669.19/669.24	v 2669
669.19/669.24	v 2670
669.19/669.24	v 2671
669.19/669.24	v 2673
669.19/669.24	v 2674
669.19/669.24	v 2676
669.19/669.24	v 2677
669.19/669.24	v 2679
669.19/669.24	v 2680
669.19/669.24	v 2681
669.19/669.24	v 2685
669.19/669.24	v 2686
669.19/669.24	v 2687
669.19/669.24	v 2689
669.19/669.24	v 2691
669.19/669.24	v 2695
669.19/669.24	v 2696
669.19/669.24	v 2697
669.19/669.24	v 2699
669.19/669.24	v 2700
669.19/669.24	v 2701
669.19/669.24	v 2703
669.19/669.24	v 2704
669.19/669.24	v 2705
669.19/669.24	v 2706
669.19/669.24	v 2707
669.19/669.24	v 2708
669.19/669.24	v 2709
669.19/669.24	v 2711
669.19/669.24	v 2712
669.19/669.24	v 2713
669.19/669.24	v 2714
669.19/669.24	v 2715
669.19/669.24	v 2716
669.19/669.24	v 2718
669.19/669.24	v 2719
669.19/669.24	v 2720
669.19/669.24	v 2721
669.19/669.24	v 2722
669.19/669.24	v 2723
669.19/669.24	v 2725
669.19/669.24	v 2726
669.19/669.24	v 2727
669.19/669.24	v 2729
669.19/669.24	v 2731
669.19/669.24	v 2734
669.19/669.24	v 2736
669.19/669.24	v 2737
669.19/669.24	v 2739
669.19/669.24	v 2740
669.19/669.24	v 2746
669.19/669.24	v 2748
669.19/669.24	v 2750
669.19/669.24	v 2751
669.19/669.24	v 2752
669.19/669.24	v 2753
669.19/669.24	v 2754
669.19/669.24	v 2755
669.19/669.24	v 2757
669.19/669.24	v 2758
669.19/669.24	v 2759
669.19/669.24	v 2763
669.19/669.24	v 2767
669.19/669.24	v 2768
669.19/669.24	v 2769
669.19/669.24	v 2770
669.19/669.24	v 2771
669.19/669.24	v 2772
669.19/669.24	v 2773
669.19/669.24	v 2774
669.19/669.24	v 2776
669.19/669.24	v 2777
669.19/669.24	v 2778
669.19/669.24	v 2781
669.19/669.24	v 2782
669.19/669.24	v 2784
669.19/669.24	v 2786
669.19/669.24	v 2787
669.19/669.24	v 2788
669.19/669.24	v 2791
669.19/669.24	v 2792
669.19/669.24	v 2793
669.19/669.24	v 2794
669.19/669.24	v 2796
669.19/669.24	v 2797
669.19/669.24	v 2798
669.19/669.24	v 2799
669.19/669.24	v 2800
669.19/669.24	v 2801
669.19/669.24	v 2803
669.19/669.24	v 2804
669.19/669.24	v 2809
669.19/669.24	v 2812
669.19/669.24	v 2813
669.19/669.24	v 2817
669.19/669.24	v 2819
669.19/669.24	v 2820
669.19/669.24	v 2823
669.19/669.24	v 2828
669.19/669.24	v 2829
669.19/669.24	v 2830
669.19/669.24	v 2831
669.19/669.24	v 2833
669.19/669.24	v 2834
669.19/669.24	v 2836
669.19/669.24	v 2840
669.19/669.24	v 2844
669.19/669.24	v 2845
669.19/669.24	v 2849
669.19/669.24	v 2853
669.19/669.24	v 2857
669.19/669.24	v 2858
669.19/669.24	v 2862
669.19/669.24	v 2864
669.19/669.24	v 2869
669.19/669.24	v 2870
669.19/669.24	v 2871
669.19/669.24	v 2872
669.19/669.24	v 2875
669.19/669.24	v 2878
669.19/669.24	v 2879
669.19/669.25	v 2880
669.19/669.25	v 2883
669.19/669.25	v 2884
669.19/669.25	v 2885
669.19/669.25	v 2886
669.19/669.25	v 2887
669.19/669.25	v 2888
669.19/669.25	v 2889
669.19/669.25	v 2890
669.19/669.25	v 2891
669.19/669.25	v 2893
669.19/669.25	v 2896
669.19/669.25	v 2897
669.19/669.25	v 2899
669.19/669.25	v 2900
669.19/669.25	v 2901
669.19/669.25	v 2902
669.19/669.25	v 2904
669.19/669.25	v 2905
669.19/669.25	v 2907
669.19/669.25	v 2910
669.19/669.25	v 2914
669.19/669.25	v 2915
669.19/669.25	v 2917
669.19/669.25	v 2919
669.19/669.25	v 2920
669.19/669.25	v 2921
669.19/669.25	v 2927
669.19/669.25	v 2931
669.19/669.25	v 2934
669.19/669.25	v 2937
669.19/669.25	v 2938
669.19/669.25	v 2942
669.19/669.25	v 2944
669.19/669.25	v 2945
669.19/669.25	v 2946
669.19/669.25	v 2947
669.19/669.25	v 2949
669.19/669.25	v 2952
669.19/669.25	v 2954
669.19/669.25	v 2956
669.19/669.25	v 2958
669.19/669.25	v 2961
669.19/669.25	v 2962
669.19/669.25	v 2963
669.19/669.25	v 2964
669.19/669.25	v 2965
669.19/669.25	v 2968
669.19/669.25	v 2971
669.19/669.25	v 2972
669.19/669.25	v 2975
669.19/669.25	v 2987
669.19/669.25	v 2989
669.19/669.25	v 2990
669.19/669.25	v 2991
669.19/669.25	v 2994
669.19/669.25	v 2996
669.19/669.25	v 2998
669.19/669.25	v 2999
669.19/669.25	v 3001
669.19/669.25	v 3007
669.19/669.25	v 3008
669.19/669.25	v 3009
669.19/669.25	v 3011
669.19/669.25	v 3012
669.19/669.25	v 3014
669.19/669.25	v 3016
669.19/669.25	v 3019
669.19/669.25	v 3021
669.19/669.25	v 3024
669.19/669.25	v 3028
669.19/669.25	v 3039
669.19/669.25	v 3040
669.19/669.25	v 3041
669.19/669.25	v 3043
669.19/669.25	v 3045
669.19/669.25	v 3046
669.19/669.25	v 3047
669.19/669.25	v 3048
669.19/669.25	v 3050
669.19/669.25	v 3052
669.19/669.25	v 3053
669.19/669.25	v 3055
669.19/669.25	v 3058
669.19/669.25	v 3060
669.19/669.25	v 3062
669.19/669.25	v 3069
669.19/669.25	v 3071
669.19/669.25	v 3074
669.19/669.25	v 3076
669.19/669.25	v 3078
669.19/669.25	v 3081
669.19/669.25	v 3083
669.19/669.25	v 3085
669.19/669.25	v 3086
669.19/669.25	v 3088
669.19/669.25	v 3089
669.19/669.25	v 3097
669.19/669.25	v 3098
669.19/669.25	v 3100
669.19/669.25	v 3101
669.19/669.25	v 3102
669.19/669.25	v 3103
669.19/669.25	v 3104
669.19/669.25	v 3112
669.19/669.25	v 3114
669.19/669.25	v 3116
669.19/669.25	v 3118
669.19/669.25	v 3121
669.19/669.25	v 3122
669.19/669.25	v 3124
669.19/669.25	v 3125
669.19/669.25	v 3127
669.19/669.25	v 3131
669.19/669.25	v 3134
669.19/669.25	v 3135
669.19/669.25	v 3136
669.19/669.25	v 3138
669.19/669.25	v 3141
669.19/669.25	v 3144
669.19/669.25	v 3145
669.19/669.25	v 3147
669.19/669.25	v 3150
669.19/669.25	v 3153
669.19/669.25	v 3155
669.19/669.25	v 3156
669.19/669.25	v 3157
669.19/669.25	v 3158
669.19/669.25	v 3159
669.19/669.25	v 3160
669.19/669.25	v 3161
669.19/669.25	v 3163
669.19/669.25	v 3164
669.19/669.25	v 3165
669.19/669.25	v 3166
669.19/669.25	v 3168
669.19/669.25	v 3170
669.19/669.25	v 3171
669.19/669.25	v 3172
669.19/669.25	v 3173
669.19/669.25	v 3174
669.19/669.25	v 3178
669.19/669.25	v 3179
669.19/669.25	v 3180
669.19/669.25	v 3183
669.19/669.25	v 3184
669.19/669.25	v 3185
669.19/669.25	v 3186
669.19/669.25	v 3190
669.19/669.25	v 3191
669.19/669.25	v 3193
669.19/669.25	v 3194
669.19/669.25	v 3195
669.19/669.25	v 3196
669.19/669.25	v 3201
669.19/669.25	v 3203
669.19/669.25	v 3204
669.19/669.25	v 3206
669.19/669.25	v 3207
669.19/669.25	v 3209
669.19/669.25	v 3210
669.19/669.25	v 3211
669.19/669.25	v 3213
669.19/669.25	v 3214
669.19/669.25	v 3218
669.19/669.25	v 3219
669.19/669.25	v 3220
669.19/669.25	v 3222
669.19/669.25	v 3223
669.19/669.25	v 3229
669.19/669.25	v 3230
669.19/669.25	v 3231
669.19/669.25	v 3232
669.19/669.25	v 3233
669.19/669.25	v 3234
669.19/669.25	v 3235
669.19/669.25	v 3237
669.19/669.25	v 3238
669.19/669.25	v 3243
669.19/669.25	v 3246
669.19/669.25	v 3248
669.19/669.25	v 3250
669.19/669.25	v 3252
669.19/669.25	v 3253
669.19/669.25	v 3255
669.19/669.25	v 3256
669.19/669.25	v 3257
669.19/669.25	v 3258
669.19/669.25	v 3259
669.19/669.25	v 3261
669.19/669.25	v 3264
669.19/669.25	v 3265
669.19/669.25	v 3266
669.19/669.25	v 3267
669.19/669.25	v 3269
669.19/669.25	v 3271
669.19/669.25	v 3272
669.19/669.25	v 3273
669.19/669.25	v 3275
669.19/669.25	v 3276
669.19/669.25	v 3278
669.19/669.25	v 3280
669.19/669.25	v 3283
669.19/669.25	v 3284
669.19/669.25	v 3288
669.19/669.25	v 3291
669.19/669.25	v 3292
669.19/669.25	v 3293
669.19/669.25	v 3295
669.19/669.25	v 3297
669.19/669.25	v 3299
669.19/669.25	v 3301
669.19/669.25	v 3303
669.19/669.25	v 3305
669.19/669.25	v 3306
669.19/669.25	v 3307
669.19/669.25	v 3309
669.19/669.25	v 3311
669.19/669.25	v 3314
669.19/669.25	v 3315
669.19/669.25	v 3319
669.19/669.25	v 3322
669.19/669.25	v 3323
669.19/669.25	v 3324
669.19/669.25	v 3325
669.19/669.25	v 3327
669.19/669.25	v 3328
669.19/669.25	v 3330
669.19/669.25	v 3331
669.19/669.25	v 3332
669.19/669.25	v 3333
669.19/669.25	v 3334
669.19/669.25	v 3337
669.19/669.25	v 3341
669.19/669.25	v 3342
669.19/669.25	v 3346
669.19/669.25	v 3348
669.19/669.25	v 3349
669.19/669.25	v 3350
669.19/669.25	v 3354
669.19/669.25	v 3355
669.19/669.25	v 3356
669.19/669.25	v 3358
669.19/669.25	v 3360
669.19/669.25	v 3363
669.19/669.25	v 3364
669.19/669.25	v 3365
669.19/669.25	v 3368
669.19/669.25	v 3369
669.19/669.25	v 3370
669.19/669.25	v 3371
669.19/669.25	v 3372
669.19/669.25	v 3373
669.19/669.25	v 3374
669.19/669.25	v 3376
669.19/669.25	v 3377
669.19/669.25	v 3378
669.19/669.25	v 3379
669.19/669.25	v 3380
669.19/669.25	v 3382
669.19/669.25	v 3383
669.19/669.25	v 3384
669.19/669.25	v 3385
669.19/669.25	v 3388
669.19/669.25	v 3393
669.19/669.25	v 3395
669.19/669.25	v 3396
669.19/669.25	v 3399
669.19/669.25	v 3400
669.19/669.25	v 3401
669.19/669.25	v 3404
669.19/669.25	v 3407
669.19/669.25	v 3410
669.19/669.25	v 3412
669.19/669.25	v 3414
669.19/669.25	v 3415
669.19/669.25	v 3416
669.19/669.25	v 3418
669.19/669.25	v 3419
669.19/669.25	v 3422
669.19/669.25	v 3428
669.19/669.25	v 3438
669.19/669.25	v 3439
669.19/669.25	v 3440
669.19/669.25	v 3441
669.19/669.25	v 3443
669.19/669.25	v 3444
669.19/669.25	v 3445
669.19/669.25	v 3449
669.19/669.25	v 3452
669.19/669.25	v 3453
669.19/669.25	v 3455
669.19/669.25	v 3456
669.19/669.25	v 3457
669.19/669.25	v 3458
669.19/669.25	v 3460
669.19/669.25	v 3462
669.19/669.25	v 3466
669.19/669.25	v 3467
669.19/669.25	v 3468
669.19/669.25	v 3469
669.19/669.25	v 3471
669.19/669.25	v 3472
669.19/669.25	v 3477
669.19/669.25	v 3478
669.19/669.25	v 3479
669.19/669.25	v 3480
669.19/669.25	v 3482
669.19/669.25	v 3484
669.19/669.25	v 3489
669.19/669.25	v 3491
669.19/669.25	v 3493
669.19/669.25	v 3496
669.19/669.25	v 3497
669.19/669.25	v 3498
669.19/669.25	v 3499
669.19/669.25	v 3500
669.19/669.25	v 3502
669.19/669.25	v 3503
669.19/669.25	v 3504
669.19/669.25	v 3505
669.19/669.25	v 3508
669.19/669.25	v 3510
669.19/669.25	v 3511
669.19/669.25	v 3512
669.19/669.25	v 3516
669.19/669.25	v 3520
669.19/669.25	v 3521
669.19/669.25	v 3523
669.19/669.25	v 3524
669.19/669.25	v 3530
669.19/669.25	v 3531
669.19/669.25	v 3532
669.19/669.25	v 3533
669.19/669.25	v 3535
669.19/669.25	v 3536
669.19/669.25	v 3537
669.19/669.25	v 3538
669.19/669.25	v 3540
669.19/669.25	v 3541
669.19/669.25	v 3545
669.19/669.25	v 3546
669.19/669.25	v 3547
669.19/669.25	v 3548
669.19/669.25	v 3549
669.19/669.25	v 3551
669.19/669.25	v 3552
669.19/669.25	v 3553
669.19/669.25	v 3554
669.19/669.25	v 3558
669.19/669.25	v 3559
669.19/669.25	v 3561
669.19/669.25	v 3562
669.19/669.25	v 3566
669.19/669.25	v 3567
669.19/669.25	v 3568
669.19/669.25	v 3572
669.19/669.25	v 3573
669.19/669.25	v 3575
669.19/669.25	v 3576
669.19/669.25	v 3577
669.19/669.25	v 3580
669.19/669.25	v 3581
669.19/669.25	v 3582
669.19/669.25	v 3583
669.19/669.25	v 3587
669.19/669.25	v 3589
669.19/669.25	v 3593
669.19/669.25	v 3597
669.19/669.25	v 3598
669.19/669.25	v 3599
669.19/669.25	v 3600
669.19/669.25	v 3602
669.19/669.25	v 3603
669.19/669.25	v 3604
669.19/669.25	v 3605
669.19/669.25	v 3607
669.19/669.25	v 3617
669.19/669.25	v 3620
669.19/669.25	v 3621
669.19/669.25	v 3624
669.19/669.25	v 3626
669.19/669.25	v 3629
669.19/669.25	v 3631
669.19/669.25	v 3632
669.19/669.25	v 3633
669.19/669.25	v 3636
669.19/669.25	v 3637
669.19/669.25	v 3638
669.19/669.25	v 3639
669.19/669.25	v 3640
669.19/669.25	v 3641
669.19/669.25	v 3645
669.19/669.25	v 3647
669.19/669.25	v 3648
669.19/669.25	v 3654
669.19/669.25	v 3655
669.19/669.25	v 3657
669.19/669.25	v 3658
669.19/669.25	v 3660
669.19/669.25	v 3661
669.19/669.25	v 3662
669.19/669.25	v 3664
669.19/669.25	v 3665
669.19/669.25	v 3666
669.19/669.25	v 3667
669.19/669.25	v 3670
669.19/669.25	v 3672
669.19/669.25	v 3674
669.19/669.25	v 0
669.19/669.25	c [picomus] computed 1959 irredundant clauses 53%
669.19/669.25	c [picomus] 39 reductions in 669.2 seconds

Verifier Data 

OK	1959

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493770-1307804317/watcher-3493770-1307804317 -o /tmp/evaluation-result-3493770-1307804317/solver-3493770-1307804317 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493770-1307804317.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.97 3.97 3.54 2/185 23846
/proc/meminfo: memFree=30719680/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=1052 CPUtime=0 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 219 0 0 0 0 0 0 0 25 0 1 0 348041075 1077248 173 33554432000 134512640 135072097 4287660672 18446744073709551615 134700015 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 263 173 68 137 0 124 0

[startup+0.088435 s]
/proc/loadavg: 3.97 3.97 3.54 2/185 23846
/proc/meminfo: memFree=30719680/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=1712 CPUtime=0.08 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 364 0 0 0 8 0 0 0 25 0 1 0 348041075 1753088 318 33554432000 134512640 135072097 4287660672 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 428 318 68 137 0 289 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1712

[startup+0.100439 s]
/proc/loadavg: 3.97 3.97 3.54 2/185 23846
/proc/meminfo: memFree=30719680/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=1712 CPUtime=0.09 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 383 0 0 0 9 0 0 0 25 0 1 0 348041075 1753088 337 33554432000 134512640 135072097 4287660672 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 428 337 68 137 0 289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1712

[startup+0.300407 s]
/proc/loadavg: 3.97 3.97 3.54 2/185 23846
/proc/meminfo: memFree=30719680/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=3164 CPUtime=0.29 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 711 0 0 0 29 0 0 0 25 0 1 0 348041075 3239936 665 33554432000 134512640 135072097 4287660672 18446744073709551615 134543817 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 791 665 69 137 0 652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3164

[startup+0.700336 s]
/proc/loadavg: 3.97 3.97 3.54 2/185 23846
/proc/meminfo: memFree=30719680/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=5672 CPUtime=0.69 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 1330 0 0 0 69 0 0 0 25 0 1 0 348041075 5808128 1284 33554432000 134512640 135072097 4287660672 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 1418 1284 69 137 0 1279 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5672

[startup+1.50017 s]
/proc/loadavg: 3.97 3.97 3.54 3/183 23871
/proc/meminfo: memFree=30743388/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=10416 CPUtime=1.49 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 2513 0 0 0 149 0 0 0 25 0 1 0 348041075 10665984 2467 33554432000 134512640 135072097 4287660672 18446744073709551615 134543468 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 2604 2467 69 137 0 2465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10416

[startup+3.10089 s]
/proc/loadavg: 3.97 3.97 3.54 5/190 23961
/proc/meminfo: memFree=30760520/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=4996 CPUtime=3.09 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 3960 0 0 0 309 0 0 0 25 0 1 0 348041075 5115904 1168 33554432000 134512640 135072097 4287660672 18446744073709551615 134543902 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 1249 1168 76 137 0 1110 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4996

[startup+6.30033 s]
/proc/loadavg: 3.97 3.97 3.54 5/190 23961
/proc/meminfo: memFree=30744984/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=26068 CPUtime=6.29 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 9171 0 0 0 627 2 0 0 25 0 1 0 348041075 26693632 6379 33554432000 134512640 135072097 4287660672 18446744073709551615 134523835 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 6517 6379 76 137 0 6378 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26068

[startup+12.7002 s]
/proc/loadavg: 3.97 3.97 3.55 5/190 23961
/proc/meminfo: memFree=30739792/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=23480 CPUtime=12.69 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 13159 0 0 0 1266 3 0 0 25 0 1 0 348041075 24043520 5789 33554432000 134512640 135072097 4287660672 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 5870 5789 76 137 0 5731 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23480

[startup+25.5009 s]
/proc/loadavg: 3.98 3.97 3.55 5/190 24075
/proc/meminfo: memFree=30735304/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=16624 CPUtime=25.5 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 29972 0 0 0 2543 7 0 0 25 0 1 0 348041075 17022976 3944 33554432000 134512640 135072097 4287660672 18446744073709551615 134556405 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 4156 3944 76 137 0 4017 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 16624

[startup+51.1004 s]
/proc/loadavg: 3.98 3.97 3.56 5/190 24076
/proc/meminfo: memFree=30730824/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=9392 CPUtime=51.09 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 40723 0 0 0 5101 8 0 0 25 0 1 0 348041075 9617408 2267 33554432000 134512640 135072097 4287660672 18446744073709551615 134517979 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 2348 2267 76 137 0 2209 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9392

[startup+102.306 s]
/proc/loadavg: 3.99 3.97 3.58 5/190 24077
/proc/meminfo: memFree=30611980/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=19324 CPUtime=102.29 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 43468 0 0 0 10221 8 0 0 25 0 1 0 348041075 19787776 4751 33554432000 134512640 135072097 4287660672 18446744073709551615 134559150 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 4831 4751 77 137 0 4692 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 19324

[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.60 5/190 24088
/proc/meminfo: memFree=30481444/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=25116 CPUtime=162.29 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 46180 0 0 0 16220 9 0 0 25 0 1 0 348041075 25718784 6199 33554432000 134512640 135072097 4287660672 18446744073709551615 134539704 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 6279 6199 77 137 0 6140 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 25116

[startup+222.3 s]
/proc/loadavg: 4.08 4.00 3.64 5/190 24090
/proc/meminfo: memFree=30457188/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=32680 CPUtime=222.29 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 48900 0 0 0 22220 9 0 0 25 0 1 0 348041075 33464320 8074 33554432000 134512640 135072097 4287660672 18446744073709551615 134557173 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 8170 8074 77 137 0 8031 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 32680

[startup+282.301 s]
/proc/loadavg: 4.03 4.00 3.66 5/190 24091
/proc/meminfo: memFree=30255132/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=282.3 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49299 0 0 0 28220 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134541072 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28308

[startup+342.301 s]
/proc/loadavg: 4.01 4.00 3.67 5/190 24093
/proc/meminfo: memFree=30228660/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=342.3 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49299 0 0 0 34220 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134541072 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 28308

[startup+402.3 s]
/proc/loadavg: 4.04 4.01 3.70 5/190 24094
/proc/meminfo: memFree=30032064/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=402.3 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 40220 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134540949 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28308

[startup+462.301 s]
/proc/loadavg: 4.01 4.01 3.71 5/190 24096
/proc/meminfo: memFree=29905280/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=462.29 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 46219 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134557173 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 28308

[startup+522.3 s]
/proc/loadavg: 4.04 4.02 3.73 5/190 24098
/proc/meminfo: memFree=29810244/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=522.29 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 52219 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134543735 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 28308

[startup+582.301 s]
/proc/loadavg: 4.01 4.01 3.75 5/190 24099
/proc/meminfo: memFree=29801760/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=582.29 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 58219 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134556750 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 28308

[startup+642.301 s]
/proc/loadavg: 4.00 4.01 3.76 5/190 24101
/proc/meminfo: memFree=29793644/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=642.3 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 64220 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134517981 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 28308

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

[startup+652.7 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 24101
/proc/meminfo: memFree=29761140/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=652.69 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 65259 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 652.69
Current children cumulated vsize (KiB) 28308

[startup+659.101 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 24101
/proc/meminfo: memFree=29761012/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=659.09 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 65899 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134556654 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 659.09
Current children cumulated vsize (KiB) 28308

[startup+665.507 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 24101
/proc/meminfo: memFree=29761876/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=665.5 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 66540 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134706017 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 665.5
Current children cumulated vsize (KiB) 28308

[startup+667.101 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 24101
/proc/meminfo: memFree=29761876/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=667.09 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 66699 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134543744 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 667.09
Current children cumulated vsize (KiB) 28308

[startup+667.901 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 24101
/proc/meminfo: memFree=29761872/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=667.89 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 66779 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134538824 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 667.89
Current children cumulated vsize (KiB) 28308

[startup+668.7 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 24101
/proc/meminfo: memFree=29761872/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=668.7 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 66860 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134556778 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 668.7
Current children cumulated vsize (KiB) 28308

[startup+669.1 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 24101
/proc/meminfo: memFree=29761872/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=669.09 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 66899 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134543644 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 669.09
Current children cumulated vsize (KiB) 28308

[startup+669.2 s]
/proc/loadavg: 4.00 4.00 3.76 5/190 24101
/proc/meminfo: memFree=29761872/32950928 swapFree=67054696/67111528
[pid=23846] ppid=23844 vsize=28308 CPUtime=669.19 cores=5,7
/proc/23846/stat : 23846 (picomus) R 23844 23846 23146 0 -1 4202496 49564 0 0 0 66909 10 0 0 25 0 1 0 348041075 28987392 6997 33554432000 134512640 135072097 4287660672 18446744073709551615 134556203 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23846/statm: 7077 6997 77 137 0 6938 0
Current children cumulated CPU time (s) 669.19
Current children cumulated vsize (KiB) 28308

Child status: 20
Real time (s): 669.25
CPU time (s): 669.244
CPU user time (s): 669.137
CPU system time (s): 0.106983
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 35432

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

runsolver used 1.01285 second user time and 2.6476 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-11 16:58:37
IDJOB=3493770
IDBENCH=84233
IDSOLVER=1974
FILE ID=node112/3493770-1307804317
RUNJOBID= node112-1307802514-23626
PBS_JOBID= 13551040
Free space on /tmp= 73968 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_5_5.shuffled-as.sat03-361.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493770-1307804317/watcher-3493770-1307804317 -o /tmp/evaluation-result-3493770-1307804317/solver-3493770-1307804317 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493770-1307804317.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= d545f1b275cb8b044c819f6765152511
RANDOM SEED=16853575

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5180.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30720472 kB
Buffers:        267752 kB
Cached:        1413512 kB
SwapCached:      10772 kB
Active:         850800 kB
Inactive:      1153528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30720472 kB
SwapTotal:    67111528 kB
SwapFree:     67054696 kB
Dirty:             816 kB
Writeback:           0 kB
AnonPages:      320436 kB
Mapped:           9716 kB
Slab:           160000 kB
PageTables:       5696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   577244 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74032 MiB
End job on node112 at 2011-06-11 17:09:46