Trace number 1732540

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.23 617.425

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
MD5SUMcda4bb923e6fa0cab57f8920411a2abd
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of clauses720
Sum of the clauses size1800
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2600
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 5120
Number of clauses of size over 50

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-1732540-1240781630/watcher-1732540-1240781630 -o /tmp/evaluation-result-1732540-1240781630/solver-1732540-1240781630 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732540-1240781630.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.99 1.85 1.45 3/64 21837
/proc/meminfo: memFree=1785288/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=1148 CPUtime=0
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 130 0 0 0 0 0 0 0 18 0 4 0 106196371 1175552 115 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 287 115 68 163 0 122 0
[pid=21837/tid=21838] ppid=21835 vsize=1148 CPUtime=0
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 4 0 106196371 1175552 115 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=1148 CPUtime=0
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 4 0 106196371 1175552 115 1992294400 134512640 135180984 4294956208 18446744073709551615 134524757 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=1148 CPUtime=0
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 106196371 1175552 115 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0498061 s]
/proc/loadavg: 1.99 1.85 1.45 3/64 21837
/proc/meminfo: memFree=1785288/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=2304 CPUtime=0.07
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 192 0 0 0 5 2 0 0 18 0 4 0 106196371 2359296 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 576 177 70 163 0 411 0
[pid=21837/tid=21838] ppid=21835 vsize=2304 CPUtime=0.01
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 16 0 0 0 0 1 0 0 19 0 4 0 106196371 2359296 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=2304 CPUtime=0.02
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 50 0 0 0 2 0 0 0 16 0 4 0 106196371 2359296 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134520907 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=2304 CPUtime=0.02
/proc/21837/task/21840/stat : 21840 (satake) S 21835 21837 21646 0 -1 4194368 43 0 0 0 2 0 0 0 16 0 4 0 106196371 2359296 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2304

[startup+0.101634 s]
/proc/loadavg: 1.99 1.85 1.45 3/64 21837
/proc/meminfo: memFree=1785288/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=2304 CPUtime=0.14
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 207 0 0 0 11 3 0 0 18 0 4 0 106196371 2359296 192 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 576 192 70 163 0 411 0
[pid=21837/tid=21838] ppid=21835 vsize=2304 CPUtime=0.02
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 17 0 0 0 0 2 0 0 18 0 4 0 106196371 2359296 192 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=2304 CPUtime=0.05
/proc/21837/task/21839/stat : 21839 (satake) S 21835 21837 21646 0 -1 4194368 56 0 0 0 5 0 0 0 17 0 4 0 106196371 2359296 192 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=2304 CPUtime=0.05
/proc/21837/task/21840/stat : 21840 (satake) S 21835 21837 21646 0 -1 4194368 51 0 0 0 5 0 0 0 17 0 4 0 106196371 2359296 192 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2304

[startup+0.301652 s]
/proc/loadavg: 1.99 1.85 1.45 3/64 21837
/proc/meminfo: memFree=1785288/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=2436 CPUtime=0.45
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 245 0 0 0 37 8 0 0 18 0 4 0 106196371 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 609 230 70 163 0 444 0
[pid=21837/tid=21838] ppid=21835 vsize=2436 CPUtime=0.05
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 20 0 0 0 1 4 0 0 18 0 4 0 106196371 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=2436 CPUtime=0.2
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 74 0 0 0 19 1 0 0 17 0 4 0 106196371 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134521127 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=2436 CPUtime=0.18
/proc/21837/task/21840/stat : 21840 (satake) S 21835 21837 21646 0 -1 4194368 68 0 0 0 17 1 0 0 17 0 4 0 106196371 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2436

[startup+0.701688 s]
/proc/loadavg: 1.99 1.85 1.45 3/64 21837
/proc/meminfo: memFree=1785288/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=2568 CPUtime=1.11
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 299 0 0 0 95 16 0 0 18 0 4 0 106196371 2629632 284 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 642 284 70 163 0 477 0
[pid=21837/tid=21838] ppid=21835 vsize=2568 CPUtime=0.09
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 23 0 0 0 2 7 0 0 17 0 4 0 106196371 2629632 284 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=2568 CPUtime=0.52
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 106 0 0 0 48 4 0 0 17 0 4 0 106196371 2629632 284 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=2568 CPUtime=0.48
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 87 0 0 0 44 4 0 0 16 0 4 0 106196371 2629632 284 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2568

[startup+1.50195 s]
/proc/loadavg: 1.99 1.85 1.45 4/68 21841
/proc/meminfo: memFree=1784232/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=2832 CPUtime=2.46
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 363 0 0 0 216 30 0 0 18 0 4 0 106196371 2899968 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 708 348 70 163 0 543 0
[pid=21837/tid=21838] ppid=21835 vsize=2832 CPUtime=0.18
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 37 0 0 0 4 14 0 0 15 0 4 0 106196371 2899968 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=2832 CPUtime=1.17
/proc/21837/task/21839/stat : 21839 (satake) S 21835 21837 21646 0 -1 4194368 137 0 0 0 109 8 0 0 16 0 4 0 106196371 2899968 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=2832 CPUtime=1.09
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 106 0 0 0 102 7 0 0 17 0 4 0 106196371 2899968 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 2832

[startup+3.1019 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 21841
/proc/meminfo: memFree=1783712/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=3236 CPUtime=5.37
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 482 0 0 0 472 65 0 0 18 0 4 0 106196371 3313664 467 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 809 467 70 163 0 644 0
[pid=21837/tid=21838] ppid=21835 vsize=3236 CPUtime=0.38
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 78 0 0 0 8 30 0 0 16 0 4 0 106196371 3313664 467 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=3236 CPUtime=2.54
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 179 0 0 0 237 17 0 0 16 0 4 0 106196371 3313664 467 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=3236 CPUtime=2.44
/proc/21837/task/21840/stat : 21840 (satake) S 21835 21837 21646 0 -1 4194368 142 0 0 0 227 17 0 0 16 0 4 0 106196371 3313664 467 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 3236

[startup+6.30118 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 21841
/proc/meminfo: memFree=1782816/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=3788 CPUtime=11.24
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 678 0 0 0 1000 124 0 0 18 0 4 0 106196371 3878912 663 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 947 663 70 163 0 782 0
[pid=21837/tid=21838] ppid=21835 vsize=3788 CPUtime=0.73
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 140 0 0 0 14 59 0 0 16 0 4 0 106196371 3878912 663 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=3788 CPUtime=5.26
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 256 0 0 0 495 31 0 0 17 0 4 0 106196371 3878912 663 1992294400 134512640 135180984 4294956208 18446744073709551615 134525403 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=3788 CPUtime=5.24
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 199 0 0 0 490 34 0 0 16 0 4 0 106196371 3878912 663 1992294400 134512640 135180984 4294956208 18446744073709551615 134522622 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.24
Current children cumulated vsize (KiB) 3788

[startup+12.7019 s]
/proc/loadavg: 2.07 1.87 1.47 3/68 21841
/proc/meminfo: memFree=1781480/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=4980 CPUtime=23.44
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 985 0 0 0 2085 259 0 0 18 0 4 0 106196371 5099520 970 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 1245 970 70 163 0 1080 0
[pid=21837/tid=21838] ppid=21835 vsize=4980 CPUtime=1.49
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 298 0 0 0 26 123 0 0 16 0 4 0 106196371 5099520 970 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=4980 CPUtime=11
/proc/21837/task/21839/stat : 21839 (satake) S 21835 21837 21646 0 -1 4194368 349 0 0 0 1035 65 0 0 16 0 4 0 106196371 5099520 970 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=4980 CPUtime=10.93
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 255 0 0 0 1023 70 0 0 16 0 4 0 106196371 5099520 970 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.44
Current children cumulated vsize (KiB) 4980

[startup+25.501 s]
/proc/loadavg: 2.14 1.89 1.48 3/68 21841
/proc/meminfo: memFree=1779176/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=7160 CPUtime=48.02
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 1562 0 0 0 4274 528 0 0 18 0 4 0 106196371 7331840 1547 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 1790 1547 70 163 0 1625 0
[pid=21837/tid=21838] ppid=21835 vsize=7160 CPUtime=3.07
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 652 0 0 0 57 250 0 0 16 0 4 0 106196371 7331840 1547 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=7160 CPUtime=22.42
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 464 0 0 0 2108 134 0 0 17 0 4 0 106196371 7331840 1547 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=7160 CPUtime=22.51
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 363 0 0 0 2108 143 0 0 17 0 4 0 106196371 7331840 1547 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.02
Current children cumulated vsize (KiB) 7160

[startup+51.1013 s]
/proc/loadavg: 2.09 1.90 1.49 3/68 21841
/proc/meminfo: memFree=1775272/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=12316 CPUtime=97.26
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 2558 0 0 0 8681 1045 0 0 18 0 4 0 106196371 12611584 2543 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 3079 2543 70 163 0 2914 0
[pid=21837/tid=21838] ppid=21835 vsize=12316 CPUtime=5.98
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 1336 0 0 0 112 486 0 0 16 0 4 0 106196371 12611584 2543 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=12316 CPUtime=45.64
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 626 0 0 0 4287 277 0 0 17 0 4 0 106196371 12611584 2543 1992294400 134512640 135180984 4294956208 18446744073709551615 134528524 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=12316 CPUtime=45.62
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 513 0 0 0 4281 281 0 0 17 0 4 0 106196371 12611584 2543 1992294400 134512640 135180984 4294956208 18446744073709551615 134519080 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.26
Current children cumulated vsize (KiB) 12316

[startup+102.307 s]
/proc/loadavg: 2.14 1.94 1.53 3/68 21841
/proc/meminfo: memFree=1767976/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=20592 CPUtime=196.44
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 4315 0 0 0 17625 2019 0 0 18 0 4 0 106196371 21086208 4300 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 5148 4300 70 163 0 4983 0
[pid=21837/tid=21838] ppid=21835 vsize=20592 CPUtime=11.56
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 2550 0 0 0 214 942 0 0 16 0 4 0 106196371 21086208 4300 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=20592 CPUtime=92.47
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 968 0 0 0 8713 534 0 0 16 0 4 0 106196371 21086208 4300 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=20592 CPUtime=92.4
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 714 0 0 0 8697 543 0 0 17 0 4 0 106196371 21086208 4300 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.44
Current children cumulated vsize (KiB) 20592

[startup+162.302 s]
/proc/loadavg: 2.24 2.01 1.57 3/68 21841
/proc/meminfo: memFree=1760680/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=27972 CPUtime=313.15
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 6139 0 0 0 28258 3057 0 0 18 0 4 0 106196371 28643328 6124 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 6993 6124 70 163 0 6828 0
[pid=21837/tid=21838] ppid=21835 vsize=27972 CPUtime=17.63
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 3879 0 0 0 330 1433 0 0 15 0 4 0 106196371 28643328 6124 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=27972 CPUtime=147.84
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 1273 0 0 0 13977 807 0 0 16 0 4 0 106196371 28643328 6124 1992294400 134512640 135180984 4294956208 18446744073709551615 134528605 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=27972 CPUtime=147.66
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 904 0 0 0 13950 816 0 0 17 0 4 0 106196371 28643328 6124 1992294400 134512640 135180984 4294956208 18446744073709551615 134528869 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 313.15
Current children cumulated vsize (KiB) 27972

[startup+222.301 s]
/proc/loadavg: 2.18 2.04 1.61 3/68 21841
/proc/meminfo: memFree=1753192/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=37564 CPUtime=429.08
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 8004 0 0 0 38816 4092 0 0 18 0 4 0 106196371 38465536 7989 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 9391 7989 70 163 0 9226 0
[pid=21837/tid=21838] ppid=21835 vsize=37564 CPUtime=23.73
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 5412 0 0 0 446 1927 0 0 16 0 4 0 106196371 38465536 7989 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=37564 CPUtime=202.86
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 1500 0 0 0 19207 1079 0 0 17 0 4 0 106196371 38465536 7989 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=37564 CPUtime=202.48
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 1009 0 0 0 19163 1085 0 0 16 0 4 0 106196371 38465536 7989 1992294400 134512640 135180984 4294956208 18446744073709551615 134521150 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 429.08
Current children cumulated vsize (KiB) 37564

[startup+282.304 s]
/proc/loadavg: 2.15 2.04 1.63 3/68 21843
/proc/meminfo: memFree=1746024/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=44588 CPUtime=545.46
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 9791 0 0 0 49396 5150 0 0 18 0 4 0 106196371 45658112 9773 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 11147 9773 70 163 0 10982 0
[pid=21837/tid=21838] ppid=21835 vsize=44588 CPUtime=29.96
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 6746 0 0 0 566 2430 0 0 16 0 4 0 106196371 45658112 9773 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=44588 CPUtime=258.03
/proc/21837/task/21839/stat : 21839 (satake) S 21835 21837 21646 0 -1 4194368 1867 0 0 0 24449 1354 0 0 15 0 4 0 106196371 45658112 9773 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=44588 CPUtime=257.43
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 1095 0 0 0 24379 1364 0 0 16 0 4 0 106196371 45658112 9773 1992294400 134512640 135180984 4294956208 18446744073709551615 134526657 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 545.46
Current children cumulated vsize (KiB) 44588

[startup+342.302 s]
/proc/loadavg: 2.12 2.05 1.66 4/68 21843
/proc/meminfo: memFree=1739880/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=52580 CPUtime=662.44
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 11334 0 0 0 60097 6147 0 0 18 0 4 0 106196371 53841920 11316 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 13145 11316 70 163 0 12980 0
[pid=21837/tid=21838] ppid=21835 vsize=52580 CPUtime=35.83
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 7997 0 0 0 684 2899 0 0 16 0 4 0 106196371 53841920 11316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=52580 CPUtime=313.83
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 2013 0 0 0 29764 1619 0 0 17 0 4 0 106196371 53841920 11316 1992294400 134512640 135180984 4294956208 18446744073709551615 134522989 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=52580 CPUtime=312.77
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 1241 0 0 0 29649 1628 0 0 16 0 4 0 106196371 53841920 11316 1992294400 134512640 135180984 4294956208 18446744073709551615 134519096 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 662.44
Current children cumulated vsize (KiB) 52580

[startup+402.302 s]
/proc/loadavg: 2.05 2.04 1.67 3/68 21843
/proc/meminfo: memFree=1733096/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=59476 CPUtime=779.44
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 13003 0 0 0 70896 7048 0 0 18 0 4 0 106196371 60903424 12985 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 14869 12985 70 163 0 14704 0
[pid=21837/tid=21838] ppid=21835 vsize=59476 CPUtime=41.17
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 9262 0 0 0 785 3332 0 0 16 0 4 0 106196371 60903424 12985 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=59476 CPUtime=369.56
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 2242 0 0 0 35101 1855 0 0 16 0 4 0 106196371 60903424 12985 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=59476 CPUtime=368.68
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 1416 0 0 0 35008 1860 0 0 16 0 4 0 106196371 60903424 12985 1992294400 134512640 135180984 4294956208 18446744073709551615 134522975 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 779.44
Current children cumulated vsize (KiB) 59476

[startup+462.301 s]
/proc/loadavg: 2.04 2.04 1.70 3/68 21843
/proc/meminfo: memFree=1727592/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=68464 CPUtime=896.97
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 14389 0 0 0 81729 7968 0 0 18 0 4 0 106196371 70107136 14371 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 17116 14371 70 163 0 16951 0
[pid=21837/tid=21838] ppid=21835 vsize=68464 CPUtime=46.43
/proc/21837/task/21838/stat : 21838 (satake) R 21835 21837 21646 0 -1 4194368 10537 0 0 0 883 3760 0 0 16 0 4 0 106196371 70107136 14371 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21839] ppid=21835 vsize=68464 CPUtime=425.85
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 2316 0 0 0 40486 2099 0 0 16 0 4 0 106196371 70107136 14371 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21837/tid=21840] ppid=21835 vsize=68464 CPUtime=424.67
/proc/21837/task/21840/stat : 21840 (satake) S 21835 21837 21646 0 -1 4194368 1453 0 0 0 40359 2108 0 0 16 0 4 0 106196371 70107136 14371 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 896.97
Current children cumulated vsize (KiB) 68464

[startup+522.301 s]
/proc/loadavg: 2.02 2.03 1.72 3/68 21843
/proc/meminfo: memFree=1721448/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=75612 CPUtime=1014.13
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 15925 0 0 0 92511 8902 0 0 18 0 4 0 106196371 77426688 15907 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 18903 15907 70 163 0 18738 0
[pid=21837/tid=21838] ppid=21835 vsize=75612 CPUtime=51.87
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 11805 0 0 0 988 4199 0 0 15 0 4 0 106196371 77426688 15907 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=75612 CPUtime=481.72
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 2468 0 0 0 45824 2348 0 0 17 0 4 0 106196371 77426688 15907 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=75612 CPUtime=480.51
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 1569 0 0 0 45697 2354 0 0 16 0 4 0 106196371 77426688 15907 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1014.13
Current children cumulated vsize (KiB) 75612

[startup+582.302 s]
/proc/loadavg: 2.11 2.05 1.74 3/68 21843
/proc/meminfo: memFree=1715880/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=81672 CPUtime=1131.54
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 17295 0 0 0 103358 9796 0 0 18 0 4 0 106196371 83632128 17277 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 20418 17277 70 163 0 20253 0
[pid=21837/tid=21838] ppid=21835 vsize=81672 CPUtime=57.15
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 13027 0 0 0 1090 4625 0 0 15 0 4 0 106196371 83632128 17277 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=81672 CPUtime=537.82
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 2525 0 0 0 51200 2582 0 0 17 0 4 0 106196371 83632128 17277 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=81672 CPUtime=536.55
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 1660 0 0 0 51067 2588 0 0 16 0 4 0 106196371 83632128 17277 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1131.54
Current children cumulated vsize (KiB) 81672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+617.402 s]
/proc/loadavg: 2.13 2.06 1.75 3/68 21843
/proc/meminfo: memFree=1712296/2055920 swapFree=4191900/4192956
[pid=21837] ppid=21835 vsize=85248 CPUtime=1200.19
/proc/21837/stat : 21837 (satake) S 21835 21837 21646 0 -1 4194304 18179 0 0 0 109698 10321 0 0 18 0 4 0 106196371 87293952 18161 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21837/statm: 21312 18161 70 163 0 21147 0
[pid=21837/tid=21838] ppid=21835 vsize=85248 CPUtime=60.24
/proc/21837/task/21838/stat : 21838 (satake) S 21835 21837 21646 0 -1 4194368 13650 0 0 0 1151 4873 0 0 15 0 4 0 106196371 87293952 18161 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21837/tid=21839] ppid=21835 vsize=85248 CPUtime=570.46
/proc/21837/task/21839/stat : 21839 (satake) R 21835 21837 21646 0 -1 4194368 2757 0 0 0 54326 2720 0 0 17 0 4 0 106196371 87293952 18161 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21837/tid=21840] ppid=21835 vsize=85248 CPUtime=569.47
/proc/21837/task/21840/stat : 21840 (satake) R 21835 21837 21646 0 -1 4194368 1689 0 0 0 54220 2727 0 0 16 0 4 0 106196371 87293952 18161 1992294400 134512640 135180984 4294956208 18446744073709551615 134528766 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 85248

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): 617.425
CPU time (s): 1200.23
CPU user time (s): 1097
CPU system time (s): 103.231
CPU usage (%): 194.393
Max. virtual memory (cumulated for all children) (KiB): 85248

deleting IPC queue 1179648
deleting IPC queue 1212417
deleting IPC queue 1245186
deleting IPC queue 1277955
deleting IPC queue 1310724
deleting IPC queue 1343493
deleting IPC queue 1376262
deleting IPC queue 1409031
deleting IPC queue 1441800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1097
system time used= 103.231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18179
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= 5240084
involuntary context switches= 4621318

runsolver used 0.630904 second user time and 1.70174 second system time

The end

Launcher Data 

Begin job on node15 at 2009-04-26 23:33:50
IDJOB=1732540
IDBENCH=71121
IDSOLVER=553
FILE ID=node15/1732540-1240781630
PBS_JOBID= 9187252
Free space on /tmp= 66268 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/sgen/sat/sgen1-sat-300-100.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1732540-1240781630/watcher-1732540-1240781630 -o /tmp/evaluation-result-1732540-1240781630/solver-1732540-1240781630 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732540-1240781630.cnf 3 1200

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

MD5SUM BENCH= cda4bb923e6fa0cab57f8920411a2abd
RANDOM SEED=1746432721

node15.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.220
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	: 5931.00
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.220
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:       1785768 kB
Buffers:         34508 kB
Cached:         167952 kB
SwapCached:        384 kB
Active:          73076 kB
Inactive:       142728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785768 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             756 kB
Writeback:           0 kB
Mapped:          21764 kB
Slab:            40336 kB
Committed_AS:   383940 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66268 MiB
End job on node15 at 2009-04-26 23:44:09