Trace number 1779994

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 1/2009-03-20 (4 threads)UNSAT 390.06 98.8541

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
MD5SUMed7689c65135a913d97feca3ab3874eb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark390.06
Satisfiable
(Un)Satisfiability was proved
Number of variables33871
Number of clauses170161
Sum of the clauses size490938
Maximum clause length9
Minimum clause length1
Number of clauses of size 14346
Number of clauses of size 241947
Number of clauses of size 3100545
Number of clauses of size 416116
Number of clauses of size 57066
Number of clauses of size over 5141

Solver Data 

0.00/0.02	c Parsing...
0.10/0.12	c ==============================================================================
0.10/0.12	c |           |     ORIGINAL     |              LEARNT              |          |
0.10/0.12	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.10/0.12	c ==============================================================================
0.10/0.12	c |         0 |  159423   466748 |   47826       0        0     nan |  0.000 % |
0.70/0.77	c |         0 |   71082   239848 |      --       0       --      -- |     --   | -82705/-209984
0.70/0.77	c ==============================================================================
0.70/0.77	c Result  :   #vars: 8110   #clauses: 71082   #literals: 239848
0.70/0.77	c CPU time:   0.77 s
0.70/0.77	c ==============================================================================
390.01/98.84	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
390.01/98.84	c ============================[ Problem Statistics ]=============================
390.01/98.84	c |                                                                             |
390.01/98.84	c threadId              : 3
390.01/98.84	c restarts              : 312
390.01/98.84	c conflicts             : 271002         (697 /sec)
390.01/98.84	c decisions             : 391701         (2.74 % random) (1008 /sec)
390.01/98.84	c propagations          : 58329873       (150045 /sec)
390.01/98.84	c conflict literals     : 5188150        (34.62 % deleted)
390.01/98.84	c Memory used           : 111.04 MB
390.01/98.84	c CPU time              : 388.75 s
390.01/98.84	
390.01/98.84	c --->m=4, e=8, aimd=1, HOME/22548_many.cnf	time: 97.1875	conflicts: 271002       
390.01/98.85	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-1779994-1243528394/watcher-1779994-1243528394 -o /tmp/evaluation-result-1779994-1243528394/solver-1779994-1243528394 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779994-1243528394.cnf aimd 1 

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.75 4.38 4.45 4/100 22549
/proc/meminfo: memFree=3046292/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2412 CPUtime=0
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 348 0 0 0 0 0 0 0 19 0 1 0 1117503854 2469888 273 4294967295 134512640 135169312 3217729520 3217728056 3085352686 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22548/statm: 603 273 231 161 0 42 0
[pid=22549] ppid=22548 vsize=3208 CPUtime=0.02
/proc/22549/stat : 22549 (SatElite) R 22548 22548 19648 0 -1 4202496 753 0 0 0 2 0 0 0 19 0 1 0 1117503854 3284992 689 4294967295 134512640 135034092 3216186944 3216183232 134544849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22549/statm: 802 690 50 128 0 672 0

[startup+0.056295 s]
/proc/loadavg: 4.75 4.38 4.45 4/100 22549
/proc/meminfo: memFree=3046292/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2412 CPUtime=0
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 348 0 0 0 0 0 0 0 19 0 1 0 1117503854 2469888 273 4294967295 134512640 135169312 3217729520 3217728056 3085352686 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22548/statm: 603 273 231 161 0 42 0
[pid=22549] ppid=22548 vsize=9096 CPUtime=0.05
/proc/22549/stat : 22549 (SatElite) R 22548 22548 19648 0 -1 4202496 1928 0 0 0 5 0 0 0 23 0 1 0 1117503854 9314304 1864 4294967295 134512640 135034092 3216186944 3216182904 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22549/statm: 2274 1864 50 128 0 2144 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11508

[startup+0.106284 s]
/proc/loadavg: 4.75 4.38 4.45 4/100 22549
/proc/meminfo: memFree=3046292/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2412 CPUtime=0
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 348 0 0 0 0 0 0 0 19 0 1 0 1117503854 2469888 273 4294967295 134512640 135169312 3217729520 3217728056 3085352686 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22548/statm: 603 273 231 161 0 42 0
[pid=22549] ppid=22548 vsize=15124 CPUtime=0.1
/proc/22549/stat : 22549 (SatElite) R 22548 22548 19648 0 -1 4202496 3393 0 0 0 10 0 0 0 23 0 1 0 1117503854 15486976 3329 4294967295 134512640 135034092 3216186944 3216183008 134675816 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22549/statm: 3781 3333 50 128 0 3651 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17536

[startup+0.306263 s]
/proc/loadavg: 4.75 4.38 4.45 4/100 22549
/proc/meminfo: memFree=3046292/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2412 CPUtime=0
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 348 0 0 0 0 0 0 0 19 0 1 0 1117503854 2469888 273 4294967295 134512640 135169312 3217729520 3217728056 3085352686 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22548/statm: 603 273 231 161 0 42 0
[pid=22549] ppid=22548 vsize=22076 CPUtime=0.3
/proc/22549/stat : 22549 (SatElite) R 22548 22548 19648 0 -1 4202496 4635 0 0 0 30 0 0 0 23 0 1 0 1117503854 22605824 4571 4294967295 134512640 135034092 3216186944 3216183344 134536786 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22549/statm: 5519 4571 66 128 0 5389 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 24488

[startup+0.706225 s]
/proc/loadavg: 4.75 4.38 4.45 4/100 22549
/proc/meminfo: memFree=3046292/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2412 CPUtime=0
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 348 0 0 0 0 0 0 0 19 0 1 0 1117503854 2469888 273 4294967295 134512640 135169312 3217729520 3217728056 3085352686 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22548/statm: 603 273 231 161 0 42 0
[pid=22549] ppid=22548 vsize=24868 CPUtime=0.7
/proc/22549/stat : 22549 (SatElite) R 22548 22548 19648 0 -1 4202496 5448 0 0 0 70 0 0 0 25 0 1 0 1117503854 25464832 4989 4294967295 134512640 135034092 3216186944 3216183248 134569568 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22549/statm: 6217 4989 67 128 0 6087 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 27280

[startup+1.50616 s]
/proc/loadavg: 4.75 4.38 4.45 5/104 22554
/proc/meminfo: memFree=3025072/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=52836 CPUtime=2.14
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 6446 0 0 0 209 5 0 0 15 0 4 0 1117503940 54104064 6382 4294967295 134512640 135305190 3215347104 3215345008 134556679 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 13209 6382 79 194 0 13013 0
[pid=22551/tid=22552] ppid=22548 vsize=52836 CPUtime=0.49
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 347 0 0 0 49 0 0 0 17 0 4 0 1117503953 54104064 6382 4294967295 134512640 135305190 3215347104 3083639744 134541664 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=52836 CPUtime=0.5
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 352 0 0 0 49 1 0 0 18 0 4 0 1117503953 54104064 6382 4294967295 134512640 135305190 3215347104 3075251392 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=52836 CPUtime=0.51
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 340 0 0 0 49 2 0 0 17 0 4 0 1117503953 54104064 6382 4294967295 134512640 135305190 3215347104 3066862784 134528545 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 55252

[startup+3.106 s]
/proc/loadavg: 4.75 4.38 4.45 7/104 22554
/proc/meminfo: memFree=3016932/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=59808 CPUtime=8.49
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 8292 0 0 0 840 9 0 0 15 0 4 0 1117503940 61243392 8228 4294967295 134512640 135305190 3215347104 3215345280 134528415 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 14952 8228 79 194 0 14756 0
[pid=22551/tid=22552] ppid=22548 vsize=59808 CPUtime=2.09
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 659 0 0 0 209 0 0 0 15 0 4 0 1117503953 61243392 8228 4294967295 134512640 135305190 3215347104 3083640000 134528376 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=59808 CPUtime=2.06
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 854 0 0 0 205 1 0 0 18 0 4 0 1117503953 61243392 8228 4294967295 134512640 135305190 3215347104 3075251392 134528523 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=59808 CPUtime=2.1
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 882 0 0 0 206 4 0 0 15 0 4 0 1117503953 61243392 8228 4294967295 134512640 135305190 3215347104 3066862784 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.35
Current children cumulated vsize (KiB) 62224

[startup+6.3057 s]
/proc/loadavg: 4.77 4.39 4.45 6/104 22556
/proc/meminfo: memFree=3009528/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=66820 CPUtime=21.28
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 9849 0 0 0 2117 11 0 0 17 0 4 0 1117503940 68423680 9785 4294967295 134512640 135305190 3215347104 3215345280 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 16705 9785 79 194 0 16509 0
[pid=22551/tid=22552] ppid=22548 vsize=66820 CPUtime=5.28
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 1022 0 0 0 527 1 0 0 17 0 4 0 1117503953 68423680 9785 4294967295 134512640 135305190 3215347104 3083639844 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=66820 CPUtime=5.26
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 1239 0 0 0 525 1 0 0 21 0 4 0 1117503953 68423680 9785 4294967295 134512640 135305190 3215347104 3075251392 134528520 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=66820 CPUtime=5.3
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 1267 0 0 0 525 5 0 0 16 0 4 0 1117503953 68423680 9785 4294967295 134512640 135305190 3215347104 3066862784 134528455 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.14
Current children cumulated vsize (KiB) 69236

[startup+12.7051 s]
/proc/loadavg: 4.70 4.39 4.45 5/104 22557
/proc/meminfo: memFree=2999732/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=75832 CPUtime=46.78
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 12023 0 0 0 4660 18 0 0 25 0 4 0 1117503940 77651968 11959 4294967295 134512640 135305190 3215347104 3215345280 134530624 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 18958 11959 79 194 0 18762 0
[pid=22551/tid=22552] ppid=22548 vsize=75832 CPUtime=11.68
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 1557 0 0 0 1166 2 0 0 25 0 4 0 1117503953 77651968 11959 4294967295 134512640 135305190 3215347104 3083639872 134857151 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=75832 CPUtime=11.59
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 1837 0 0 0 1156 3 0 0 25 0 4 0 1117503953 77651968 11959 4294967295 134512640 135305190 3215347104 3075251392 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=75832 CPUtime=11.69
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 1742 0 0 0 1163 6 0 0 23 0 4 0 1117503953 77651968 11959 4294967295 134512640 135305190 3215347104 3066862784 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.64
Current children cumulated vsize (KiB) 78248

[startup+25.5039 s]
/proc/loadavg: 4.63 4.38 4.45 5/104 22557
/proc/meminfo: memFree=2987940/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=85916 CPUtime=97.89
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 14613 0 0 0 9765 24 0 0 25 0 4 0 1117503940 87977984 14549 4294967295 134512640 135305190 3215347104 3215345280 134528539 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 21479 14549 79 194 0 21283 0
[pid=22551/tid=22552] ppid=22548 vsize=85916 CPUtime=24.48
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 2215 0 0 0 2445 3 0 0 25 0 4 0 1117503953 87977984 14549 4294967295 134512640 135305190 3215347104 3083640000 134528280 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=85916 CPUtime=24.36
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 2448 0 0 0 2433 3 0 0 25 0 4 0 1117503953 87977984 14549 4294967295 134512640 135305190 3215347104 3075251392 134528283 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=85916 CPUtime=24.49
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 2412 0 0 0 2442 7 0 0 25 0 4 0 1117503953 87977984 14549 4294967295 134512640 135305190 3215347104 3066862784 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.75
Current children cumulated vsize (KiB) 88332

[startup+51.1114 s]
/proc/loadavg: 4.56 4.38 4.44 5/104 22743
/proc/meminfo: memFree=2972980/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=100816 CPUtime=199.83
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 18103 0 0 0 19955 28 0 0 25 0 4 0 1117503940 103235584 18039 4294967295 134512640 135305190 3215347104 3215345008 134556837 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 25204 18039 79 194 0 25008 0
[pid=22551/tid=22552] ppid=22548 vsize=100816 CPUtime=50.05
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3147 0 0 0 5001 4 0 0 25 0 4 0 1117503953 103235584 18039 4294967295 134512640 135305190 3215347104 3083640000 134528872 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=100816 CPUtime=49.77
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3199 0 0 0 4974 3 0 0 25 0 4 0 1117503953 103235584 18039 4294967295 134512640 135305190 3215347104 3075251392 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=100816 CPUtime=49.93
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3260 0 0 0 4983 10 0 0 25 0 4 0 1117503953 103235584 18039 4294967295 134512640 135305190 3215347104 3066862576 134547909 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.69
Current children cumulated vsize (KiB) 103232

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

[startup+76.709 s]
/proc/loadavg: 4.49 4.38 4.44 5/104 22743
/proc/meminfo: memFree=2964272/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=109624 CPUtime=302.09
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 20434 0 0 0 30171 38 0 0 25 0 4 0 1117503940 112254976 20370 4294967295 134512640 135305190 3215347104 3215345280 134528939 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 27406 20370 79 194 0 27210 0
[pid=22551/tid=22552] ppid=22548 vsize=109624 CPUtime=75.62
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3718 0 0 0 7555 7 0 0 25 0 4 0 1117503953 112254976 20370 4294967295 134512640 135305190 3215347104 3083640000 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=109624 CPUtime=75.36
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3827 0 0 0 7531 5 0 0 25 0 4 0 1117503953 112254976 20370 4294967295 134512640 135305190 3215347104 3075251392 134528506 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=109624 CPUtime=75.49
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3770 0 0 0 7537 12 0 0 25 0 4 0 1117503953 112254976 20370 4294967295 134512640 135305190 3215347104 3066862672 134529138 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 302.95
Current children cumulated vsize (KiB) 112040

[startup+89.5078 s]
/proc/loadavg: 4.38 4.36 4.44 6/104 22746
/proc/meminfo: memFree=2961676/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=113036 CPUtime=353.11
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 21065 0 0 0 35271 40 0 0 25 0 4 0 1117503940 115748864 21001 4294967295 134512640 135305190 3215347104 3215345280 134528379 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 28259 21001 79 194 0 28063 0
[pid=22551/tid=22552] ppid=22548 vsize=113036 CPUtime=88.41
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3824 0 0 0 8834 7 0 0 25 0 4 0 1117503953 115748864 21001 4294967295 134512640 135305190 3215347104 3083640000 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=113036 CPUtime=88.16
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3905 0 0 0 8810 6 0 0 25 0 4 0 1117503953 115748864 21001 4294967295 134512640 135305190 3215347104 3075251392 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=113036 CPUtime=88.2
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 4053 0 0 0 8808 12 0 0 25 0 4 0 1117503953 115748864 21001 4294967295 134512640 135305190 3215347104 3066862784 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 353.97
Current children cumulated vsize (KiB) 115452

[startup+92.7075 s]
/proc/loadavg: 4.35 4.36 4.43 5/104 22746
/proc/meminfo: memFree=2960452/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=113700 CPUtime=365.89
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 21287 0 0 0 36549 40 0 0 25 0 4 0 1117503940 116428800 21223 4294967295 134512640 135305190 3215347104 3215345280 134528263 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22551/statm: 28425 21223 79 194 0 28229 0
[pid=22551/tid=22552] ppid=22548 vsize=113700 CPUtime=91.61
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3845 0 0 0 9154 7 0 0 25 0 4 0 1117503953 116428800 21223 4294967295 134512640 135305190 3215347104 3083640000 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=113700 CPUtime=91.36
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3975 0 0 0 9130 6 0 0 25 0 4 0 1117503953 116428800 21223 4294967295 134512640 135305190 3215347104 3075251392 134528248 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=113700 CPUtime=91.39
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 4127 0 0 0 9127 12 0 0 25 0 4 0 1117503953 116428800 21223 4294967295 134512640 135305190 3215347104 3066862784 134528388 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 366.75
Current children cumulated vsize (KiB) 116116

[startup+95.9072 s]
/proc/loadavg: 4.35 4.36 4.43 5/104 22929
/proc/meminfo: memFree=2957988/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=113700 CPUtime=378.43
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 21313 0 0 0 37801 42 0 0 25 0 4 0 1117503940 116428800 21249 4294967295 134512640 135305190 3215347104 3215345072 134547909 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22551/statm: 28425 21249 79 194 0 28229 0
[pid=22551/tid=22552] ppid=22548 vsize=113700 CPUtime=94.81
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3864 0 0 0 9474 7 0 0 25 0 4 0 1117503953 116428800 21249 4294967295 134512640 135305190 3215347104 3083640000 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=113700 CPUtime=94.42
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3979 0 0 0 9436 6 0 0 25 0 4 0 1117503953 116428800 21249 4294967295 134512640 135305190 3215347104 3075251392 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=113700 CPUtime=94.52
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 4127 0 0 0 9438 14 0 0 25 0 4 0 1117503953 116428800 21249 4294967295 134512640 135305190 3215347104 3066862784 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 379.29
Current children cumulated vsize (KiB) 116116

[startup+97.507 s]
/proc/loadavg: 4.35 4.36 4.43 5/104 22929
/proc/meminfo: memFree=2958020/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=113700 CPUtime=384.82
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 21322 0 0 0 38440 42 0 0 25 0 4 0 1117503940 116428800 21258 4294967295 134512640 135305190 3215347104 3215345280 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22551/statm: 28425 21258 79 194 0 28229 0
[pid=22551/tid=22552] ppid=22548 vsize=113700 CPUtime=96.41
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3872 0 0 0 9634 7 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3083640000 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=113700 CPUtime=96.02
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3979 0 0 0 9596 6 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3075251072 134555247 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=113700 CPUtime=96.12
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 4127 0 0 0 9598 14 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3066862784 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 385.68
Current children cumulated vsize (KiB) 116116

[startup+98.3069 s]
/proc/loadavg: 4.32 4.35 4.43 5/104 22929
/proc/meminfo: memFree=2958020/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=113700 CPUtime=388.01
/proc/22551/stat : 22551 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202496 21322 0 0 0 38758 43 0 0 25 0 4 0 1117503940 116428800 21258 4294967295 134512640 135305190 3215347104 3215345168 134529260 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22551/statm: 28425 21258 79 194 0 28229 0
[pid=22551/tid=22552] ppid=22548 vsize=113700 CPUtime=97.21
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3872 0 0 0 9714 7 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3083639888 134529630 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=113700 CPUtime=96.82
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3979 0 0 0 9675 7 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3075251392 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=113700 CPUtime=96.92
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 4127 0 0 0 9678 14 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3066862784 134528525 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 388.87
Current children cumulated vsize (KiB) 116116

[startup+98.7069 s]
/proc/loadavg: 4.32 4.35 4.43 5/104 22929
/proc/meminfo: memFree=2958020/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=113700 CPUtime=389.05
/proc/22551/stat : 22551 (manysat1.1_stat) S 22548 22548 19648 0 -1 4202496 21322 0 0 0 38861 44 0 0 25 0 4 0 1117503940 116428800 21258 4294967295 134512640 135305190 3215347104 3215346512 134657474 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22551/statm: 28425 21258 79 194 0 28229 0
[pid=22551/tid=22552] ppid=22548 vsize=113700 CPUtime=97.61
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3872 0 0 0 9753 8 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3083639888 134529379 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=113700 CPUtime=97.01
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) S 22548 22548 19648 0 -1 4202560 3979 0 0 0 9694 7 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3075252656 134657474 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=113700 CPUtime=97.11
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) S 22548 22548 19648 0 -1 4202560 4127 0 0 0 9697 14 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3066864048 134657474 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 389.91
Current children cumulated vsize (KiB) 116116

[startup+98.8069 s]
/proc/loadavg: 4.32 4.35 4.43 5/104 22929
/proc/meminfo: memFree=2958020/3368532 swapFree=1953580/1959888
[pid=22548] ppid=22546 vsize=2416 CPUtime=0.86
/proc/22548/stat : 22548 (manysat.sh) S 22546 22548 19648 0 -1 4194304 369 5518 0 0 0 0 85 1 18 0 1 0 1117503854 2473984 274 4294967295 134512640 135169312 3217729520 3217725736 3085352686 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22548/statm: 604 274 231 161 0 43 0
[pid=22551] ppid=22548 vsize=113700 CPUtime=389.15
/proc/22551/stat : 22551 (manysat1.1_stat) S 22548 22548 19648 0 -1 4202496 21322 0 0 0 38871 44 0 0 25 0 4 0 1117503940 116428800 21258 4294967295 134512640 135305190 3215347104 3215346512 134657474 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22551/statm: 28425 21258 79 194 0 28229 0
[pid=22551/tid=22552] ppid=22548 vsize=113700 CPUtime=97.71
/proc/22551/task/22552/stat : 22552 (manysat1.1_stat) R 22548 22548 19648 0 -1 4202560 3872 0 0 0 9763 8 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3083639888 134529232 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22551/tid=22553] ppid=22548 vsize=113700 CPUtime=97.01
/proc/22551/task/22553/stat : 22553 (manysat1.1_stat) S 22548 22548 19648 0 -1 4202560 3979 0 0 0 9694 7 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3075252656 134657474 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22551/tid=22554] ppid=22548 vsize=113700 CPUtime=97.11
/proc/22551/task/22554/stat : 22554 (manysat1.1_stat) S 22548 22548 19648 0 -1 4202560 4127 0 0 0 9697 14 0 0 25 0 4 0 1117503953 116428800 21258 4294967295 134512640 135305190 3215347104 3066864048 134657474 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 390.01
Current children cumulated vsize (KiB) 116116

Child status: 20
Real time (s): 98.8541
CPU time (s): 390.06
CPU user time (s): 389.6
CPU system time (s): 0.46
CPU usage (%): 394.581
Max. virtual memory (cumulated for all children) (KiB): 116116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 389.6
system time used= 0.46
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27499
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= 6292
involuntary context switches= 30133

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:33:14
IDJOB=1779994
IDBENCH=70946
IDSOLVER=623
FILE ID=/1779994-1243528394
PBS_JOBID=
Free space on /tmp= 15882 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l47_lambda.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779994-1243528394/watcher-1779994-1243528394 -o /tmp/evaluation-result-1779994-1243528394/solver-1779994-1243528394 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779994-1243528394.cnf aimd 1

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

MD5SUM BENCH= ed7689c65135a913d97feca3ab3874eb
RANDOM SEED= 749529679

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:       3048216 kB
Buffers:         28332 kB
Cached:         214520 kB
SwapCached:       2424 kB
Active:          94460 kB
Inactive:       159068 kB
HighTotal:     2489216 kB
HighFree:      2261844 kB
LowTotal:       879316 kB
LowFree:        786372 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            4504 kB
Writeback:           0 kB
AnonPages:       10072 kB
Mapped:           4880 kB
Slab:            57844 kB
SReclaimable:    49844 kB
SUnreclaim:       8000 kB
PageTables:        472 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= 15881 MiB
End job on  at 2009-05-28 18:34:53