Trace number 1716614

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22? (TO) 1200.22 601.491

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
MD5SUMc2f768afbb9db3d5f5133c3f48734894
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables217930
Number of clauses1002997
Sum of the clauses size2303180
Maximum clause length10
Minimum clause length1
Number of clauses of size 116378
Number of clauses of size 2795155
Number of clauses of size 3150764
Number of clauses of size 44520
Number of clauses of size 518080
Number of clauses of size over 518100

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-1716614-1240618084/watcher-1716614-1240618084 -o /tmp/evaluation-result-1716614-1240618084/solver-1716614-1240618084 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1716614-1240618084.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 2/65 31858
/proc/meminfo: memFree=1290336/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=5120 CPUtime=0
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 694 0 0 0 0 0 0 0 18 0 4 0 89837547 5242880 679 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 1280 686 65 163 0 1115 0
[pid=31858/tid=31859] ppid=31856 vsize=5120 CPUtime=0
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89837547 5242880 704 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=5120 CPUtime=0
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 638 0 0 0 0 0 0 0 19 0 4 0 89837547 5242880 713 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=5120 CPUtime=0
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 89837547 5242880 721 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.0447359 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31858
/proc/meminfo: memFree=1290336/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=39724 CPUtime=0.08
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 9498 0 0 0 0 8 0 0 18 0 4 0 89837547 40677376 9479 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 10351 9941 65 163 0 10186 0
[pid=31858/tid=31859] ppid=31856 vsize=41404 CPUtime=0
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89837547 42397696 9950 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=41404 CPUtime=0.05
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 5032 0 0 0 1 4 0 0 18 0 4 0 89837547 42397696 9959 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=44016 CPUtime=0.05
/proc/31858/task/31861/stat : 31861 (satake) S 31856 31858 31468 0 -1 4194368 4989 0 0 0 1 4 0 0 17 0 4 0 89837547 45072384 10297 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39724

[startup+0.142454 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31858
/proc/meminfo: memFree=1290336/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=58104 CPUtime=0.27
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 12943 0 0 0 16 11 0 0 18 0 4 0 89837547 59498496 12906 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 15704 14167 65 163 0 15539 0
[pid=31858/tid=31859] ppid=31856 vsize=64484 CPUtime=0
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89837547 66031616 14416 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=64484 CPUtime=0.16
/proc/31858/task/31860/stat : 31860 (satake) D 31856 31858 31468 0 -1 4194368 7242 0 0 0 10 6 0 0 15 0 4 0 89837547 66031616 14416 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=66020 CPUtime=0.14
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 7121 0 0 0 9 5 0 0 15 0 4 0 89837547 67604480 14417 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 58104

[startup+0.308304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31858
/proc/meminfo: memFree=1290336/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=106720 CPUtime=0.59
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 23151 0 0 0 41 18 0 0 18 0 4 0 89837547 109281280 23114 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 26680 23114 65 163 0 26515 0
[pid=31858/tid=31859] ppid=31856 vsize=106720 CPUtime=0
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89837547 109281280 23114 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=106720 CPUtime=0.29
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 11557 0 0 0 21 8 0 0 16 0 4 0 89837547 109281280 23114 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=106720 CPUtime=0.29
/proc/31858/task/31861/stat : 31861 (satake) D 31856 31858 31468 0 -1 4194368 11504 0 0 0 20 9 0 0 17 0 4 0 89837547 109281280 23114 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 106720

[startup+0.701396 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31858
/proc/meminfo: memFree=1290336/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=130576 CPUtime=1.37
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 29104 0 0 0 113 24 0 0 18 0 4 0 89837547 133709824 29067 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 32644 29068 65 163 0 32479 0
[pid=31858/tid=31859] ppid=31856 vsize=130576 CPUtime=0
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 89837547 133709824 29068 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=130576 CPUtime=0.67
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 14544 0 0 0 56 11 0 0 16 0 4 0 89837547 133709824 29068 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=130576 CPUtime=0.68
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 14471 0 0 0 56 12 0 0 16 0 4 0 89837547 133709824 29069 1992294400 134512640 135180984 4294956208 18446744073709551615 134519669 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 130576

[startup+1.50149 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 31862
/proc/meminfo: memFree=1149504/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=132528 CPUtime=2.93
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 39119 0 0 0 257 36 0 0 18 0 4 0 89837547 135708672 30138 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 33132 30138 68 163 0 32967 0
[pid=31858/tid=31859] ppid=31856 vsize=132528 CPUtime=0.08
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2808 0 0 0 7 1 0 0 17 0 4 0 89837547 135708672 30138 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31858/tid=31860] ppid=31856 vsize=132528 CPUtime=1.41
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 18135 0 0 0 124 17 0 0 17 0 4 0 89837547 135708672 30138 1992294400 134512640 135180984 4294956208 18446744073709551615 134520884 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31858/tid=31861] ppid=31856 vsize=132528 CPUtime=1.42
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 18093 0 0 0 125 17 0 0 16 0 4 0 89837547 135708672 30138 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 132528

[startup+3.10167 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 31862
/proc/meminfo: memFree=1168576/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=132924 CPUtime=6.12
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 39231 0 0 0 574 38 0 0 18 0 4 0 89837547 136114176 30250 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 33231 30250 70 163 0 33066 0
[pid=31858/tid=31859] ppid=31856 vsize=132924 CPUtime=0.09
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2811 0 0 0 7 2 0 0 15 0 4 0 89837547 136114176 30250 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=132924 CPUtime=3
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 18217 0 0 0 282 18 0 0 17 0 4 0 89837547 136114176 30250 1992294400 134512640 135180984 4294956208 18446744073709551615 134518246 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31858/tid=31861] ppid=31856 vsize=132924 CPUtime=3.01
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 18120 0 0 0 284 17 0 0 17 0 4 0 89837547 136114176 30250 1992294400 134512640 135180984 4294956208 18446744073709551615 134556637 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 132924

[startup+6.30302 s]
/proc/loadavg: 1.24 1.05 1.02 3/69 31862
/proc/meminfo: memFree=1168128/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=133320 CPUtime=12.5
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 39358 0 0 0 1205 45 0 0 18 0 4 0 89837547 136519680 30377 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 33330 30377 70 163 0 33165 0
[pid=31858/tid=31859] ppid=31856 vsize=133320 CPUtime=0.13
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2812 0 0 0 8 5 0 0 15 0 4 0 89837547 136519680 30377 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=133320 CPUtime=6.16
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 18321 0 0 0 597 19 0 0 18 0 4 0 89837547 136519680 30377 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31858/tid=31861] ppid=31856 vsize=133320 CPUtime=6.2
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 18142 0 0 0 600 20 0 0 18 0 4 0 89837547 136519680 30377 1992294400 134512640 135180984 4294956208 18446744073709551615 134528104 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 133320

[startup+12.7017 s]
/proc/loadavg: 1.38 1.08 1.03 3/69 31862
/proc/meminfo: memFree=1165696/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=136516 CPUtime=25.27
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 40202 0 0 0 2472 55 0 0 18 0 4 0 89837547 139792384 31221 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 34129 31221 70 163 0 33964 0
[pid=31858/tid=31859] ppid=31856 vsize=136516 CPUtime=0.18
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2812 0 0 0 9 9 0 0 15 0 4 0 89837547 139792384 31221 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31858/tid=31860] ppid=31856 vsize=136516 CPUtime=12.51
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 18856 0 0 0 1229 22 0 0 25 0 4 0 89837547 139792384 31221 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31858/tid=31861] ppid=31856 vsize=136516 CPUtime=12.56
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 18451 0 0 0 1233 23 0 0 19 0 4 0 89837547 139792384 31221 1992294400 134512640 135180984 4294956208 18446744073709551615 134524757 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 136516

[startup+25.5012 s]
/proc/loadavg: 1.58 1.14 1.05 3/69 31862
/proc/meminfo: memFree=1160128/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=142316 CPUtime=50.8
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 41539 0 0 0 5001 79 0 0 18 0 4 0 89837547 145731584 32558 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 35579 32558 70 163 0 35414 0
[pid=31858/tid=31859] ppid=31856 vsize=142316 CPUtime=0.31
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2817 0 0 0 12 19 0 0 15 0 4 0 89837547 145731584 32558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=142316 CPUtime=25.18
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 19529 0 0 0 2489 29 0 0 25 0 4 0 89837547 145731584 32558 1992294400 134512640 135180984 4294956208 18446744073709551615 134525235 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31858/tid=31861] ppid=31856 vsize=142316 CPUtime=25.29
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 19110 0 0 0 2499 30 0 0 19 0 4 0 89837547 145731584 32558 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 142316

[startup+51.102 s]
/proc/loadavg: 1.73 1.21 1.07 3/69 31862
/proc/meminfo: memFree=1146624/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=155228 CPUtime=101.87
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 45006 0 0 0 10073 114 0 0 18 0 4 0 89837547 158953472 36025 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 38807 36025 70 163 0 38642 0
[pid=31858/tid=31859] ppid=31856 vsize=155228 CPUtime=0.49
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2833 0 0 0 16 33 0 0 15 0 4 0 89837547 158953472 36025 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=155228 CPUtime=50.58
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 20982 0 0 0 5020 38 0 0 25 0 4 0 89837547 158953472 36025 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31858/tid=31861] ppid=31856 vsize=155228 CPUtime=50.78
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 21108 0 0 0 5036 42 0 0 17 0 4 0 89837547 158953472 36025 1992294400 134512640 135180984 4294956208 18446744073709551615 134520033 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 155228

[startup+102.306 s]
/proc/loadavg: 1.88 1.33 1.12 3/69 31862
/proc/meminfo: memFree=1118336/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=183928 CPUtime=204.05
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 52004 0 0 0 20254 151 0 0 18 0 4 0 89837547 188342272 43023 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 45982 43023 70 163 0 45817 0
[pid=31858/tid=31859] ppid=31856 vsize=183928 CPUtime=0.66
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2857 0 0 0 20 46 0 0 15 0 4 0 89837547 188342272 43023 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=183928 CPUtime=101.67
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 25598 0 0 0 10115 52 0 0 25 0 4 0 89837547 188342272 43023 1992294400 134512640 135180984 4294956208 18446744073709551615 134520911 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=183928 CPUtime=101.71
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 23466 0 0 0 10118 53 0 0 25 0 4 0 89837547 188342272 43023 1992294400 134512640 135180984 4294956208 18446744073709551615 134523618 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 183928

[startup+162.301 s]
/proc/loadavg: 1.95 1.45 1.17 3/69 31862
/proc/meminfo: memFree=1089408/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=213076 CPUtime=323.8
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 59255 0 0 0 32211 169 0 0 18 0 4 0 89837547 218189824 50274 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 53269 50274 70 163 0 53104 0
[pid=31858/tid=31859] ppid=31856 vsize=213076 CPUtime=0.69
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2861 0 0 0 21 48 0 0 16 0 4 0 89837547 218189824 50274 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31858/tid=31860] ppid=31856 vsize=213076 CPUtime=161.62
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 29597 0 0 0 16103 59 0 0 25 0 4 0 89837547 218189824 50274 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=213076 CPUtime=161.46
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 26714 0 0 0 16085 61 0 0 25 0 4 0 89837547 218189824 50274 1992294400 134512640 135180984 4294956208 18446744073709551615 134524611 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.8
Current children cumulated vsize (KiB) 213076

[startup+222.302 s]
/proc/loadavg: 1.98 1.55 1.22 3/69 31862
/proc/meminfo: memFree=1054784/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=246816 CPUtime=443.54
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 67827 0 0 0 44146 208 0 0 18 0 4 0 89837547 252739584 58846 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 61704 58846 70 163 0 61539 0
[pid=31858/tid=31859] ppid=31856 vsize=246816 CPUtime=0.84
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2909 0 0 0 24 60 0 0 15 0 4 0 89837547 252739584 58846 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=246816 CPUtime=221.52
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 34421 0 0 0 22078 74 0 0 18 0 4 0 89837547 252739584 58846 1992294400 134512640 135180984 4294956208 18446744073709551615 134524723 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=246816 CPUtime=221.15
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 30414 0 0 0 22043 72 0 0 25 0 4 0 89837547 252739584 58846 1992294400 134512640 135180984 4294956208 18446744073709551615 134528896 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.54
Current children cumulated vsize (KiB) 246816

[startup+282.302 s]
/proc/loadavg: 1.99 1.63 1.27 3/69 31862
/proc/meminfo: memFree=1017984/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=284228 CPUtime=563.28
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 77139 0 0 0 56085 243 0 0 18 0 4 0 89837547 291049472 68158 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 71057 68158 70 163 0 70892 0
[pid=31858/tid=31859] ppid=31856 vsize=284228 CPUtime=0.96
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2930 0 0 0 27 69 0 0 15 0 4 0 89837547 291049472 68158 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31858/tid=31860] ppid=31856 vsize=284228 CPUtime=281.43
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 39167 0 0 0 28057 86 0 0 25 0 4 0 89837547 291049472 68158 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=284228 CPUtime=280.85
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 34959 0 0 0 27999 86 0 0 25 0 4 0 89837547 291049472 68158 1992294400 134512640 135180984 4294956208 18446744073709551615 134526240 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.28
Current children cumulated vsize (KiB) 284228

[startup+342.301 s]
/proc/loadavg: 1.99 1.69 1.31 3/69 31862
/proc/meminfo: memFree=974720/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=327764 CPUtime=683.02
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 87837 0 0 0 68032 270 0 0 18 0 4 0 89837547 335630336 78856 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 81941 78856 70 163 0 81776 0
[pid=31858/tid=31859] ppid=31856 vsize=327764 CPUtime=1.03
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2947 0 0 0 29 74 0 0 15 0 4 0 89837547 335630336 78856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31858/tid=31860] ppid=31856 vsize=327764 CPUtime=341.37
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 43300 0 0 0 34041 96 0 0 25 0 4 0 89837547 335630336 78856 1992294400 134512640 135180984 4294956208 18446744073709551615 134525211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=327764 CPUtime=340.59
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 41507 0 0 0 33961 98 0 0 25 0 4 0 89837547 335630336 78856 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 683.02
Current children cumulated vsize (KiB) 327764

[startup+402.302 s]
/proc/loadavg: 1.99 1.74 1.35 3/69 31862
/proc/meminfo: memFree=919552/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=383616 CPUtime=802.77
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 101765 0 0 0 79987 290 0 0 18 0 4 0 89837547 392822784 92784 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 95904 92784 70 163 0 95739 0
[pid=31858/tid=31859] ppid=31856 vsize=383616 CPUtime=1.06
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2949 0 0 0 30 76 0 0 15 0 4 0 89837547 392822784 92784 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=383616 CPUtime=401.34
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 47707 0 0 0 40031 103 0 0 16 0 4 0 89837547 392822784 92784 1992294400 134512640 135180984 4294956208 18446744073709551615 134525465 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=383616 CPUtime=400.35
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 51026 0 0 0 39925 110 0 0 25 0 4 0 89837547 392822784 92784 1992294400 134512640 135180984 4294956208 18446744073709551615 134526301 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.77
Current children cumulated vsize (KiB) 383616

[startup+462.301 s]
/proc/loadavg: 1.99 1.79 1.39 3/69 31862
/proc/meminfo: memFree=886720/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=414804 CPUtime=922.51
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 109798 0 0 0 91937 314 0 0 18 0 4 0 89837547 424759296 100817 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 103701 100817 70 163 0 103536 0
[pid=31858/tid=31859] ppid=31856 vsize=414804 CPUtime=1.13
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2958 0 0 0 32 81 0 0 15 0 4 0 89837547 424759296 100817 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=414804 CPUtime=461.29
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 51309 0 0 0 46017 112 0 0 25 0 4 0 89837547 424759296 100817 1992294400 134512640 135180984 4294956208 18446744073709551615 134519088 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=414804 CPUtime=460.07
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 55448 0 0 0 45888 119 0 0 25 0 4 0 89837547 424759296 100817 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.51
Current children cumulated vsize (KiB) 414804

[startup+522.301 s]
/proc/loadavg: 1.99 1.82 1.42 3/69 31862
/proc/meminfo: memFree=841472/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=461148 CPUtime=1042.25
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 121187 0 0 0 103889 336 0 0 18 0 4 0 89837547 472215552 112206 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 115287 112206 70 163 0 115122 0
[pid=31858/tid=31859] ppid=31856 vsize=461148 CPUtime=1.19
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2962 0 0 0 33 86 0 0 16 0 4 0 89837547 472215552 112206 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31858/tid=31860] ppid=31856 vsize=461148 CPUtime=521.25
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 56932 0 0 0 52004 121 0 0 20 0 4 0 89837547 472215552 112206 1992294400 134512640 135180984 4294956208 18446744073709551615 134523692 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=461148 CPUtime=519.8
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 61210 0 0 0 51851 129 0 0 25 0 4 0 89837547 472215552 112206 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.25
Current children cumulated vsize (KiB) 461148

[startup+582.302 s]
/proc/loadavg: 1.99 1.85 1.46 3/69 31862
/proc/meminfo: memFree=776448/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=526364 CPUtime=1161.99
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 137363 0 0 0 115843 356 0 0 18 0 4 0 89837547 538996736 128382 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 131591 128382 70 163 0 131426 0
[pid=31858/tid=31859] ppid=31856 vsize=526364 CPUtime=1.19
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2963 0 0 0 33 86 0 0 15 0 4 0 89837547 538996736 128382 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31858/tid=31860] ppid=31856 vsize=526364 CPUtime=581.21
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 64243 0 0 0 57992 129 0 0 25 0 4 0 89837547 538996736 128382 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=526364 CPUtime=579.56
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 70074 0 0 0 57816 140 0 0 25 0 4 0 89837547 538996736 128382 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.99
Current children cumulated vsize (KiB) 526364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 1.99 1.86 1.47 3/69 31862
/proc/meminfo: memFree=765248/2055920 swapFree=4192956/4192956
[pid=31858] ppid=31856 vsize=536796 CPUtime=1200.13
/proc/31858/stat : 31858 (satake) S 31856 31858 31468 0 -1 4194304 140029 0 0 0 119648 365 0 0 18 0 4 0 89837547 549679104 131048 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31858/statm: 134199 131048 70 163 0 134034 0
[pid=31858/tid=31859] ppid=31856 vsize=536796 CPUtime=1.22
/proc/31858/task/31859/stat : 31859 (satake) S 31856 31858 31468 0 -1 4194368 2965 0 0 0 34 88 0 0 15 0 4 0 89837547 549679104 131048 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31858/tid=31860] ppid=31856 vsize=536796 CPUtime=600.31
/proc/31858/task/31860/stat : 31860 (satake) R 31856 31858 31468 0 -1 4194368 65623 0 0 0 59898 133 0 0 17 0 4 0 89837547 549679104 131048 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31858/tid=31861] ppid=31856 vsize=536796 CPUtime=598.58
/proc/31858/task/31861/stat : 31861 (satake) R 31856 31858 31468 0 -1 4194368 71358 0 0 0 59715 143 0 0 25 0 4 0 89837547 549679104 131048 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 536796

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.491
CPU time (s): 1200.22
CPU user time (s): 1196.49
CPU system time (s): 3.72843
CPU usage (%): 199.541
Max. virtual memory (cumulated for all children) (KiB): 536796

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.49
system time used= 3.72843
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140029
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= 176207
involuntary context switches= 181793

runsolver used 0.566913 second user time and 1.63075 second system time

The end

Launcher Data 

Begin job on node91 at 2009-04-25 02:08:05
IDJOB=1716614
IDBENCH=20385
IDSOLVER=553
FILE ID=node91/1716614-1240618084
PBS_JOBID= 9186235
Free space on /tmp= 66504 MiB

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

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

MD5SUM BENCH= c2f768afbb9db3d5f5133c3f48734894
RANDOM SEED=1529360168

node91.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.241
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.241
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:       1290816 kB
Buffers:         84764 kB
Cached:         583608 kB
SwapCached:          0 kB
Active:         285132 kB
Inactive:       397812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1290816 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           18636 kB
Writeback:           0 kB
Mapped:          24316 kB
Slab:            68016 kB
Committed_AS:   172232 kB
PageTables:       1368 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= 66504 MiB
End job on node91 at 2009-04-25 02:18:09