Trace number 1719942

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.26 601.673

General information on the benchmark

Nameschup-l2s-bc56s-1-k391.cnf
MD5SUM1f1dd0782ec95ee5e6d7a06f92fc0f12
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark832.877
Satisfiable
(Un)Satisfiability was proved
Number of variables561371
Number of clauses1778987
Sum of the clauses size4570195
Maximum clause length392
Minimum clause length1
Number of clauses of size 1142
Number of clauses of size 2843213
Number of clauses of size 3908640
Number of clauses of size 416428
Number of clauses of size 56651
Number of clauses of size over 53913

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-1719942-1240650926/watcher-1719942-1240650926 -o /tmp/evaluation-result-1719942-1240650926/solver-1719942-1240650926 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1719942-1240650926.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 2919
/proc/meminfo: memFree=1700952/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=5120 CPUtime=0
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 675 0 0 0 0 0 0 0 18 0 4 0 93118999 5242880 660 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 1280 667 65 163 0 1115 0
[pid=2919/tid=2920] ppid=2917 vsize=5120 CPUtime=0
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93118999 5242880 684 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=5120 CPUtime=0
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 617 0 0 0 0 0 0 0 19 0 4 0 93118999 5242880 692 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=5120 CPUtime=0
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 93118999 5242880 701 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.04787 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 2919
/proc/meminfo: memFree=1700952/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=66568 CPUtime=0.16
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 16089 0 0 0 0 16 0 0 18 0 4 0 93118999 68165632 16074 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 16642 16074 65 163 0 16477 0
[pid=2919/tid=2920] ppid=2917 vsize=66568 CPUtime=0
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93118999 68165632 16074 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=66568 CPUtime=0.08
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 8214 0 0 0 0 8 0 0 18 0 4 0 93118999 68165632 16074 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=66568 CPUtime=0.07
/proc/2919/task/2922/stat : 2922 (satake) D 2917 2919 2848 0 -1 4194368 7785 0 0 0 0 7 0 0 18 0 4 0 93118999 68165632 16074 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 66568

[startup+0.14433 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 2919
/proc/meminfo: memFree=1700952/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=81916 CPUtime=0.25
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 19798 0 0 0 7 18 0 0 18 0 4 0 93118999 83881984 19768 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 20479 19768 65 163 0 20314 0
[pid=2919/tid=2920] ppid=2917 vsize=81916 CPUtime=0
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93118999 83881984 19768 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=81916 CPUtime=0.12
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 9729 0 0 0 3 9 0 0 16 0 4 0 93118999 83881984 19768 1992294400 134512640 135180984 4294956208 18446744073709551615 134513769 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=81916 CPUtime=0.13
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 9979 0 0 0 4 9 0 0 17 0 4 0 93118999 83881984 19768 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 81916

[startup+0.305535 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 2919
/proc/meminfo: memFree=1700952/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=110808 CPUtime=0.57
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 24854 0 0 0 34 23 0 0 18 0 4 0 93118999 113467392 24824 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 27702 24825 65 163 0 27537 0
[pid=2919/tid=2920] ppid=2917 vsize=110808 CPUtime=0
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93118999 113467392 24826 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=110808 CPUtime=0.28
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 12200 0 0 0 16 12 0 0 15 0 4 0 93118999 113467392 24827 1992294400 134512640 135180984 4294956208 18446744073709551615 134521571 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=110808 CPUtime=0.28
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 12567 0 0 0 18 10 0 0 15 0 4 0 93118999 113467392 24827 1992294400 134512640 135180984 4294956208 18446744073709551615 134522388 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 110808

[startup+0.702867 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 2919
/proc/meminfo: memFree=1700952/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=163484 CPUtime=1.35
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 37733 0 0 0 104 31 0 0 18 0 4 0 93118999 167407616 37703 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 40871 37703 65 163 0 40706 0
[pid=2919/tid=2920] ppid=2917 vsize=163484 CPUtime=0
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93118999 167407616 37703 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=163484 CPUtime=0.67
/proc/2919/task/2921/stat : 2921 (satake) D 2917 2919 2848 0 -1 4194368 18509 0 0 0 51 16 0 0 15 0 4 0 93118999 167407616 37703 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=163484 CPUtime=0.67
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 19134 0 0 0 52 15 0 0 15 0 4 0 93118999 167407616 37703 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 163484

[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 2923
/proc/meminfo: memFree=1510328/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=278688 CPUtime=2.92
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 63232 0 0 0 243 49 0 0 18 0 4 0 93118999 285376512 63202 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 69672 63203 65 163 0 69507 0
[pid=2919/tid=2920] ppid=2917 vsize=278688 CPUtime=0
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93118999 285376512 63203 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=278688 CPUtime=1.46
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 30972 0 0 0 123 23 0 0 16 0 4 0 93118999 285376512 63204 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=278688 CPUtime=1.46
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 32172 0 0 0 120 26 0 0 16 0 4 0 93118999 285376512 63204 1992294400 134512640 135180984 4294956208 18446744073709551615 134522408 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 278688

[startup+3.1026 s]
/proc/loadavg: 1.00 1.00 1.00 3/71 2923
/proc/meminfo: memFree=1397560/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=349540 CPUtime=6.09
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 84067 0 0 0 540 69 0 0 18 0 4 0 93118999 357928960 66151 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 87385 66151 68 163 0 87220 0
[pid=2919/tid=2920] ppid=2917 vsize=349540 CPUtime=0.14
/proc/2919/task/2920/stat : 2920 (satake) R 2917 2919 2848 0 -1 4194368 7617 0 0 0 9 5 0 0 18 0 4 0 93118999 357928960 66151 1992294400 134512640 135180984 4294956208 18446744073709551615 134699082 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=349540 CPUtime=2.98
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 38189 0 0 0 267 31 0 0 16 0 4 0 93118999 357928960 66151 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=349540 CPUtime=2.94
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 38178 0 0 0 263 31 0 0 17 0 4 0 93118999 357928960 66151 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 349540

[startup+6.30189 s]
/proc/loadavg: 1.16 1.03 1.01 3/71 2923
/proc/meminfo: memFree=1427128/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=354828 CPUtime=12.47
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 86333 0 0 0 1174 73 0 0 18 0 4 0 93118999 363343872 68417 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 88707 68417 70 163 0 88542 0
[pid=2919/tid=2920] ppid=2917 vsize=354828 CPUtime=0.2
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 9791 0 0 0 12 8 0 0 16 0 4 0 93118999 363343872 68417 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2919/tid=2921] ppid=2917 vsize=354828 CPUtime=6.15
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 38211 0 0 0 583 32 0 0 20 0 4 0 93118999 363343872 68417 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=354828 CPUtime=6.09
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 38248 0 0 0 577 32 0 0 20 0 4 0 93118999 363343872 68417 1992294400 134512640 135180984 4294956208 18446744073709551615 134532425 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 354828

[startup+12.7025 s]
/proc/loadavg: 1.23 1.05 1.02 3/71 2923
/proc/meminfo: memFree=1426808/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=354960 CPUtime=25.25
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 86440 0 0 0 2444 81 0 0 18 0 4 0 93118999 363479040 68524 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 88740 68524 70 163 0 88575 0
[pid=2919/tid=2920] ppid=2917 vsize=354960 CPUtime=0.26
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 9801 0 0 0 14 12 0 0 15 0 4 0 93118999 363479040 68524 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=354960 CPUtime=12.51
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 38278 0 0 0 1217 34 0 0 25 0 4 0 93118999 363479040 68524 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=354960 CPUtime=12.47
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 38278 0 0 0 1212 35 0 0 25 0 4 0 93118999 363479040 68524 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 354960

[startup+25.5016 s]
/proc/loadavg: 1.40 1.09 1.03 4/71 2923
/proc/meminfo: memFree=1425336/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=356560 CPUtime=50.79
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 86826 0 0 0 4971 108 0 0 18 0 4 0 93118999 365117440 68910 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 89140 68910 70 163 0 88975 0
[pid=2919/tid=2920] ppid=2917 vsize=356560 CPUtime=0.42
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 9830 0 0 0 18 24 0 0 16 0 4 0 93118999 365117440 68910 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=356560 CPUtime=25.16
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 38464 0 0 0 2476 40 0 0 19 0 4 0 93118999 365117440 68910 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=356560 CPUtime=25.17
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 38449 0 0 0 2475 42 0 0 25 0 4 0 93118999 365117440 68910 1992294400 134512640 135180984 4294956208 18446744073709551615 134520855 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 356560

[startup+51.1011 s]
/proc/loadavg: 1.60 1.17 1.05 3/71 2923
/proc/meminfo: memFree=1422200/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=359000 CPUtime=101.83
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 87641 0 0 0 10028 155 0 0 18 0 4 0 93118999 367616000 69725 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 89750 69725 70 163 0 89585 0
[pid=2919/tid=2920] ppid=2917 vsize=359000 CPUtime=0.7
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 9898 0 0 0 25 45 0 0 16 0 4 0 93118999 367616000 69725 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2919/tid=2921] ppid=2917 vsize=359000 CPUtime=50.58
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 38784 0 0 0 5006 52 0 0 25 0 4 0 93118999 367616000 69725 1992294400 134512640 135180984 4294956208 18446744073709551615 134528129 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=359000 CPUtime=50.52
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 38876 0 0 0 4996 56 0 0 25 0 4 0 93118999 367616000 69725 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 359000

[startup+102.307 s]
/proc/loadavg: 1.83 1.29 1.10 3/71 2923
/proc/meminfo: memFree=1418168/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=363840 CPUtime=203.97
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 88642 0 0 0 20167 230 0 0 18 0 4 0 93118999 372572160 70726 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 90960 70726 70 163 0 90795 0
[pid=2919/tid=2920] ppid=2917 vsize=363840 CPUtime=1.19
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10013 0 0 0 37 82 0 0 16 0 4 0 93118999 372572160 70726 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=363840 CPUtime=101.47
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 39252 0 0 0 10075 72 0 0 23 0 4 0 93118999 372572160 70726 1992294400 134512640 135180984 4294956208 18446744073709551615 134528080 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=363840 CPUtime=101.29
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 39294 0 0 0 10054 75 0 0 25 0 4 0 93118999 372572160 70726 1992294400 134512640 135180984 4294956208 18446744073709551615 134523674 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 363840

[startup+162.302 s]
/proc/loadavg: 1.93 1.42 1.16 3/71 2923
/proc/meminfo: memFree=1413048/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=368988 CPUtime=323.66
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 89908 0 0 0 32042 324 0 0 18 0 4 0 93118999 377843712 71992 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 92247 71992 70 163 0 92082 0
[pid=2919/tid=2920] ppid=2917 vsize=368988 CPUtime=1.74
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10159 0 0 0 50 124 0 0 16 0 4 0 93118999 377843712 71992 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2919/tid=2921] ppid=2917 vsize=368988 CPUtime=160.91
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 39711 0 0 0 15991 100 0 0 25 0 4 0 93118999 377843712 71992 1992294400 134512640 135180984 4294956208 18446744073709551615 134528993 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=368988 CPUtime=160.99
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 39955 0 0 0 16000 99 0 0 25 0 4 0 93118999 377843712 71992 1992294400 134512640 135180984 4294956208 18446744073709551615 134525006 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 368988

[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.21 3/71 2923
/proc/meminfo: memFree=1406008/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=375788 CPUtime=443.35
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 91636 0 0 0 43918 417 0 0 18 0 4 0 93118999 384806912 73720 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 93947 73720 70 163 0 93782 0
[pid=2919/tid=2920] ppid=2917 vsize=375788 CPUtime=2.3
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10296 0 0 0 64 166 0 0 16 0 4 0 93118999 384806912 73720 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=375788 CPUtime=220.33
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 40315 0 0 0 21908 125 0 0 25 0 4 0 93118999 384806912 73720 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=375788 CPUtime=220.69
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 40942 0 0 0 21945 124 0 0 25 0 4 0 93118999 384806912 73720 1992294400 134512640 135180984 4294956208 18446744073709551615 134521074 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.35
Current children cumulated vsize (KiB) 375788

[startup+282.302 s]
/proc/loadavg: 1.99 1.61 1.25 3/71 2923
/proc/meminfo: memFree=1400952/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=380892 CPUtime=563.06
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 92938 0 0 0 55782 524 0 0 18 0 4 0 93118999 390033408 75022 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 95223 75022 70 163 0 95058 0
[pid=2919/tid=2920] ppid=2917 vsize=380892 CPUtime=2.94
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10430 0 0 0 79 215 0 0 16 0 4 0 93118999 390033408 75022 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2919/tid=2921] ppid=2917 vsize=380892 CPUtime=279.74
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 40762 0 0 0 27819 155 0 0 25 0 4 0 93118999 390033408 75022 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=380892 CPUtime=280.35
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 41663 0 0 0 27883 152 0 0 25 0 4 0 93118999 390033408 75022 1992294400 134512640 135180984 4294956208 18446744073709551615 134522980 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 380892

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.30 3/71 2923
/proc/meminfo: memFree=1398136/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=382844 CPUtime=682.74
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 93618 0 0 0 67665 609 0 0 18 0 4 0 93118999 392032256 75702 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 95711 75702 70 163 0 95546 0
[pid=2919/tid=2920] ppid=2917 vsize=382844 CPUtime=3.43
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10508 0 0 0 89 254 0 0 16 0 4 0 93118999 392032256 75702 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=382844 CPUtime=339.21
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 41008 0 0 0 33741 180 0 0 25 0 4 0 93118999 392032256 75702 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=382844 CPUtime=340.08
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 42019 0 0 0 33834 174 0 0 25 0 4 0 93118999 392032256 75702 1992294400 134512640 135180984 4294956208 18446744073709551615 134528406 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.74
Current children cumulated vsize (KiB) 382844

[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.34 3/71 2923
/proc/meminfo: memFree=1393144/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=387632 CPUtime=802.43
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 94854 0 0 0 79551 692 0 0 18 0 4 0 93118999 396935168 76938 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 96908 76938 70 163 0 96743 0
[pid=2919/tid=2920] ppid=2917 vsize=387632 CPUtime=3.92
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10605 0 0 0 100 292 0 0 16 0 4 0 93118999 396935168 76938 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2919/tid=2921] ppid=2917 vsize=387632 CPUtime=398.75
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 41463 0 0 0 39673 202 0 0 25 0 4 0 93118999 396935168 76938 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=387632 CPUtime=399.73
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 42703 0 0 0 39777 196 0 0 25 0 4 0 93118999 396935168 76938 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.43
Current children cumulated vsize (KiB) 387632

[startup+462.302 s]
/proc/loadavg: 1.99 1.78 1.38 3/71 2923
/proc/meminfo: memFree=1387320/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=392716 CPUtime=922.16
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 96307 0 0 0 91427 789 0 0 18 0 4 0 93118999 402141184 78391 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 98179 78391 70 163 0 98014 0
[pid=2919/tid=2920] ppid=2917 vsize=392716 CPUtime=4.47
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10752 0 0 0 113 334 0 0 15 0 4 0 93118999 402141184 78391 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2919/tid=2921] ppid=2917 vsize=392716 CPUtime=458.44
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 42033 0 0 0 45613 231 0 0 25 0 4 0 93118999 402141184 78391 1992294400 134512640 135180984 4294956208 18446744073709551615 134524641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=392716 CPUtime=459.24
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 43439 0 0 0 45701 223 0 0 25 0 4 0 93118999 402141184 78391 1992294400 134512640 135180984 4294956208 18446744073709551615 134528568 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.16
Current children cumulated vsize (KiB) 392716

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/71 2923
/proc/meminfo: memFree=1379640/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=402404 CPUtime=1041.91
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 98237 0 0 0 103320 871 0 0 18 0 4 0 93118999 412061696 80321 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 100601 80321 70 163 0 100436 0
[pid=2919/tid=2920] ppid=2917 vsize=402404 CPUtime=4.91
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10860 0 0 0 121 370 0 0 16 0 4 0 93118999 412061696 80321 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2919/tid=2921] ppid=2917 vsize=402404 CPUtime=518.19
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 42781 0 0 0 51566 253 0 0 25 0 4 0 93118999 412061696 80321 1992294400 134512640 135180984 4294956208 18446744073709551615 134525209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2919/tid=2922] ppid=2917 vsize=402404 CPUtime=518.78
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 44513 0 0 0 51632 246 0 0 25 0 4 0 93118999 412061696 80321 1992294400 134512640 135180984 4294956208 18446744073709551615 134526464 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.91
Current children cumulated vsize (KiB) 402404

[startup+582.301 s]
/proc/loadavg: 1.99 1.85 1.45 3/71 2923
/proc/meminfo: memFree=1374072/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=407148 CPUtime=1161.65
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 99618 0 0 0 115233 932 0 0 18 0 4 0 93118999 416919552 81702 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 101787 81702 70 163 0 101622 0
[pid=2919/tid=2920] ppid=2917 vsize=407148 CPUtime=5.27
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10947 0 0 0 131 396 0 0 16 0 4 0 93118999 416919552 81702 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2919/tid=2921] ppid=2917 vsize=407148 CPUtime=577.96
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 43448 0 0 0 57524 272 0 0 25 0 4 0 93118999 416919552 81702 1992294400 134512640 135180984 4294956208 18446744073709551615 134522992 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=407148 CPUtime=578.4
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 45140 0 0 0 57577 263 0 0 25 0 4 0 93118999 416919552 81702 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.65
Current children cumulated vsize (KiB) 407148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.85 1.46 3/71 2923
/proc/meminfo: memFree=1372792/2055920 swapFree=4192956/4192956
[pid=2919] ppid=2917 vsize=408568 CPUtime=1200.18
/proc/2919/stat : 2919 (satake) S 2917 2919 2848 0 -1 4194304 99917 0 0 0 119066 952 0 0 18 0 4 0 93118999 418373632 82001 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2919/statm: 102142 82001 70 163 0 101977 0
[pid=2919/tid=2920] ppid=2917 vsize=408568 CPUtime=5.39
/proc/2919/task/2920/stat : 2920 (satake) S 2917 2919 2848 0 -1 4194368 10964 0 0 0 134 405 0 0 16 0 4 0 93118999 418373632 82001 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2919/tid=2921] ppid=2917 vsize=408568 CPUtime=597.13
/proc/2919/task/2921/stat : 2921 (satake) R 2917 2919 2848 0 -1 4194368 43564 0 0 0 59436 277 0 0 25 0 4 0 93118999 418373632 82001 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2919/tid=2922] ppid=2917 vsize=408568 CPUtime=597.64
/proc/2919/task/2922/stat : 2922 (satake) R 2917 2919 2848 0 -1 4194368 45306 0 0 0 59495 269 0 0 25 0 4 0 93118999 418373632 82001 1992294400 134512640 135180984 4294956208 18446744073709551615 134528153 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 408568

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.673
CPU time (s): 1200.26
CPU user time (s): 1190.68
CPU system time (s): 9.58154
CPU usage (%): 199.487
Max. virtual memory (cumulated for all children) (KiB): 408568

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.68
system time used= 9.58154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99917
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= 813742
involuntary context switches= 816638

runsolver used 0.693894 second user time and 1.79173 second system time

The end

Launcher Data 

Begin job on node68 at 2009-04-25 11:15:28
IDJOB=1719942
IDBENCH=69581
IDSOLVER=553
FILE ID=node68/1719942-1240650926
PBS_JOBID= 9186526
Free space on /tmp= 66524 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE08/cnf/schup-l2s-bc56s-1-k391.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1719942-1240650926/watcher-1719942-1240650926 -o /tmp/evaluation-result-1719942-1240650926/solver-1719942-1240650926 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1719942-1240650926.cnf 3 1200

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

MD5SUM BENCH= 1f1dd0782ec95ee5e6d7a06f92fc0f12
RANDOM SEED=2032722010

node68.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.223
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.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1701368 kB
Buffers:         38272 kB
Cached:         221828 kB
SwapCached:          0 kB
Active:          71044 kB
Inactive:       205404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701368 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           36528 kB
Writeback:           0 kB
Mapped:          26392 kB
Slab:            63664 kB
Committed_AS:   229016 kB
PageTables:       1560 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= 66520 MiB
End job on node68 at 2009-04-25 11:25:32