Trace number 1780126

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 0/2009-03-20 (4 threads)UNSAT 1157.5 291.319

General information on the benchmark

NameAPPLICATIONS/
c32sat/post-c32s-ss-8.cnf
MD5SUM9d3d3bb9b296880c7463693ae665aafd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1157.5
Satisfiable
(Un)Satisfiability was proved
Number of variables53752
Number of clauses148393
Sum of the clauses size346249
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 298928
Number of clauses of size 349464
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.10/0.11	c ==============================================================================
0.10/0.11	c |           |     ORIGINAL     |              LEARNT              |          |
0.10/0.11	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.10/0.11	c ==============================================================================
0.10/0.11	c |         0 |  135726   315843 |   40717       0        0     nan |  0.000 % |
1.30/1.37	c |         0 |   65966   210427 |      --       0       --      -- |     --   | -69152/-103784
1.30/1.37	c ==============================================================================
1.30/1.37	c Result  :   #vars: 13761   #clauses: 65966   #literals: 210427
1.30/1.37	c CPU time:   1.3 s
1.30/1.37	c ==============================================================================
1157.13/291.30	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
1157.13/291.30	c ============================[ Problem Statistics ]=============================
1157.13/291.30	c |                                                                             |
1157.13/291.30	c threadId              : 3
1157.13/291.30	c restarts              : 1270
1157.13/291.30	c conflicts             : 305005         (264 /sec)
1157.13/291.30	c decisions             : 1794531        (1.67 % random) (1554 /sec)
1157.13/291.30	c propagations          : 259774911      (224956 /sec)
1157.13/291.30	c conflict literals     : 12325446       (60.35 % deleted)
1157.13/291.30	c Memory used           : 167.50 MB
1157.13/291.30	c CPU time              : 1154.78 s
1157.13/291.30	
1157.13/291.30	c --->m=4, e=8, aimd=0, HOME/23880_many.cnf	time: 288.695	conflicts: 305005       
1157.13/291.31	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-1780126-1243528763/watcher-1780126-1243528763 -o /tmp/evaluation-result-1780126-1243528763/solver-1780126-1243528763 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780126-1243528763.cnf aimd 0 

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.15 4.29 4.38 3/100 23881
/proc/meminfo: memFree=3044656/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2416 CPUtime=0
/proc/23880/stat : 23880 (manysat.sh) R 23878 23880 19648 0 -1 4194304 334 0 0 0 0 0 0 0 25 0 1 0 1117540779 2473984 274 4294967295 134512640 135169312 3214210192 3214208668 3085596532 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/23880/statm: 604 274 231 161 0 43 0
[pid=23881] ppid=23880 vsize=2416 CPUtime=0
/proc/23881/stat : 23881 (manysat.sh) R 23880 23880 19648 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1117540779 2473984 43 4294967295 134512640 135169312 3214210192 3214208668 3085596532 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/23881/statm: 604 43 0 161 0 43 0

[startup+0.084379 s]
/proc/loadavg: 4.15 4.29 4.38 3/100 23881
/proc/meminfo: memFree=3044656/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2416 CPUtime=0
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 350 0 0 0 0 0 0 0 25 0 1 0 1117540779 2473984 274 4294967295 134512640 135169312 3214210192 3214208728 3085594350 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23880/statm: 604 274 231 161 0 43 0
[pid=23881] ppid=23880 vsize=15452 CPUtime=0.08
/proc/23881/stat : 23881 (SatElite) R 23880 23880 19648 0 -1 4202496 3339 0 0 0 8 0 0 0 18 0 1 0 1117540779 15822848 3275 4294967295 134512640 135034092 3216830176 3216826168 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23881/statm: 3863 3276 50 128 0 3733 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17868

[startup+0.104377 s]
/proc/loadavg: 4.15 4.29 4.38 3/100 23881
/proc/meminfo: memFree=3044656/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2416 CPUtime=0
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 350 0 0 0 0 0 0 0 25 0 1 0 1117540779 2473984 274 4294967295 134512640 135169312 3214210192 3214208728 3085594350 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23880/statm: 604 274 231 161 0 43 0
[pid=23881] ppid=23880 vsize=18076 CPUtime=0.1
/proc/23881/stat : 23881 (SatElite) R 23880 23880 19648 0 -1 4202496 4096 0 0 0 9 1 0 0 18 0 1 0 1117540779 18509824 4032 4294967295 134512640 135034092 3216830176 3216827416 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23881/statm: 4519 4033 50 128 0 4389 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20492

[startup+0.304357 s]
/proc/loadavg: 4.15 4.29 4.38 3/100 23881
/proc/meminfo: memFree=3044656/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2416 CPUtime=0
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 350 0 0 0 0 0 0 0 25 0 1 0 1117540779 2473984 274 4294967295 134512640 135169312 3214210192 3214208728 3085594350 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23880/statm: 604 274 231 161 0 43 0
[pid=23881] ppid=23880 vsize=21684 CPUtime=0.3
/proc/23881/stat : 23881 (SatElite) R 23880 23880 19648 0 -1 4202496 5304 0 0 0 28 2 0 0 18 0 1 0 1117540779 22204416 4889 4294967295 134512640 135034092 3216830176 3216826120 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23881/statm: 5421 4889 67 128 0 5291 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 24100

[startup+0.70432 s]
/proc/loadavg: 4.15 4.29 4.38 3/100 23881
/proc/meminfo: memFree=3044656/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2416 CPUtime=0
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 350 0 0 0 0 0 0 0 25 0 1 0 1117540779 2473984 274 4294967295 134512640 135169312 3214210192 3214208728 3085594350 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23880/statm: 604 274 231 161 0 43 0
[pid=23881] ppid=23880 vsize=23428 CPUtime=0.7
/proc/23881/stat : 23881 (SatElite) R 23880 23880 19648 0 -1 4202496 5681 0 0 0 64 6 0 0 18 0 1 0 1117540779 23990272 5266 4294967295 134512640 135034092 3216830176 3216826172 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23881/statm: 5857 5266 67 128 0 5727 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25844

[startup+1.50426 s]
/proc/loadavg: 4.15 4.29 4.38 2/101 23882
/proc/meminfo: memFree=3015688/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 2420

[startup+3.1041 s]
/proc/loadavg: 4.15 4.29 4.38 6/104 23886
/proc/meminfo: memFree=3011840/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=56312 CPUtime=6.03
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 7251 0 0 0 588 15 0 0 15 0 4 0 1117540925 57663488 7187 4294967295 134512640 135305190 3217420176 3217418032 134843311 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23883/statm: 14078 7187 79 194 0 13882 0
[pid=23883/tid=23884] ppid=23880 vsize=56312 CPUtime=1.46
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 533 0 0 0 143 3 0 0 15 0 4 0 1117540938 57663488 7187 4294967295 134512640 135305190 3217420176 3080936304 134551793 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=56312 CPUtime=1.49
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 640 0 0 0 144 5 0 0 17 0 4 0 1117540938 57663488 7187 4294967295 134512640 135305190 3217420176 3072548032 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=56312 CPUtime=1.43
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 526 0 0 0 141 2 0 0 15 0 4 0 1117540938 57663488 7187 4294967295 134512640 135305190 3217420176 3064159424 134528875 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 58732

[startup+6.30321 s]
/proc/loadavg: 4.21 4.30 4.39 8/104 23886
/proc/meminfo: memFree=2999160/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=67840 CPUtime=18.69
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 10074 0 0 0 1845 24 0 0 16 0 4 0 1117540925 69468160 10007 4294967295 134512640 135305190 3217420176 3217418352 134528582 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 16960 10007 79 194 0 16764 0
[pid=23883/tid=23884] ppid=23880 vsize=67840 CPUtime=4.63
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 1198 0 0 0 458 5 0 0 16 0 4 0 1117540938 69468160 10007 4294967295 134512640 135305190 3217420176 3080936564 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=67840 CPUtime=4.68
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 1462 0 0 0 461 7 0 0 15 0 4 0 1117540938 69468160 10007 4294967295 134512640 135305190 3217420176 3072547956 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=67840 CPUtime=4.63
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 1139 0 0 0 457 6 0 0 16 0 4 0 1117540938 69468160 10007 4294967295 134512640 135305190 3217420176 3064159424 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.14
Current children cumulated vsize (KiB) 70260

[startup+12.7126 s]
/proc/loadavg: 4.52 4.36 4.41 8/104 23888
/proc/meminfo: memFree=2981764/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=83852 CPUtime=44.24
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 13960 0 0 0 4395 29 0 0 17 0 4 0 1117540925 85864448 13893 4294967295 134512640 135305190 3217420176 3217418352 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 20963 13893 79 194 0 20767 0
[pid=23883/tid=23884] ppid=23880 vsize=83852 CPUtime=11.04
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 1871 0 0 0 1098 6 0 0 17 0 4 0 1117540938 85864448 13893 4294967295 134512640 135305190 3217420176 3080936584 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=83852 CPUtime=11.04
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 2520 0 0 0 1097 7 0 0 16 0 4 0 1117540938 85864448 13893 4294967295 134512640 135305190 3217420176 3072548000 134570407 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=83852 CPUtime=11.03
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 2097 0 0 0 1094 9 0 0 16 0 4 0 1117540938 85864448 13893 4294967295 134512640 135305190 3217420176 3064159424 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 45.69
Current children cumulated vsize (KiB) 86272

[startup+25.5114 s]
/proc/loadavg: 4.62 4.39 4.42 5/104 24072
/proc/meminfo: memFree=2970860/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=92292 CPUtime=95.06
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 16025 0 0 0 9471 35 0 0 25 0 4 0 1117540925 94507008 15958 4294967295 134512640 135305190 3217420176 3217418352 134528406 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23883/statm: 23073 15958 79 194 0 22877 0
[pid=23883/tid=23884] ppid=23880 vsize=92292 CPUtime=23.78
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 2371 0 0 0 2369 9 0 0 25 0 4 0 1117540938 94507008 15958 4294967295 134512640 135305190 3217420176 3080936640 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=92292 CPUtime=23.71
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 3060 0 0 0 2363 8 0 0 25 0 4 0 1117540938 94507008 15958 4294967295 134512640 135305190 3217420176 3072547880 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=92292 CPUtime=23.8
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 2665 0 0 0 2371 9 0 0 21 0 4 0 1117540938 94507008 15958 4294967295 134512640 135305190 3217420176 3064159424 134528771 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 96.51
Current children cumulated vsize (KiB) 94712

[startup+51.1089 s]
/proc/loadavg: 4.55 4.39 4.41 5/104 24074
/proc/meminfo: memFree=2950352/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=114964 CPUtime=197.3
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 21403 0 0 0 19679 51 0 0 25 0 4 0 1117540925 117723136 21336 4294967295 134512640 135305190 3217420176 3217418320 134570407 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23883/statm: 28741 21336 79 194 0 28545 0
[pid=23883/tid=23884] ppid=23880 vsize=114964 CPUtime=49.36
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 3618 0 0 0 4922 14 0 0 25 0 4 0 1117540938 117723136 21336 4294967295 134512640 135305190 3217420176 3080936640 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=114964 CPUtime=49.24
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 4108 0 0 0 4914 10 0 0 25 0 4 0 1117540938 117723136 21336 4294967295 134512640 135305190 3217420176 3072548032 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=114964 CPUtime=49.39
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 4030 0 0 0 4926 13 0 0 25 0 4 0 1117540938 117723136 21336 4294967295 134512640 135305190 3217420176 3064159424 134528310 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 198.75
Current children cumulated vsize (KiB) 117384

[startup+102.314 s]
/proc/loadavg: 4.39 4.37 4.41 5/104 24261
/proc/meminfo: memFree=2930340/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=133572 CPUtime=401.57
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 26372 0 0 0 40088 69 0 0 25 0 4 0 1117540925 136777728 26305 4294967295 134512640 135305190 3217420176 3217418352 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/23883/statm: 33393 26305 79 194 0 33197 0
[pid=23883/tid=23884] ppid=23880 vsize=133572 CPUtime=100.48
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 4868 0 0 0 10031 17 0 0 25 0 4 0 1117540938 136777728 26305 4294967295 134512640 135305190 3217420176 3080936640 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=133572 CPUtime=100.33
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 5123 0 0 0 10018 15 0 0 25 0 4 0 1117540938 136777728 26305 4294967295 134512640 135305190 3217420176 3072548032 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=133572 CPUtime=100.5
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 5277 0 0 0 10031 19 0 0 25 0 4 0 1117540938 136777728 26305 4294967295 134512640 135305190 3217420176 3064159424 134528744 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 403.02
Current children cumulated vsize (KiB) 135992

[startup+162.308 s]
/proc/loadavg: 4.25 4.33 4.39 5/104 24448
/proc/meminfo: memFree=2904316/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=160164 CPUtime=641.03
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 32499 0 0 0 64013 90 0 0 25 0 4 0 1117540925 164007936 32432 4294967295 134512640 135305190 3217420176 3217418352 134530561 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 40041 32432 79 194 0 39845 0
[pid=23883/tid=23884] ppid=23880 vsize=160164 CPUtime=160.4
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6271 0 0 0 16018 22 0 0 25 0 4 0 1117540938 164007936 32432 4294967295 134512640 135305190 3217420176 3080936640 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=160164 CPUtime=160.32
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6300 0 0 0 16012 20 0 0 25 0 4 0 1117540938 164007936 32432 4294967295 134512640 135305190 3217420176 3072547712 134555201 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=160164 CPUtime=160.41
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6996 0 0 0 16017 24 0 0 25 0 4 0 1117540938 164007936 32432 4294967295 134512640 135305190 3217420176 3064159424 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 642.48
Current children cumulated vsize (KiB) 162584

[startup+222.313 s]
/proc/loadavg: 4.31 4.33 4.38 5/104 24638
/proc/meminfo: memFree=2899884/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=164336 CPUtime=880.6
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 33729 0 0 0 87953 107 0 0 25 0 4 0 1117540925 168280064 33662 4294967295 134512640 135305190 3217420176 3217418352 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 41084 33662 79 194 0 40888 0
[pid=23883/tid=23884] ppid=23880 vsize=164336 CPUtime=220.39
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6486 0 0 0 22016 23 0 0 25 0 4 0 1117540938 168280064 33662 4294967295 134512640 135305190 3217420176 3080936640 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=164336 CPUtime=220.28
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6593 0 0 0 21998 30 0 0 25 0 4 0 1117540938 168280064 33662 4294967295 134512640 135305190 3217420176 3072548032 134528395 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=164336 CPUtime=220.15
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7226 0 0 0 21990 25 0 0 25 0 4 0 1117540938 168280064 33662 4294967295 134512640 135305190 3217420176 3064159424 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 166756

[startup+282.307 s]
/proc/loadavg: 4.61 4.39 4.39 5/104 24831
/proc/meminfo: memFree=2893044/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=170740 CPUtime=1120.09
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 35141 0 0 0 111887 122 0 0 25 0 4 0 1117540925 174837760 35074 4294967295 134512640 135305190 3217420176 3217418352 134528480 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 42685 35074 79 194 0 42489 0
[pid=23883/tid=23884] ppid=23880 vsize=170740 CPUtime=280.36
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6769 0 0 0 28009 27 0 0 25 0 4 0 1117540938 174837760 35074 4294967295 134512640 135305190 3217420176 3080936640 134528256 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=170740 CPUtime=280.16
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7035 0 0 0 27983 33 0 0 25 0 4 0 1117540938 174837760 35074 4294967295 134512640 135305190 3217420176 3072548032 134528319 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=170740 CPUtime=279.83
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7534 0 0 0 27956 27 0 0 25 0 4 0 1117540938 174837760 35074 4294967295 134512640 135305190 3217420176 3064159152 134557241 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1121.54
Current children cumulated vsize (KiB) 173160

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

[startup+287.916 s]
/proc/loadavg: 4.64 4.40 4.40 5/104 24831
/proc/meminfo: memFree=2893108/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=171032 CPUtime=1142.52
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 35222 0 0 0 114128 124 0 0 25 0 4 0 1117540925 175136768 35155 4294967295 134512640 135305190 3217420176 3217418352 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 42758 35155 79 194 0 42562 0
[pid=23883/tid=23884] ppid=23880 vsize=171032 CPUtime=285.97
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6810 0 0 0 28570 27 0 0 25 0 4 0 1117540938 175136768 35155 4294967295 134512640 135305190 3217420176 3080936640 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=171032 CPUtime=285.77
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7036 0 0 0 28544 33 0 0 25 0 4 0 1117540938 175136768 35155 4294967295 134512640 135305190 3217420176 3072548032 134528235 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=171032 CPUtime=285.43
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7564 0 0 0 28514 29 0 0 25 0 4 0 1117540938 175136768 35155 4294967295 134512640 135305190 3217420176 3064159424 134528512 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1143.97
Current children cumulated vsize (KiB) 173452

[startup+289.516 s]
/proc/loadavg: 4.59 4.40 4.39 5/104 24831
/proc/meminfo: memFree=2893016/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=171368 CPUtime=1148.91
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 35296 0 0 0 114767 124 0 0 25 0 4 0 1117540925 175480832 35229 4294967295 134512640 135305190 3217420176 3217418352 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 42842 35229 79 194 0 42646 0
[pid=23883/tid=23884] ppid=23880 vsize=171368 CPUtime=287.57
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6855 0 0 0 28730 27 0 0 25 0 4 0 1117540938 175480832 35229 4294967295 134512640 135305190 3217420176 3080936640 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=171368 CPUtime=287.37
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7058 0 0 0 28704 33 0 0 25 0 4 0 1117540938 175480832 35229 4294967295 134512640 135305190 3217420176 3072548032 134528771 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=171368 CPUtime=287.02
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7569 0 0 0 28673 29 0 0 25 0 4 0 1117540938 175480832 35229 4294967295 134512640 135305190 3217420176 3064159424 134528539 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1150.36
Current children cumulated vsize (KiB) 173788

[startup+290.316 s]
/proc/loadavg: 4.59 4.40 4.39 8/104 24831
/proc/meminfo: memFree=2892868/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=171512 CPUtime=1152.13
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 35330 0 0 0 115088 125 0 0 25 0 4 0 1117540925 175628288 35263 4294967295 134512640 135305190 3217420176 3217418144 134547909 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 42878 35263 79 194 0 42682 0
[pid=23883/tid=23884] ppid=23880 vsize=171512 CPUtime=288.37
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6887 0 0 0 28810 27 0 0 25 0 4 0 1117540938 175628288 35263 4294967295 134512640 135305190 3217420176 3080936640 134528425 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=171512 CPUtime=288.18
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7059 0 0 0 28785 33 0 0 25 0 4 0 1117540938 175628288 35263 4294967295 134512640 135305190 3217420176 3072548032 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=171512 CPUtime=287.82
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7569 0 0 0 28752 30 0 0 25 0 4 0 1117540938 175628288 35263 4294967295 134512640 135305190 3217420176 3064159424 134528235 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1153.58
Current children cumulated vsize (KiB) 173932

[startup+291.116 s]
/proc/loadavg: 4.59 4.40 4.39 8/104 24831
/proc/meminfo: memFree=2892868/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2420 CPUtime=1.45
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 370 6759 0 0 0 0 136 9 18 0 1 0 1117540779 2478080 275 4294967295 134512640 135169312 3214210192 3214206408 3085594350 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/23880/statm: 605 275 231 161 0 44 0
[pid=23883] ppid=23880 vsize=171512 CPUtime=1155.28
/proc/23883/stat : 23883 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202496 35342 0 0 0 115403 125 0 0 25 0 4 0 1117540925 175628288 35275 4294967295 134512640 135305190 3217420176 3217418352 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23883/statm: 42878 35275 79 194 0 42682 0
[pid=23883/tid=23884] ppid=23880 vsize=171512 CPUtime=289.16
/proc/23883/task/23884/stat : 23884 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 6887 0 0 0 28889 27 0 0 25 0 4 0 1117540938 175628288 35275 4294967295 134512640 135305190 3217420176 3080936640 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23883/tid=23885] ppid=23880 vsize=171512 CPUtime=288.97
/proc/23883/task/23885/stat : 23885 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7065 0 0 0 28864 33 0 0 25 0 4 0 1117540938 175628288 35275 4294967295 134512640 135305190 3217420176 3072548032 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23883/tid=23886] ppid=23880 vsize=171512 CPUtime=288.59
/proc/23883/task/23886/stat : 23886 (manysat1.1_stat) R 23880 23880 19648 0 -1 4202560 7571 0 0 0 28829 30 0 0 25 0 4 0 1117540938 175628288 35275 4294967295 134512640 135305190 3217420176 3064159272 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1156.73
Current children cumulated vsize (KiB) 173932

[startup+291.316 s]
/proc/loadavg: 4.59 4.40 4.39 8/104 24831
/proc/meminfo: memFree=2892868/3368532 swapFree=1953580/1959888
[pid=23880] ppid=23878 vsize=2936 CPUtime=1157.49
/proc/23880/stat : 23880 (manysat.sh) S 23878 23880 19648 0 -1 4194304 459 42119 0 0 0 0 115614 135 18 0 1 0 1117540779 3006464 343 4294967295 134512640 135169312 3214210192 3214205576 3085594350 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23880/statm: 734 343 233 161 0 173 0
Current children cumulated CPU time (s) 1157.49
Current children cumulated vsize (KiB) 2936

Child status: 20
Real time (s): 291.319
CPU time (s): 1157.5
CPU user time (s): 1156.14
CPU system time (s): 1.36
CPU usage (%): 397.331
Max. virtual memory (cumulated for all children) (KiB): 173932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1156.14
system time used= 1.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42764
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= 14801
involuntary context switches= 52374

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:39:23
IDJOB=1780126
IDBENCH=70956
IDSOLVER=620
FILE ID=/1780126-1243528763
PBS_JOBID=
Free space on /tmp= 15882 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-ss-8.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780126-1243528763/watcher-1780126-1243528763 -o /tmp/evaluation-result-1780126-1243528763/solver-1780126-1243528763 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1780126-1243528763.cnf aimd 0

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

MD5SUM BENCH= 9d3d3bb9b296880c7463693ae665aafd
RANDOM SEED= 259547841

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:       3044804 kB
Buffers:         28680 kB
Cached:         216916 kB
SwapCached:       2424 kB
Active:          96004 kB
Inactive:       160296 kB
HighTotal:     2489216 kB
HighFree:      2259028 kB
LowTotal:       879316 kB
LowFree:        785776 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            3820 kB
Writeback:           0 kB
AnonPages:       10008 kB
Mapped:           4764 kB
Slab:            57808 kB
SReclaimable:    49884 kB
SUnreclaim:       7924 kB
PageTables:        508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93920 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15882 MiB
End job on  at 2009-05-28 18:44:15