Trace number 1716354

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.14 601.639

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
MD5SUMc716daea92d5e29b94f85a19b52859ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark334.448
Satisfiable
(Un)Satisfiability was proved
Number of variables151952
Number of clauses697321
Sum of the clauses size1601192
Maximum clause length10
Minimum clause length1
Number of clauses of size 112754
Number of clauses of size 2551183
Number of clauses of size 3104744
Number of clauses of size 43180
Number of clauses of size 512720
Number of clauses of size over 512740

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-1716354-1240614606/watcher-1716354-1240614606 -o /tmp/evaluation-result-1716354-1240614606/solver-1716354-1240614606 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1716354-1240614606.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: 2.01 1.99 1.65 3/65 3099
/proc/meminfo: memFree=936352/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=5120 CPUtime=0
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 712 0 0 0 0 0 0 0 18 0 4 0 89489988 5242880 697 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 1280 705 65 163 0 1115 0
[pid=3099/tid=3100] ppid=3097 vsize=5120 CPUtime=0
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89489988 5242880 723 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=5120 CPUtime=0
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 658 0 0 0 0 0 0 0 19 0 4 0 89489988 5242880 733 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=5120 CPUtime=0
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 89489988 5242880 741 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.047311 s]
/proc/loadavg: 2.01 1.99 1.65 3/65 3099
/proc/meminfo: memFree=936352/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=31916 CPUtime=0.08
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 7406 0 0 0 2 6 0 0 18 0 4 0 89489988 32681984 7385 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 8012 7396 65 163 0 7847 0
[pid=3099/tid=3100] ppid=3097 vsize=32048 CPUtime=0
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89489988 32817152 7403 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=32180 CPUtime=0.04
/proc/3099/task/3101/stat : 3101 (satake) S 3097 3099 2779 0 -1 4194368 3773 0 0 0 1 3 0 0 17 0 4 0 89489988 32952320 7409 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=32180 CPUtime=0.03
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 3575 0 0 0 0 3 0 0 16 0 4 0 89489988 32952320 7417 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31916

[startup+0.104689 s]
/proc/loadavg: 2.01 1.99 1.65 3/65 3099
/proc/meminfo: memFree=936352/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=39744 CPUtime=0.2
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 9133 0 0 0 12 8 0 0 18 0 4 0 89489988 40697856 9111 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 9936 9111 65 163 0 9771 0
[pid=3099/tid=3100] ppid=3097 vsize=39744 CPUtime=0
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89489988 40697856 9111 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=39744 CPUtime=0.1
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 4624 0 0 0 6 4 0 0 16 0 4 0 89489988 40697856 9112 1992294400 134512640 135180984 4294956208 18446744073709551615 134522207 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=39744 CPUtime=0.08
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 4420 0 0 0 5 3 0 0 16 0 4 0 89489988 40697856 9112 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 39744

[startup+0.30146 s]
/proc/loadavg: 2.01 1.99 1.65 3/65 3099
/proc/meminfo: memFree=936352/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=90256 CPUtime=0.57
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 17338 0 0 0 44 13 0 0 18 0 4 0 89489988 92422144 17316 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 22564 17316 65 163 0 22399 0
[pid=3099/tid=3100] ppid=3097 vsize=90256 CPUtime=0
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89489988 92422144 17316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=90256 CPUtime=0.28
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 8669 0 0 0 22 6 0 0 16 0 4 0 89489988 92422144 17317 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=90256 CPUtime=0.27
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 8580 0 0 0 21 6 0 0 16 0 4 0 89489988 92422144 17317 1992294400 134512640 135180984 4294956208 18446744073709551615 134514050 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 90256

[startup+0.701531 s]
/proc/loadavg: 2.01 1.99 1.65 3/65 3099
/proc/meminfo: memFree=936352/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=114640 CPUtime=1.35
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 24009 0 0 0 114 21 0 0 18 0 4 0 89489988 117391360 23987 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 28660 23987 65 163 0 28495 0
[pid=3099/tid=3100] ppid=3097 vsize=114640 CPUtime=0
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89489988 117391360 23987 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=114640 CPUtime=0.68
/proc/3099/task/3101/stat : 3101 (satake) S 3097 3099 2779 0 -1 4194368 11989 0 0 0 57 11 0 0 16 0 4 0 89489988 117391360 23987 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=114640 CPUtime=0.67
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 11930 0 0 0 57 10 0 0 16 0 4 0 89489988 117391360 23987 1992294400 134512640 135180984 4294956208 18446744073709551615 134673384 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 114640

[startup+1.50269 s]
/proc/loadavg: 2.01 1.99 1.65 4/69 3103
/proc/meminfo: memFree=853568/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=105740 CPUtime=2.94
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 27047 0 0 0 267 27 0 0 18 0 4 0 89489988 108277760 20955 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 26435 20955 70 163 0 26270 0
[pid=3099/tid=3100] ppid=3097 vsize=105740 CPUtime=0.06
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 1786 0 0 0 5 1 0 0 15 0 4 0 89489988 108277760 20955 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=105740 CPUtime=1.45
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 12653 0 0 0 131 14 0 0 17 0 4 0 89489988 108277760 20955 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=105740 CPUtime=1.41
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 12525 0 0 0 130 11 0 0 17 0 4 0 89489988 108277760 20955 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 105740

[startup+3.10299 s]
/proc/loadavg: 2.01 1.99 1.65 3/69 3103
/proc/meminfo: memFree=852288/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=105740 CPUtime=6.11
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 27054 0 0 0 580 31 0 0 18 0 4 0 89489988 108277760 20962 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 26435 20962 70 163 0 26270 0
[pid=3099/tid=3100] ppid=3097 vsize=105740 CPUtime=0.07
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 1786 0 0 0 5 2 0 0 15 0 4 0 89489988 108277760 20962 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3099/tid=3101] ppid=3097 vsize=105740 CPUtime=3.01
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 12659 0 0 0 286 15 0 0 17 0 4 0 89489988 108277760 20962 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=105740 CPUtime=3
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 12526 0 0 0 287 13 0 0 17 0 4 0 89489988 108277760 20962 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 105740

[startup+6.30143 s]
/proc/loadavg: 2.17 2.02 1.66 3/69 3103
/proc/meminfo: memFree=851648/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=105884 CPUtime=12.45
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 27081 0 0 0 1190 55 0 0 18 0 4 0 89489988 108425216 20989 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 26471 20989 70 163 0 26306 0
[pid=3099/tid=3100] ppid=3097 vsize=105884 CPUtime=0.22
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 1786 0 0 0 9 13 0 0 15 0 4 0 89489988 108425216 20989 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=105884 CPUtime=6.09
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 12668 0 0 0 587 22 0 0 17 0 4 0 89489988 108425216 20989 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=105884 CPUtime=6.11
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 12544 0 0 0 593 18 0 0 17 0 4 0 89489988 108425216 20989 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 105884

[startup+12.7026 s]
/proc/loadavg: 2.16 2.02 1.67 3/69 3103
/proc/meminfo: memFree=851968/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=106064 CPUtime=25.21
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 27117 0 0 0 2429 92 0 0 18 0 4 0 89489988 108609536 21025 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 26516 21025 70 163 0 26351 0
[pid=3099/tid=3100] ppid=3097 vsize=106064 CPUtime=0.44
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 1786 0 0 0 14 30 0 0 15 0 4 0 89489988 108609536 21025 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=106064 CPUtime=12.37
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 12693 0 0 0 1205 32 0 0 17 0 4 0 89489988 108609536 21025 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=106064 CPUtime=12.38
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 12555 0 0 0 1209 29 0 0 17 0 4 0 89489988 108609536 21025 1992294400 134512640 135180984 4294956208 18446744073709551615 134673500 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 106064

[startup+25.502 s]
/proc/loadavg: 2.12 2.02 1.67 3/69 3103
/proc/meminfo: memFree=851392/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=108416 CPUtime=50.74
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 27312 0 0 0 4883 191 0 0 18 0 4 0 89489988 111017984 21220 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 27104 21220 70 163 0 26939 0
[pid=3099/tid=3100] ppid=3097 vsize=108416 CPUtime=1.01
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 1848 0 0 0 26 75 0 0 15 0 4 0 89489988 111017984 21220 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=108416 CPUtime=24.85
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 12750 0 0 0 2426 59 0 0 20 0 4 0 89489988 111017984 21220 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=108416 CPUtime=24.85
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 12631 0 0 0 2429 56 0 0 18 0 4 0 89489988 111017984 21220 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 108416

[startup+51.1017 s]
/proc/loadavg: 2.08 2.02 1.68 3/69 3103
/proc/meminfo: memFree=849280/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=109908 CPUtime=101.75
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 27847 0 0 0 9799 376 0 0 18 0 4 0 89489988 112545792 21755 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 27477 21755 70 163 0 27312 0
[pid=3099/tid=3100] ppid=3097 vsize=109908 CPUtime=2.07
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 2160 0 0 0 50 157 0 0 15 0 4 0 89489988 112545792 21755 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3099/tid=3101] ppid=3097 vsize=109908 CPUtime=49.81
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 12876 0 0 0 4872 109 0 0 22 0 4 0 89489988 112545792 21755 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=109908 CPUtime=49.85
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 12728 0 0 0 4876 109 0 0 16 0 4 0 89489988 112545792 21755 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 109908

[startup+102.305 s]
/proc/loadavg: 2.03 2.02 1.69 3/69 3103
/proc/meminfo: memFree=843648/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=116272 CPUtime=203.88
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 29287 0 0 0 19671 717 0 0 18 0 4 0 89489988 119062528 23195 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 29068 23195 70 163 0 28903 0
[pid=3099/tid=3100] ppid=3097 vsize=116272 CPUtime=4.11
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 2851 0 0 0 94 317 0 0 15 0 4 0 89489988 119062528 23195 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=116272 CPUtime=99.85
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 13391 0 0 0 9787 198 0 0 19 0 4 0 89489988 119062528 23195 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=116272 CPUtime=99.9
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 12962 0 0 0 9789 201 0 0 25 0 4 0 89489988 119062528 23195 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 116272

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.71 3/69 3103
/proc/meminfo: memFree=835072/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=125928 CPUtime=323.54
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 31413 0 0 0 31308 1046 0 0 18 0 4 0 89489988 128950272 25321 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 31482 25321 70 163 0 31317 0
[pid=3099/tid=3100] ppid=3097 vsize=125928 CPUtime=6
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 3554 0 0 0 134 466 0 0 15 0 4 0 89489988 128950272 25321 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3099/tid=3101] ppid=3097 vsize=125928 CPUtime=158.82
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 14023 0 0 0 15588 294 0 0 25 0 4 0 89489988 128950272 25321 1992294400 134512640 135180984 4294956208 18446744073709551615 134524814 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=125928 CPUtime=158.7
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 13753 0 0 0 15585 285 0 0 21 0 4 0 89489988 128950272 25321 1992294400 134512640 135180984 4294956208 18446744073709551615 134528532 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.54
Current children cumulated vsize (KiB) 125928

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 1.73 3/69 3103
/proc/meminfo: memFree=828992/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=131780 CPUtime=443.26
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 32916 0 0 0 43075 1251 0 0 18 0 4 0 89489988 134942720 26824 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 32945 26824 70 163 0 32780 0
[pid=3099/tid=3100] ppid=3097 vsize=131780 CPUtime=7.21
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 3981 0 0 0 162 559 0 0 15 0 4 0 89489988 134942720 26824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=131780 CPUtime=217.99
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 14484 0 0 0 21443 356 0 0 25 0 4 0 89489988 134942720 26824 1992294400 134512640 135180984 4294956208 18446744073709551615 134525838 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=131780 CPUtime=218.05
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 14368 0 0 0 21469 336 0 0 25 0 4 0 89489988 134942720 26824 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.26
Current children cumulated vsize (KiB) 131780

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 1.74 3/69 3103
/proc/meminfo: memFree=824512/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=136412 CPUtime=562.99
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 34029 0 0 0 54880 1419 0 0 18 0 4 0 89489988 139685888 27937 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 34103 27937 70 163 0 33938 0
[pid=3099/tid=3100] ppid=3097 vsize=136412 CPUtime=8.21
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 4274 0 0 0 183 638 0 0 15 0 4 0 89489988 139685888 27937 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=136412 CPUtime=277.46
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 14810 0 0 0 27342 404 0 0 25 0 4 0 89489988 139685888 27937 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=136412 CPUtime=277.3
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 14862 0 0 0 27354 376 0 0 25 0 4 0 89489988 139685888 27937 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.99
Current children cumulated vsize (KiB) 136412

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 1.75 4/69 3103
/proc/meminfo: memFree=821440/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=141020 CPUtime=682.7
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 34787 0 0 0 66588 1682 0 0 18 0 4 0 89489988 144404480 28695 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 35255 28695 70 163 0 35090 0
[pid=3099/tid=3100] ppid=3097 vsize=141020 CPUtime=9.76
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 4602 0 0 0 217 759 0 0 15 0 4 0 89489988 144404480 28695 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=141020 CPUtime=336.67
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 14979 0 0 0 33187 480 0 0 25 0 4 0 89489988 144404480 28695 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=141020 CPUtime=336.25
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 15123 0 0 0 33183 442 0 0 20 0 4 0 89489988 144404480 28695 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.7
Current children cumulated vsize (KiB) 141020

[startup+402.301 s]
/proc/loadavg: 2.05 2.01 1.77 3/69 3103
/proc/meminfo: memFree=815744/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=147228 CPUtime=802.39
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 36243 0 0 0 78311 1928 0 0 18 0 4 0 89489988 150761472 30151 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 36807 30151 70 163 0 36642 0
[pid=3099/tid=3100] ppid=3097 vsize=147228 CPUtime=11.17
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 5136 0 0 0 243 874 0 0 15 0 4 0 89489988 150761472 30151 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=147228 CPUtime=395.69
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 15450 0 0 0 39019 550 0 0 25 0 4 0 89489988 150761472 30151 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=147228 CPUtime=395.52
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 15574 0 0 0 39049 503 0 0 21 0 4 0 89489988 150761472 30151 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.39
Current children cumulated vsize (KiB) 147228

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.78 3/69 3103
/proc/meminfo: memFree=810240/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=153276 CPUtime=922.11
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 37587 0 0 0 90089 2122 0 0 18 0 4 0 89489988 156954624 31495 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 38319 31495 70 163 0 38154 0
[pid=3099/tid=3100] ppid=3097 vsize=153276 CPUtime=12.3
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 5507 0 0 0 266 964 0 0 15 0 4 0 89489988 156954624 31495 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3099/tid=3101] ppid=3097 vsize=153276 CPUtime=455.02
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 16071 0 0 0 44899 603 0 0 22 0 4 0 89489988 156954624 31495 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=153276 CPUtime=454.76
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 15926 0 0 0 44922 554 0 0 19 0 4 0 89489988 156954624 31495 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.11
Current children cumulated vsize (KiB) 153276

[startup+522.301 s]
/proc/loadavg: 2.05 2.02 1.80 3/69 3103
/proc/meminfo: memFree=805184/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=159448 CPUtime=1041.84
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 38857 0 0 0 101894 2290 0 0 18 0 4 0 89489988 163274752 32765 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 39862 32765 70 163 0 39697 0
[pid=3099/tid=3100] ppid=3097 vsize=159448 CPUtime=13.32
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 5891 0 0 0 292 1040 0 0 15 0 4 0 89489988 163274752 32765 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3099/tid=3101] ppid=3097 vsize=159448 CPUtime=514.27
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 16530 0 0 0 50776 651 0 0 25 0 4 0 89489988 163274752 32765 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3099/tid=3102] ppid=3097 vsize=159448 CPUtime=514.24
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 16353 0 0 0 50825 599 0 0 25 0 4 0 89489988 163274752 32765 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.84
Current children cumulated vsize (KiB) 159448

[startup+582.303 s]
/proc/loadavg: 2.02 2.01 1.81 3/69 3103
/proc/meminfo: memFree=800768/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=163564 CPUtime=1161.57
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 39952 0 0 0 113725 2432 0 0 18 0 4 0 89489988 167489536 33860 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 40891 33860 70 163 0 40726 0
[pid=3099/tid=3100] ppid=3097 vsize=163564 CPUtime=14.14
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 6209 0 0 0 309 1105 0 0 15 0 4 0 89489988 167489536 33860 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3099/tid=3101] ppid=3097 vsize=163564 CPUtime=573.62
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 16921 0 0 0 56668 694 0 0 25 0 4 0 89489988 167489536 33860 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=163564 CPUtime=573.79
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 16739 0 0 0 56747 632 0 0 22 0 4 0 89489988 167489536 33860 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.57
Current children cumulated vsize (KiB) 163564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.01 2.01 1.81 3/69 3103
/proc/meminfo: memFree=799168/2055920 swapFree=4192956/4192956
[pid=3099] ppid=3097 vsize=165520 CPUtime=1200.09
/proc/3099/stat : 3099 (satake) S 3097 3099 2779 0 -1 4194304 40330 0 0 0 117534 2475 0 0 18 0 4 0 89489988 169492480 34238 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3099/statm: 41380 34238 70 163 0 41215 0
[pid=3099/tid=3100] ppid=3097 vsize=165520 CPUtime=14.39
/proc/3099/task/3100/stat : 3100 (satake) S 3097 3099 2779 0 -1 4194368 6296 0 0 0 314 1125 0 0 15 0 4 0 89489988 169492480 34238 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3099/tid=3101] ppid=3097 vsize=165520 CPUtime=592.79
/proc/3099/task/3101/stat : 3101 (satake) R 3097 3099 2779 0 -1 4194368 17089 0 0 0 58574 705 0 0 25 0 4 0 89489988 169492480 34238 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3099/tid=3102] ppid=3097 vsize=165520 CPUtime=592.89
/proc/3099/task/3102/stat : 3102 (satake) R 3097 3099 2779 0 -1 4194368 16862 0 0 0 58645 644 0 0 25 0 4 0 89489988 169492480 34238 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 165520

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.639
CPU time (s): 1200.14
CPU user time (s): 1175.36
CPU system time (s): 24.7742
CPU usage (%): 199.478
Max. virtual memory (cumulated for all children) (KiB): 165520

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1175.36
system time used= 24.7742
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40330
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= 2339102
involuntary context switches= 2334005

runsolver used 0.607907 second user time and 1.60575 second system time

The end

Launcher Data 

Begin job on node82 at 2009-04-25 01:10:07
IDJOB=1716354
IDBENCH=20374
IDSOLVER=553
FILE ID=node82/1716354-1240614606
PBS_JOBID= 9186242
Free space on /tmp= 66264 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-15-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716354-1240614606/watcher-1716354-1240614606 -o /tmp/evaluation-result-1716354-1240614606/solver-1716354-1240614606 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1716354-1240614606.cnf 3 1200

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

MD5SUM BENCH= c716daea92d5e29b94f85a19b52859ac
RANDOM SEED=1354000957

node82.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.259
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.259
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:        936768 kB
Buffers:         88700 kB
Cached:         927968 kB
SwapCached:          0 kB
Active:         370440 kB
Inactive:       660752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        936768 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           12884 kB
Writeback:           0 kB
Mapped:          24296 kB
Slab:            73876 kB
Committed_AS:   204804 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66264 MiB
End job on node82 at 2009-04-25 01:20:10