Trace number 1724438

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.631

General information on the benchmark

Namevelev-pipe-uns-1.0-8.cnf
MD5SUM0767e5dbf6844720495e9eb5423112e1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark312.627
Satisfiable
(Un)Satisfiability was proved
Number of variables35065
Number of clauses1332773
Sum of the clauses size3936683
Maximum clause length178
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21290115
Number of clauses of size 314508
Number of clauses of size 4256
Number of clauses of size 5216
Number of clauses of size over 527677

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-1724438-1240696133/watcher-1724438-1240696133 -o /tmp/evaluation-result-1724438-1240696133/solver-1724438-1240696133 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724438-1240696133.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: 0.92 0.98 0.99 3/64 18780
/proc/meminfo: memFree=1462256/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=6280 CPUtime=0
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 676 0 0 0 0 0 0 0 18 0 4 0 97646785 6430720 661 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 1570 668 65 163 0 1405 0
[pid=18780/tid=18781] ppid=18778 vsize=6280 CPUtime=0
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97646785 6430720 686 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=6280 CPUtime=0
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 36 0 0 0 0 0 0 0 19 0 4 0 97646785 6430720 694 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18780/tid=18783] ppid=18778 vsize=6280 CPUtime=0
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 590 0 0 0 0 0 0 0 20 0 4 0 97646785 6430720 701 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.072972 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18780
/proc/meminfo: memFree=1462256/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=50740 CPUtime=0.12
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 12419 0 0 0 1 11 0 0 18 0 4 0 97646785 51957760 12404 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 12685 12406 65 163 0 12520 0
[pid=18780/tid=18781] ppid=18778 vsize=50740 CPUtime=0
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97646785 51957760 12406 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=50740 CPUtime=0.05
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 6151 0 0 0 0 5 0 0 18 0 4 0 97646785 51957760 12406 1992294400 134512640 135180984 4294956208 18446744073709551615 134513973 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=50740 CPUtime=0.06
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 6181 0 0 0 1 5 0 0 18 0 4 0 97646785 51957760 12407 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 50740

[startup+0.101972 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18780
/proc/meminfo: memFree=1462256/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=53652 CPUtime=0.18
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 13097 0 0 0 7 11 0 0 18 0 4 0 97646785 54939648 13082 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 13413 13082 65 163 0 13248 0
[pid=18780/tid=18781] ppid=18778 vsize=53652 CPUtime=0
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97646785 54939648 13082 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=53652 CPUtime=0.08
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 6502 0 0 0 3 5 0 0 18 0 4 0 97646785 54939648 13084 1992294400 134512640 135180984 4294956208 18446744073709551615 134534847 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=53652 CPUtime=0.09
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 6507 0 0 0 3 6 0 0 18 0 4 0 97646785 54939648 13084 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 53652

[startup+0.301993 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18780
/proc/meminfo: memFree=1462256/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=72636 CPUtime=0.58
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 17664 0 0 0 43 15 0 0 18 0 4 0 97646785 74379264 17647 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 18159 17647 65 163 0 17994 0
[pid=18780/tid=18781] ppid=18778 vsize=72636 CPUtime=0
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97646785 74379264 17647 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=72636 CPUtime=0.29
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 8876 0 0 0 22 7 0 0 18 0 4 0 97646785 74379264 17648 1992294400 134512640 135180984 4294956208 18446744073709551615 134513764 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=72636 CPUtime=0.28
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 8699 0 0 0 21 7 0 0 18 0 4 0 97646785 74379264 17648 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 72636

[startup+0.701033 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18780
/proc/meminfo: memFree=1462256/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=114040 CPUtime=1.38
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 26465 0 0 0 118 20 0 0 18 0 4 0 97646785 116776960 26428 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 28510 26429 65 163 0 28345 0
[pid=18780/tid=18781] ppid=18778 vsize=114040 CPUtime=0
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97646785 116776960 26429 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=114040 CPUtime=0.68
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 13443 0 0 0 59 9 0 0 18 0 4 0 97646785 116776960 26430 1992294400 134512640 135180984 4294956208 18446744073709551615 134513987 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=114040 CPUtime=0.69
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 12934 0 0 0 59 10 0 0 18 0 4 0 97646785 116776960 26430 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 114040

[startup+1.50112 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 18784
/proc/meminfo: memFree=1331088/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=119156 CPUtime=2.97
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 37820 0 0 0 268 29 0 0 18 0 4 0 97646785 122015744 25711 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 29789 25711 68 163 0 29624 0
[pid=18780/tid=18781] ppid=18778 vsize=119156 CPUtime=0
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 622 0 0 0 0 0 0 0 16 0 4 0 97646785 122015744 25711 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=119156 CPUtime=1.46
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 18574 0 0 0 133 13 0 0 20 0 4 0 97646785 122015744 25711 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=119156 CPUtime=1.48
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 18541 0 0 0 133 15 0 0 20 0 4 0 97646785 122015744 25711 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 119156

[startup+3.10147 s]
/proc/loadavg: 1.09 1.02 1.01 3/68 18784
/proc/meminfo: memFree=1357008/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=123316 CPUtime=6.15
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 38721 0 0 0 567 48 0 0 18 0 4 0 97646785 126275584 26612 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 30829 26612 70 163 0 30664 0
[pid=18780/tid=18781] ppid=18778 vsize=123316 CPUtime=0.09
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 650 0 0 0 2 7 0 0 16 0 4 0 97646785 126275584 26612 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=123316 CPUtime=3
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 19071 0 0 0 281 19 0 0 17 0 4 0 97646785 126275584 26612 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18780/tid=18783] ppid=18778 vsize=123316 CPUtime=3.04
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 18917 0 0 0 283 21 0 0 16 0 4 0 97646785 126275584 26612 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 123316

[startup+6.3018 s]
/proc/loadavg: 1.09 1.02 1.01 3/68 18784
/proc/meminfo: memFree=1346768/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=136808 CPUtime=12.52
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 42268 0 0 0 1192 60 0 0 18 0 4 0 97646785 140091392 30159 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 34202 30159 70 163 0 34037 0
[pid=18780/tid=18781] ppid=18778 vsize=136808 CPUtime=0.15
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 663 0 0 0 4 11 0 0 16 0 4 0 97646785 140091392 30159 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=136808 CPUtime=6.16
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 20129 0 0 0 593 23 0 0 25 0 4 0 97646785 140091392 30159 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=136808 CPUtime=6.19
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 21393 0 0 0 594 25 0 0 25 0 4 0 97646785 140091392 30159 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 136808

[startup+12.7024 s]
/proc/loadavg: 1.23 1.05 1.02 3/68 18784
/proc/meminfo: memFree=1316880/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=164480 CPUtime=25.3
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 49180 0 0 0 2453 77 0 0 18 0 4 0 97646785 168427520 37071 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 41120 37071 70 163 0 40955 0
[pid=18780/tid=18781] ppid=18778 vsize=164480 CPUtime=0.22
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 677 0 0 0 5 17 0 0 16 0 4 0 97646785 168427520 37071 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=164480 CPUtime=12.52
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 22160 0 0 0 1225 27 0 0 21 0 4 0 97646785 168427520 37071 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=164480 CPUtime=12.53
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 26260 0 0 0 1221 32 0 0 25 0 4 0 97646785 168427520 37071 1992294400 134512640 135180984 4294956208 18446744073709551615 134523638 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 164480

[startup+25.5017 s]
/proc/loadavg: 1.34 1.08 1.02 3/68 18784
/proc/meminfo: memFree=1267408/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=212628 CPUtime=50.84
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 61123 0 0 0 4988 96 0 0 18 0 4 0 97646785 217731072 49014 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 53157 49014 70 163 0 52992 0
[pid=18780/tid=18781] ppid=18778 vsize=212628 CPUtime=0.27
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 690 0 0 0 6 21 0 0 16 0 4 0 97646785 217731072 49014 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=212628 CPUtime=25.29
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 24898 0 0 0 2496 33 0 0 25 0 4 0 97646785 217731072 49014 1992294400 134512640 135180984 4294956208 18446744073709551615 134523775 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=212628 CPUtime=25.25
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 35452 0 0 0 2484 41 0 0 24 0 4 0 97646785 217731072 49014 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 212628

[startup+51.1013 s]
/proc/loadavg: 1.57 1.15 1.05 3/68 18784
/proc/meminfo: memFree=1174992/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=305960 CPUtime=101.91
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 84350 0 0 0 10070 121 0 0 18 0 4 0 97646785 313303040 72241 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 76490 72241 70 163 0 76325 0
[pid=18780/tid=18781] ppid=18778 vsize=305960 CPUtime=0.32
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 697 0 0 0 8 24 0 0 16 0 4 0 97646785 313303040 72241 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=305960 CPUtime=50.86
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 29665 0 0 0 5046 40 0 0 25 0 4 0 97646785 313303040 72241 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=305960 CPUtime=50.71
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 53905 0 0 0 5015 56 0 0 24 0 4 0 97646785 313303040 72241 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 305960

[startup+102.306 s]
/proc/loadavg: 1.83 1.29 1.10 3/68 18784
/proc/meminfo: memFree=1026320/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=453468 CPUtime=204.1
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 121013 0 0 0 20241 169 0 0 18 0 4 0 97646785 464351232 108904 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 113367 108904 70 163 0 113202 0
[pid=18780/tid=18781] ppid=18778 vsize=453468 CPUtime=0.4
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 707 0 0 0 10 30 0 0 16 0 4 0 97646785 464351232 108904 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=453468 CPUtime=102
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 37061 0 0 0 10147 53 0 0 25 0 4 0 97646785 464351232 108904 1992294400 134512640 135180984 4294956208 18446744073709551615 134528271 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=453468 CPUtime=101.68
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 83162 0 0 0 10083 85 0 0 25 0 4 0 97646785 464351232 108904 1992294400 134512640 135180984 4294956208 18446744073709551615 134522692 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 453468

[startup+162.302 s]
/proc/loadavg: 1.93 1.41 1.15 3/68 18784
/proc/meminfo: memFree=882832/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=598856 CPUtime=323.84
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 157147 0 0 0 32170 214 0 0 18 0 4 0 97646785 613228544 145038 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 149714 145038 70 163 0 149549 0
[pid=18780/tid=18781] ppid=18778 vsize=598856 CPUtime=0.46
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 711 0 0 0 12 34 0 0 16 0 4 0 97646785 613228544 145038 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=598856 CPUtime=161.94
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 42435 0 0 0 16131 63 0 0 25 0 4 0 97646785 613228544 145038 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=598856 CPUtime=161.42
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 113918 0 0 0 16026 116 0 0 23 0 4 0 97646785 613228544 145038 1992294400 134512640 135180984 4294956208 18446744073709551615 134524606 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.84
Current children cumulated vsize (KiB) 598856

[startup+222.302 s]
/proc/loadavg: 1.97 1.52 1.20 3/68 18784
/proc/meminfo: memFree=767504/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=712444 CPUtime=443.58
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 185569 0 0 0 44106 252 0 0 18 0 4 0 97646785 729542656 173460 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 178111 173460 70 163 0 177946 0
[pid=18780/tid=18781] ppid=18778 vsize=712444 CPUtime=0.5
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 712 0 0 0 13 37 0 0 16 0 4 0 97646785 729542656 173460 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=712444 CPUtime=221.89
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 46229 0 0 0 22119 70 0 0 25 0 4 0 97646785 729542656 173460 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=712444 CPUtime=221.17
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 138545 0 0 0 21973 144 0 0 25 0 4 0 97646785 729542656 173460 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.58
Current children cumulated vsize (KiB) 712444

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.25 3/68 18784
/proc/meminfo: memFree=658832/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=823116 CPUtime=563.33
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 213001 0 0 0 56037 296 0 0 18 0 4 0 97646785 842870784 200892 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 205779 200892 70 163 0 205614 0
[pid=18780/tid=18781] ppid=18778 vsize=823116 CPUtime=0.55
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 716 0 0 0 14 41 0 0 16 0 4 0 97646785 842870784 200892 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=823116 CPUtime=281.85
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 50416 0 0 0 28106 79 0 0 25 0 4 0 97646785 842870784 200892 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=823116 CPUtime=280.91
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 161786 0 0 0 27916 175 0 0 25 0 4 0 97646785 842870784 200892 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.33
Current children cumulated vsize (KiB) 823116

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.30 3/68 18784
/proc/meminfo: memFree=553424/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=927712 CPUtime=683.07
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 239043 0 0 0 67972 335 0 0 18 0 4 0 97646785 949977088 226934 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 231928 226934 70 163 0 231763 0
[pid=18780/tid=18781] ppid=18778 vsize=927712 CPUtime=0.57
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 716 0 0 0 14 43 0 0 16 0 4 0 97646785 949977088 226934 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=927712 CPUtime=341.81
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 54238 0 0 0 34096 85 0 0 25 0 4 0 97646785 949977088 226934 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=927712 CPUtime=340.66
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 184006 0 0 0 33861 205 0 0 25 0 4 0 97646785 949977088 226934 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 683.07
Current children cumulated vsize (KiB) 927712

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/68 18784
/proc/meminfo: memFree=454032/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=1030600 CPUtime=802.82
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 264229 0 0 0 79905 377 0 0 18 0 4 0 97646785 1055334400 252120 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 257650 252120 70 163 0 257485 0
[pid=18780/tid=18781] ppid=18778 vsize=1030600 CPUtime=0.65
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 734 0 0 0 16 49 0 0 16 0 4 0 97646785 1055334400 252120 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=1030600 CPUtime=401.75
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 57563 0 0 0 40081 94 0 0 25 0 4 0 97646785 1055334400 252120 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=1030600 CPUtime=400.4
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 205849 0 0 0 39807 233 0 0 25 0 4 0 97646785 1055334400 252120 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.82
Current children cumulated vsize (KiB) 1030600

[startup+462.301 s]
/proc/loadavg: 1.99 1.78 1.38 3/68 18784
/proc/meminfo: memFree=324816/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=1158544 CPUtime=922.56
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 296078 0 0 0 91841 415 0 0 18 0 4 0 97646785 1186349056 283969 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 289636 283969 70 163 0 289471 0
[pid=18780/tid=18781] ppid=18778 vsize=1158544 CPUtime=0.68
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 734 0 0 0 17 51 0 0 16 0 4 0 97646785 1186349056 283969 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=1158544 CPUtime=461.71
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 60578 0 0 0 46071 100 0 0 25 0 4 0 97646785 1186349056 283969 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=1158544 CPUtime=460.15
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 234683 0 0 0 45752 263 0 0 25 0 4 0 97646785 1186349056 283969 1992294400 134512640 135180984 4294956208 18446744073709551615 134525476 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.56
Current children cumulated vsize (KiB) 1158544

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 18784
/proc/meminfo: memFree=212368/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=1272632 CPUtime=1042.31
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 324484 0 0 0 103779 452 0 0 18 0 4 0 97646785 1303175168 312375 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 318158 312375 70 163 0 317993 0
[pid=18780/tid=18781] ppid=18778 vsize=1272632 CPUtime=0.69
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 734 0 0 0 17 52 0 0 16 0 4 0 97646785 1303175168 312375 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18780/tid=18782] ppid=18778 vsize=1272632 CPUtime=521.68
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 63441 0 0 0 52062 106 0 0 25 0 4 0 97646785 1303175168 312375 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=1272632 CPUtime=519.91
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 260226 0 0 0 51698 293 0 0 25 0 4 0 97646785 1303175168 312375 1992294400 134512640 135180984 4294956208 18446744073709551615 134522715 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.31
Current children cumulated vsize (KiB) 1272632

[startup+582.301 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 18784
/proc/meminfo: memFree=95184/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=1388312 CPUtime=1162.04
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 353439 0 0 0 115721 483 0 0 18 0 4 0 97646785 1421631488 341330 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 347078 341330 70 163 0 346913 0
[pid=18780/tid=18781] ppid=18778 vsize=1388312 CPUtime=0.71
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 734 0 0 0 18 53 0 0 16 0 4 0 97646785 1421631488 341330 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=1388312 CPUtime=581.65
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 65708 0 0 0 58054 111 0 0 25 0 4 0 97646785 1421631488 341330 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=1388312 CPUtime=579.66
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 286914 0 0 0 57648 318 0 0 25 0 4 0 97646785 1421631488 341330 1992294400 134512640 135180984 4294956208 18446744073709551615 134526206 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1162.04
Current children cumulated vsize (KiB) 1388312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 18784
/proc/meminfo: memFree=57872/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=1425100 CPUtime=1200.17
/proc/18780/stat : 18780 (satake) S 18778 18780 18342 0 -1 4194304 362514 0 0 0 119523 494 0 0 18 0 4 0 97646785 1459302400 350405 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18780/statm: 356275 350405 70 163 0 356110 0
[pid=18780/tid=18781] ppid=18778 vsize=1425100 CPUtime=0.71
/proc/18780/task/18781/stat : 18781 (satake) S 18778 18780 18342 0 -1 4194368 734 0 0 0 18 53 0 0 15 0 4 0 97646785 1459302400 350405 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18780/tid=18782] ppid=18778 vsize=1425100 CPUtime=600.74
/proc/18780/task/18782/stat : 18782 (satake) R 18778 18780 18342 0 -1 4194368 66472 0 0 0 59962 112 0 0 25 0 4 0 97646785 1459302400 350405 1992294400 134512640 135180984 4294956208 18446744073709551615 134520901 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18780/tid=18783] ppid=18778 vsize=1425100 CPUtime=598.69
/proc/18780/task/18783/stat : 18783 (satake) R 18778 18780 18342 0 -1 4194368 295225 0 0 0 59541 328 0 0 25 0 4 0 97646785 1459302400 350405 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 1425100

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

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

[startup+601.601 s]
/proc/loadavg: 1.99 1.85 1.45 2/67 18785
/proc/meminfo: memFree=1296648/2055920 swapFree=4180248/4192956
[pid=18780] ppid=18778 vsize=0 CPUtime=1200.37
/proc/18780/stat : 18780 (satake) Z 18778 18780 18342 0 -1 4195340 362516 0 0 0 119524 513 0 0 16 0 2 0 97646785 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18780/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.631
CPU time (s): 1200.41
CPU user time (s): 1195.25
CPU system time (s): 5.16221
CPU usage (%): 199.526
Max. virtual memory (cumulated for all children) (KiB): 1425100

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.25
system time used= 5.16221
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362516
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= 89795
involuntary context switches= 96904

runsolver used 0.557915 second user time and 1.64575 second system time

The end

Launcher Data 

Begin job on node17 at 2009-04-25 23:48:54
IDJOB=1724438
IDBENCH=71777
IDSOLVER=553
FILE ID=node17/1724438-1240696133
PBS_JOBID= 9186717
Free space on /tmp= 66112 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE06/velev-pipe-uns-1.0-8.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724438-1240696133/watcher-1724438-1240696133 -o /tmp/evaluation-result-1724438-1240696133/solver-1724438-1240696133 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724438-1240696133.cnf 3 1200

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

MD5SUM BENCH= 0767e5dbf6844720495e9eb5423112e1
RANDOM SEED=39755696

node17.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.234
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.234
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:       1462736 kB
Buffers:         58892 kB
Cached:         476228 kB
SwapCached:       7520 kB
Active:         242784 kB
Inactive:       302344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1462736 kB
SwapTotal:     4192956 kB
SwapFree:      4180248 kB
Dirty:           24896 kB
Writeback:           0 kB
Mapped:          13576 kB
Slab:            34056 kB
Committed_AS:   350884 kB
PageTables:       1456 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= 66112 MiB
End job on node17 at 2009-04-25 23:58:57