Trace number 1779070

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
satake 2009-03-22 (4 threads)UNSAT 135.04 44.6866

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxand/maxand064.cnf
MD5SUMb2d2617ddc348aef0d35df3c8f228dcb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark8.94
Satisfiable
(Un)Satisfiability was proved
Number of variables14578
Number of clauses42581
Sum of the clauses size99353
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 228386
Number of clauses of size 314193
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

134.86/44.68	c Benchmark name    : HOME/instance-1779070-1243641584.cnf
134.86/44.68	c Thread Num        :            4
134.86/44.68	c restarts          :           15
134.86/44.68	c conflicts         :        62283
134.86/44.68	c decisions         :       144746           (     3246 / sec      )
134.86/44.68	c propagations      :     54329987           (  1218410 / sec      )
134.86/44.68	c inspects          :    170787813           (  3830107 / sec      )
134.86/44.68	c conflict literals :      8011604           (    26.80 % deleted  )
134.86/44.68	c cpu time          :        44.59           
134.86/44.68	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-1779070-1243641584/watcher-1779070-1243641584 -o /tmp/evaluation-result-1779070-1243641584/solver-1779070-1243641584 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779070-1243641584.cnf 4 10000 

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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 31904
/proc/meminfo: memFree=3112912/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=2056 CPUtime=0
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 352 0 0 0 0 0 0 0 18 0 5 0 945735188 2105344 308 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 514 308 63 164 0 349 0
[pid=31904/tid=31905] ppid=31902 vsize=2056 CPUtime=0
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 945735188 2105344 310 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=2056 CPUtime=0
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 238 0 0 0 0 0 0 0 19 0 5 0 945735188 2105344 311 4294967295 134512640 135180984 3219265904 3086180440 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=2056 CPUtime=0
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 945735188 2105344 311 4294967295 134512640 135180984 3219265904 3086115652 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=2056 CPUtime=0
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 945735188 2105344 311 4294967295 134512640 135180984 3219265904 3086050116 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.049667 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 31904
/proc/meminfo: memFree=3112912/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=9896 CPUtime=0.05
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 1836 0 0 0 3 2 0 0 18 0 5 0 945735188 10133504 1786 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 2474 1788 63 164 0 2309 0
[pid=31904/tid=31905] ppid=31902 vsize=9896 CPUtime=0
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 945735188 10133504 1788 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=9896 CPUtime=0.02
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 540 0 0 0 2 0 0 0 19 0 5 0 945735188 10133504 1788 4294967295 134512640 135180984 3219265904 3086180640 134513717 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=9896 CPUtime=0.01
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 409 0 0 0 0 1 0 0 20 0 5 0 945735188 10133504 1789 4294967295 134512640 135180984 3219265904 3086114996 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=9896 CPUtime=0.02
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 773 0 0 0 1 1 0 0 21 0 5 0 945735188 10133504 1790 4294967295 134512640 135180984 3219265904 3086049352 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9896

[startup+0.119848 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 31904
/proc/meminfo: memFree=3112912/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=13192 CPUtime=0.23
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 3086 0 0 0 19 4 0 0 18 0 5 0 945735188 13508608 2559 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 3298 2559 68 164 0 3133 0
[pid=31904/tid=31905] ppid=31902 vsize=13192 CPUtime=0.01
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 267 0 0 0 0 1 0 0 18 0 5 0 945735188 13508608 2559 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=13192 CPUtime=0.09
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 878 0 0 0 8 1 0 0 19 0 5 0 945735188 13508608 2559 4294967295 134512640 135180984 3219265904 3086180224 134518820 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=13192 CPUtime=0.06
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 926 0 0 0 5 1 0 0 19 0 5 0 945735188 13508608 2559 4294967295 134512640 135180984 3219265904 3086114668 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=13192 CPUtime=0.08
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 905 0 0 0 7 1 0 0 21 0 5 0 945735188 13508608 2559 4294967295 134512640 135180984 3219265904 3086049072 134556104 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13192

[startup+0.309829 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 31904
/proc/meminfo: memFree=3112912/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=13456 CPUtime=0.89
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 3206 0 0 0 66 23 0 0 18 0 5 0 945735188 13778944 2679 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 3364 2679 68 164 0 3199 0
[pid=31904/tid=31905] ppid=31902 vsize=13456 CPUtime=0.12
/proc/31904/task/31905/stat : 31905 (satake) R 31902 31904 30957 0 -1 4202560 292 0 0 0 1 11 0 0 17 0 5 0 945735188 13778944 2679 4294967295 134512640 135180984 3219265904 3086245916 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=13456 CPUtime=0.28
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 919 0 0 0 25 3 0 0 19 0 5 0 945735188 13778944 2679 4294967295 134512640 135180984 3219265904 3086180112 134524648 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=13456 CPUtime=0.25
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 956 0 0 0 18 7 0 0 20 0 5 0 945735188 13778944 2679 4294967295 134512640 135180984 3219265904 3086114476 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=13456 CPUtime=0.24
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 929 0 0 0 22 2 0 0 21 0 5 0 945735188 13778944 2679 4294967295 134512640 135180984 3219265904 3086049152 134518634 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 13456

[startup+0.709796 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 31904
/proc/meminfo: memFree=3112912/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=15272 CPUtime=2.19
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 3518 0 0 0 177 42 0 0 18 0 5 0 945735188 15638528 2991 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 3818 2991 68 164 0 3653 0
[pid=31904/tid=31905] ppid=31902 vsize=15272 CPUtime=0.25
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 332 0 0 0 2 23 0 0 16 0 5 0 945735188 15638528 2991 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=15272 CPUtime=0.66
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 1030 0 0 0 61 5 0 0 19 0 5 0 945735188 15638528 2991 4294967295 134512640 135180984 3219265904 3086180208 134528978 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=15272 CPUtime=0.64
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 1035 0 0 0 53 11 0 0 20 0 5 0 945735188 15638528 2991 4294967295 134512640 135180984 3219265904 3086114608 134523794 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=15272 CPUtime=0.64
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 1011 0 0 0 61 3 0 0 22 0 5 0 945735188 15638528 2991 4294967295 134512640 135180984 3219265904 3086049136 134528065 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 15272

[startup+1.50973 s]
/proc/loadavg: 2.76 2.95 2.98 5/103 31909
/proc/meminfo: memFree=3101676/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=17632 CPUtime=4.76
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 4189 0 0 0 401 75 0 0 18 0 5 0 945735188 18055168 3662 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 4408 3662 68 164 0 4243 0
[pid=31904/tid=31905] ppid=31902 vsize=17632 CPUtime=0.48
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 413 0 0 0 7 41 0 0 16 0 5 0 945735188 18055168 3662 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=17632 CPUtime=1.44
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 1210 0 0 0 131 13 0 0 20 0 5 0 945735188 18055168 3662 4294967295 134512640 135180984 3219265904 3086180208 134528219 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=17632 CPUtime=1.43
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 1216 0 0 0 129 14 0 0 20 0 5 0 945735188 18055168 3662 4294967295 134512640 135180984 3219265904 3086114668 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=17632 CPUtime=1.41
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 1240 0 0 0 134 7 0 0 25 0 5 0 945735188 18055168 3662 4294967295 134512640 135180984 3219265904 3086049136 134528592 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 17632

[startup+3.1096 s]
/proc/loadavg: 2.76 2.95 2.98 6/104 31910
/proc/meminfo: memFree=3097680/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=22716 CPUtime=9.69
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 5497 0 0 0 868 101 0 0 18 0 5 0 945735188 23261184 4970 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 5679 4970 68 164 0 5514 0
[pid=31904/tid=31905] ppid=31902 vsize=22716 CPUtime=0.65
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 480 0 0 0 11 54 0 0 16 0 5 0 945735188 23261184 4970 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=22716 CPUtime=3.03
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 1613 0 0 0 285 18 0 0 23 0 5 0 945735188 23261184 4970 4294967295 134512640 135180984 3219265904 3086180040 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=22716 CPUtime=3.03
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 1600 0 0 0 284 19 0 0 25 0 5 0 945735188 23261184 4970 4294967295 134512640 135180984 3219265904 3086114568 134519101 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=22716 CPUtime=2.98
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 1694 0 0 0 288 10 0 0 25 0 5 0 945735188 23261184 4970 4294967295 134512640 135180984 3219265904 3086049132 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 22716

[startup+6.31934 s]
/proc/loadavg: 2.78 2.95 2.98 4/103 31910
/proc/meminfo: memFree=3086320/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=34268 CPUtime=19.42
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 8202 0 0 0 1805 137 0 0 18 0 5 0 945735188 35090432 7675 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 8567 7675 68 164 0 8402 0
[pid=31904/tid=31905] ppid=31902 vsize=34268 CPUtime=0.86
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 555 0 0 0 13 73 0 0 16 0 5 0 945735188 35090432 7675 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=34268 CPUtime=6.22
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 2535 0 0 0 598 24 0 0 25 0 5 0 945735188 35090432 7675 4294967295 134512640 135180984 3219265904 3086180112 134525209 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=34268 CPUtime=6.24
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 2595 0 0 0 595 29 0 0 25 0 5 0 945735188 35090432 7675 4294967295 134512640 135180984 3219265904 3086114672 134528628 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=34268 CPUtime=6.1
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 2407 0 0 0 599 11 0 0 25 0 5 0 945735188 35090432 7675 4294967295 134512640 135180984 3219265904 3086049036 134522603 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19.42
Current children cumulated vsize (KiB) 34268

[startup+12.7188 s]
/proc/loadavg: 2.80 2.95 2.98 4/103 31910
/proc/meminfo: memFree=3067484/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=51664 CPUtime=38.84
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 12679 0 0 0 3712 172 0 0 18 0 5 0 945735188 52903936 12152 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 12916 12152 68 164 0 12751 0
[pid=31904/tid=31905] ppid=31902 vsize=51664 CPUtime=1.09
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 627 0 0 0 14 95 0 0 15 0 5 0 945735188 52903936 12152 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=51664 CPUtime=12.61
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 3918 0 0 0 1231 30 0 0 25 0 5 0 945735188 52903936 12152 4294967295 134512640 135180984 3219265904 3086180200 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=51664 CPUtime=12.64
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 4065 0 0 0 1229 35 0 0 25 0 5 0 945735188 52903936 12152 4294967295 134512640 135180984 3219265904 3086114672 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=51664 CPUtime=12.5
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 3959 0 0 0 1238 12 0 0 25 0 5 0 945735188 52903936 12152 4294967295 134512640 135180984 3219265904 3086049072 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.84
Current children cumulated vsize (KiB) 51664

[startup+25.5178 s]
/proc/loadavg: 2.84 2.95 2.98 4/103 31910
/proc/meminfo: memFree=3039208/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=78604 CPUtime=77.35
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 19429 0 0 0 7545 190 0 0 18 0 5 0 945735188 80490496 18902 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 19651 18902 68 164 0 19486 0
[pid=31904/tid=31905] ppid=31902 vsize=78604 CPUtime=1.22
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 662 0 0 0 16 106 0 0 16 0 5 0 945735188 80490496 18902 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=78604 CPUtime=25.41
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 6244 0 0 0 2509 32 0 0 25 0 5 0 945735188 80490496 18902 4294967295 134512640 135180984 3219265904 3086180260 134532598 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=78604 CPUtime=25.44
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 6450 0 0 0 2507 37 0 0 25 0 5 0 945735188 80490496 18902 4294967295 134512640 135180984 3219265904 3086114608 134523791 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=78604 CPUtime=25.28
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 5963 0 0 0 2513 15 0 0 25 0 5 0 945735188 80490496 18902 4294967295 134512640 135180984 3219265904 3086049128 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 77.35
Current children cumulated vsize (KiB) 78604

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

[startup+38.3167 s]
/proc/loadavg: 2.87 2.95 2.98 4/103 31911
/proc/meminfo: memFree=3037024/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=81940 CPUtime=115.88
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 20073 0 0 0 11372 216 0 0 18 0 5 0 945735188 83906560 19546 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 20485 19546 68 164 0 20320 0
[pid=31904/tid=31905] ppid=31902 vsize=81940 CPUtime=1.38
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 670 0 0 0 20 118 0 0 15 0 5 0 945735188 83906560 19546 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=81940 CPUtime=38.2
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 6271 0 0 0 3780 40 0 0 25 0 5 0 945735188 83906560 19546 4294967295 134512640 135180984 3219265904 3086180108 134519095 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=81940 CPUtime=38.23
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 6496 0 0 0 3783 40 0 0 25 0 5 0 945735188 83906560 19546 4294967295 134512640 135180984 3219265904 3086114576 134525345 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=81940 CPUtime=38.07
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 6526 0 0 0 3789 18 0 0 25 0 5 0 945735188 83906560 19546 4294967295 134512640 135180984 3219265904 3086049136 134528052 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 115.88
Current children cumulated vsize (KiB) 81940

[startup+41.5165 s]
/proc/loadavg: 2.88 2.95 2.98 4/103 31911
/proc/meminfo: memFree=3034640/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=83988 CPUtime=125.5
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 20606 0 0 0 12331 219 0 0 18 0 5 0 945735188 86003712 20079 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 20997 20079 68 164 0 20832 0
[pid=31904/tid=31905] ppid=31902 vsize=83988 CPUtime=1.4
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 674 0 0 0 20 120 0 0 16 0 5 0 945735188 86003712 20079 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=83988 CPUtime=41.4
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 6271 0 0 0 4100 40 0 0 25 0 5 0 945735188 86003712 20079 4294967295 134512640 135180984 3219265904 3086180192 134519095 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=83988 CPUtime=41.43
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 6498 0 0 0 4102 41 0 0 25 0 5 0 945735188 86003712 20079 4294967295 134512640 135180984 3219265904 3086114672 134528470 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=83988 CPUtime=41.27
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 7053 0 0 0 4109 18 0 0 25 0 5 0 945735188 86003712 20079 4294967295 134512640 135180984 3219265904 3086049072 134523699 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 125.5
Current children cumulated vsize (KiB) 83988

[startup+43.1163 s]
/proc/loadavg: 2.88 2.95 2.98 4/103 31911
/proc/meminfo: memFree=3032956/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=86200 CPUtime=130.31
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 21104 0 0 0 12807 224 0 0 18 0 5 0 945735188 88268800 20577 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 21550 20577 68 164 0 21385 0
[pid=31904/tid=31905] ppid=31902 vsize=86200 CPUtime=1.41
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 680 0 0 0 20 121 0 0 16 0 5 0 945735188 88268800 20577 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=86200 CPUtime=43
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 6419 0 0 0 4258 42 0 0 25 0 5 0 945735188 88268800 20577 4294967295 134512640 135180984 3219265904 3086180200 134518227 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=86200 CPUtime=43.03
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 6675 0 0 0 4262 41 0 0 25 0 5 0 945735188 88268800 20577 4294967295 134512640 135180984 3219265904 3086114668 134520865 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=86200 CPUtime=42.87
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 7220 0 0 0 4267 20 0 0 25 0 5 0 945735188 88268800 20577 4294967295 134512640 135180984 3219265904 3086049132 134520036 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 130.31
Current children cumulated vsize (KiB) 86200

[startup+43.9163 s]
/proc/loadavg: 2.88 2.95 2.98 4/103 31912
/proc/meminfo: memFree=3030736/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=87124 CPUtime=132.73
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 21497 0 0 0 13045 228 0 0 18 0 5 0 945735188 89214976 20970 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 21781 20970 68 164 0 21616 0
[pid=31904/tid=31905] ppid=31902 vsize=87124 CPUtime=1.43
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 690 0 0 0 20 123 0 0 16 0 5 0 945735188 89214976 20970 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=87124 CPUtime=43.8
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 6515 0 0 0 4338 42 0 0 25 0 5 0 945735188 89214976 20970 4294967295 134512640 135180984 3219265904 3086180208 134526101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=87124 CPUtime=43.83
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 6853 0 0 0 4340 43 0 0 25 0 5 0 945735188 89214976 20970 4294967295 134512640 135180984 3219265904 3086114504 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=87124 CPUtime=43.67
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 7329 0 0 0 4347 20 0 0 25 0 5 0 945735188 89214976 20970 4294967295 134512640 135180984 3219265904 3086049088 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 132.73
Current children cumulated vsize (KiB) 87124

[startup+44.3162 s]
/proc/loadavg: 2.88 2.95 2.98 4/103 31912
/proc/meminfo: memFree=3030736/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=87652 CPUtime=133.95
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 21701 0 0 0 13163 232 0 0 18 0 5 0 945735188 89755648 21174 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 21913 21174 68 164 0 21748 0
[pid=31904/tid=31905] ppid=31902 vsize=87652 CPUtime=1.45
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 703 0 0 0 21 124 0 0 16 0 5 0 945735188 89755648 21174 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=87652 CPUtime=44.2
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 6584 0 0 0 4376 44 0 0 25 0 5 0 945735188 89755648 21174 4294967295 134512640 135180984 3219265904 3086180208 134526482 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=87652 CPUtime=44.23
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 6927 0 0 0 4380 43 0 0 25 0 5 0 945735188 89755648 21174 4294967295 134512640 135180984 3219265904 3086114672 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=87652 CPUtime=44.07
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 7377 0 0 0 4386 21 0 0 25 0 5 0 945735188 89755648 21174 4294967295 134512640 135180984 3219265904 3086049040 134525419 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 133.95
Current children cumulated vsize (KiB) 87652

[startup+44.5162 s]
/proc/loadavg: 2.88 2.95 2.98 4/103 31912
/proc/meminfo: memFree=3030736/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=87784 CPUtime=134.56
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 21752 0 0 0 13222 234 0 0 18 0 5 0 945735188 89890816 21225 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 21946 21225 68 164 0 21781 0
[pid=31904/tid=31905] ppid=31902 vsize=87784 CPUtime=1.46
/proc/31904/task/31905/stat : 31905 (satake) S 31902 31904 30957 0 -1 4202560 707 0 0 0 21 125 0 0 16 0 5 0 945735188 89890816 21225 4294967295 134512640 135180984 3219265904 3086245904 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=87784 CPUtime=44.4
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 6608 0 0 0 4395 45 0 0 25 0 5 0 945735188 89890816 21225 4294967295 134512640 135180984 3219265904 3086180152 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=87784 CPUtime=44.43
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 6944 0 0 0 4400 43 0 0 25 0 5 0 945735188 89890816 21225 4294967295 134512640 135180984 3219265904 3086114672 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=87784 CPUtime=44.27
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 7383 0 0 0 4406 21 0 0 25 0 5 0 945735188 89890816 21225 4294967295 134512640 135180984 3219265904 3086049072 134520800 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 134.56
Current children cumulated vsize (KiB) 87784

[startup+44.6162 s]
/proc/loadavg: 2.88 2.95 2.98 4/103 31912
/proc/meminfo: memFree=3030736/3368532 swapFree=1959840/1959888
[pid=31904] ppid=31902 vsize=87784 CPUtime=134.86
/proc/31904/stat : 31904 (satake) S 31902 31904 30957 0 -1 4202496 21761 0 0 0 13251 235 0 0 18 0 5 0 945735188 89890816 21234 4294967295 134512640 135180984 3219265904 3219265340 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31904/statm: 21946 21234 77 164 0 21781 0
[pid=31904/tid=31905] ppid=31902 vsize=87784 CPUtime=1.46
/proc/31904/task/31905/stat : 31905 (satake) R 31902 31904 30957 0 -1 4202560 707 0 0 0 21 125 0 0 15 0 5 0 945735188 89890816 21234 4294967295 134512640 135180984 3219265904 3086246280 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31904/tid=31906] ppid=31902 vsize=87784 CPUtime=44.5
/proc/31904/task/31906/stat : 31906 (satake) R 31902 31904 30957 0 -1 4202560 6608 0 0 0 4405 45 0 0 25 0 5 0 945735188 89890816 21234 4294967295 134512640 135180984 3219265904 3086180200 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31904/tid=31907] ppid=31902 vsize=87784 CPUtime=44.53
/proc/31904/task/31907/stat : 31907 (satake) R 31902 31904 30957 0 -1 4202560 6944 0 0 0 4410 43 0 0 25 0 5 0 945735188 89890816 21234 4294967295 134512640 135180984 3219265904 3086114576 134525183 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31904/tid=31908] ppid=31902 vsize=87784 CPUtime=44.37
/proc/31904/task/31908/stat : 31908 (satake) R 31902 31904 30957 0 -1 4202560 7392 0 0 0 4415 22 0 0 25 0 5 0 945735188 89890816 21234 4294967295 134512640 135180984 3219265904 3086049672 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 134.86
Current children cumulated vsize (KiB) 87784

Child status: 4
Real time (s): 44.6866
CPU time (s): 135.04
CPU user time (s): 132.62
CPU system time (s): 2.42
CPU usage (%): 302.194
Max. virtual memory (cumulated for all children) (KiB): 87784


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.62
system time used= 2.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21762
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= 101096
involuntary context switches= 6933

runsolver used 0 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 01:59:44
IDJOB=1779070
IDBENCH=70803
IDSOLVER=629
FILE ID=tipi39/1779070-1243641584
PBS_JOBID=
Free space on /tmp= 5743 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxand/maxand064.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779070-1243641584/watcher-1779070-1243641584 -o /tmp/evaluation-result-1779070-1243641584/solver-1779070-1243641584 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779070-1243641584.cnf 4 10000

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

MD5SUM BENCH= b2d2617ddc348aef0d35df3c8f228dcb
RANDOM SEED= 960829126

Linux tipi39 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.067
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.067
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.067
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.067
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:       3112912 kB
Buffers:         57156 kB
Cached:          94504 kB
SwapCached:          0 kB
Active:          90796 kB
Inactive:        76976 kB
HighTotal:     2489216 kB
HighFree:      2380716 kB
LowTotal:       879316 kB
LowFree:        732196 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1348 kB
Writeback:           0 kB
AnonPages:       16116 kB
Mapped:           6132 kB
Slab:            77584 kB
SReclaimable:    67148 kB
SUnreclaim:      10436 kB
PageTables:        532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94804 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5743 MiB
End job on tipi39 at 2009-05-30 02:00:29