Trace number 1776982

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
ManySAT 1.1 aimd 2/2009-03-20 (4 threads)UNSAT 310.42 77.9868

General information on the benchmark

Namegoldb-heqc-alu4mul.cnf
MD5SUM2d68b23bdbf6e7e2868e82c4f24dffc3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark301.22
Satisfiable
(Un)Satisfiability was proved
Number of variables4736
Number of clauses30465
Sum of the clauses size103040
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 27024
Number of clauses of size 314112
Number of clauses of size 40
Number of clauses of size 59328
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   30465   103040 |    9139       0        0     nan |  0.000 % |
0.00/0.06	c |         0 |   30392   102976 |      --       0       --      -- |     --   | -73/-64
0.00/0.06	c ==============================================================================
0.00/0.06	c Result  :   #vars: 4709   #clauses: 30392   #literals: 102976
0.00/0.06	c CPU time:   0.06 s
0.00/0.06	c ==============================================================================
310.11/77.98	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
310.11/77.98	c ============================[ Problem Statistics ]=============================
310.11/77.98	c |                                                                             |
310.11/77.98	c threadId              : 2
310.11/77.98	c restarts              : 17
310.11/77.98	c conflicts             : 192262         (621 /sec)
310.11/77.98	c decisions             : 240976         (0.71 % random) (778 /sec)
310.11/77.98	c propagations          : 102971215      (332337 /sec)
310.11/77.98	c conflict literals     : 8047470        (67.47 % deleted)
310.11/77.98	c Memory used           : 96.90 MB
310.11/77.98	c CPU time              : 309.84 s
310.11/77.98	
310.11/77.98	c --->m=4, e=8, aimd=2, HOME/11545_many.cnf	time: 77.46	conflicts: 192262       
310.11/77.98	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1776982-1243514787/watcher-1776982-1243514787 -o /tmp/evaluation-result-1776982-1243514787/solver-1776982-1243514787 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776982-1243514787.cnf aimd 2 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.31 4.36 4.35 3/99 11545
/proc/meminfo: memFree=3084640/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2412 CPUtime=0
/proc/11545/stat : 11545 (manysat.sh) R 11543 11545 19648 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1116143141 2469888 273 4294967295 134512640 135169312 3216195200 3216193676 3085649780 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/11545/statm: 603 273 231 161 0 42 0
[pid=11546] ppid=11545 vsize=1244 CPUtime=0
/proc/11546/stat : 11546 (SatElite) R 11545 11545 19648 0 -1 4202496 237 0 0 0 0 0 0 0 18 0 1 0 1116143141 1273856 174 4294967295 134512640 135034092 3220556384 3220552728 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11546/statm: 311 175 49 128 0 181 0

[startup+0.105623 s]
/proc/loadavg: 4.31 4.36 4.35 3/99 11545
/proc/meminfo: memFree=3084640/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2412 CPUtime=0
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116143141 2469888 273 4294967295 134512640 135169312 3216195200 3216193736 3085647598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/11545/statm: 603 273 231 161 0 42 0
[pid=11546] ppid=11545 vsize=4156 CPUtime=0.1
/proc/11546/stat : 11546 (SatElite) R 11545 11545 19648 0 -1 4202496 992 0 0 0 9 1 0 0 20 0 1 0 1116143141 4255744 874 4294967295 134512640 135034092 3220556384 3220551268 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11546/statm: 1039 874 68 128 0 909 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6568

[startup+0.205621 s]
/proc/loadavg: 4.31 4.36 4.35 3/99 11545
/proc/meminfo: memFree=3084640/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2416

[startup+0.305611 s]
/proc/loadavg: 4.31 4.36 4.35 3/99 11545
/proc/meminfo: memFree=3084640/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2416

[startup+0.705577 s]
/proc/loadavg: 4.31 4.36 4.35 3/99 11545
/proc/meminfo: memFree=3084640/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2416

[startup+1.50549 s]
/proc/loadavg: 4.44 4.39 4.36 6/104 11551
/proc/meminfo: memFree=3069788/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=43380 CPUtime=5.33
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 4204 0 0 0 526 7 0 0 16 0 4 0 1116143151 44421120 4136 4294967295 134512640 135305190 3220796112 3220794080 134547540 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 10845 4136 79 194 0 10649 0
[pid=11548/tid=11549] ppid=11545 vsize=43380 CPUtime=1.32
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 449 0 0 0 129 3 0 0 18 0 4 0 1116143157 44421120 4136 4294967295 134512640 135305190 3220796112 3085651080 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=43380 CPUtime=1.32
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 452 0 0 0 132 0 0 0 18 0 4 0 1116143157 44421120 4136 4294967295 134512640 135305190 3220796112 3077262144 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=43380 CPUtime=1.32
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 474 0 0 0 130 2 0 0 16 0 4 0 1116143157 44421120 4136 4294967295 134512640 135305190 3220796112 3068873920 134528307 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 45796

[startup+3.10535 s]
/proc/loadavg: 4.44 4.39 4.36 5/104 11551
/proc/meminfo: memFree=3066088/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=48216 CPUtime=11.72
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 5255 0 0 0 1164 8 0 0 16 0 4 0 1116143151 49373184 5187 4294967295 134512640 135305190 3220796112 3220794288 134528277 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 12054 5187 79 194 0 11858 0
[pid=11548/tid=11549] ppid=11545 vsize=48216 CPUtime=2.92
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 728 0 0 0 289 3 0 0 18 0 4 0 1116143157 49373184 5187 4294967295 134512640 135305190 3220796112 3085651008 134857151 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=48216 CPUtime=2.92
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 679 0 0 0 291 1 0 0 21 0 4 0 1116143157 49373184 5187 4294967295 134512640 135305190 3220796112 3077262144 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=48216 CPUtime=2.91
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 725 0 0 0 289 2 0 0 16 0 4 0 1116143157 49373184 5187 4294967295 134512640 135305190 3220796112 3068873920 134528329 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 50632

[startup+6.30504 s]
/proc/loadavg: 4.44 4.39 4.36 5/104 11552
/proc/meminfo: memFree=3057492/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=56132 CPUtime=24.49
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 7232 0 0 0 2439 10 0 0 18 0 4 0 1116143151 57479168 7164 4294967295 134512640 135305190 3220796112 3220794288 134528263 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 14033 7164 79 194 0 13837 0
[pid=11548/tid=11549] ppid=11545 vsize=56132 CPUtime=6.12
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 1162 0 0 0 608 4 0 0 23 0 4 0 1116143157 57479168 7164 4294967295 134512640 135305190 3220796112 3085651012 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=56132 CPUtime=6.12
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 1176 0 0 0 611 1 0 0 25 0 4 0 1116143157 57479168 7164 4294967295 134512640 135305190 3220796112 3077262528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=56132 CPUtime=6.08
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 1278 0 0 0 606 2 0 0 18 0 4 0 1116143157 57479168 7164 4294967295 134512640 135305190 3220796112 3068873920 134528559 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 58548

[startup+12.7044 s]
/proc/loadavg: 4.45 4.39 4.36 5/104 11552
/proc/meminfo: memFree=3051812/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=61640 CPUtime=50.07
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 8622 0 0 0 4996 11 0 0 25 0 4 0 1116143151 63119360 8554 4294967295 134512640 135305190 3220796112 3220793828 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 15410 8554 79 194 0 15214 0
[pid=11548/tid=11549] ppid=11545 vsize=61640 CPUtime=12.52
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 1494 0 0 0 1247 5 0 0 25 0 4 0 1116143157 63119360 8554 4294967295 134512640 135305190 3220796112 3085651080 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=61640 CPUtime=12.52
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 1519 0 0 0 1251 1 0 0 25 0 4 0 1116143157 63119360 8554 4294967295 134512640 135305190 3220796112 3077262528 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=61640 CPUtime=12.46
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 1619 0 0 0 1244 2 0 0 25 0 4 0 1116143157 63119360 8554 4294967295 134512640 135305190 3220796112 3068873648 134557484 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (KiB) 64056

[startup+25.5032 s]
/proc/loadavg: 4.46 4.40 4.36 5/104 11552
/proc/meminfo: memFree=3039088/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=73796 CPUtime=101.2
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 11644 0 0 0 10106 14 0 0 25 0 4 0 1116143151 75567104 11576 4294967295 134512640 135305190 3220796112 3220793968 134843311 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 18449 11576 79 194 0 18253 0
[pid=11548/tid=11549] ppid=11545 vsize=73796 CPUtime=25.27
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 2267 0 0 0 2521 6 0 0 25 0 4 0 1116143157 75567104 11576 4294967295 134512640 135305190 3220796112 3085651136 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=73796 CPUtime=25.32
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 2101 0 0 0 2530 2 0 0 25 0 4 0 1116143157 75567104 11576 4294967295 134512640 135305190 3220796112 3077262528 134528240 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=73796 CPUtime=25.24
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 2515 0 0 0 2521 3 0 0 25 0 4 0 1116143157 75567104 11576 4294967295 134512640 135305190 3220796112 3068873920 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 76212

[startup+51.1108 s]
/proc/loadavg: 4.53 4.41 4.37 5/104 11740
/proc/meminfo: memFree=3022388/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=90872 CPUtime=203
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 15622 0 0 0 20268 32 0 0 25 0 4 0 1116143151 93052928 15554 4294967295 134512640 135305190 3220796112 3220794000 134570405 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 22718 15554 79 194 0 22522 0
[pid=11548/tid=11549] ppid=11545 vsize=90872 CPUtime=50.65
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3263 0 0 0 5053 12 0 0 25 0 4 0 1116143157 93052928 15554 4294967295 134512640 135305190 3220796112 3085651136 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=90872 CPUtime=50.83
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 2930 0 0 0 5077 6 0 0 25 0 4 0 1116143157 93052928 15554 4294967295 134512640 135305190 3220796112 3077262528 134528594 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=90872 CPUtime=50.67
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3722 0 0 0 5058 9 0 0 25 0 4 0 1116143157 93052928 15554 4294967295 134512640 135305190 3220796112 3068873920 134528562 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.11
Current children cumulated vsize (KiB) 93288

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

[startup+51.2108 s]
/proc/loadavg: 4.53 4.41 4.37 5/104 11740
/proc/meminfo: memFree=3022388/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=90872 CPUtime=203.4
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 15637 0 0 0 20308 32 0 0 25 0 4 0 1116143151 93052928 15569 4294967295 134512640 135305190 3220796112 3220794080 134547909 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 22718 15569 79 194 0 22522 0
[pid=11548/tid=11549] ppid=11545 vsize=90872 CPUtime=50.74
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3267 0 0 0 5062 12 0 0 25 0 4 0 1116143157 93052928 15569 4294967295 134512640 135305190 3220796112 3085651136 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=90872 CPUtime=50.93
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 2939 0 0 0 5087 6 0 0 25 0 4 0 1116143157 93052928 15569 4294967295 134512640 135305190 3220796112 3077262528 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=90872 CPUtime=50.77
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3724 0 0 0 5068 9 0 0 25 0 4 0 1116143157 93052928 15569 4294967295 134512640 135305190 3220796112 3068873920 134528446 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.51
Current children cumulated vsize (KiB) 93288

[startup+64.0095 s]
/proc/loadavg: 4.63 4.44 4.38 5/104 11740
/proc/meminfo: memFree=3016188/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=97576 CPUtime=254.55
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 17263 0 0 0 25422 33 0 0 25 0 4 0 1116143151 99917824 17174 4294967295 134512640 135305190 3220796112 3220794288 134528489 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 24394 17174 79 194 0 24198 0
[pid=11548/tid=11549] ppid=11545 vsize=97576 CPUtime=63.55
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3704 0 0 0 6343 12 0 0 25 0 4 0 1116143157 99917824 17174 4294967295 134512640 135305190 3220796112 3085650800 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=97576 CPUtime=63.69
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3375 0 0 0 6362 7 0 0 25 0 4 0 1116143157 99917824 17174 4294967295 134512640 135305190 3220796112 3077262528 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=97576 CPUtime=63.57
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 4132 0 0 0 6348 9 0 0 25 0 4 0 1116143157 99917824 17174 4294967295 134512640 135305190 3220796112 3068873864 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 254.66
Current children cumulated vsize (KiB) 99992

[startup+70.4089 s]
/proc/loadavg: 4.58 4.43 4.38 5/104 11741
/proc/meminfo: memFree=3014972/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=97864 CPUtime=280.13
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 17537 0 0 0 27973 40 0 0 25 0 4 0 1116143151 100212736 17448 4294967295 134512640 135305190 3220796112 3220794288 134528189 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 24466 17448 79 194 0 24270 0
[pid=11548/tid=11549] ppid=11545 vsize=97864 CPUtime=69.92
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3739 0 0 0 6979 13 0 0 25 0 4 0 1116143157 100212736 17448 4294967295 134512640 135305190 3220796112 3085651080 134839991 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=97864 CPUtime=70.08
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3448 0 0 0 6998 10 0 0 25 0 4 0 1116143157 100212736 17448 4294967295 134512640 135305190 3220796112 3077262528 134528237 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=97864 CPUtime=69.97
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 4235 0 0 0 6987 10 0 0 25 0 4 0 1116143157 100212736 17448 4294967295 134512640 135305190 3220796112 3068873808 134538298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 280.24
Current children cumulated vsize (KiB) 100280

[startup+73.6086 s]
/proc/loadavg: 4.53 4.43 4.37 6/104 11742
/proc/meminfo: memFree=3014600/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=99224 CPUtime=292.9
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 17618 0 0 0 29250 40 0 0 25 0 4 0 1116143151 101605376 17529 4294967295 134512640 135305190 3220796112 3220794080 134547982 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 24806 17529 79 194 0 24610 0
[pid=11548/tid=11549] ppid=11545 vsize=99224 CPUtime=73.12
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3750 0 0 0 7299 13 0 0 25 0 4 0 1116143157 101605376 17529 4294967295 134512640 135305190 3220796112 3085651136 134528157 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=99224 CPUtime=73.28
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3498 0 0 0 7318 10 0 0 25 0 4 0 1116143157 101605376 17529 4294967295 134512640 135305190 3220796112 3077262528 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=99224 CPUtime=73.16
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 4236 0 0 0 7306 10 0 0 25 0 4 0 1116143157 101605376 17529 4294967295 134512640 135305190 3220796112 3068873920 134528539 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 293.01
Current children cumulated vsize (KiB) 101640

[startup+75.2085 s]
/proc/loadavg: 4.53 4.43 4.37 5/104 11742
/proc/meminfo: memFree=3014352/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=99224 CPUtime=299.27
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 17637 0 0 0 29887 40 0 0 25 0 4 0 1116143151 101605376 17548 4294967295 134512640 135305190 3220796112 3220794176 134529379 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 24806 17548 79 194 0 24610 0
[pid=11548/tid=11549] ppid=11545 vsize=99224 CPUtime=74.71
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3750 0 0 0 7458 13 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3085651220 134845261 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=99224 CPUtime=74.86
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3498 0 0 0 7476 10 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3077262528 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=99224 CPUtime=74.76
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 4254 0 0 0 7466 10 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3068873920 134528418 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 299.38
Current children cumulated vsize (KiB) 101640

[startup+76.8083 s]
/proc/loadavg: 4.49 4.42 4.37 5/104 11742
/proc/meminfo: memFree=3014352/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=99224 CPUtime=305.62
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 17637 0 0 0 30518 44 0 0 25 0 4 0 1116143151 101605376 17548 4294967295 134512640 135305190 3220796112 3220794288 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 24806 17548 79 194 0 24610 0
[pid=11548/tid=11549] ppid=11545 vsize=99224 CPUtime=76.27
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3750 0 0 0 7610 17 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3085651136 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=99224 CPUtime=76.46
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3498 0 0 0 7636 10 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3077262144 134551945 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=99224 CPUtime=76.36
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 4254 0 0 0 7626 10 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3068873920 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 305.73
Current children cumulated vsize (KiB) 101640

[startup+77.6083 s]
/proc/loadavg: 4.49 4.42 4.37 6/104 11742
/proc/meminfo: memFree=3014360/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=99224 CPUtime=308.8
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 17637 0 0 0 30835 45 0 0 25 0 4 0 1116143151 101605376 17548 4294967295 134512640 135305190 3220796112 3220794356 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 24806 17548 79 194 0 24610 0
[pid=11548/tid=11549] ppid=11545 vsize=99224 CPUtime=77.06
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3750 0 0 0 7689 17 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3085650984 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=99224 CPUtime=77.26
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3498 0 0 0 7716 10 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3077262528 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=99224 CPUtime=77.16
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 4254 0 0 0 7705 11 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3068873768 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 308.91
Current children cumulated vsize (KiB) 101640

[startup+77.8082 s]
/proc/loadavg: 4.49 4.42 4.37 6/104 11742
/proc/meminfo: memFree=3014360/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=99224 CPUtime=309.6
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 17637 0 0 0 30915 45 0 0 25 0 4 0 1116143151 101605376 17548 4294967295 134512640 135305190 3220796112 3220794004 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 24806 17548 79 194 0 24610 0
[pid=11548/tid=11549] ppid=11545 vsize=99224 CPUtime=77.26
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3750 0 0 0 7709 17 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3085650984 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=99224 CPUtime=77.46
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3498 0 0 0 7736 10 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3077262416 134529553 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=99224 CPUtime=77.36
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 4254 0 0 0 7725 11 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3068873988 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 309.71
Current children cumulated vsize (KiB) 101640

[startup+77.9082 s]
/proc/loadavg: 4.49 4.42 4.37 6/104 11742
/proc/meminfo: memFree=3014360/3368532 swapFree=1953580/1959888
[pid=11545] ppid=11543 vsize=2416 CPUtime=0.11
/proc/11545/stat : 11545 (manysat.sh) S 11543 11545 19648 0 -1 4194304 371 995 0 0 0 0 10 1 18 0 1 0 1116143141 2473984 275 4294967295 134512640 135169312 3216195200 3216191416 3085647598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/11545/statm: 604 275 231 161 0 43 0
[pid=11548] ppid=11545 vsize=99224 CPUtime=310
/proc/11548/stat : 11548 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202496 17637 0 0 0 30954 46 0 0 25 0 4 0 1116143151 101605376 17548 4294967295 134512640 135305190 3220796112 3220794288 134528248 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/11548/statm: 24806 17548 79 194 0 24610 0
[pid=11548/tid=11549] ppid=11545 vsize=99224 CPUtime=77.36
/proc/11548/task/11549/stat : 11549 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3750 0 0 0 7719 17 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3085651136 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11548/tid=11550] ppid=11545 vsize=99224 CPUtime=77.56
/proc/11548/task/11550/stat : 11550 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 3498 0 0 0 7746 10 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3077262528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11548/tid=11551] ppid=11545 vsize=99224 CPUtime=77.46
/proc/11548/task/11551/stat : 11551 (manysat1.1_stat) R 11545 11545 19648 0 -1 4202560 4254 0 0 0 7734 12 0 0 25 0 4 0 1116143157 101605376 17548 4294967295 134512640 135305190 3220796112 3068873768 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 310.11
Current children cumulated vsize (KiB) 101640

Child status: 20
Real time (s): 77.9868
CPU time (s): 310.42
CPU user time (s): 309.94
CPU system time (s): 0.48
CPU usage (%): 398.042
Max. virtual memory (cumulated for all children) (KiB): 101640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.94
system time used= 0.48
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19292
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= 8291
involuntary context switches= 24709

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 14:46:27
IDJOB=1776982
IDBENCH=69645
IDSOLVER=626
FILE ID=/1776982-1243514787
PBS_JOBID=
Free space on /tmp= 15884 MiB

SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-alu4mul.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776982-1243514787/watcher-1776982-1243514787 -o /tmp/evaluation-result-1776982-1243514787/solver-1776982-1243514787 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1776982-1243514787.cnf aimd 2

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 2d68b23bdbf6e7e2868e82c4f24dffc3
RANDOM SEED= 178730100

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3084640 kB
Buffers:         24692 kB
Cached:         181160 kB
SwapCached:       2424 kB
Active:          86984 kB
Inactive:       129688 kB
HighTotal:     2489216 kB
HighFree:      2295124 kB
LowTotal:       879316 kB
LowFree:        789516 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            1848 kB
Writeback:           0 kB
AnonPages:        9668 kB
Mapped:           4720 kB
Slab:            57644 kB
SReclaimable:    49312 kB
SUnreclaim:       8332 kB
PageTables:        564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93912 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15884 MiB
End job on  at 2009-05-28 14:47:45