Trace number 1719162

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? (TO) 1200.41 601.814

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
MD5SUM6fcbaf8c6c7ed0c41d8ac12258cafaee
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark853.531
Satisfiable
(Un)Satisfiability was proved
Number of variables106013
Number of clauses1598301
Sum of the clauses size4617403
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21491607
Number of clauses of size 324060
Number of clauses of size 45002
Number of clauses of size 59194
Number of clauses of size over 568437

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1719162-1240644043/watcher-1719162-1240644043 -o /tmp/evaluation-result-1719162-1240644043/solver-1719162-1240644043 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1719162-1240644043.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.83 1.82 1.52 3/64 17249
/proc/meminfo: memFree=907576/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=3592 CPUtime=0
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 695 0 0 0 0 0 0 0 18 0 4 0 92438258 3678208 680 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 898 686 65 163 0 733 0
[pid=17249/tid=17250] ppid=17247 vsize=3592 CPUtime=0
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92438258 3678208 703 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=3592 CPUtime=0
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 148 0 0 0 0 0 0 0 19 0 4 0 92438258 3678208 712 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17249/tid=17252] ppid=17247 vsize=3592 CPUtime=0
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 497 0 0 0 0 0 0 0 20 0 4 0 92438258 3678208 721 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.014154 s]
/proc/loadavg: 1.83 1.82 1.52 3/64 17249
/proc/meminfo: memFree=907576/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=13320 CPUtime=0.02
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 2506 0 0 0 0 2 0 0 18 0 4 0 92438258 13639680 2491 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 3330 2491 65 163 0 3165 0
[pid=17249/tid=17250] ppid=17247 vsize=13320 CPUtime=0
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92438258 13639680 2491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=13320 CPUtime=0
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 1046 0 0 0 0 0 0 0 18 0 4 0 92438258 13639680 2491 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=13320 CPUtime=0.01
/proc/17249/task/17252/stat : 17252 (satake) D 17247 17249 16763 0 -1 4194368 1370 0 0 0 0 1 0 0 18 0 4 0 92438258 13639680 2491 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13320

[startup+0.109186 s]
/proc/loadavg: 1.83 1.82 1.52 3/64 17249
/proc/meminfo: memFree=907576/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=68900 CPUtime=0.2
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 16560 0 0 0 4 16 0 0 18 0 4 0 92438258 70553600 16545 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 17225 16545 65 163 0 17060 0
[pid=17249/tid=17250] ppid=17247 vsize=68900 CPUtime=0
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92438258 70553600 16545 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=68900 CPUtime=0.09
/proc/17249/task/17251/stat : 17251 (satake) D 17247 17249 16763 0 -1 4194368 8272 0 0 0 2 7 0 0 16 0 4 0 92438258 70553600 16545 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=68900 CPUtime=0.1
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 8198 0 0 0 2 8 0 0 17 0 4 0 92438258 70553600 16545 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 68900

[startup+0.301924 s]
/proc/loadavg: 1.83 1.82 1.52 3/64 17249
/proc/meminfo: memFree=907576/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=87896 CPUtime=0.58
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 20984 0 0 0 38 20 0 0 18 0 4 0 92438258 90005504 20961 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 21974 20963 66 163 0 21809 0
[pid=17249/tid=17250] ppid=17247 vsize=87896 CPUtime=0
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92438258 90005504 20963 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=87896 CPUtime=0.28
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 10561 0 0 0 18 10 0 0 16 0 4 0 92438258 90005504 20963 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=87896 CPUtime=0.28
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 10335 0 0 0 19 9 0 0 16 0 4 0 92438258 90005504 20963 1992294400 134512640 135180984 4294956208 18446744073709551615 134513782 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 87896

[startup+0.701969 s]
/proc/loadavg: 1.83 1.82 1.52 3/64 17249
/proc/meminfo: memFree=907576/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=125444 CPUtime=1.36
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 29571 0 0 0 110 26 0 0 18 0 4 0 92438258 128454656 29548 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 31361 29548 65 163 0 31196 0
[pid=17249/tid=17250] ppid=17247 vsize=125444 CPUtime=0
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92438258 128454656 29548 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=125444 CPUtime=0.68
/proc/17249/task/17251/stat : 17251 (satake) S 17247 17249 16763 0 -1 4194368 15064 0 0 0 55 13 0 0 15 0 4 0 92438258 128454656 29548 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=125444 CPUtime=0.67
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 14417 0 0 0 55 12 0 0 16 0 4 0 92438258 128454656 29548 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 125444

[startup+1.50183 s]
/proc/loadavg: 1.83 1.82 1.52 3/68 17253
/proc/meminfo: memFree=761816/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=202720 CPUtime=2.95
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 46548 0 0 0 256 39 0 0 18 0 4 0 92438258 207585280 46525 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 50680 46525 65 163 0 50515 0
[pid=17249/tid=17250] ppid=17247 vsize=202720 CPUtime=0
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92438258 207585280 46526 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=202720 CPUtime=1.47
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 23715 0 0 0 128 19 0 0 16 0 4 0 92438258 207585280 46527 1992294400 134512640 135180984 4294956208 18446744073709551615 134520036 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=202720 CPUtime=1.47
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 22745 0 0 0 128 19 0 0 16 0 4 0 92438258 207585280 46527 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 202720

[startup+3.10301 s]
/proc/loadavg: 1.83 1.82 1.52 3/68 17253
/proc/meminfo: memFree=767192/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=156120 CPUtime=6.13
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 51212 0 0 0 564 49 0 0 18 0 4 0 92438258 159866880 35377 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 39030 35377 70 163 0 38865 0
[pid=17249/tid=17250] ppid=17247 vsize=156120 CPUtime=0.05
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 1856 0 0 0 2 3 0 0 15 0 4 0 92438258 159866880 35377 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=156120 CPUtime=3.02
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 24745 0 0 0 280 22 0 0 17 0 4 0 92438258 159866880 35377 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=156120 CPUtime=3.03
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 24528 0 0 0 281 22 0 0 17 0 4 0 92438258 159866880 35377 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 156120

[startup+6.30136 s]
/proc/loadavg: 1.85 1.82 1.53 3/68 17253
/proc/meminfo: memFree=763736/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=159500 CPUtime=12.51
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 52036 0 0 0 1183 68 0 0 18 0 4 0 92438258 163328000 36201 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 39875 36201 70 163 0 39710 0
[pid=17249/tid=17250] ppid=17247 vsize=159500 CPUtime=0.15
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 1885 0 0 0 5 10 0 0 16 0 4 0 92438258 163328000 36201 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=159500 CPUtime=6.15
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 25224 0 0 0 587 28 0 0 17 0 4 0 92438258 163328000 36201 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17249/tid=17252] ppid=17247 vsize=159500 CPUtime=6.18
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 24844 0 0 0 590 28 0 0 17 0 4 0 92438258 163328000 36201 1992294400 134512640 135180984 4294956208 18446744073709551615 134528192 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 159500

[startup+12.7021 s]
/proc/loadavg: 1.86 1.83 1.53 3/68 17253
/proc/meminfo: memFree=754328/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=170296 CPUtime=25.27
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 54618 0 0 0 2427 100 0 0 18 0 4 0 92438258 174383104 38783 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 42574 38783 70 163 0 42409 0
[pid=17249/tid=17250] ppid=17247 vsize=170296 CPUtime=0.31
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 1911 0 0 0 9 22 0 0 16 0 4 0 92438258 174383104 38783 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=170296 CPUtime=12.45
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 26913 0 0 0 1207 38 0 0 17 0 4 0 92438258 174383104 38783 1992294400 134512640 135180984 4294956208 18446744073709551615 134520855 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17249/tid=17252] ppid=17247 vsize=170296 CPUtime=12.48
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 25711 0 0 0 1210 38 0 0 16 0 4 0 92438258 174383104 38783 1992294400 134512640 135180984 4294956208 18446744073709551615 134526430 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 170296

[startup+25.5015 s]
/proc/loadavg: 1.89 1.83 1.54 3/68 17253
/proc/meminfo: memFree=729304/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=194380 CPUtime=50.79
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 60625 0 0 0 4937 142 0 0 18 0 4 0 92438258 199045120 44790 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 48595 44790 70 163 0 48430 0
[pid=17249/tid=17250] ppid=17247 vsize=194380 CPUtime=0.51
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 1959 0 0 0 14 37 0 0 16 0 4 0 92438258 199045120 44790 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=194380 CPUtime=25.14
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 29307 0 0 0 2461 53 0 0 17 0 4 0 92438258 199045120 44790 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17249/tid=17252] ppid=17247 vsize=194380 CPUtime=25.12
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 29276 0 0 0 2461 51 0 0 17 0 4 0 92438258 199045120 44790 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 194380

[startup+51.1013 s]
/proc/loadavg: 1.93 1.85 1.55 3/68 17253
/proc/meminfo: memFree=684632/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=239576 CPUtime=101.83
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 71903 0 0 0 9951 232 0 0 18 0 4 0 92438258 245325824 56068 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 59894 56068 70 163 0 59729 0
[pid=17249/tid=17250] ppid=17247 vsize=239576 CPUtime=0.96
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2116 0 0 0 24 72 0 0 16 0 4 0 92438258 245325824 56068 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=239576 CPUtime=50.49
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 32686 0 0 0 4965 84 0 0 17 0 4 0 92438258 245325824 56068 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17249/tid=17252] ppid=17247 vsize=239576 CPUtime=50.37
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 37018 0 0 0 4962 75 0 0 19 0 4 0 92438258 245325824 56068 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 239576

[startup+102.306 s]
/proc/loadavg: 2.04 1.88 1.58 3/68 17253
/proc/meminfo: memFree=602136/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=321728 CPUtime=203.93
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 92198 0 0 0 19892 501 0 0 18 0 4 0 92438258 329449472 76363 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 80432 76363 70 163 0 80267 0
[pid=17249/tid=17250] ppid=17247 vsize=321728 CPUtime=2.42
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2745 0 0 0 58 184 0 0 16 0 4 0 92438258 329449472 76363 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=321728 CPUtime=100.77
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 36210 0 0 0 9900 177 0 0 18 0 4 0 92438258 329449472 76363 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17249/tid=17252] ppid=17247 vsize=321728 CPUtime=100.72
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 53160 0 0 0 9933 139 0 0 17 0 4 0 92438258 329449472 76363 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 321728

[startup+162.302 s]
/proc/loadavg: 2.01 1.90 1.60 3/68 17253
/proc/meminfo: memFree=507736/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=417164 CPUtime=323.65
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 115965 0 0 0 31780 585 0 0 18 0 4 0 92438258 427175936 100130 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 104291 100130 70 163 0 104126 0
[pid=17249/tid=17250] ppid=17247 vsize=417164 CPUtime=2.73
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2823 0 0 0 63 210 0 0 16 0 4 0 92438258 427175936 100130 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=417164 CPUtime=160.56
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 45731 0 0 0 15849 207 0 0 17 0 4 0 92438258 427175936 100130 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=417164 CPUtime=160.34
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 67328 0 0 0 15867 167 0 0 17 0 4 0 92438258 427175936 100130 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.65
Current children cumulated vsize (KiB) 417164

[startup+222.302 s]
/proc/loadavg: 2.05 1.93 1.63 3/68 17253
/proc/meminfo: memFree=420120/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=504032 CPUtime=443.38
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 137660 0 0 0 43695 643 0 0 18 0 4 0 92438258 516128768 121825 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 126008 121825 70 163 0 125843 0
[pid=17249/tid=17250] ppid=17247 vsize=504032 CPUtime=2.87
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2853 0 0 0 66 221 0 0 16 0 4 0 92438258 516128768 121825 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=504032 CPUtime=220.47
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 55067 0 0 0 21814 233 0 0 25 0 4 0 92438258 516128768 121825 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=504032 CPUtime=220.01
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 79657 0 0 0 21814 187 0 0 19 0 4 0 92438258 516128768 121825 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.38
Current children cumulated vsize (KiB) 504032

[startup+282.301 s]
/proc/loadavg: 2.02 1.94 1.65 3/68 17253
/proc/meminfo: memFree=283224/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=643896 CPUtime=563.1
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 172443 0 0 0 55593 717 0 0 18 0 4 0 92438258 659349504 156608 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 160974 156608 70 163 0 160809 0
[pid=17249/tid=17250] ppid=17247 vsize=643896 CPUtime=3.08
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2919 0 0 0 71 237 0 0 16 0 4 0 92438258 659349504 156608 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=643896 CPUtime=280.32
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 64689 0 0 0 27769 263 0 0 25 0 4 0 92438258 659349504 156608 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=643896 CPUtime=279.67
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 104752 0 0 0 27751 216 0 0 19 0 4 0 92438258 659349504 156608 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.1
Current children cumulated vsize (KiB) 643896

[startup+342.302 s]
/proc/loadavg: 2.00 1.95 1.66 3/68 17253
/proc/meminfo: memFree=108440/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=817068 CPUtime=682.83
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 215535 0 0 0 67515 768 0 0 18 0 4 0 92438258 836677632 199700 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 204267 199700 70 163 0 204102 0
[pid=17249/tid=17250] ppid=17247 vsize=817068 CPUtime=3.13
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2922 0 0 0 72 241 0 0 15 0 4 0 92438258 836677632 199700 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=817068 CPUtime=340.27
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 81864 0 0 0 33740 287 0 0 19 0 4 0 92438258 836677632 199700 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=817068 CPUtime=339.41
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 130666 0 0 0 33702 239 0 0 25 0 4 0 92438258 836677632 199700 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (KiB) 817068

[startup+402.302 s]
/proc/loadavg: 2.00 1.95 1.68 3/68 17253
/proc/meminfo: memFree=16216/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=932900 CPUtime=802.56
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 244224 0 0 0 79443 813 0 0 18 0 4 0 92438258 955289600 228389 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 233225 228389 70 163 0 233060 0
[pid=17249/tid=17250] ppid=17247 vsize=932900 CPUtime=3.17
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2925 0 0 0 73 244 0 0 16 0 4 0 92438258 955289600 228389 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=932900 CPUtime=400.22
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 98446 0 0 0 39713 309 0 0 21 0 4 0 92438258 955289600 228389 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=932900 CPUtime=399.15
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 142770 0 0 0 39656 259 0 0 17 0 4 0 92438258 955289600 228389 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.56
Current children cumulated vsize (KiB) 932900

[startup+462.301 s]
/proc/loadavg: 2.00 1.96 1.70 3/68 17253
/proc/meminfo: memFree=15000/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=1016364 CPUtime=922.27
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 265094 0 0 0 91373 854 0 0 18 0 4 0 92438258 1040756736 249259 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 254091 249259 70 163 0 253926 0
[pid=17249/tid=17250] ppid=17247 vsize=1016364 CPUtime=3.2
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2930 0 0 0 73 247 0 0 16 0 4 0 92438258 1040756736 249259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1016364 CPUtime=460.17
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 110797 0 0 0 45685 332 0 0 17 0 4 0 92438258 1040756736 249259 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1016364 CPUtime=458.87
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 151284 0 0 0 45614 273 0 0 21 0 4 0 92438258 1040756736 249259 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.27
Current children cumulated vsize (KiB) 1016364

[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.72 3/68 17253
/proc/meminfo: memFree=16088/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=1102928 CPUtime=1041.97
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 286541 0 0 0 103309 888 0 0 18 0 4 0 92438258 1129398272 270706 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 275732 270706 70 163 0 275567 0
[pid=17249/tid=17250] ppid=17247 vsize=1102928 CPUtime=3.24
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2933 0 0 0 74 250 0 0 16 0 4 0 92438258 1129398272 270706 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1102928 CPUtime=520.12
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 123962 0 0 0 51663 349 0 0 16 0 4 0 92438258 1129398272 270706 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1102928 CPUtime=518.6
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 159563 0 0 0 51572 288 0 0 23 0 4 0 92438258 1129398272 270706 1992294400 134512640 135180984 4294956208 18446744073709551615 134526240 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.97
Current children cumulated vsize (KiB) 1102928

[startup+582.302 s]
/proc/loadavg: 2.00 1.97 1.73 3/68 17253
/proc/meminfo: memFree=16344/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=1187736 CPUtime=1161.67
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 307666 0 0 0 115243 924 0 0 18 0 4 0 92438258 1216241664 291831 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 296934 291831 70 163 0 296769 0
[pid=17249/tid=17250] ppid=17247 vsize=1187736 CPUtime=3.26
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2933 0 0 0 74 252 0 0 16 0 4 0 92438258 1216241664 291831 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1187736 CPUtime=580.07
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 135382 0 0 0 57639 368 0 0 22 0 4 0 92438258 1216241664 291831 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1187736 CPUtime=578.32
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 169268 0 0 0 57529 303 0 0 18 0 4 0 92438258 1216241664 291831 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.67
Current children cumulated vsize (KiB) 1187736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.603 s]
/proc/loadavg: 2.00 1.97 1.74 3/68 17253
/proc/meminfo: memFree=15640/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=1216432 CPUtime=1200.19
/proc/17249/stat : 17249 (satake) S 17247 17249 16763 0 -1 4194304 314719 0 0 0 119086 933 0 0 18 0 4 0 92438258 1245626368 298884 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17249/statm: 304108 298884 70 163 0 303943 0
[pid=17249/tid=17250] ppid=17247 vsize=1216432 CPUtime=3.26
/proc/17249/task/17250/stat : 17250 (satake) S 17247 17249 16763 0 -1 4194368 2933 0 0 0 74 252 0 0 16 0 4 0 92438258 1245626368 298884 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1216432 CPUtime=599.37
/proc/17249/task/17251/stat : 17251 (satake) R 17247 17249 16763 0 -1 4194368 139429 0 0 0 59564 373 0 0 19 0 4 0 92438258 1245626368 298884 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1216432 CPUtime=597.54
/proc/17249/task/17252/stat : 17252 (satake) R 17247 17249 16763 0 -1 4194368 172274 0 0 0 59447 307 0 0 25 0 4 0 92438258 1245626368 298884 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 1216432

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+601.802 s]
/proc/loadavg: 2.00 1.97 1.74 3/68 17253
/proc/meminfo: memFree=15640/2055920 swapFree=4192956/4192956
[pid=17249] ppid=17247 vsize=0 CPUtime=1200.38
/proc/17249/stat : 17249 (satake) Z 17247 17249 16763 0 -1 4195340 314721 0 0 0 119087 951 0 0 16 0 2 0 92438258 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17249/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.38
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.814
CPU time (s): 1200.41
CPU user time (s): 1190.88
CPU system time (s): 9.53055
CPU usage (%): 199.465
Max. virtual memory (cumulated for all children) (KiB): 1216432

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 425988
deleting IPC queue 458757
deleting IPC queue 491526
deleting IPC queue 524295
deleting IPC queue 557064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.88
system time used= 9.53055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314721
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= 438662
involuntary context switches= 434874

runsolver used 0.541917 second user time and 1.66175 second system time

The end

Launcher Data 

Begin job on node9 at 2009-04-25 09:20:45
IDJOB=1719162
IDBENCH=20578
IDSOLVER=553
FILE ID=node9/1719162-1240644043
PBS_JOBID= 9186454
Free space on /tmp= 66300 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq4.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1719162-1240644043/watcher-1719162-1240644043 -o /tmp/evaluation-result-1719162-1240644043/solver-1719162-1240644043 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1719162-1240644043.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= 6fcbaf8c6c7ed0c41d8ac12258cafaee
RANDOM SEED=560040164

node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        908000 kB
Buffers:         98552 kB
Cached:         946268 kB
SwapCached:          0 kB
Active:         197316 kB
Inactive:       861452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        908000 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           32380 kB
Writeback:           0 kB
Mapped:          23712 kB
Slab:            75164 kB
Committed_AS:   304664 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66300 MiB
End job on node9 at 2009-04-25 09:30:49