Trace number 1780264

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 895.28 275.453

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
MD5SUM853982f8646333d217e35d938b7eb00b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark895.28
Satisfiable
(Un)Satisfiability was proved
Number of variables670867
Number of clauses3513333
Sum of the clauses size10259569
Maximum clause length11
Minimum clause length1
Number of clauses of size 159077
Number of clauses of size 2795777
Number of clauses of size 32146608
Number of clauses of size 4393835
Number of clauses of size 5117437
Number of clauses of size over 5599

Solver Data 

0.00/0.00	c Parsing...
2.60/2.66	c ==============================================================================
2.60/2.66	c |           |     ORIGINAL     |              LEARNT              |          |
2.60/2.66	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
2.60/2.66	c ==============================================================================
2.60/2.66	c |         0 | 3355019  9898785 | 1006505       0        0     nan |  0.000 % |
62.81/62.87	c |         0 | 1504771  5219166 |      --       0       --      -- |     --   | -1498875/-3723973
62.81/62.88	c ==============================================================================
62.81/62.88	c Result  :   #vars: 146997   #clauses: 1504771   #literals: 5219166
62.81/62.88	c CPU time:   62.26 s
62.81/62.88	c ==============================================================================
894.90/275.39	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
894.90/275.39	c ============================[ Problem Statistics ]=============================
894.90/275.39	c |                                                                             |
894.90/275.39	c threadId              : 0
894.90/275.39	c restarts              : 428
894.90/275.39	c conflicts             : 297528         (359 /sec)
894.90/275.39	c decisions             : 540623         (1.88 % random) (653 /sec)
894.90/275.39	c propagations          : 221446364      (267360 /sec)
894.90/275.39	c conflict literals     : 9132376        (38.86 % deleted)
894.90/275.39	c Memory used           : 541.68 MB
894.90/275.39	c CPU time              : 828.27 s
894.90/275.39	
894.90/275.39	c --->m=4, e=8, aimd=1, HOME/16673_many.cnf	time: 207.067	conflicts: 297528       
895.24/275.42	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-1780264-1243529949/watcher-1780264-1243529949 -o /tmp/evaluation-result-1780264-1243529949/solver-1780264-1243529949 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780264-1243529949.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: 3.87 4.01 4.18 3/115 16673
/proc/meminfo: memFree=2907428/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) R 16671 16673 12261 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223068 3085686644 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=1340 CPUtime=0.01
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 270 0 0 0 1 0 0 0 18 0 1 0 1117675107 1372160 207 4294967295 134512640 135034092 3220425280 3220421624 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 335 207 50 128 0 205 0

[startup+0.102336 s]
/proc/loadavg: 3.87 4.01 4.18 3/115 16673
/proc/meminfo: memFree=2907428/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=51976 CPUtime=0.11
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 8090 0 0 0 9 2 0 0 19 0 1 0 1117675107 53223424 7931 4294967295 134512640 135034092 3220425280 3220421624 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 12994 7932 50 128 0 12864 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 54388

[startup+0.212331 s]
/proc/loadavg: 3.87 4.01 4.18 3/115 16673
/proc/meminfo: memFree=2907428/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=62524 CPUtime=0.22
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 11509 0 0 0 19 3 0 0 20 0 1 0 1117675107 64024576 11350 4294967295 134512640 135034092 3220425280 3220421624 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 15631 11351 50 128 0 15501 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 64936

[startup+0.312324 s]
/proc/loadavg: 3.87 4.01 4.18 3/115 16673
/proc/meminfo: memFree=2907428/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=72576 CPUtime=0.32
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 14581 0 0 0 29 3 0 0 20 0 1 0 1117675107 74317824 14422 4294967295 134512640 135034092 3220425280 3220421240 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 18144 14422 50 128 0 18014 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 74988

[startup+0.712309 s]
/proc/loadavg: 3.87 4.01 4.18 3/115 16673
/proc/meminfo: memFree=2907428/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=110184 CPUtime=0.72
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 26880 0 0 0 63 9 0 0 21 0 1 0 1117675107 112828416 26721 4294967295 134512640 135034092 3220425280 3220421624 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 27546 26721 50 128 0 27416 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 112596

[startup+1.51228 s]
/proc/loadavg: 3.87 4.01 4.18 2/117 16675
/proc/meminfo: memFree=2751632/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=230768 CPUtime=1.52
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 48913 0 0 0 128 24 0 0 23 0 1 0 1117675107 236306432 48754 4294967295 134512640 135034092 3220425280 3220421196 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 57692 48755 50 128 0 57562 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 233180

[startup+3.11221 s]
/proc/loadavg: 3.87 4.01 4.18 2/117 16675
/proc/meminfo: memFree=2646496/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=382824 CPUtime=3.1
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 83627 0 0 0 271 39 0 0 25 0 1 0 1117675107 392011776 83468 4294967295 134512640 135034092 3220425280 3220422240 134540968 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 95706 83468 63 128 0 95576 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 385236

[startup+6.31209 s]
/proc/loadavg: 3.64 3.96 4.16 2/117 16676
/proc/meminfo: memFree=2543952/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=428460 CPUtime=6.3
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 91127 0 0 0 587 43 0 0 25 0 1 0 1117675107 438743040 90841 4294967295 134512640 135034092 3220425280 3220421520 134540968 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 107115 90841 66 128 0 106985 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 430872

[startup+12.7118 s]
/proc/loadavg: 3.43 3.91 4.15 2/117 16862
/proc/meminfo: memFree=2543252/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=428460 CPUtime=12.7
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 91146 0 0 0 1227 43 0 0 25 0 1 0 1117675107 438743040 90860 4294967295 134512640 135034092 3220425280 3220421520 134541265 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 107115 90860 66 128 0 106985 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 430872

[startup+25.5113 s]
/proc/loadavg: 2.89 3.77 4.10 2/117 16863
/proc/meminfo: memFree=2543784/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=428008 CPUtime=25.5
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 91227 0 0 0 2507 43 0 0 25 0 1 0 1117675107 438280192 90828 4294967295 134512640 135034092 3220425280 3220421520 134541076 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 107002 90828 66 128 0 106872 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 430420

[startup+51.1103 s]
/proc/loadavg: 2.24 3.54 4.01 2/117 16869
/proc/meminfo: memFree=2543896/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2412 CPUtime=0
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117675107 2469888 273 4294967295 134512640 135169312 3220224592 3220223128 3085684462 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16673/statm: 603 273 231 161 0 42 0
[pid=16674] ppid=16673 vsize=429924 CPUtime=51.1
/proc/16674/stat : 16674 (SatElite) R 16673 16673 12261 0 -1 4202496 91644 0 0 0 5066 44 0 0 25 0 1 0 1117675107 440242176 90828 4294967295 134512640 135034092 3220425280 3220421520 134541252 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16674/statm: 107481 90828 66 128 0 107351 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 432336

[startup+102.308 s]
/proc/loadavg: 3.16 3.56 3.99 5/120 17058
/proc/meminfo: memFree=2386220/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=496508 CPUtime=140.12
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 114670 0 0 0 13878 134 0 0 25 0 4 0 1117681600 508424192 114407 4294967295 134512640 135305190 3220957936 3220956112 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 124127 114407 79 194 0 123931 0
[pid=16870/tid=16871] ppid=16673 vsize=496508 CPUtime=34.42
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 4790 0 0 0 3421 21 0 0 25 0 4 0 1117681880 508424192 114407 4294967295 134512640 135305190 3220957936 2999340168 134839991 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=496508 CPUtime=34.32
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 5683 0 0 0 3411 21 0 0 25 0 4 0 1117681881 508424192 114407 4294967295 134512640 135305190 3220957936 2990951616 134528402 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=496508 CPUtime=34.38
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 5401 0 0 0 3411 27 0 0 25 0 4 0 1117681881 508424192 114407 4294967295 134512640 135305190 3220957936 2982563008 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 205.04
Current children cumulated vsize (KiB) 498924

[startup+162.316 s]
/proc/loadavg: 3.99 3.71 4.01 6/120 17246
/proc/meminfo: memFree=2356020/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=525772 CPUtime=379.37
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 122058 0 0 0 37778 159 0 0 25 0 4 0 1117681600 538390528 121795 4294967295 134512640 135305190 3220957936 3220956112 134528235 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 131443 121795 79 194 0 131247 0
[pid=16870/tid=16871] ppid=16673 vsize=525772 CPUtime=94.2
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 6438 0 0 0 9390 30 0 0 25 0 4 0 1117681880 538390528 121795 4294967295 134512640 135305190 3220957936 2999340224 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=525772 CPUtime=94.05
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 7935 0 0 0 9375 30 0 0 25 0 4 0 1117681881 538390528 121795 4294967295 134512640 135305190 3220957936 2990951616 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=525772 CPUtime=94.31
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 7073 0 0 0 9400 31 0 0 25 0 4 0 1117681881 538390528 121795 4294967295 134512640 135305190 3220957936 2982563008 134528277 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.29
Current children cumulated vsize (KiB) 528188

[startup+222.313 s]
/proc/loadavg: 4.30 3.84 4.04 5/120 17434
/proc/meminfo: memFree=2334684/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=548156 CPUtime=618.69
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 127313 0 0 0 61689 180 0 0 25 0 4 0 1117681600 561311744 127050 4294967295 134512640 135305190 3220957936 3220955840 134557923 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 137039 127050 79 194 0 136843 0
[pid=16870/tid=16871] ppid=16673 vsize=548156 CPUtime=154.08
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 7713 0 0 0 15370 38 0 0 25 0 4 0 1117681880 561311744 127050 4294967295 134512640 135305190 3220957936 2999340224 134528837 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=548156 CPUtime=153.93
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 9486 0 0 0 15355 38 0 0 25 0 4 0 1117681881 561311744 127050 4294967295 134512640 135305190 3220957936 2990951616 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=548156 CPUtime=153.99
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8092 0 0 0 15366 33 0 0 25 0 4 0 1117681881 561311744 127050 4294967295 134512640 135305190 3220957936 2982563008 134528458 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 683.61
Current children cumulated vsize (KiB) 550572

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

[startup+230.413 s]
/proc/loadavg: 4.25 3.85 4.03 6/120 17435
/proc/meminfo: memFree=2334340/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=548288 CPUtime=651.02
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 127365 0 0 0 64920 182 0 0 25 0 4 0 1117681600 561446912 127102 4294967295 134512640 135305190 3220957936 3220956112 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 137072 127102 79 194 0 136876 0
[pid=16870/tid=16871] ppid=16673 vsize=548288 CPUtime=162.18
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 7713 0 0 0 16180 38 0 0 25 0 4 0 1117681880 561446912 127102 4294967295 134512640 135305190 3220957936 2999340224 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=548288 CPUtime=161.99
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 9518 0 0 0 16159 40 0 0 25 0 4 0 1117681881 561446912 127102 4294967295 134512640 135305190 3220957936 2990951616 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=548288 CPUtime=162.09
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8096 0 0 0 16176 33 0 0 25 0 4 0 1117681881 561446912 127102 4294967295 134512640 135305190 3220957936 2982563008 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 715.94
Current children cumulated vsize (KiB) 550704

[startup+256.012 s]
/proc/loadavg: 4.43 3.92 4.05 5/120 17619
/proc/meminfo: memFree=2330516/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=550912 CPUtime=752.9
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 127951 0 0 0 75092 198 0 0 25 0 4 0 1117681600 564133888 127688 4294967295 134512640 135305190 3220957936 3220956112 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 137728 127688 79 194 0 137532 0
[pid=16870/tid=16871] ppid=16673 vsize=550912 CPUtime=187.73
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 7808 0 0 0 18728 45 0 0 25 0 4 0 1117681880 564133888 127688 4294967295 134512640 135305190 3220957936 2999340224 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=550912 CPUtime=187.48
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 9790 0 0 0 18706 42 0 0 25 0 4 0 1117681881 564133888 127688 4294967295 134512640 135305190 3220957936 2990951616 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=550912 CPUtime=187.43
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8184 0 0 0 18703 40 0 0 25 0 4 0 1117681881 564133888 127688 4294967295 134512640 135305190 3220957936 2982563008 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 817.82
Current children cumulated vsize (KiB) 553328

[startup+268.812 s]
/proc/loadavg: 4.40 3.94 4.06 5/120 17622
/proc/meminfo: memFree=2329284/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=553200 CPUtime=804.02
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 128598 0 0 0 80200 202 0 0 25 0 4 0 1117681600 566476800 128335 4294967295 134512640 135305190 3220957936 3220956112 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 138300 128335 79 194 0 138104 0
[pid=16870/tid=16871] ppid=16673 vsize=553200 CPUtime=200.52
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 7983 0 0 0 20007 45 0 0 25 0 4 0 1117681880 566476800 128335 4294967295 134512640 135305190 3220957936 2999340224 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=553200 CPUtime=200.25
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 9901 0 0 0 19983 42 0 0 25 0 4 0 1117681881 566476800 128335 4294967295 134512640 135305190 3220957936 2990951616 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=553200 CPUtime=200.22
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8360 0 0 0 19979 43 0 0 25 0 4 0 1117681881 566476800 128335 4294967295 134512640 135305190 3220957936 2982563008 134530592 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 868.94
Current children cumulated vsize (KiB) 555616

[startup+272.012 s]
/proc/loadavg: 4.40 3.94 4.06 5/120 17623
/proc/meminfo: memFree=2328812/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=554360 CPUtime=816.81
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 128774 0 0 0 81479 202 0 0 25 0 4 0 1117681600 567664640 128511 4294967295 134512640 135305190 3220957936 3220956112 134528368 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 138590 128511 79 194 0 138394 0
[pid=16870/tid=16871] ppid=16673 vsize=554360 CPUtime=203.72
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8010 0 0 0 20327 45 0 0 25 0 4 0 1117681880 567664640 128511 4294967295 134512640 135305190 3220957936 2999340224 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=554360 CPUtime=203.44
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 9936 0 0 0 20302 42 0 0 25 0 4 0 1117681881 567664640 128511 4294967295 134512640 135305190 3220957936 2990951616 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=554360 CPUtime=203.42
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8439 0 0 0 20299 43 0 0 25 0 4 0 1117681881 567664640 128511 4294967295 134512640 135305190 3220957936 2982563008 134528777 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 881.73
Current children cumulated vsize (KiB) 556776

[startup+273.611 s]
/proc/loadavg: 4.40 3.94 4.06 5/120 17623
/proc/meminfo: memFree=2328564/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=554524 CPUtime=823.21
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 128840 0 0 0 82119 202 0 0 25 0 4 0 1117681600 567832576 128577 4294967295 134512640 135305190 3220957936 3220955776 134551709 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 138631 128577 79 194 0 138435 0
[pid=16870/tid=16871] ppid=16673 vsize=554524 CPUtime=205.32
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8025 0 0 0 20487 45 0 0 25 0 4 0 1117681880 567832576 128577 4294967295 134512640 135305190 3220957936 2999340224 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=554524 CPUtime=205.04
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 9959 0 0 0 20462 42 0 0 25 0 4 0 1117681881 567832576 128577 4294967295 134512640 135305190 3220957936 2990951616 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=554524 CPUtime=205.02
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8451 0 0 0 20459 43 0 0 25 0 4 0 1117681881 567832576 128577 4294967295 134512640 135305190 3220957936 2982563008 134528418 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 888.13
Current children cumulated vsize (KiB) 556940

[startup+274.411 s]
/proc/loadavg: 4.45 3.96 4.06 5/120 17623
/proc/meminfo: memFree=2328316/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=554672 CPUtime=826.38
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 128863 0 0 0 82435 203 0 0 25 0 4 0 1117681600 567984128 128600 4294967295 134512640 135305190 3220957936 3220956112 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 138668 128600 79 194 0 138472 0
[pid=16870/tid=16871] ppid=16673 vsize=554672 CPUtime=206.1
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8025 0 0 0 20565 45 0 0 25 0 4 0 1117681880 567984128 128600 4294967295 134512640 135305190 3220957936 2999340224 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=554672 CPUtime=205.83
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 9970 0 0 0 20541 42 0 0 25 0 4 0 1117681881 567984128 128600 4294967295 134512640 135305190 3220957936 2990951616 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=554672 CPUtime=205.82
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8451 0 0 0 20539 43 0 0 25 0 4 0 1117681881 567984128 128600 4294967295 134512640 135305190 3220957936 2982562672 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 891.3
Current children cumulated vsize (KiB) 557088

[startup+275.211 s]
/proc/loadavg: 4.45 3.96 4.06 5/120 17623
/proc/meminfo: memFree=2328216/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=554672 CPUtime=829.58
/proc/16870/stat : 16870 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202496 128878 0 0 0 82755 203 0 0 25 0 4 0 1117681600 567984128 128615 4294967295 134512640 135305190 3220957936 3220956112 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 138668 128615 79 194 0 138472 0
[pid=16870/tid=16871] ppid=16673 vsize=554672 CPUtime=206.9
/proc/16870/task/16871/stat : 16871 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8027 0 0 0 20645 45 0 0 25 0 4 0 1117681880 567984128 128615 4294967295 134512640 135305190 3220957936 2999340224 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=554672 CPUtime=206.63
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 9982 0 0 0 20621 42 0 0 25 0 4 0 1117681881 567984128 128615 4294967295 134512640 135305190 3220957936 2990951616 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16870/tid=16873] ppid=16673 vsize=554672 CPUtime=206.62
/proc/16870/task/16873/stat : 16873 (manysat1.1_stat) R 16673 16673 12261 0 -1 4202560 8451 0 0 0 20619 43 0 0 25 0 4 0 1117681881 567984128 128615 4294967295 134512640 135305190 3220957936 2982563008 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 894.5
Current children cumulated vsize (KiB) 557088

[startup+275.411 s]
/proc/loadavg: 4.45 3.96 4.06 5/120 17623
/proc/meminfo: memFree=2328216/3368532 swapFree=1941392/1959888
[pid=16673] ppid=16671 vsize=2416 CPUtime=64.92
/proc/16673/stat : 16673 (manysat.sh) S 16671 16673 12261 0 -1 4194304 370 114595 0 0 0 0 6419 73 15 0 1 0 1117675107 2473984 274 4294967295 134512640 135169312 3220224592 3220220808 3085684462 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/16673/statm: 604 274 231 161 0 43 0
[pid=16870] ppid=16673 vsize=0 CPUtime=830.32
/proc/16870/stat : 16870 (manysat1.1_stat) Z 16673 16673 12261 0 -1 4202500 128895 0 0 0 82827 205 0 0 25 0 2 0 1117681600 0 0 4294967295 0 0 0 0 0 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16870/statm: 0 0 0 0 0 0 0
[pid=16870/tid=16872] ppid=16673 vsize=0 CPUtime=206.83
/proc/16870/task/16872/stat : 16872 (manysat1.1_stat) R 16673 16673 12261 0 -1 4203588 9982 0 0 0 20639 44 0 0 25 0 2 0 1117681881 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 895.24
Current children cumulated vsize (KiB) 2416

Child status: 20
Real time (s): 275.453
CPU time (s): 895.28
CPU user time (s): 892.46
CPU system time (s): 2.82
CPU usage (%): 325.021
Max. virtual memory (cumulated for all children) (KiB): 557088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 892.46
system time used= 2.82
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244135
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= 75309
involuntary context switches= 64986

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:59:09
IDJOB=1780264
IDBENCH=70965
IDSOLVER=623
FILE ID=/1780264-1243529949
PBS_JOBID=
Free space on /tmp= 15659 MiB

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

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

MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED= 25148411

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.143
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.143
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.143
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.17
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.143
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:       2907428 kB
Buffers:         34432 kB
Cached:         345348 kB
SwapCached:       4320 kB
Active:         208132 kB
Inactive:       182804 kB
HighTotal:     2489216 kB
HighFree:      2130288 kB
LowTotal:       879316 kB
LowFree:        777140 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:           74168 kB
Writeback:           0 kB
AnonPages:        9580 kB
Mapped:           4540 kB
Slab:            59364 kB
SReclaimable:    50504 kB
SUnreclaim:       8860 kB
PageTables:        784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127444 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15659 MiB
End job on  at 2009-05-28 19:03:49