Trace number 1776136

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 398.12 101.078

General information on the benchmark

Nameindustrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
MD5SUM175ec3119584300988ad366c4a04cccc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark383.27
Satisfiable
(Un)Satisfiability was proved
Number of variables69148
Number of clauses208728
Sum of the clauses size487544
Maximum clause length28
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2139492
Number of clauses of size 368730
Number of clauses of size 4102
Number of clauses of size 513
Number of clauses of size over 5135

Solver Data 

0.00/0.00	c Parsing...
0.11/0.16	c ==============================================================================
0.11/0.16	c |           |     ORIGINAL     |              LEARNT              |          |
0.11/0.16	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.11/0.16	c ==============================================================================
0.11/0.16	c |         0 |  207960   486008 |   62387       0        0     nan |  0.000 % |
1.21/1.23	c |         0 |  121498   417368 |      --       0       --      -- |     --   | -86462/-68640
1.21/1.23	c ==============================================================================
1.21/1.23	c Result  :   #vars: 18081   #clauses: 121498   #literals: 417368
1.21/1.23	c CPU time:   1.18 s
1.21/1.23	c ==============================================================================
397.88/101.06	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
397.88/101.06	c ============================[ Problem Statistics ]=============================
397.88/101.06	c |                                                                             |
397.88/101.06	c threadId              : 3
397.88/101.06	c restarts              : 125
397.88/101.06	c conflicts             : 81180          (205 /sec)
397.88/101.06	c decisions             : 160930         (2.17 % random) (406 /sec)
397.88/101.06	c propagations          : 118278431      (298525 /sec)
397.88/101.06	c conflict literals     : 5870709        (51.45 % deleted)
397.88/101.06	c Memory used           : 131.72 MB
397.88/101.06	c CPU time              : 396.21 s
397.88/101.06	
397.88/101.06	c --->m=4, e=8, aimd=0, HOME/20729_many.cnf	time: 99.0525	conflicts: 81180        
397.88/101.07	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-1776136-1243507467/watcher-1776136-1243507467 -o /tmp/evaluation-result-1776136-1243507467/solver-1776136-1243507467 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776136-1243507467.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.28 4.25 4.30 3/97 20729
/proc/meminfo: memFree=3028800/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2412 CPUtime=0
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104883935 2469888 273 4294967295 134512640 135169312 3214329008 3214327544 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 603 273 231 161 0 42 0
[pid=20730] ppid=20729 vsize=1248 CPUtime=0.01
/proc/20730/stat : 20730 (SatElite) R 20729 20729 21691 0 -1 4202496 267 0 0 0 0 1 0 0 19 0 1 0 1104883935 1277952 203 4294967295 134512640 135034092 3216719552 3216715544 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20730/statm: 312 203 50 128 0 182 0

[startup+0.092122 s]
/proc/loadavg: 4.28 4.25 4.30 3/97 20729
/proc/meminfo: memFree=3028800/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2412 CPUtime=0
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104883935 2469888 273 4294967295 134512640 135169312 3214329008 3214327544 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 603 273 231 161 0 42 0
[pid=20730] ppid=20729 vsize=17644 CPUtime=0.09
/proc/20730/stat : 20730 (SatElite) R 20729 20729 21691 0 -1 4202496 3908 0 0 0 7 2 0 0 19 0 1 0 1104883935 18067456 3844 4294967295 134512640 135034092 3216719552 3216715512 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20730/statm: 4411 3847 51 128 0 4281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20056

[startup+0.112119 s]
/proc/loadavg: 4.28 4.25 4.30 3/97 20729
/proc/meminfo: memFree=3028800/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2412 CPUtime=0
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104883935 2469888 273 4294967295 134512640 135169312 3214329008 3214327544 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 603 273 231 161 0 42 0
[pid=20730] ppid=20729 vsize=19756 CPUtime=0.11
/proc/20730/stat : 20730 (SatElite) R 20729 20729 21691 0 -1 4202496 4657 0 0 0 9 2 0 0 20 0 1 0 1104883935 20230144 4593 4294967295 134512640 135034092 3216719552 3216715896 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20730/statm: 4939 4594 51 128 0 4809 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22168

[startup+0.312104 s]
/proc/loadavg: 4.28 4.25 4.30 3/97 20729
/proc/meminfo: memFree=3028800/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2412 CPUtime=0
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104883935 2469888 273 4294967295 134512640 135169312 3214329008 3214327544 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 603 273 231 161 0 42 0
[pid=20730] ppid=20729 vsize=35148 CPUtime=0.31
/proc/20730/stat : 20730 (SatElite) R 20729 20729 21691 0 -1 4202496 7274 0 0 0 28 3 0 0 20 0 1 0 1104883935 35991552 7036 4294967295 134512640 135034092 3216719552 3216715548 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20730/statm: 8787 7036 67 128 0 8657 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 37560

[startup+0.712072 s]
/proc/loadavg: 4.28 4.25 4.30 3/97 20729
/proc/meminfo: memFree=3028800/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2412 CPUtime=0
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104883935 2469888 273 4294967295 134512640 135169312 3214329008 3214327544 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 603 273 231 161 0 42 0
[pid=20730] ppid=20729 vsize=38712 CPUtime=0.71
/proc/20730/stat : 20730 (SatElite) R 20729 20729 21691 0 -1 4202496 8154 0 0 0 66 5 0 0 21 0 1 0 1104883935 39641088 7916 4294967295 134512640 135034092 3216719552 3216715548 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20730/statm: 9678 7916 67 128 0 9548 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 41124

[startup+1.51201 s]
/proc/loadavg: 4.02 4.19 4.28 2/99 20731
/proc/meminfo: memFree=2992096/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 2416

[startup+3.11189 s]
/proc/loadavg: 4.02 4.19 4.28 6/102 20735
/proc/meminfo: memFree=2982932/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=69852 CPUtime=5.76
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 10694 0 0 0 564 12 0 0 16 0 4 0 1104884075 71528448 10627 4294967295 134512640 135305190 3215535568 3215533592 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20732/statm: 17463 10627 79 194 0 17267 0
[pid=20732/tid=20733] ppid=20729 vsize=69852 CPUtime=1.44
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 617 0 0 0 142 2 0 0 16 0 4 0 1104884099 71528448 10627 4294967295 134512640 135305190 3215535568 3080060096 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=69852 CPUtime=1.25
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 537 0 0 0 123 2 0 0 16 0 4 0 1104884099 71528448 10627 4294967295 134512640 135305190 3215535568 3071671412 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=69852 CPUtime=1.38
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 574 0 0 0 136 2 0 0 16 0 4 0 1104884099 71528448 10627 4294967295 134512640 135305190 3215535568 3063282608 134557342 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 72268

[startup+6.31164 s]
/proc/loadavg: 4.09 4.21 4.29 6/102 20737
/proc/meminfo: memFree=2976156/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=74640 CPUtime=18.52
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 12104 0 0 0 1838 14 0 0 17 0 4 0 1104884075 76431360 12037 4294967295 134512640 135305190 3215535568 3215533492 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20732/statm: 18660 12037 79 194 0 18464 0
[pid=20732/tid=20733] ppid=20729 vsize=74640 CPUtime=4.64
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 919 0 0 0 462 2 0 0 18 0 4 0 1104884099 76431360 12037 4294967295 134512640 135305190 3215535568 3080060096 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=74640 CPUtime=4.43
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 863 0 0 0 440 3 0 0 18 0 4 0 1104884099 76431360 12037 4294967295 134512640 135305190 3215535568 3071671488 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=74640 CPUtime=4.56
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 982 0 0 0 453 3 0 0 18 0 4 0 1104884099 76431360 12037 4294967295 134512640 135305190 3215535568 3063282880 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (KiB) 77056

[startup+12.7111 s]
/proc/loadavg: 4.09 4.20 4.29 5/102 20737
/proc/meminfo: memFree=2967740/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=82740 CPUtime=44.09
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 14158 0 0 0 4390 19 0 0 25 0 4 0 1104884075 84725760 14091 4294967295 134512640 135305190 3215535568 3215533424 134843311 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20732/statm: 20685 14091 79 194 0 20489 0
[pid=20732/tid=20733] ppid=20729 vsize=82740 CPUtime=11.04
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 1425 0 0 0 1100 4 0 0 25 0 4 0 1104884099 84725760 14091 4294967295 134512640 135305190 3215535568 3080060096 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=82740 CPUtime=10.83
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 1343 0 0 0 1079 4 0 0 25 0 4 0 1104884099 84725760 14091 4294967295 134512640 135305190 3215535568 3071671236 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=82740 CPUtime=10.94
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 1532 0 0 0 1090 4 0 0 25 0 4 0 1104884099 84725760 14091 4294967295 134512640 135305190 3215535568 3063282816 134619010 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (KiB) 85156

[startup+25.5101 s]
/proc/loadavg: 4.07 4.20 4.28 6/102 20739
/proc/meminfo: memFree=2954152/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=95876 CPUtime=95.22
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 17236 0 0 0 9499 23 0 0 25 0 4 0 1104884075 98177024 17169 4294967295 134512640 135305190 3215535568 3215533744 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20732/statm: 23969 17169 79 194 0 23773 0
[pid=20732/tid=20733] ppid=20729 vsize=95876 CPUtime=23.83
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 2254 0 0 0 2376 7 0 0 25 0 4 0 1104884099 98177024 17169 4294967295 134512640 135305190 3215535568 3080060096 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=95876 CPUtime=23.62
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 2117 0 0 0 2357 5 0 0 25 0 4 0 1104884099 98177024 17169 4294967295 134512640 135305190 3215535568 3071671488 134528501 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=95876 CPUtime=23.69
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 2347 0 0 0 2365 4 0 0 25 0 4 0 1104884099 98177024 17169 4294967295 134512640 135305190 3215535568 3063282544 134551992 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 96.62
Current children cumulated vsize (KiB) 98292

[startup+51.1081 s]
/proc/loadavg: 4.16 4.21 4.28 5/102 20745
/proc/meminfo: memFree=2930672/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=118852 CPUtime=197.4
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 23208 0 0 0 19705 35 0 0 25 0 4 0 1104884075 121704448 23141 4294967295 134512640 135305190 3215535568 3215533408 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20732/statm: 29713 23141 79 194 0 29517 0
[pid=20732/tid=20733] ppid=20729 vsize=118852 CPUtime=49.42
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 3657 0 0 0 4934 8 0 0 25 0 4 0 1104884099 121704448 23141 4294967295 134512640 135305190 3215535568 3080060096 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=118852 CPUtime=49.21
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 3512 0 0 0 4916 5 0 0 25 0 4 0 1104884099 121704448 23141 4294967295 134512640 135305190 3215535568 3071671488 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=118852 CPUtime=49.12
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 3959 0 0 0 4901 11 0 0 25 0 4 0 1104884099 121704448 23141 4294967295 134512640 135305190 3215535568 3063282880 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 198.8
Current children cumulated vsize (KiB) 121268

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

[startup+76.7161 s]
/proc/loadavg: 4.16 4.20 4.28 5/102 20928
/proc/meminfo: memFree=2927360/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=122404 CPUtime=299.4
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 23827 0 0 0 29899 41 0 0 25 0 4 0 1104884075 125341696 23760 4294967295 134512640 135305190 3215535568 3215533744 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20732/statm: 30601 23760 79 194 0 30405 0
[pid=20732/tid=20733] ppid=20729 vsize=122404 CPUtime=75.01
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 3776 0 0 0 7490 11 0 0 25 0 4 0 1104884099 125341696 23760 4294967295 134512640 135305190 3215535568 3080060096 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=122404 CPUtime=74.76
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 3785 0 0 0 7471 5 0 0 25 0 4 0 1104884099 125341696 23760 4294967295 134512640 135305190 3215535568 3071671488 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=122404 CPUtime=74.55
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4116 0 0 0 7442 13 0 0 25 0 4 0 1104884099 125341696 23760 4294967295 134512640 135305190 3215535568 3063282880 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 300.8
Current children cumulated vsize (KiB) 124820

[startup+89.5151 s]
/proc/loadavg: 4.21 4.21 4.28 6/102 20930
/proc/meminfo: memFree=2917628/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=132632 CPUtime=350.51
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 26422 0 0 0 35003 48 0 0 25 0 4 0 1104884075 135815168 26355 4294967295 134512640 135305190 3215535568 3215533744 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20732/statm: 33158 26355 79 194 0 32962 0
[pid=20732/tid=20733] ppid=20729 vsize=132632 CPUtime=87.81
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4354 0 0 0 8769 12 0 0 25 0 4 0 1104884099 135815168 26355 4294967295 134512640 135305190 3215535568 3080060096 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=132632 CPUtime=87.56
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4325 0 0 0 8746 10 0 0 25 0 4 0 1104884099 135815168 26355 4294967295 134512640 135305190 3215535568 3071671488 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=132632 CPUtime=87.26
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4942 0 0 0 8713 13 0 0 25 0 4 0 1104884099 135815168 26355 4294967295 134512640 135305190 3215535568 3063282608 134558397 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 351.91
Current children cumulated vsize (KiB) 135048

[startup+95.9146 s]
/proc/loadavg: 4.25 4.22 4.28 6/102 20931
/proc/meminfo: memFree=2914884/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=134332 CPUtime=376.08
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 26932 0 0 0 37558 50 0 0 25 0 4 0 1104884075 137555968 26865 4294967295 134512640 135305190 3215535568 3215533744 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20732/statm: 33583 26865 79 194 0 33387 0
[pid=20732/tid=20733] ppid=20729 vsize=134332 CPUtime=94.21
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4454 0 0 0 9409 12 0 0 25 0 4 0 1104884099 137555968 26865 4294967295 134512640 135305190 3215535568 3080059824 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=134332 CPUtime=93.96
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4458 0 0 0 9384 12 0 0 25 0 4 0 1104884099 137555968 26865 4294967295 134512640 135305190 3215535568 3071671488 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=134332 CPUtime=93.63
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 5101 0 0 0 9350 13 0 0 25 0 4 0 1104884099 137555968 26865 4294967295 134512640 135305190 3215535568 3063282880 134528277 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 377.48
Current children cumulated vsize (KiB) 136748

[startup+99.1143 s]
/proc/loadavg: 4.25 4.22 4.28 5/102 20932
/proc/meminfo: memFree=2914760/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=134544 CPUtime=388.88
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 26967 0 0 0 38838 50 0 0 25 0 4 0 1104884075 137773056 26900 4294967295 134512640 135305190 3215535568 3215533744 134528515 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20732/statm: 33636 26900 79 194 0 33440 0
[pid=20732/tid=20733] ppid=20729 vsize=134544 CPUtime=97.41
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4484 0 0 0 9729 12 0 0 25 0 4 0 1104884099 137773056 26900 4294967295 134512640 135305190 3215535568 3080060096 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=134544 CPUtime=97.16
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4462 0 0 0 9704 12 0 0 25 0 4 0 1104884099 137773056 26900 4294967295 134512640 135305190 3215535568 3071671488 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=134544 CPUtime=96.83
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 5102 0 0 0 9670 13 0 0 25 0 4 0 1104884099 137773056 26900 4294967295 134512640 135305190 3215535568 3063282420 134837724 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 390.28
Current children cumulated vsize (KiB) 136960

[startup+99.9143 s]
/proc/loadavg: 4.25 4.22 4.28 5/102 20932
/proc/meminfo: memFree=2914760/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=134544 CPUtime=392.08
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 26991 0 0 0 39158 50 0 0 25 0 4 0 1104884075 137773056 26924 4294967295 134512640 135305190 3215535568 3215533744 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20732/statm: 33636 26924 79 194 0 33440 0
[pid=20732/tid=20733] ppid=20729 vsize=134544 CPUtime=98.21
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4492 0 0 0 9809 12 0 0 25 0 4 0 1104884099 137773056 26924 4294967295 134512640 135305190 3215535568 3080059760 134551978 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=134544 CPUtime=97.96
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4464 0 0 0 9784 12 0 0 25 0 4 0 1104884099 137773056 26924 4294967295 134512640 135305190 3215535568 3071671488 134528382 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=134544 CPUtime=97.63
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 5116 0 0 0 9750 13 0 0 25 0 4 0 1104884099 137773056 26924 4294967295 134512640 135305190 3215535568 3063282880 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 393.48
Current children cumulated vsize (KiB) 136960

[startup+100.714 s]
/proc/loadavg: 4.25 4.22 4.28 6/102 20932
/proc/meminfo: memFree=2914760/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=134732 CPUtime=395.28
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 27016 0 0 0 39478 50 0 0 25 0 4 0 1104884075 137965568 26949 4294967295 134512640 135305190 3215535568 3215533744 134528195 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20732/statm: 33683 26949 79 194 0 33487 0
[pid=20732/tid=20733] ppid=20729 vsize=134732 CPUtime=99.01
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4493 0 0 0 9889 12 0 0 25 0 4 0 1104884099 137965568 26949 4294967295 134512640 135305190 3215535568 3080059760 134551691 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=134732 CPUtime=98.76
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4487 0 0 0 9864 12 0 0 25 0 4 0 1104884099 137965568 26949 4294967295 134512640 135305190 3215535568 3071671408 134543917 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=134732 CPUtime=98.43
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 5117 0 0 0 9830 13 0 0 25 0 4 0 1104884099 137965568 26949 4294967295 134512640 135305190 3215535568 3063282880 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 396.68
Current children cumulated vsize (KiB) 137148

[startup+100.914 s]
/proc/loadavg: 4.25 4.22 4.28 6/102 20932
/proc/meminfo: memFree=2914760/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=134732 CPUtime=396.08
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 27017 0 0 0 39558 50 0 0 25 0 4 0 1104884075 137965568 26950 4294967295 134512640 135305190 3215535568 3215533744 134528265 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20732/statm: 33683 26950 79 194 0 33487 0
[pid=20732/tid=20733] ppid=20729 vsize=134732 CPUtime=99.21
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4493 0 0 0 9909 12 0 0 25 0 4 0 1104884099 137965568 26950 4294967295 134512640 135305190 3215535568 3080059760 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=134732 CPUtime=98.96
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4488 0 0 0 9884 12 0 0 25 0 4 0 1104884099 137965568 26950 4294967295 134512640 135305190 3215535568 3071671488 134528501 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=134732 CPUtime=98.63
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 5117 0 0 0 9850 13 0 0 25 0 4 0 1104884099 137965568 26950 4294967295 134512640 135305190 3215535568 3063282880 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 397.48
Current children cumulated vsize (KiB) 137148

[startup+101.014 s]
/proc/loadavg: 4.25 4.22 4.28 6/102 20932
/proc/meminfo: memFree=2914760/3368532 swapFree=1952996/1959888
[pid=20729] ppid=20727 vsize=2416 CPUtime=1.4
/proc/20729/stat : 20729 (manysat.sh) S 20727 20729 21691 0 -1 4194304 369 9274 0 0 0 0 133 7 18 0 1 0 1104883935 2473984 274 4294967295 134512640 135169312 3214329008 3214325224 3085401838 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/20729/statm: 604 274 231 161 0 43 0
[pid=20732] ppid=20729 vsize=134732 CPUtime=396.48
/proc/20732/stat : 20732 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202496 27017 0 0 0 39598 50 0 0 25 0 4 0 1104884075 137965568 26950 4294967295 134512640 135305190 3215535568 3215533408 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20732/statm: 33683 26950 79 194 0 33487 0
[pid=20732/tid=20733] ppid=20729 vsize=134732 CPUtime=99.31
/proc/20732/task/20733/stat : 20733 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4493 0 0 0 9919 12 0 0 25 0 4 0 1104884099 137965568 26950 4294967295 134512640 135305190 3215535568 3080060096 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20732/tid=20734] ppid=20729 vsize=134732 CPUtime=99.06
/proc/20732/task/20734/stat : 20734 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 4488 0 0 0 9894 12 0 0 25 0 4 0 1104884099 137965568 26950 4294967295 134512640 135305190 3215535568 3071671104 134551986 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20732/tid=20735] ppid=20729 vsize=134732 CPUtime=98.73
/proc/20732/task/20735/stat : 20735 (manysat1.1_stat) R 20729 20729 21691 0 -1 4202560 5117 0 0 0 9860 13 0 0 25 0 4 0 1104884099 137965568 26950 4294967295 134512640 135305190 3215535568 3063282880 134530636 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 397.88
Current children cumulated vsize (KiB) 137148

Child status: 20
Real time (s): 101.078
CPU time (s): 398.12
CPU user time (s): 397.55
CPU system time (s): 0.57
CPU usage (%): 393.876
Max. virtual memory (cumulated for all children) (KiB): 137148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.55
system time used= 0.57
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36978
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= 14240
involuntary context switches= 18603

runsolver used 0 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-28 12:44:27
IDJOB=1776136
IDBENCH=20425
IDSOLVER=620
FILE ID=tipi45/1776136-1243507467
PBS_JOBID=
Free space on /tmp= 15498 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/medium/emptyroom-4-h21-unsat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776136-1243507467/watcher-1776136-1243507467 -o /tmp/evaluation-result-1776136-1243507467/solver-1776136-1243507467 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1776136-1243507467.cnf aimd 0

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

MD5SUM BENCH= 175ec3119584300988ad366c4a04cccc
RANDOM SEED= 2027700953

Linux tipi45 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.081
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.41
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.081
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.10
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.081
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.081
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3029096 kB
Buffers:        127360 kB
Cached:         105284 kB
SwapCached:       2100 kB
Active:          73972 kB
Inactive:       167808 kB
HighTotal:     2489216 kB
HighFree:      2371700 kB
LowTotal:       879316 kB
LowFree:        657396 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            4920 kB
Writeback:           0 kB
AnonPages:        8180 kB
Mapped:           3300 kB
Slab:            85516 kB
SReclaimable:    73948 kB
SUnreclaim:      11568 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    89596 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15498 MiB
End job on tipi45 at 2009-05-28 12:46:08