Trace number 1735590

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.22 601.588

General information on the benchmark

NameCRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
MD5SUM902bd5d693f19206156f2706c5c6e377
Bench CategoryCRAFTED (crafted 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 variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

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-1735590-1240804150/watcher-1735590-1240804150 -o /tmp/evaluation-result-1735590-1240804150/solver-1735590-1240804150 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1735590-1240804150.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.91 0.97 0.99 3/64 20190
/proc/meminfo: memFree=1715364/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=5128 CPUtime=0
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 676 0 0 0 0 0 0 0 20 0 4 0 108444079 5251072 662 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 1282 668 65 163 0 1117 0
[pid=20190/tid=20191] ppid=20188 vsize=5128 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 108444079 5251072 684 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=5128 CPUtime=0
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 347 0 0 0 0 0 0 0 21 0 4 0 108444079 5251072 692 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=5128 CPUtime=0
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 270 0 0 0 0 0 0 0 21 0 4 0 108444079 5251072 700 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0141971 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 20190
/proc/meminfo: memFree=1715364/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=10476 CPUtime=0.02
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 2258 0 0 0 1 1 0 0 20 0 4 0 108444079 10727424 2243 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 3361 2849 65 163 0 3196 0
[pid=20190/tid=20191] ppid=20188 vsize=13576 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 108444079 13901824 2956 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=13708 CPUtime=0.04
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 1510 0 0 0 3 1 0 0 16 0 4 0 108444079 14036992 2982 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=13708 CPUtime=0.03
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 1397 0 0 0 3 0 0 0 17 0 4 0 108444079 14036992 2982 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10476

[startup+0.135387 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 20190
/proc/meminfo: memFree=1715364/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=22396 CPUtime=0.25
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 5050 0 0 0 22 3 0 0 20 0 4 0 108444079 22933504 5035 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 5599 5036 65 163 0 5434 0
[pid=20190/tid=20191] ppid=20188 vsize=22396 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 108444079 22933504 5036 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=22396 CPUtime=0.12
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 2545 0 0 0 10 2 0 0 17 0 4 0 108444079 22933504 5036 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=22396 CPUtime=0.12
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 2416 0 0 0 11 1 0 0 16 0 4 0 108444079 22933504 5036 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 22396

[startup+0.301958 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 20190
/proc/meminfo: memFree=1715364/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=22452 CPUtime=0.58
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 7128 0 0 0 54 4 0 0 20 0 4 0 108444079 22990848 5145 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 5613 5145 69 163 0 5448 0
[pid=20190/tid=20191] ppid=20188 vsize=22452 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 53 0 0 0 0 0 0 0 16 0 4 0 108444079 22990848 5145 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=22452 CPUtime=0.28
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 3566 0 0 0 26 2 0 0 16 0 4 0 108444079 22990848 5146 1992294400 134512640 135180984 4294956208 18446744073709551615 134518255 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=22452 CPUtime=0.28
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 3427 0 0 0 27 1 0 0 17 0 4 0 108444079 22990848 5146 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 22452

[startup+0.701995 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 20190
/proc/meminfo: memFree=1715364/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=25324 CPUtime=1.38
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 7973 0 0 0 133 5 0 0 20 0 4 0 108444079 25931776 5990 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 6331 5990 69 163 0 6166 0
[pid=20190/tid=20191] ppid=20188 vsize=25324 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 53 0 0 0 0 0 0 0 15 0 4 0 108444079 25931776 5990 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=25324 CPUtime=0.69
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 3979 0 0 0 66 3 0 0 17 0 4 0 108444079 25931776 5990 1992294400 134512640 135180984 4294956208 18446744073709551615 134519101 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=25324 CPUtime=0.68
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 3858 0 0 0 67 1 0 0 17 0 4 0 108444079 25931776 5990 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 25324

[startup+1.50208 s]
/proc/loadavg: 0.91 0.97 0.99 3/68 20194
/proc/meminfo: memFree=1689412/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=31436 CPUtime=2.98
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 9402 0 0 0 292 6 0 0 20 0 4 0 108444079 32190464 7419 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 7859 7419 69 163 0 7694 0
[pid=20190/tid=20191] ppid=20188 vsize=31436 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 53 0 0 0 0 0 0 0 15 0 4 0 108444079 32190464 7419 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=31436 CPUtime=1.48
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 4712 0 0 0 145 3 0 0 18 0 4 0 108444079 32190464 7419 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=31436 CPUtime=1.48
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 4554 0 0 0 146 2 0 0 20 0 4 0 108444079 32190464 7419 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 31436

[startup+3.1147 s]
/proc/loadavg: 0.91 0.97 0.99 3/68 20194
/proc/meminfo: memFree=1682052/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=39020 CPUtime=6.15
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 11333 0 0 0 607 8 0 0 20 0 4 0 108444079 39956480 9350 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 9755 9350 70 163 0 9590 0
[pid=20190/tid=20191] ppid=20188 vsize=39020 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 54 0 0 0 0 0 0 0 15 0 4 0 108444079 39956480 9351 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=39020 CPUtime=3.04
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 5561 0 0 0 300 4 0 0 23 0 4 0 108444079 39956480 9352 1992294400 134512640 135180984 4294956208 18446744073709551615 134527103 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=39020 CPUtime=3.1
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 5638 0 0 0 307 3 0 0 22 0 4 0 108444079 39956480 9353 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 39020

[startup+6.30158 s]
/proc/loadavg: 1.08 1.00 1.00 3/68 20194
/proc/meminfo: memFree=1666372/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=53844 CPUtime=12.34
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 15029 0 0 0 1223 11 0 0 20 0 4 0 108444079 55136256 13046 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 13461 13046 70 163 0 13296 0
[pid=20190/tid=20191] ppid=20188 vsize=53844 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 54 0 0 0 0 0 0 0 15 0 4 0 108444079 55136256 13046 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=53844 CPUtime=6.05
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 7368 0 0 0 599 6 0 0 24 0 4 0 108444079 55136256 13046 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=53844 CPUtime=6.27
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 7524 0 0 0 623 4 0 0 18 0 4 0 108444079 55136256 13046 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 53844

[startup+12.7012 s]
/proc/loadavg: 1.15 1.02 1.01 3/68 20194
/proc/meminfo: memFree=1643012/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=75064 CPUtime=25.07
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 20435 0 0 0 2488 19 0 0 20 0 4 0 108444079 76865536 18452 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 18766 18452 70 163 0 18601 0
[pid=20190/tid=20191] ppid=20188 vsize=75064 CPUtime=0
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 54 0 0 0 0 0 0 0 15 0 4 0 108444079 76865536 18452 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=75064 CPUtime=12.42
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 10124 0 0 0 1230 12 0 0 20 0 4 0 108444079 76865536 18452 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=75064 CPUtime=12.63
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 10174 0 0 0 1257 6 0 0 25 0 4 0 108444079 76865536 18452 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 75064

[startup+25.5016 s]
/proc/loadavg: 1.41 1.08 1.03 3/68 20194
/proc/meminfo: memFree=1610244/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=106464 CPUtime=50.61
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 28318 0 0 0 5031 30 0 0 20 0 4 0 108444079 109019136 26335 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 26616 26335 70 163 0 26451 0
[pid=20190/tid=20191] ppid=20188 vsize=106464 CPUtime=0.01
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 54 0 0 0 0 1 0 0 15 0 4 0 108444079 109019136 26335 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=106464 CPUtime=25.16
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 13933 0 0 0 2499 17 0 0 25 0 4 0 108444079 109019136 26335 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=106464 CPUtime=25.42
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 14248 0 0 0 2531 11 0 0 25 0 4 0 108444079 109019136 26335 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 106464

[startup+51.1012 s]
/proc/loadavg: 1.61 1.15 1.05 3/68 20194
/proc/meminfo: memFree=1569860/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=147396 CPUtime=101.69
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 38472 0 0 0 10125 44 0 0 20 0 4 0 108444079 150933504 36489 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 36849 36489 70 163 0 36684 0
[pid=20190/tid=20191] ppid=20188 vsize=147396 CPUtime=0.03
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 54 0 0 0 1 2 0 0 15 0 4 0 108444079 150933504 36489 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=147396 CPUtime=50.65
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 18643 0 0 0 5041 24 0 0 25 0 4 0 108444079 150933504 36489 1992294400 134512640 135180984 4294956208 18446744073709551615 134528661 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=147396 CPUtime=51
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 19692 0 0 0 5083 17 0 0 25 0 4 0 108444079 150933504 36489 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 147396

[startup+102.301 s]
/proc/loadavg: 1.88 1.30 1.10 3/68 20194
/proc/meminfo: memFree=1505796/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=211000 CPUtime=203.87
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 54253 0 0 0 20319 68 0 0 20 0 4 0 108444079 216064000 52270 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 52750 52270 70 163 0 52585 0
[pid=20190/tid=20191] ppid=20188 vsize=211000 CPUtime=0.05
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 55 0 0 0 1 4 0 0 15 0 4 0 108444079 216064000 52270 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=211000 CPUtime=101.63
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 25290 0 0 0 10127 36 0 0 20 0 4 0 108444079 216064000 52270 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=211000 CPUtime=102.18
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 28825 0 0 0 10191 27 0 0 25 0 4 0 108444079 216064000 52270 1992294400 134512640 135180984 4294956208 18446744073709551615 134528206 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 211000

[startup+162.302 s]
/proc/loadavg: 2.00 1.44 1.16 3/68 20194
/proc/meminfo: memFree=1452484/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=264400 CPUtime=323.62
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 67665 0 0 0 32271 91 0 0 20 0 4 0 108444079 270745600 65682 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 66100 65682 70 163 0 65935 0
[pid=20190/tid=20191] ppid=20188 vsize=264400 CPUtime=0.07
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 56 0 0 0 1 6 0 0 15 0 4 0 108444079 270745600 65682 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=264400 CPUtime=161.38
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 31863 0 0 0 16089 49 0 0 25 0 4 0 108444079 270745600 65682 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=264400 CPUtime=162.14
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 35663 0 0 0 16179 35 0 0 25 0 4 0 108444079 270745600 65682 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 264400

[startup+222.307 s]
/proc/loadavg: 2.24 1.61 1.24 3/68 20194
/proc/meminfo: memFree=1408516/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=308064 CPUtime=443.37
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 78575 0 0 0 44227 110 0 0 20 0 4 0 108444079 315457536 76592 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 77016 76592 70 163 0 76851 0
[pid=20190/tid=20191] ppid=20188 vsize=308064 CPUtime=0.09
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 56 0 0 0 2 7 0 0 15 0 4 0 108444079 315457536 76592 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=308064 CPUtime=221.14
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 37371 0 0 0 22055 59 0 0 25 0 4 0 108444079 315457536 76592 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=308064 CPUtime=222.12
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 41065 0 0 0 22169 43 0 0 25 0 4 0 108444079 315457536 76592 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.37
Current children cumulated vsize (KiB) 308064

[startup+282.301 s]
/proc/loadavg: 2.20 1.72 1.30 3/68 20194
/proc/meminfo: memFree=1374084/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=343460 CPUtime=563.09
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 87244 0 0 0 56183 126 0 0 20 0 4 0 108444079 351703040 85261 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 85865 85261 70 163 0 85700 0
[pid=20190/tid=20191] ppid=20188 vsize=343460 CPUtime=0.1
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 56 0 0 0 2 8 0 0 15 0 4 0 108444079 351703040 85261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=343460 CPUtime=280.9
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 41809 0 0 0 28021 69 0 0 25 0 4 0 108444079 351703040 85261 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=343460 CPUtime=282.08
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 45296 0 0 0 28160 48 0 0 25 0 4 0 108444079 351703040 85261 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.09
Current children cumulated vsize (KiB) 343460

[startup+342.301 s]
/proc/loadavg: 2.07 1.77 1.34 3/68 20194
/proc/meminfo: memFree=1339460/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=377016 CPUtime=682.83
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 95810 0 0 0 68142 141 0 0 20 0 4 0 108444079 386064384 93827 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 94254 93827 70 163 0 94089 0
[pid=20190/tid=20191] ppid=20188 vsize=377016 CPUtime=0.11
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 57 0 0 0 2 9 0 0 15 0 4 0 108444079 386064384 93827 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=377016 CPUtime=340.66
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 46666 0 0 0 33988 78 0 0 25 0 4 0 108444079 386064384 93827 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=377016 CPUtime=342.05
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 49004 0 0 0 34151 54 0 0 25 0 4 0 108444079 386064384 93827 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (KiB) 377016

[startup+402.301 s]
/proc/loadavg: 2.02 1.81 1.38 3/68 20194
/proc/meminfo: memFree=1310468/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=406896 CPUtime=802.57
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 103093 0 0 0 80105 152 0 0 20 0 4 0 108444079 416661504 101110 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 101724 101110 70 163 0 101559 0
[pid=20190/tid=20191] ppid=20188 vsize=406896 CPUtime=0.12
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 57 0 0 0 2 10 0 0 15 0 4 0 108444079 416661504 101110 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=406896 CPUtime=400.42
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 49875 0 0 0 39958 84 0 0 25 0 4 0 108444079 416661504 101110 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=406896 CPUtime=402.02
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 53078 0 0 0 40144 58 0 0 25 0 4 0 108444079 416661504 101110 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.57
Current children cumulated vsize (KiB) 406896

[startup+462.302 s]
/proc/loadavg: 2.01 1.84 1.41 3/68 20194
/proc/meminfo: memFree=1281796/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=434908 CPUtime=922.31
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 110178 0 0 0 92067 164 0 0 20 0 4 0 108444079 445345792 108195 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 108727 108195 70 163 0 108562 0
[pid=20190/tid=20191] ppid=20188 vsize=434908 CPUtime=0.13
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 57 0 0 0 3 10 0 0 15 0 4 0 108444079 445345792 108195 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=434908 CPUtime=460.17
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 52970 0 0 0 45927 90 0 0 25 0 4 0 108444079 445345792 108195 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=434908 CPUtime=461.99
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 57068 0 0 0 46136 63 0 0 25 0 4 0 108444079 445345792 108195 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.31
Current children cumulated vsize (KiB) 434908

[startup+522.302 s]
/proc/loadavg: 2.00 1.87 1.45 3/68 20194
/proc/meminfo: memFree=1254788/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=462104 CPUtime=1042.05
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 116981 0 0 0 104028 177 0 0 20 0 4 0 108444079 473194496 114998 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 115526 114998 70 163 0 115361 0
[pid=20190/tid=20191] ppid=20188 vsize=462104 CPUtime=0.14
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 57 0 0 0 3 11 0 0 15 0 4 0 108444079 473194496 114998 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=462104 CPUtime=519.94
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 56693 0 0 0 51896 98 0 0 25 0 4 0 108444079 473194496 114998 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=462104 CPUtime=521.96
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 60148 0 0 0 52128 68 0 0 25 0 4 0 108444079 473194496 114998 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.05
Current children cumulated vsize (KiB) 462104

[startup+582.301 s]
/proc/loadavg: 2.00 1.89 1.48 3/68 20194
/proc/meminfo: memFree=1228036/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=488704 CPUtime=1161.79
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 123602 0 0 0 115987 192 0 0 20 0 4 0 108444079 500432896 121619 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 122176 121619 70 163 0 122011 0
[pid=20190/tid=20191] ppid=20188 vsize=488704 CPUtime=0.15
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 57 0 0 0 3 12 0 0 15 0 4 0 108444079 500432896 121619 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=488704 CPUtime=579.69
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 60680 0 0 0 57862 107 0 0 25 0 4 0 108444079 500432896 121619 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=488704 CPUtime=581.94
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 62782 0 0 0 58121 73 0 0 25 0 4 0 108444079 500432896 121619 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.79
Current children cumulated vsize (KiB) 488704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 2.00 1.89 1.49 3/68 20194
/proc/meminfo: memFree=1218308/2055920 swapFree=4191900/4192956
[pid=20190] ppid=20188 vsize=499084 CPUtime=1200.12
/proc/20190/stat : 20190 (satake) S 20188 20190 19433 0 -1 4194304 125975 0 0 0 119815 197 0 0 20 0 4 0 108444079 511062016 123992 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20190/statm: 124771 123992 70 163 0 124606 0
[pid=20190/tid=20191] ppid=20188 vsize=499084 CPUtime=0.16
/proc/20190/task/20191/stat : 20191 (satake) S 20188 20190 19433 0 -1 4194368 57 0 0 0 4 12 0 0 15 0 4 0 108444079 511062016 123992 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20190/tid=20192] ppid=20188 vsize=499084 CPUtime=598.81
/proc/20190/task/20192/stat : 20192 (satake) R 20188 20190 19433 0 -1 4194368 62026 0 0 0 59772 109 0 0 25 0 4 0 108444079 511062016 123992 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20190/tid=20193] ppid=20188 vsize=499084 CPUtime=601.13
/proc/20190/task/20193/stat : 20193 (satake) R 20188 20190 19433 0 -1 4194368 63809 0 0 0 60039 74 0 0 25 0 4 0 108444079 511062016 123992 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 499084

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.588
CPU time (s): 1200.22
CPU user time (s): 1198.17
CPU system time (s): 2.04969
CPU usage (%): 199.508
Max. virtual memory (cumulated for all children) (KiB): 499084

deleting IPC queue 884736
deleting IPC queue 917505
deleting IPC queue 950274
deleting IPC queue 983043
deleting IPC queue 1015812
deleting IPC queue 1048581
deleting IPC queue 1081350
deleting IPC queue 1114119
deleting IPC queue 1146888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.17
system time used= 2.04969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125975
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= 18904
involuntary context switches= 27392

runsolver used 0.615906 second user time and 1.79873 second system time

The end

Launcher Data 

Begin job on node90 at 2009-04-27 05:49:10
IDJOB=1735590
IDBENCH=71499
IDSOLVER=553
FILE ID=node90/1735590-1240804150
PBS_JOBID= 9187363
Free space on /tmp= 66556 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2640c305320g4.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1735590-1240804150/watcher-1735590-1240804150 -o /tmp/evaluation-result-1735590-1240804150/solver-1735590-1240804150 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1735590-1240804150.cnf 3 1200

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

MD5SUM BENCH= 902bd5d693f19206156f2706c5c6e377
RANDOM SEED=882739635

node90.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.238
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.238
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1715780 kB
Buffers:         42424 kB
Cached:         224976 kB
SwapCached:        384 kB
Active:          66492 kB
Inactive:       214612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1715780 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4680 kB
Writeback:           0 kB
Mapped:          22116 kB
Slab:            45028 kB
Committed_AS:   308696 kB
PageTables:       1428 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= 66556 MiB
End job on node90 at 2009-04-27 05:59:14