Trace number 1736740

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

General information on the benchmark

NameCRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
MD5SUM5e0c3f55984f25e5ae39d5acbf3dab6b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.53216
Satisfiable
(Un)Satisfiability was proved
Number of variables13041
Number of clauses134672
Sum of the clauses size442400
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225102
Number of clauses of size 363007
Number of clauses of size 435077
Number of clauses of size 58820
Number of clauses of size over 52666

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26474
/proc/meminfo: memFree=1575384/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=5120 CPUtime=0
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 652 0 0 0 0 0 0 0 18 0 4 0 109346371 5242880 637 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 1280 643 65 163 0 1115 0
[pid=26474/tid=26475] ppid=26472 vsize=5120 CPUtime=0
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 109346371 5242880 660 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=5120 CPUtime=0
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 594 0 0 0 0 0 0 0 19 0 4 0 109346371 5242880 669 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=5120 CPUtime=0
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 109346371 5242880 677 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.042155 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26474
/proc/meminfo: memFree=1575384/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=14140 CPUtime=0.12
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 3170 0 0 0 10 2 0 0 18 0 4 0 109346371 14479360 3155 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 4245 3544 65 163 0 4080 0
[pid=26474/tid=26475] ppid=26472 vsize=17244 CPUtime=0
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 109346371 17657856 3715 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=19568 CPUtime=0.1
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 1955 0 0 0 9 1 0 0 16 0 4 0 109346371 20037632 4069 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=19568 CPUtime=0.1
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 2039 0 0 0 9 1 0 0 16 0 4 0 109346371 20037632 4069 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14140

[startup+0.182458 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26474
/proc/meminfo: memFree=1575384/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=16816 CPUtime=0.38
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 5001 0 0 0 35 3 0 0 18 0 4 0 109346371 17219584 3636 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 4493 3663 70 163 0 4328 0
[pid=26474/tid=26475] ppid=26472 vsize=17972 CPUtime=0
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 238 0 0 0 0 0 0 0 16 0 4 0 109346371 18403328 3663 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=17972 CPUtime=0.2
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 2328 0 0 0 19 1 0 0 17 0 4 0 109346371 18403328 3663 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26474/tid=26477] ppid=26472 vsize=17972 CPUtime=0.2
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 2379 0 0 0 19 1 0 0 17 0 4 0 109346371 18403328 3663 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 16816

[startup+0.300851 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26474
/proc/meminfo: memFree=1575384/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=18108 CPUtime=0.58
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 5110 0 0 0 53 5 0 0 18 0 4 0 109346371 18542592 3745 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 4527 3745 70 163 0 4362 0
[pid=26474/tid=26475] ppid=26472 vsize=18108 CPUtime=0
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 239 0 0 0 0 0 0 0 16 0 4 0 109346371 18542592 3745 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=18108 CPUtime=0.28
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 2355 0 0 0 26 2 0 0 16 0 4 0 109346371 18542592 3745 1992294400 134512640 135180984 4294956208 18446744073709551615 134520671 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26474/tid=26477] ppid=26472 vsize=18108 CPUtime=0.27
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 2433 0 0 0 26 1 0 0 17 0 4 0 109346371 18542592 3745 1992294400 134512640 135180984 4294956208 18446744073709551615 134528872 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 18108

[startup+0.701898 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26474
/proc/meminfo: memFree=1575384/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=18372 CPUtime=1.38
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 5262 0 0 0 120 18 0 0 18 0 4 0 109346371 18812928 3897 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 4593 3897 70 163 0 4428 0
[pid=26474/tid=26475] ppid=26472 vsize=18372 CPUtime=0.07
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 263 0 0 0 1 6 0 0 17 0 4 0 109346371 18812928 3897 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=18372 CPUtime=0.65
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 2421 0 0 0 59 6 0 0 17 0 4 0 109346371 18812928 3897 1992294400 134512640 135180984 4294956208 18446744073709551615 134523716 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26474/tid=26477] ppid=26472 vsize=18372 CPUtime=0.63
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 2495 0 0 0 59 4 0 0 16 0 4 0 109346371 18812928 3897 1992294400 134512640 135180984 4294956208 18446744073709551615 134525488 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 18372

[startup+1.50198 s]
/proc/loadavg: 1.07 0.99 1.00 2/68 26478
/proc/meminfo: memFree=1559608/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=18900 CPUtime=2.92
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 5549 0 0 0 245 47 0 0 18 0 4 0 109346371 19353600 4184 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 4725 4184 70 163 0 4560 0
[pid=26474/tid=26475] ppid=26472 vsize=18900 CPUtime=0.26
/proc/26474/task/26475/stat : 26475 (satake) R 26472 26474 26282 0 -1 4194368 331 0 0 0 5 21 0 0 17 0 4 0 109346371 19353600 4184 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=18900 CPUtime=1.32
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 2518 0 0 0 119 13 0 0 16 0 4 0 109346371 19353600 4184 1992294400 134512640 135180984 4294956208 18446744073709551615 134522984 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26474/tid=26477] ppid=26472 vsize=18900 CPUtime=1.32
/proc/26474/task/26477/stat : 26477 (satake) S 26472 26474 26282 0 -1 4194368 2617 0 0 0 120 12 0 0 15 0 4 0 109346371 19353600 4184 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 18900

[startup+3.10197 s]
/proc/loadavg: 1.07 0.99 1.00 4/68 26478
/proc/meminfo: memFree=1558008/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=20992 CPUtime=6.07
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 6038 0 0 0 520 87 0 0 18 0 4 0 109346371 21495808 4673 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 5248 4673 70 163 0 5083 0
[pid=26474/tid=26475] ppid=26472 vsize=20992 CPUtime=0.51
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 430 0 0 0 11 40 0 0 16 0 4 0 109346371 21495808 4673 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=20992 CPUtime=2.78
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 2704 0 0 0 256 22 0 0 16 0 4 0 109346371 21495808 4673 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26474/tid=26477] ppid=26472 vsize=20992 CPUtime=2.75
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 2821 0 0 0 252 23 0 0 16 0 4 0 109346371 21495808 4673 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 20992

[startup+6.30133 s]
/proc/loadavg: 1.07 0.99 1.00 3/68 26478
/proc/meminfo: memFree=1554040/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=24932 CPUtime=12.4
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 6919 0 0 0 1097 143 0 0 18 0 4 0 109346371 25530368 5554 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 6233 5554 70 163 0 6068 0
[pid=26474/tid=26475] ppid=26472 vsize=24932 CPUtime=0.87
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 567 0 0 0 20 67 0 0 16 0 4 0 109346371 25530368 5554 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=24932 CPUtime=5.77
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 3069 0 0 0 541 36 0 0 17 0 4 0 109346371 25530368 5554 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=24932 CPUtime=5.73
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 3200 0 0 0 534 39 0 0 17 0 4 0 109346371 25530368 5554 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 24932

[startup+12.701 s]
/proc/loadavg: 1.22 1.02 1.01 3/68 26478
/proc/meminfo: memFree=1547704/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=30608 CPUtime=25.1
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 8417 0 0 0 2265 245 0 0 18 0 4 0 109346371 31342592 7052 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 7652 7052 70 163 0 7487 0
[pid=26474/tid=26475] ppid=26472 vsize=30608 CPUtime=1.46
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 764 0 0 0 32 114 0 0 16 0 4 0 109346371 31342592 7052 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=30608 CPUtime=11.86
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 3743 0 0 0 1122 64 0 0 16 0 4 0 109346371 31342592 7052 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=30608 CPUtime=11.76
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 3827 0 0 0 1110 66 0 0 16 0 4 0 109346371 31342592 7052 1992294400 134512640 135180984 4294956208 18446744073709551615 134523702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 30608

[startup+25.5027 s]
/proc/loadavg: 1.34 1.05 1.02 3/68 26478
/proc/meminfo: memFree=1537912/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=39712 CPUtime=50.6
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 10772 0 0 0 4719 341 0 0 18 0 4 0 109346371 40665088 9407 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 9928 9407 70 163 0 9763 0
[pid=26474/tid=26475] ppid=26472 vsize=39712 CPUtime=2.03
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 981 0 0 0 45 158 0 0 16 0 4 0 109346371 40665088 9407 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=39712 CPUtime=24.31
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 4890 0 0 0 2341 90 0 0 18 0 4 0 109346371 40665088 9407 1992294400 134512640 135180984 4294956208 18446744073709551615 134528546 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=39712 CPUtime=24.24
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 4818 0 0 0 2332 92 0 0 17 0 4 0 109346371 40665088 9407 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 39712

[startup+51.1025 s]
/proc/loadavg: 1.65 1.16 1.05 3/68 26478
/proc/meminfo: memFree=1524216/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=54560 CPUtime=101.66
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 14196 0 0 0 9665 501 0 0 18 0 4 0 109346371 55869440 12831 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 13640 12831 70 163 0 13475 0
[pid=26474/tid=26475] ppid=26472 vsize=54560 CPUtime=2.96
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 1304 0 0 0 64 232 0 0 16 0 4 0 109346371 55869440 12831 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=54560 CPUtime=49.31
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 6386 0 0 0 4799 132 0 0 20 0 4 0 109346371 55869440 12831 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=54560 CPUtime=49.38
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 6423 0 0 0 4801 137 0 0 18 0 4 0 109346371 55869440 12831 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 54560

[startup+102.306 s]
/proc/loadavg: 1.85 1.28 1.10 3/68 26478
/proc/meminfo: memFree=1504312/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=74452 CPUtime=203.81
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 19102 0 0 0 19735 646 0 0 18 0 4 0 109346371 76238848 17737 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 18613 17737 70 163 0 18448 0
[pid=26474/tid=26475] ppid=26472 vsize=74452 CPUtime=3.74
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 1591 0 0 0 80 294 0 0 16 0 4 0 109346371 76238848 17737 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=74452 CPUtime=100.04
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 9329 0 0 0 9828 176 0 0 19 0 4 0 109346371 76238848 17737 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26474/tid=26477] ppid=26472 vsize=74452 CPUtime=100.01
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 8099 0 0 0 9826 175 0 0 25 0 4 0 109346371 76238848 17737 1992294400 134512640 135180984 4294956208 18446744073709551615 134528195 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 74452

[startup+162.303 s]
/proc/loadavg: 1.94 1.41 1.16 3/68 26478
/proc/meminfo: memFree=1483384/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=95252 CPUtime=323.54
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 24392 0 0 0 31563 791 0 0 18 0 4 0 109346371 97538048 23027 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 23813 23027 70 163 0 23648 0
[pid=26474/tid=26475] ppid=26472 vsize=95252 CPUtime=4.57
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 1873 0 0 0 100 357 0 0 16 0 4 0 109346371 97538048 23027 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=95252 CPUtime=159.45
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 11777 0 0 0 15727 218 0 0 18 0 4 0 109346371 97538048 23027 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=95252 CPUtime=159.49
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 10659 0 0 0 15735 214 0 0 18 0 4 0 109346371 97538048 23027 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.54
Current children cumulated vsize (KiB) 95252

[startup+222.302 s]
/proc/loadavg: 1.98 1.52 1.21 3/68 26478
/proc/meminfo: memFree=1463416/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=115632 CPUtime=443.26
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 29325 0 0 0 43414 912 0 0 18 0 4 0 109346371 118407168 27960 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 28908 27960 70 163 0 28743 0
[pid=26474/tid=26475] ppid=26472 vsize=115632 CPUtime=5.28
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 2110 0 0 0 116 412 0 0 15 0 4 0 109346371 118407168 27960 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=115632 CPUtime=218.84
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 13814 0 0 0 21634 250 0 0 20 0 4 0 109346371 118407168 27960 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=115632 CPUtime=219.12
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 13318 0 0 0 21664 248 0 0 16 0 4 0 109346371 118407168 27960 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.26
Current children cumulated vsize (KiB) 115632

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.25 3/68 26478
/proc/meminfo: memFree=1448504/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=131160 CPUtime=563
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 33077 0 0 0 55293 1007 0 0 18 0 4 0 109346371 134307840 31712 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 32790 31712 70 163 0 32625 0
[pid=26474/tid=26475] ppid=26472 vsize=131160 CPUtime=5.83
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 2288 0 0 0 129 454 0 0 16 0 4 0 109346371 134307840 31712 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=131160 CPUtime=278.32
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 15460 0 0 0 27556 276 0 0 25 0 4 0 109346371 134307840 31712 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=131160 CPUtime=278.83
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 15246 0 0 0 27607 276 0 0 25 0 4 0 109346371 134307840 31712 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563
Current children cumulated vsize (KiB) 131160

[startup+342.303 s]
/proc/loadavg: 1.99 1.67 1.30 3/68 26478
/proc/meminfo: memFree=1438584/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=139968 CPUtime=682.69
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 35508 0 0 0 67167 1102 0 0 18 0 4 0 109346371 143327232 34143 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 34992 34143 70 163 0 34827 0
[pid=26474/tid=26475] ppid=26472 vsize=139968 CPUtime=6.34
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 2428 0 0 0 141 493 0 0 16 0 4 0 109346371 143327232 34143 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=139968 CPUtime=337.79
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 16790 0 0 0 33473 306 0 0 25 0 4 0 109346371 143327232 34143 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=139968 CPUtime=338.52
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 16207 0 0 0 33551 301 0 0 18 0 4 0 109346371 143327232 34143 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.69
Current children cumulated vsize (KiB) 139968

[startup+402.303 s]
/proc/loadavg: 1.99 1.73 1.34 3/68 26478
/proc/meminfo: memFree=1436920/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=142016 CPUtime=802.39
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 35924 0 0 0 78951 1288 0 0 18 0 4 0 109346371 145424384 34559 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 35504 34559 70 163 0 35339 0
[pid=26474/tid=26475] ppid=26472 vsize=142016 CPUtime=7.46
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 2811 0 0 0 165 581 0 0 16 0 4 0 109346371 145424384 34559 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=142016 CPUtime=397.14
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 16801 0 0 0 39356 358 0 0 20 0 4 0 109346371 145424384 34559 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=142016 CPUtime=397.77
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 16229 0 0 0 39429 348 0 0 25 0 4 0 109346371 145424384 34559 1992294400 134512640 135180984 4294956208 18446744073709551615 134532622 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.39
Current children cumulated vsize (KiB) 142016

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.38 3/68 26478
/proc/meminfo: memFree=1435768/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=143360 CPUtime=922.13
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 36215 0 0 0 90808 1405 0 0 18 0 4 0 109346371 146800640 34850 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 35840 34850 70 163 0 35675 0
[pid=26474/tid=26475] ppid=26472 vsize=143360 CPUtime=8.12
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 3037 0 0 0 178 634 0 0 15 0 4 0 109346371 146800640 34850 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=143360 CPUtime=456.8
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 16838 0 0 0 45290 390 0 0 17 0 4 0 109346371 146800640 34850 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=143360 CPUtime=457.19
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 16257 0 0 0 45339 380 0 0 18 0 4 0 109346371 146800640 34850 1992294400 134512640 135180984 4294956208 18446744073709551615 134528401 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.13
Current children cumulated vsize (KiB) 143360

[startup+522.303 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 26478
/proc/meminfo: memFree=1434680/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=144384 CPUtime=1041.87
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 36470 0 0 0 102703 1484 0 0 18 0 4 0 109346371 147849216 35105 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 36096 35105 70 163 0 35931 0
[pid=26474/tid=26475] ppid=26472 vsize=144384 CPUtime=8.59
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 3190 0 0 0 188 671 0 0 16 0 4 0 109346371 147849216 35105 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=144384 CPUtime=516.54
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 16874 0 0 0 51244 410 0 0 25 0 4 0 109346371 147849216 35105 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26474/tid=26477] ppid=26472 vsize=144384 CPUtime=516.72
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 16323 0 0 0 51271 401 0 0 17 0 4 0 109346371 147849216 35105 1992294400 134512640 135180984 4294956208 18446744073709551615 134528568 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.87
Current children cumulated vsize (KiB) 144384

[startup+582.303 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 26478
/proc/meminfo: memFree=1433976/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=145548 CPUtime=1161.59
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 36663 0 0 0 114608 1551 0 0 18 0 4 0 109346371 149041152 35298 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 36387 35298 70 163 0 36222 0
[pid=26474/tid=26475] ppid=26472 vsize=145548 CPUtime=8.99
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 3332 0 0 0 198 701 0 0 15 0 4 0 109346371 149041152 35298 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26474/tid=26476] ppid=26472 vsize=145548 CPUtime=576.24
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 16885 0 0 0 57195 429 0 0 18 0 4 0 109346371 149041152 35298 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26474/tid=26477] ppid=26472 vsize=145548 CPUtime=576.35
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 16363 0 0 0 57215 420 0 0 25 0 4 0 109346371 149041152 35298 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.59
Current children cumulated vsize (KiB) 145548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.85 1.46 3/68 26478
/proc/meminfo: memFree=1433208/2055920 swapFree=4192812/4192956
[pid=26474] ppid=26472 vsize=145712 CPUtime=1200.12
/proc/26474/stat : 26474 (satake) S 26472 26474 26282 0 -1 4194304 36836 0 0 0 118425 1587 0 0 18 0 4 0 109346371 149209088 35471 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26474/statm: 36428 35471 70 163 0 36263 0
[pid=26474/tid=26475] ppid=26472 vsize=145712 CPUtime=9.2
/proc/26474/task/26475/stat : 26475 (satake) S 26472 26474 26282 0 -1 4194368 3408 0 0 0 203 717 0 0 16 0 4 0 109346371 149209088 35471 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26474/tid=26476] ppid=26472 vsize=145712 CPUtime=595.36
/proc/26474/task/26476/stat : 26476 (satake) R 26472 26474 26282 0 -1 4194368 16914 0 0 0 59097 439 0 0 25 0 4 0 109346371 149209088 35471 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26474/tid=26477] ppid=26472 vsize=145712 CPUtime=595.53
/proc/26474/task/26477/stat : 26477 (satake) R 26472 26474 26282 0 -1 4194368 16431 0 0 0 59123 430 0 0 25 0 4 0 109346371 149209088 35471 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 145712

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.639
CPU time (s): 1200.16
CPU user time (s): 1184.27
CPU system time (s): 15.8986
CPU usage (%): 199.482
Max. virtual memory (cumulated for all children) (KiB): 145712

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= 1184.26
system time used= 15.8986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36836
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= 1238896
involuntary context switches= 1236368

runsolver used 0.503923 second user time and 1.69674 second system time

The end

Launcher Data 

Begin job on node5 at 2009-04-27 08:18:44
IDJOB=1736740
IDBENCH=71631
IDSOLVER=553
FILE ID=node5/1736740-1240813124
PBS_JOBID= 9187456
Free space on /tmp= 66340 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n7_i7_pp_ci_ce.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1736740-1240813124/watcher-1736740-1240813124 -o /tmp/evaluation-result-1736740-1240813124/solver-1736740-1240813124 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1736740-1240813124.cnf 3 1200

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

MD5SUM BENCH= 5e0c3f55984f25e5ae39d5acbf3dab6b
RANDOM SEED=2096623117

node5.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.212
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.212
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:       1575864 kB
Buffers:         64284 kB
Cached:         336092 kB
SwapCached:        144 kB
Active:         160120 kB
Inactive:       254220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1575864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3444 kB
Writeback:           0 kB
Mapped:          23624 kB
Slab:            51740 kB
Committed_AS:   411484 kB
PageTables:       1388 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= 66340 MiB
End job on node5 at 2009-04-27 08:28:48