Trace number 1776550

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)? (MO) 1025.66 522.461

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1776550-1243637722/watcher-1776550-1243637722 -o /tmp/evaluation-result-1776550-1243637722/solver-1776550-1243637722 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776550-1243637722.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: 4.72 5.00 4.91 5/105 24249
/proc/meminfo: memFree=2319772/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=968 CPUtime=0
/proc/24248/stat : 24248 (satake) R 24246 24248 3671 0 -1 4202496 108 0 0 0 0 0 0 0 20 0 2 0 1117874107 991232 64 4294967295 134512640 135180984 3220495008 3220494352 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 242 64 54 164 0 77 0
[pid=24248/tid=24249] ppid=24246 vsize=968 CPUtime=0
/proc/24248/task/24249/stat : 24249 (satake) R 24246 24248 3671 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 1117874107 991232 64 4294967295 134512640 135180984 3220495008 3086783300 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.046942 s]
/proc/loadavg: 4.72 5.00 4.91 5/105 24249
/proc/meminfo: memFree=2319772/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=42212 CPUtime=0.07
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 8428 0 0 0 0 7 0 0 20 0 5 0 1117874107 43225088 8384 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 10553 8393 63 164 0 10388 0
[pid=24248/tid=24249] ppid=24246 vsize=42212 CPUtime=0
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1117874107 43225088 8397 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 42212

[startup+0.106947 s]
/proc/loadavg: 4.72 5.00 4.91 5/105 24249
/proc/meminfo: memFree=2319772/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=132324 CPUtime=0.18
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 23447 0 0 0 0 18 0 0 20 0 5 0 1117874107 135499776 23403 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 33081 23413 63 164 0 32916 0
[pid=24248/tid=24249] ppid=24246 vsize=132324 CPUtime=0
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1117874107 135499776 23415 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 132324

[startup+0.306913 s]
/proc/loadavg: 4.72 5.00 4.91 5/105 24249
/proc/meminfo: memFree=2319772/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=396440 CPUtime=0.57
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 72510 0 0 0 3 54 0 0 20 0 5 0 1117874107 405954560 72466 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 99110 72467 63 164 0 98945 0
[pid=24248/tid=24249] ppid=24246 vsize=396440 CPUtime=0
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1117874107 405954560 72467 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 396440

[startup+0.706886 s]
/proc/loadavg: 4.72 5.00 4.91 5/105 24249
/proc/meminfo: memFree=2319772/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=430508 CPUtime=1.33
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 106251 0 0 0 59 74 0 0 20 0 5 0 1117874107 440840192 106189 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 107627 106190 63 164 0 107462 0
[pid=24248/tid=24249] ppid=24246 vsize=430508 CPUtime=0
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1117874107 440840192 106190 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 430508

[startup+1.50683 s]
/proc/loadavg: 4.72 5.00 4.91 5/109 24253
/proc/meminfo: memFree=1869824/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=508128 CPUtime=2.88
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 123095 0 0 0 205 83 0 0 20 0 5 0 1117874107 520323072 123033 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 127032 123037 63 164 0 126867 0
[pid=24248/tid=24249] ppid=24246 vsize=508128 CPUtime=0
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1117874107 520323072 123037 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=508128 CPUtime=1.21
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 43766 0 0 0 91 30 0 0 17 0 5 0 1117874108 520323072 123041 4294967295 134512640 135180984 3220495008 3086717184 134522408 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=508128 CPUtime=1.24
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 43571 0 0 0 96 28 0 0 19 0 5 0 1117874108 520323072 123041 4294967295 134512640 135180984 3220495008 3086651672 134513828 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=508128 CPUtime=0.43
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 35648 0 0 0 18 25 0 0 25 0 5 0 1117874108 520323072 123041 4294967295 134512640 135180984 3220495008 3086586144 134513762 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 508128

[startup+3.10672 s]
/proc/loadavg: 4.72 5.00 4.91 6/109 24253
/proc/meminfo: memFree=1776436/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=659912 CPUtime=6.02
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 156580 0 0 0 499 103 0 0 20 0 5 0 1117874107 675749888 156518 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 164978 156518 63 164 0 164813 0
[pid=24248/tid=24249] ppid=24246 vsize=659912 CPUtime=0
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1117874107 675749888 156518 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=659912 CPUtime=2.63
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 59540 0 0 0 225 38 0 0 16 0 5 0 1117874108 675749888 156518 4294967295 134512640 135180984 3220495008 3086716900 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=659912 CPUtime=2.72
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 58829 0 0 0 235 37 0 0 16 0 5 0 1117874108 675749888 156519 4294967295 134512640 135180984 3220495008 3086651720 134513869 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=659912 CPUtime=0.67
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 38093 0 0 0 39 28 0 0 25 0 5 0 1117874108 675749888 156519 4294967295 134512640 135180984 3220495008 3086586068 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 659912

[startup+6.3065 s]
/proc/loadavg: 4.74 5.00 4.91 8/109 24253
/proc/meminfo: memFree=1505952/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=967504 CPUtime=12.29
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 221778 0 0 0 1096 133 0 0 20 0 5 0 1117874107 990724096 221716 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 241876 221716 64 164 0 241711 0
[pid=24248/tid=24249] ppid=24246 vsize=967504 CPUtime=0
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1117874107 990724096 221716 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=967504 CPUtime=5.69
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 91392 0 0 0 518 51 0 0 16 0 5 0 1117874108 990724096 221716 4294967295 134512640 135180984 3220495008 3086717260 134513542 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=967504 CPUtime=5.89
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 91948 0 0 0 536 53 0 0 16 0 5 0 1117874108 990724096 221716 4294967295 134512640 135180984 3220495008 3086651664 134521016 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=967504 CPUtime=0.71
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 38320 0 0 0 42 29 0 0 25 0 5 0 1117874108 990724096 221716 4294967295 134512640 135180984 3220495008 3086586048 134522980 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 967504

[startup+12.7061 s]
/proc/loadavg: 4.92 5.03 4.92 7/109 24254
/proc/meminfo: memFree=1618960/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=794860 CPUtime=25.03
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 243930 0 0 0 2351 152 0 0 20 0 5 0 1117874107 813936640 178058 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 198715 178058 68 164 0 198550 0
[pid=24248/tid=24249] ppid=24246 vsize=794860 CPUtime=0.14
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 5346 0 0 0 9 5 0 0 15 0 5 0 1117874107 813936640 178058 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=794860 CPUtime=11.85
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 93983 0 0 0 1129 56 0 0 24 0 5 0 1117874108 813936640 178058 4294967295 134512640 135180984 3220495008 3086716800 134518582 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=794860 CPUtime=11.24
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 93232 0 0 0 1066 58 0 0 19 0 5 0 1117874108 813936640 178058 4294967295 134512640 135180984 3220495008 3086651248 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=794860 CPUtime=1.8
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 51258 0 0 0 147 33 0 0 25 0 5 0 1117874108 813936640 178058 4294967295 134512640 135180984 3220495008 3086586004 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 794860

[startup+25.5052 s]
/proc/loadavg: 5.16 5.08 4.94 6/109 24255
/proc/meminfo: memFree=1565196/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=867724 CPUtime=50.32
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 287406 0 0 0 4851 181 0 0 20 0 5 0 1117874107 888549376 188629 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 216931 188629 68 164 0 216766 0
[pid=24248/tid=24249] ppid=24246 vsize=867724 CPUtime=0.24
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 5388 0 0 0 13 11 0 0 15 0 5 0 1117874107 888549376 188629 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=867724 CPUtime=20.14
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 94457 0 0 0 1958 56 0 0 25 0 5 0 1117874108 888549376 188629 4294967295 134512640 135180984 3220495008 3086716784 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=867724 CPUtime=18.73
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 94114 0 0 0 1810 63 0 0 25 0 5 0 1117874108 888549376 188629 4294967295 134512640 135180984 3220495008 3086651184 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=867724 CPUtime=11.21
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 93336 0 0 0 1070 51 0 0 25 0 5 0 1117874108 888549376 188629 4294967295 134512640 135180984 3220495008 3086585712 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.32
Current children cumulated vsize (KiB) 867724

[startup+51.1135 s]
/proc/loadavg: 5.10 5.07 4.94 6/109 24439
/proc/meminfo: memFree=1541468/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=889640 CPUtime=98.2
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 292920 0 0 0 9569 251 0 0 20 0 5 0 1117874107 910991360 194143 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 222410 194143 68 164 0 222245 0
[pid=24248/tid=24249] ppid=24246 vsize=889640 CPUtime=0.79
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 5713 0 0 0 29 50 0 0 15 0 5 0 1117874107 910991360 194143 4294967295 134512640 135180984 3220495008 3086782484 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=889640 CPUtime=36.39
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 96266 0 0 0 3573 66 0 0 25 0 5 0 1117874108 910991360 194143 4294967295 134512640 135180984 3220495008 3086716720 134523765 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=889640 CPUtime=34.94
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 95875 0 0 0 3417 77 0 0 25 0 5 0 1117874108 910991360 194143 4294967295 134512640 135180984 3220495008 3086651040 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=889640 CPUtime=26.08
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 94955 0 0 0 2550 58 0 0 25 0 5 0 1117874108 910991360 194143 4294967295 134512640 135180984 3220495008 3086585712 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.2
Current children cumulated vsize (KiB) 889640

[startup+102.32 s]
/proc/loadavg: 5.04 5.05 4.94 7/109 24627
/proc/meminfo: memFree=1488360/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=944132 CPUtime=198.22
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 306147 0 0 0 19491 331 0 0 20 0 5 0 1117874107 966791168 207370 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 236033 207370 68 164 0 235868 0
[pid=24248/tid=24249] ppid=24246 vsize=944132 CPUtime=1.41
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6016 0 0 0 51 90 0 0 15 0 5 0 1117874107 966791168 207370 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=944132 CPUtime=71.46
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 99987 0 0 0 7069 77 0 0 25 0 5 0 1117874108 966791168 207370 4294967295 134512640 135180984 3220495008 3086716784 134527085 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=944132 CPUtime=64.21
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 100556 0 0 0 6327 94 0 0 25 0 5 0 1117874108 966791168 207370 4294967295 134512640 135180984 3220495008 3086651052 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=944132 CPUtime=61.14
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 99477 0 0 0 6044 70 0 0 25 0 5 0 1117874108 966791168 207370 4294967295 134512640 135180984 3220495008 3086585712 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.22
Current children cumulated vsize (KiB) 944132

[startup+162.306 s]
/proc/loadavg: 4.97 5.04 4.94 6/109 24815
/proc/meminfo: memFree=1373448/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=1061160 CPUtime=315.62
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 335416 0 0 0 31176 386 0 0 20 0 5 0 1117874107 1086627840 236639 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 265290 236639 68 164 0 265125 0
[pid=24248/tid=24249] ppid=24246 vsize=1061160 CPUtime=1.71
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6102 0 0 0 61 110 0 0 15 0 5 0 1117874107 1086627840 236639 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=1061160 CPUtime=110.15
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 107659 0 0 0 10923 92 0 0 25 0 5 0 1117874108 1086627840 236639 4294967295 134512640 135180984 3220495008 3086716656 134522706 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=1061160 CPUtime=104.69
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 114044 0 0 0 10358 111 0 0 25 0 5 0 1117874108 1086627840 236639 4294967295 134512640 135180984 3220495008 3086651152 134524549 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=1061160 CPUtime=99.07
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 107500 0 0 0 9834 73 0 0 25 0 5 0 1117874108 1086627840 236639 4294967295 134512640 135180984 3220495008 3086585712 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 315.62
Current children cumulated vsize (KiB) 1061160

[startup+222.302 s]
/proc/loadavg: 5.25 5.09 4.96 6/109 25003
/proc/meminfo: memFree=1225768/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=1204416 CPUtime=433.39
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 371205 0 0 0 42902 437 0 0 20 0 5 0 1117874107 1233321984 272428 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 301104 272428 68 164 0 300939 0
[pid=24248/tid=24249] ppid=24246 vsize=1204416 CPUtime=1.96
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6172 0 0 0 71 125 0 0 15 0 5 0 1117874107 1233321984 272428 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=1204416 CPUtime=148.8
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 112898 0 0 0 14778 102 0 0 25 0 5 0 1117874108 1233321984 272428 4294967295 134512640 135180984 3220495008 3086716780 134518257 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=1204416 CPUtime=142.63
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 124363 0 0 0 14137 126 0 0 25 0 5 0 1117874108 1233321984 272428 4294967295 134512640 135180984 3220495008 3086651248 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=1204416 CPUtime=140
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 127661 0 0 0 13916 84 0 0 25 0 5 0 1117874108 1233321984 272428 4294967295 134512640 135180984 3220495008 3086585712 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 433.39
Current children cumulated vsize (KiB) 1204416

[startup+282.318 s]
/proc/loadavg: 5.33 5.14 4.98 6/109 25191
/proc/meminfo: memFree=1038676/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=1394736 CPUtime=551.92
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 418431 0 0 0 54728 464 0 0 20 0 5 0 1117874107 1428209664 319654 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 348684 319654 68 164 0 348519 0
[pid=24248/tid=24249] ppid=24246 vsize=1394736 CPUtime=1.98
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6186 0 0 0 71 127 0 0 15 0 5 0 1117874107 1428209664 319654 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=1394736 CPUtime=188.13
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 126470 0 0 0 18699 114 0 0 25 0 5 0 1117874108 1428209664 319654 4294967295 134512640 135180984 3220495008 3086716688 134525183 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=1394736 CPUtime=186.9
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 142328 0 0 0 18557 133 0 0 25 0 5 0 1117874108 1428209664 319654 4294967295 134512640 135180984 3220495008 3086651240 134518227 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=1394736 CPUtime=174.91
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 143336 0 0 0 17401 90 0 0 25 0 5 0 1117874108 1428209664 319654 4294967295 134512640 135180984 3220495008 3086585616 134525152 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 551.92
Current children cumulated vsize (KiB) 1394736

[startup+342.314 s]
/proc/loadavg: 5.38 5.17 5.00 6/109 25381
/proc/meminfo: memFree=822372/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=1607384 CPUtime=670.4
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 471744 0 0 0 66557 483 0 0 20 0 5 0 1117874107 1645961216 372967 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 401846 372967 68 164 0 401681 0
[pid=24248/tid=24249] ppid=24246 vsize=1607384 CPUtime=2
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6188 0 0 0 72 128 0 0 15 0 5 0 1117874107 1645961216 372967 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=1607384 CPUtime=218.72
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 136913 0 0 0 21752 120 0 0 25 0 5 0 1117874108 1645961216 372967 4294967295 134512640 135180984 3220495008 3086716576 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=1607384 CPUtime=233.21
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 162417 0 0 0 23182 139 0 0 25 0 5 0 1117874108 1645961216 372967 4294967295 134512640 135180984 3220495008 3086651152 134524861 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=1607384 CPUtime=216.47
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 166115 0 0 0 21551 96 0 0 25 0 5 0 1117874108 1645961216 372967 4294967295 134512640 135180984 3220495008 3086585712 134528536 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 670.4
Current children cumulated vsize (KiB) 1607384

[startup+402.31 s]
/proc/loadavg: 5.41 5.20 5.02 8/109 25572
/proc/meminfo: memFree=674348/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=1757156 CPUtime=789.22
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 508803 0 0 0 78413 509 0 0 20 0 5 0 1117874107 1799327744 410026 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 439289 410026 68 164 0 439124 0
[pid=24248/tid=24249] ppid=24246 vsize=1757156 CPUtime=2.05
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6193 0 0 0 75 130 0 0 15 0 5 0 1117874107 1799327744 410026 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=1757156 CPUtime=252.22
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 144160 0 0 0 25095 127 0 0 25 0 5 0 1117874108 1799327744 410026 4294967295 134512640 135180984 3220495008 3086716784 134528641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=1757156 CPUtime=287.06
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 185130 0 0 0 28555 151 0 0 25 0 5 0 1117874108 1799327744 410026 4294967295 134512640 135180984 3220495008 3086651244 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=1757156 CPUtime=247.89
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 173209 0 0 0 24688 101 0 0 25 0 5 0 1117874108 1799327744 410026 4294967295 134512640 135180984 3220495008 3086585504 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 789.22
Current children cumulated vsize (KiB) 1757156

[startup+462.316 s]
/proc/loadavg: 5.41 5.24 5.04 6/109 25760
/proc/meminfo: memFree=535904/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=1894400 CPUtime=907.5
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 543066 0 0 0 90209 541 0 0 20 0 5 0 1117874107 1939865600 444289 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 473600 444289 68 164 0 473435 0
[pid=24248/tid=24249] ppid=24246 vsize=1894400 CPUtime=2.08
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6201 0 0 0 75 133 0 0 15 0 5 0 1117874107 1939865600 444289 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=1894400 CPUtime=293.01
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 155548 0 0 0 29167 134 0 0 25 0 5 0 1117874108 1939865600 444289 4294967295 134512640 135180984 3220495008 3086716688 134525015 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=1894400 CPUtime=330.8
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 200106 0 0 0 32918 162 0 0 25 0 5 0 1117874108 1939865600 444289 4294967295 134512640 135180984 3220495008 3086651040 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=1894400 CPUtime=281.61
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 181100 0 0 0 28049 112 0 0 25 0 5 0 1117874108 1939865600 444289 4294967295 134512640 135180984 3220495008 3086585712 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 907.5
Current children cumulated vsize (KiB) 1894400



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+522.311 s]
/proc/loadavg: 5.21 5.21 5.04 6/109 25948
/proc/meminfo: memFree=334176/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=2096208 CPUtime=1025.5
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 592988 0 0 0 101978 572 0 0 20 0 5 0 1117874107 2146516992 494211 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 524052 494211 68 164 0 523887 0
[pid=24248/tid=24249] ppid=24246 vsize=2096208 CPUtime=2.15
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6209 0 0 0 78 137 0 0 15 0 5 0 1117874107 2146516992 494216 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=2096208 CPUtime=340.24
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 177960 0 0 0 33878 146 0 0 25 0 5 0 1117874108 2146516992 494216 4294967295 134512640 135180984 3220495008 3086716784 134519339 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=2096208 CPUtime=358.88
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 209965 0 0 0 35722 166 0 0 25 0 5 0 1117874108 2146516992 494216 4294967295 134512640 135180984 3220495008 3086651040 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=2096208 CPUtime=324.23
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 198748 0 0 0 32300 123 0 0 25 0 5 0 1117874108 2146516992 494216 4294967295 134512640 135180984 3220495008 3086585712 134528661 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1025.5
Current children cumulated vsize (KiB) 2096208

Sending SIGTERM to process tree (bottom up)

[startup+522.311 s]
/proc/loadavg: 5.21 5.21 5.04 6/109 25948
/proc/meminfo: memFree=334176/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=2096208 CPUtime=1025.5
/proc/24248/stat : 24248 (satake) S 24246 24248 3671 0 -1 4202496 592988 0 0 0 101978 572 0 0 20 0 5 0 1117874107 2146516992 494211 4294967295 134512640 135180984 3220495008 3220494444 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 524052 494211 68 164 0 523887 0
[pid=24248/tid=24249] ppid=24246 vsize=2096208 CPUtime=2.15
/proc/24248/task/24249/stat : 24249 (satake) S 24246 24248 3671 0 -1 4202560 6209 0 0 0 78 137 0 0 15 0 5 0 1117874107 2146516992 494216 4294967295 134512640 135180984 3220495008 3086782480 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=24248/tid=24251] ppid=24246 vsize=2096208 CPUtime=340.24
/proc/24248/task/24251/stat : 24251 (satake) R 24246 24248 3671 0 -1 4202560 177960 0 0 0 33878 146 0 0 25 0 5 0 1117874108 2146516992 494216 4294967295 134512640 135180984 3220495008 3086716784 134519339 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24252] ppid=24246 vsize=2096208 CPUtime=358.88
/proc/24248/task/24252/stat : 24252 (satake) R 24246 24248 3671 0 -1 4202560 209965 0 0 0 35722 166 0 0 25 0 5 0 1117874108 2146516992 494216 4294967295 134512640 135180984 3220495008 3086651040 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=2096208 CPUtime=324.23
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4202560 198748 0 0 0 32300 123 0 0 25 0 5 0 1117874108 2146516992 494216 4294967295 134512640 135180984 3220495008 3086585712 134528661 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1025.5
Current children cumulated vsize (KiB) 2096208
Sleeping 2 seconds

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

[startup+522.432 s]
/proc/loadavg: 5.21 5.21 5.04 6/107 25949
/proc/meminfo: memFree=1966864/3368532 swapFree=1954076/1959888
[pid=24248] ppid=24246 vsize=0 CPUtime=1025.64
/proc/24248/stat : 24248 (satake) Z 24246 24248 3671 0 -1 4203524 593009 0 0 0 101982 582 0 0 18 0 2 0 1117874107 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24248/statm: 0 0 0 0 0 0 0
[pid=24248/tid=24253] ppid=24246 vsize=0 CPUtime=324.35
/proc/24248/task/24253/stat : 24253 (satake) R 24246 24248 3671 0 -1 4203588 198759 0 0 0 32302 133 0 0 25 0 2 0 1117874108 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1025.64
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 522.461
CPU time (s): 1025.66
CPU user time (s): 1019.82
CPU system time (s): 5.84
CPU usage (%): 196.313
Max. virtual memory (cumulated for all children) (KiB): 2096208

deleting IPC queue 4194304
deleting IPC queue 4227073
deleting IPC queue 4259842
deleting IPC queue 4292611
deleting IPC queue 4325380
deleting IPC queue 4358149
deleting IPC queue 4390918
deleting IPC queue 4423687
deleting IPC queue 4456456
deleting IPC queue 4489225
deleting IPC queue 4521994
deleting IPC queue 4554763
deleting IPC queue 4587532
deleting IPC queue 4620301
deleting IPC queue 4653070
deleting IPC queue 4685839

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1019.82
system time used= 5.84
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593009
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= 339924
involuntary context switches= 346307

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 00:55:22
IDJOB=1776550
IDBENCH=20580
IDSOLVER=629
FILE ID=tipi44/1776550-1243637722
PBS_JOBID=
Free space on /tmp= 15765 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776550-1243637722/watcher-1776550-1243637722 -o /tmp/evaluation-result-1776550-1243637722/solver-1776550-1243637722 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776550-1243637722.cnf 4 10000

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED= 1132720908

Linux tipi44 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.116
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.116
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.116
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.14
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2319872 kB
Buffers:        151404 kB
Cached:         657084 kB
SwapCached:       2180 kB
Active:         759564 kB
Inactive:       191304 kB
HighTotal:     2489216 kB
HighFree:      1689656 kB
LowTotal:       879316 kB
LowFree:        630216 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:          133052 kB
Writeback:           0 kB
AnonPages:      141636 kB
Mapped:           5612 kB
Slab:            87452 kB
SReclaimable:    76816 kB
SUnreclaim:      10636 kB
PageTables:        712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   224244 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15765 MiB
End job on tipi44 at 2009-05-30 01:04:14