Trace number 1717810

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.19 601.456

General information on the benchmark

Nameindustrial/palacios/medium/
cube-11-h13-unsat.cnf
MD5SUM3a68d904935650d9da7e64e1ee7bae82
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark114.303
Satisfiable
(Un)Satisfiability was proved
Number of variables454385
Number of clauses1367522
Sum of the clauses size3191290
Maximum clause length19
Minimum clause length1
Number of clauses of size 11331
Number of clauses of size 2911962
Number of clauses of size 3451911
Number of clauses of size 42126
Number of clauses of size 518
Number of clauses of size over 5174

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-1717810-1240630976/watcher-1717810-1240630976 -o /tmp/evaluation-result-1717810-1240630976/solver-1717810-1240630976 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1717810-1240630976.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.99 0.98 0.99 3/64 32640
/proc/meminfo: memFree=1060568/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=4104 CPUtime=0
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 689 0 0 0 0 0 0 0 18 0 4 0 91126611 4202496 674 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 1026 681 65 163 0 861 0
[pid=32640/tid=32641] ppid=32638 vsize=4104 CPUtime=0
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 91126612 4202496 698 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=4104 CPUtime=0
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 400 0 0 0 0 0 0 0 20 0 4 0 91126612 4202496 707 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=4104 CPUtime=0
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 240 0 0 0 0 0 0 0 19 0 4 0 91126612 4202496 715 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.0132089 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32640
/proc/meminfo: memFree=1060568/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=13320 CPUtime=0.01
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 2236 0 0 0 0 1 0 0 18 0 4 0 91126611 13639680 2221 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 3330 2221 65 163 0 3165 0
[pid=32640/tid=32641] ppid=32638 vsize=13320 CPUtime=0
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 91126612 13639680 2221 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=13320 CPUtime=0
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 1046 0 0 0 0 0 0 0 20 0 4 0 91126612 13639680 2221 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32640/tid=32643] ppid=32638 vsize=13320 CPUtime=0
/proc/32640/task/32643/stat : 32643 (satake) D 32638 32640 31679 0 -1 4194368 1100 0 0 0 0 0 0 0 20 0 4 0 91126612 13639680 2221 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13320

[startup+0.101514 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32640
/proc/meminfo: memFree=1060568/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=57364 CPUtime=0.18
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 13848 0 0 0 5 13 0 0 18 0 4 0 91126611 58740736 13828 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 14341 13828 65 163 0 14176 0
[pid=32640/tid=32641] ppid=32638 vsize=57364 CPUtime=0
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 91126612 58740736 13828 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=57364 CPUtime=0.08
/proc/32640/task/32642/stat : 32642 (satake) S 32638 32640 31679 0 -1 4194368 6894 0 0 0 2 6 0 0 16 0 4 0 91126612 58740736 13828 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32640/tid=32643] ppid=32638 vsize=57364 CPUtime=0.09
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 6864 0 0 0 3 6 0 0 17 0 4 0 91126612 58740736 13828 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 57364

[startup+0.302537 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32640
/proc/meminfo: memFree=1060568/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=91792 CPUtime=0.58
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 20842 0 0 0 41 17 0 0 18 0 4 0 91126611 93995008 20815 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 22948 20816 65 163 0 22783 0
[pid=32640/tid=32641] ppid=32638 vsize=91792 CPUtime=0
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 91126612 93995008 20822 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=91792 CPUtime=0.28
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 10448 0 0 0 20 8 0 0 16 0 4 0 91126612 93995008 20824 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32640/tid=32643] ppid=32638 vsize=91792 CPUtime=0.28
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 10313 0 0 0 20 8 0 0 16 0 4 0 91126612 93995008 20825 1992294400 134512640 135180984 4294956208 18446744073709551615 134513717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 91792

[startup+0.701583 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32640
/proc/meminfo: memFree=1060568/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=151600 CPUtime=1.36
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 34279 0 0 0 109 27 0 0 18 0 4 0 91126611 155238400 34252 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 37900 34254 65 163 0 37735 0
[pid=32640/tid=32641] ppid=32638 vsize=151600 CPUtime=0
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 91126612 155238400 34254 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=151600 CPUtime=0.67
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 17143 0 0 0 54 13 0 0 16 0 4 0 91126612 155238400 34255 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32640/tid=32643] ppid=32638 vsize=151600 CPUtime=0.67
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 17049 0 0 0 54 13 0 0 16 0 4 0 91126612 155238400 34255 1992294400 134512640 135180984 4294956208 18446744073709551615 134519229 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 151600

[startup+1.50182 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 32644
/proc/meminfo: memFree=882104/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=229704 CPUtime=2.93
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 56715 0 0 0 251 42 0 0 18 0 4 0 91126611 235216896 50559 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 57426 50559 4116 163 0 57261 0
[pid=32640/tid=32641] ppid=32638 vsize=229704 CPUtime=0
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 91126612 235216896 50559 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=229704 CPUtime=1.45
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 28381 0 0 0 124 21 0 0 17 0 4 0 91126612 235216896 50559 1992294400 134512640 135180984 4294956208 18446744073709551615 134702225 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=229704 CPUtime=1.46
/proc/32640/task/32643/stat : 32643 (satake) D 32638 32640 31679 0 -1 4194368 28244 0 0 0 126 20 0 0 17 0 4 0 91126612 235216896 50559 1992294400 134512640 135180984 4294956208 18446744073709551615 134523819 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 229704

[startup+3.10202 s]
/proc/loadavg: 0.99 0.98 0.99 4/68 32644
/proc/meminfo: memFree=851384/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=237428 CPUtime=6.11
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 65246 0 0 0 561 50 0 0 18 0 4 0 91126611 243126272 52961 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 59357 52961 70 163 0 59192 0
[pid=32640/tid=32641] ppid=32638 vsize=237428 CPUtime=0.14
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 7995 0 0 0 8 6 0 0 17 0 4 0 91126612 243126272 52961 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=237428 CPUtime=2.99
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 28616 0 0 0 277 22 0 0 18 0 4 0 91126612 243126272 52961 1992294400 134512640 135180984 4294956208 18446744073709551615 134528516 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=237428 CPUtime=2.96
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 28552 0 0 0 275 21 0 0 17 0 4 0 91126612 243126272 52961 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 237428

[startup+6.3024 s]
/proc/loadavg: 1.07 1.00 1.00 3/68 32644
/proc/meminfo: memFree=847616/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=237560 CPUtime=12.5
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 65479 0 0 0 1197 53 0 0 18 0 4 0 91126611 243261440 53194 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 59390 53194 70 163 0 59225 0
[pid=32640/tid=32641] ppid=32638 vsize=237560 CPUtime=0.15
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 7999 0 0 0 8 7 0 0 16 0 4 0 91126612 243261440 53194 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=237560 CPUtime=6.18
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 28696 0 0 0 595 23 0 0 25 0 4 0 91126612 243261440 53194 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=237560 CPUtime=6.14
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 28701 0 0 0 593 21 0 0 22 0 4 0 91126612 243261440 53194 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 237560

[startup+12.7012 s]
/proc/loadavg: 1.15 1.02 1.01 3/68 32644
/proc/meminfo: memFree=846600/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=238016 CPUtime=25.27
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 65727 0 0 0 2468 59 0 0 18 0 4 0 91126611 243728384 53442 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 59504 53442 70 163 0 59339 0
[pid=32640/tid=32641] ppid=32638 vsize=238016 CPUtime=0.18
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8005 0 0 0 9 9 0 0 16 0 4 0 91126612 243728384 53442 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=238016 CPUtime=12.56
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 28918 0 0 0 1231 25 0 0 25 0 4 0 91126612 243728384 53442 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=238016 CPUtime=12.49
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 28721 0 0 0 1226 23 0 0 25 0 4 0 91126612 243728384 53442 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 238016

[startup+25.5027 s]
/proc/loadavg: 1.34 1.06 1.02 3/68 32644
/proc/meminfo: memFree=846408/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=238148 CPUtime=50.81
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 65816 0 0 0 5014 67 0 0 18 0 4 0 91126611 243863552 53531 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 59537 53531 70 163 0 59372 0
[pid=32640/tid=32641] ppid=32638 vsize=238148 CPUtime=0.23
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8016 0 0 0 10 13 0 0 15 0 4 0 91126612 243863552 53531 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32640/tid=32642] ppid=32638 vsize=238148 CPUtime=25.34
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 28952 0 0 0 2507 27 0 0 25 0 4 0 91126612 243863552 53531 1992294400 134512640 135180984 4294956208 18446744073709551615 134532415 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=238148 CPUtime=25.22
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 28765 0 0 0 2496 26 0 0 25 0 4 0 91126612 243863552 53531 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 238148

[startup+51.1027 s]
/proc/loadavg: 1.56 1.14 1.04 3/68 32644
/proc/meminfo: memFree=845256/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=239600 CPUtime=101.89
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 66085 0 0 0 10106 83 0 0 18 0 4 0 91126611 245350400 53800 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 59900 53800 70 163 0 59735 0
[pid=32640/tid=32641] ppid=32638 vsize=239600 CPUtime=0.33
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8034 0 0 0 13 20 0 0 15 0 4 0 91126612 245350400 53800 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=239600 CPUtime=50.87
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 29046 0 0 0 5056 31 0 0 25 0 4 0 91126612 245350400 53800 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=239600 CPUtime=50.66
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 28922 0 0 0 5036 30 0 0 25 0 4 0 91126612 245350400 53800 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 239600

[startup+102.307 s]
/proc/loadavg: 1.81 1.27 1.09 3/68 32644
/proc/meminfo: memFree=842632/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=241716 CPUtime=204.07
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 66756 0 0 0 20298 109 0 0 18 0 4 0 91126611 247517184 54471 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 60429 54471 70 163 0 60264 0
[pid=32640/tid=32641] ppid=32638 vsize=241716 CPUtime=0.49
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8059 0 0 0 17 32 0 0 16 0 4 0 91126612 247517184 54471 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=241716 CPUtime=101.97
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 29431 0 0 0 10159 38 0 0 25 0 4 0 91126612 247517184 54471 1992294400 134512640 135180984 4294956208 18446744073709551615 134532448 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=241716 CPUtime=101.59
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 29183 0 0 0 10121 38 0 0 25 0 4 0 91126612 247517184 54471 1992294400 134512640 135180984 4294956208 18446744073709551615 134532428 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 241716

[startup+162.303 s]
/proc/loadavg: 1.93 1.40 1.15 3/68 32644
/proc/meminfo: memFree=838024/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=246724 CPUtime=323.81
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 67910 0 0 0 32242 139 0 0 18 0 4 0 91126611 252645376 55625 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 61681 55625 70 163 0 61516 0
[pid=32640/tid=32641] ppid=32638 vsize=246724 CPUtime=0.67
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8104 0 0 0 21 46 0 0 16 0 4 0 91126612 252645376 55625 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32640/tid=32642] ppid=32638 vsize=246724 CPUtime=161.86
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 30318 0 0 0 16139 47 0 0 25 0 4 0 91126612 252645376 55625 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=246724 CPUtime=161.26
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 29405 0 0 0 16080 46 0 0 25 0 4 0 91126612 252645376 55625 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.81
Current children cumulated vsize (KiB) 246724

[startup+222.303 s]
/proc/loadavg: 1.97 1.51 1.20 3/68 32644
/proc/meminfo: memFree=834568/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=250104 CPUtime=443.55
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 68808 0 0 0 44185 170 0 0 18 0 4 0 91126611 256106496 56523 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 62526 56523 70 163 0 62361 0
[pid=32640/tid=32641] ppid=32638 vsize=250104 CPUtime=0.84
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8139 0 0 0 25 59 0 0 15 0 4 0 91126612 256106496 56523 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32640/tid=32642] ppid=32638 vsize=250104 CPUtime=221.76
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 30828 0 0 0 22121 55 0 0 25 0 4 0 91126612 256106496 56523 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=250104 CPUtime=220.94
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 29758 0 0 0 22038 56 0 0 25 0 4 0 91126612 256106496 56523 1992294400 134512640 135180984 4294956208 18446744073709551615 134518582 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.55
Current children cumulated vsize (KiB) 250104

[startup+282.303 s]
/proc/loadavg: 1.99 1.59 1.24 3/68 32644
/proc/meminfo: memFree=831432/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=253404 CPUtime=563.29
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 69592 0 0 0 56131 198 0 0 18 0 4 0 91126611 259485696 57307 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 63351 57307 70 163 0 63186 0
[pid=32640/tid=32641] ppid=32638 vsize=253404 CPUtime=1
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8195 0 0 0 28 72 0 0 16 0 4 0 91126612 259485696 57307 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=253404 CPUtime=281.65
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 31090 0 0 0 28102 63 0 0 25 0 4 0 91126612 259485696 57307 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=253404 CPUtime=280.63
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 30224 0 0 0 28000 63 0 0 21 0 4 0 91126612 259485696 57307 1992294400 134512640 135180984 4294956208 18446744073709551615 134521095 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.29
Current children cumulated vsize (KiB) 253404

[startup+342.303 s]
/proc/loadavg: 1.99 1.66 1.29 3/68 32644
/proc/meminfo: memFree=826760/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=257240 CPUtime=683.03
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 70755 0 0 0 68079 224 0 0 18 0 4 0 91126611 263413760 58470 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 64310 58470 70 163 0 64145 0
[pid=32640/tid=32641] ppid=32638 vsize=257240 CPUtime=1.15
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8230 0 0 0 32 83 0 0 16 0 4 0 91126612 263413760 58470 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=257240 CPUtime=341.54
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 31678 0 0 0 34084 70 0 0 25 0 4 0 91126612 263413760 58470 1992294400 134512640 135180984 4294956208 18446744073709551615 134523690 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=257240 CPUtime=340.31
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 30764 0 0 0 33962 69 0 0 25 0 4 0 91126612 263413760 58470 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 683.03
Current children cumulated vsize (KiB) 257240

[startup+402.303 s]
/proc/loadavg: 1.99 1.72 1.33 3/68 32644
/proc/meminfo: memFree=823048/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=261768 CPUtime=802.78
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 71687 0 0 0 80033 245 0 0 18 0 4 0 91126611 268050432 59402 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 65442 59402 70 163 0 65277 0
[pid=32640/tid=32641] ppid=32638 vsize=261768 CPUtime=1.27
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8248 0 0 0 35 92 0 0 16 0 4 0 91126612 268050432 59402 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=261768 CPUtime=401.47
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 32074 0 0 0 40069 78 0 0 25 0 4 0 91126612 268050432 59402 1992294400 134512640 135180984 4294956208 18446744073709551615 134528993 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=261768 CPUtime=400.03
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 31282 0 0 0 39928 75 0 0 25 0 4 0 91126612 268050432 59402 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.78
Current children cumulated vsize (KiB) 261768

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 32644
/proc/meminfo: memFree=819592/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=265276 CPUtime=922.52
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 72553 0 0 0 91988 264 0 0 18 0 4 0 91126611 271642624 60268 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 66319 60268 70 163 0 66154 0
[pid=32640/tid=32641] ppid=32638 vsize=265276 CPUtime=1.38
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8277 0 0 0 38 100 0 0 16 0 4 0 91126612 271642624 60268 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=265276 CPUtime=461.39
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 32356 0 0 0 46055 84 0 0 25 0 4 0 91126612 271642624 60268 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=265276 CPUtime=459.73
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 31837 0 0 0 45894 79 0 0 25 0 4 0 91126612 271642624 60268 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.52
Current children cumulated vsize (KiB) 265276

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 32644
/proc/meminfo: memFree=815368/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=269232 CPUtime=1042.26
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 73611 0 0 0 103936 290 0 0 18 0 4 0 91126611 275693568 61326 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 67308 61326 70 163 0 67143 0
[pid=32640/tid=32641] ppid=32638 vsize=269232 CPUtime=1.52
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8314 0 0 0 41 111 0 0 16 0 4 0 91126612 275693568 61326 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32640/tid=32642] ppid=32638 vsize=269232 CPUtime=521.29
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 32858 0 0 0 52038 91 0 0 25 0 4 0 91126612 275693568 61326 1992294400 134512640 135180984 4294956208 18446744073709551615 134526476 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=269232 CPUtime=519.42
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 32356 0 0 0 51855 87 0 0 25 0 4 0 91126612 275693568 61326 1992294400 134512640 135180984 4294956208 18446744073709551615 134528568 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.26
Current children cumulated vsize (KiB) 269232

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 32644
/proc/meminfo: memFree=811208/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=273928 CPUtime=1162.01
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 74642 0 0 0 115885 316 0 0 18 0 4 0 91126611 280502272 62357 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 68482 62357 70 163 0 68317 0
[pid=32640/tid=32641] ppid=32638 vsize=273928 CPUtime=1.66
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8373 0 0 0 44 122 0 0 16 0 4 0 91126612 280502272 62357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32640/tid=32642] ppid=32638 vsize=273928 CPUtime=581.2
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 33257 0 0 0 58022 98 0 0 25 0 4 0 91126612 280502272 62357 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=273928 CPUtime=579.11
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 32929 0 0 0 57817 94 0 0 25 0 4 0 91126612 280502272 62357 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1162.01
Current children cumulated vsize (KiB) 273928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 32644
/proc/meminfo: memFree=810248/2055920 swapFree=4192812/4192956
[pid=32640] ppid=32638 vsize=275220 CPUtime=1200.13
/proc/32640/stat : 32640 (satake) S 32638 32640 31679 0 -1 4194304 74847 0 0 0 119689 324 0 0 18 0 4 0 91126611 281825280 62562 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32640/statm: 68805 62562 70 163 0 68640 0
[pid=32640/tid=32641] ppid=32638 vsize=275220 CPUtime=1.72
/proc/32640/task/32641/stat : 32641 (satake) S 32638 32640 31679 0 -1 4194368 8385 0 0 0 46 126 0 0 16 0 4 0 91126612 281825280 62562 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32640/tid=32642] ppid=32638 vsize=275220 CPUtime=600.28
/proc/32640/task/32642/stat : 32642 (satake) R 32638 32640 31679 0 -1 4194368 33380 0 0 0 59927 101 0 0 25 0 4 0 91126612 281825280 62562 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32640/tid=32643] ppid=32638 vsize=275220 CPUtime=598.11
/proc/32640/task/32643/stat : 32643 (satake) R 32638 32640 31679 0 -1 4194368 32999 0 0 0 59715 96 0 0 25 0 4 0 91126612 281825280 62562 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 275220

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.456
CPU time (s): 1200.19
CPU user time (s): 1196.9
CPU system time (s): 3.2855
CPU usage (%): 199.547
Max. virtual memory (cumulated for all children) (KiB): 275220

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.9
system time used= 3.2855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74847
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= 246989
involuntary context switches= 251249

runsolver used 0.563914 second user time and 1.63475 second system time

The end

Launcher Data 

Begin job on node75 at 2009-04-25 05:42:58
IDJOB=1717810
IDBENCH=20424
IDSOLVER=553
FILE ID=node75/1717810-1240630976
PBS_JOBID= 9186327
Free space on /tmp= 66388 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/palacios/medium/cube-11-h13-unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1717810-1240630976/watcher-1717810-1240630976 -o /tmp/evaluation-result-1717810-1240630976/solver-1717810-1240630976 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1717810-1240630976.cnf 3 1200

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

MD5SUM BENCH= 3a68d904935650d9da7e64e1ee7bae82
RANDOM SEED=1745980070

node75.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.213
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.213
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:       1061048 kB
Buffers:         78308 kB
Cached:         822820 kB
SwapCached:        144 kB
Active:         126268 kB
Inactive:       788964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1061048 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           25260 kB
Writeback:           0 kB
Mapped:          23696 kB
Slab:            65620 kB
Committed_AS:   184824 kB
PageTables:       1416 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= 66388 MiB
End job on node75 at 2009-04-25 05:53:01