Trace number 1736290

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.24 601.647

General information on the benchmark

NameCRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
MD5SUM545e53eb1c10ff91f4e2e16d7a8c9f9f
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 variables14896
Number of clauses153982
Sum of the clauses size505834
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 228700
Number of clauses of size 372038
Number of clauses of size 440118
Number of clauses of size 510080
Number of clauses of size over 53046

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-1736290-1240811103/watcher-1736290-1240811103 -o /tmp/evaluation-result-1736290-1240811103/solver-1736290-1240811103 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1736290-1240811103.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.97 1.70 3/64 11257
/proc/meminfo: memFree=1649848/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=4104 CPUtime=0
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 661 0 0 0 0 0 0 0 18 0 4 0 109136374 4202496 646 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 1026 653 65 163 0 861 0
[pid=11257/tid=11258] ppid=11255 vsize=4104 CPUtime=0
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 109136374 4202496 671 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=4104 CPUtime=0
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 381 0 0 0 0 0 0 0 20 0 4 0 109136374 4202496 680 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=4104 CPUtime=0
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 232 0 0 0 0 0 0 0 19 0 4 0 109136374 4202496 688 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0816941 s]
/proc/loadavg: 1.99 1.97 1.70 3/64 11257
/proc/meminfo: memFree=1649848/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=16980 CPUtime=0.14
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 3658 0 0 0 12 2 0 0 18 0 4 0 109136374 17387520 3605 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 4278 3606 65 163 0 4113 0
[pid=11257/tid=11258] ppid=11255 vsize=17112 CPUtime=0
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 109136374 17522688 3606 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=17112 CPUtime=0.07
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 1825 0 0 0 6 1 0 0 16 0 4 0 109136374 17522688 3607 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=17112 CPUtime=0.07
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 1745 0 0 0 6 1 0 0 16 0 4 0 109136374 17522688 3607 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 16980

[startup+0.101524 s]
/proc/loadavg: 1.99 1.97 1.70 3/64 11257
/proc/meminfo: memFree=1649848/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=17640 CPUtime=0.18
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 3981 0 0 0 16 2 0 0 18 0 4 0 109136374 18063360 3928 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 4410 3928 65 163 0 4245 0
[pid=11257/tid=11258] ppid=11255 vsize=17640 CPUtime=0
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 109136374 18063360 3928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=17640 CPUtime=0.09
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 1995 0 0 0 8 1 0 0 16 0 4 0 109136374 18063360 3929 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=17640 CPUtime=0.09
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 1897 0 0 0 8 1 0 0 16 0 4 0 109136374 18063360 3929 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 17640

[startup+0.301351 s]
/proc/loadavg: 1.99 1.97 1.70 3/64 11257
/proc/meminfo: memFree=1649848/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=18600 CPUtime=0.57
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 5844 0 0 0 53 4 0 0 18 0 4 0 109136374 19046400 4225 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 4650 4225 70 163 0 4485 0
[pid=11257/tid=11258] ppid=11255 vsize=18600 CPUtime=0
/proc/11257/task/11258/stat : 11258 (satake) R 11255 11257 10950 0 -1 4194368 271 0 0 0 0 0 0 0 17 0 4 0 109136374 19046400 4225 1992294400 134512640 135180984 4294956208 18446744073709551615 134551931 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=18600 CPUtime=0.28
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 2798 0 0 0 27 1 0 0 17 0 4 0 109136374 19046400 4225 1992294400 134512640 135180984 4294956208 18446744073709551615 134523667 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=18600 CPUtime=0.28
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 2692 0 0 0 26 2 0 0 16 0 4 0 109136374 19046400 4225 1992294400 134512640 135180984 4294956208 18446744073709551615 134522715 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 18600

[startup+0.701388 s]
/proc/loadavg: 1.99 1.97 1.70 3/64 11257
/proc/meminfo: memFree=1649848/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=18996 CPUtime=1.35
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 6048 0 0 0 120 15 0 0 18 0 4 0 109136374 19451904 4429 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 4749 4429 70 163 0 4584 0
[pid=11257/tid=11258] ppid=11255 vsize=18996 CPUtime=0.06
/proc/11257/task/11258/stat : 11258 (satake) R 11255 11257 10950 0 -1 4194368 293 0 0 0 0 6 0 0 17 0 4 0 109136374 19451904 4429 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11259] ppid=11255 vsize=18996 CPUtime=0.64
/proc/11257/task/11259/stat : 11259 (satake) S 11255 11257 10950 0 -1 4194368 2888 0 0 0 60 4 0 0 15 0 4 0 109136374 19451904 4429 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=18996 CPUtime=0.62
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 2784 0 0 0 58 4 0 0 16 0 4 0 109136374 19451904 4429 1992294400 134512640 135180984 4294956208 18446744073709551615 134532460 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 18996

[startup+1.50147 s]
/proc/loadavg: 1.99 1.97 1.70 4/68 11261
/proc/meminfo: memFree=1631896/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=21440 CPUtime=2.92
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 6278 0 0 0 252 40 0 0 18 0 4 0 109136374 21954560 4659 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 5360 4659 70 163 0 5195 0
[pid=11257/tid=11258] ppid=11255 vsize=21440 CPUtime=0.23
/proc/11257/task/11258/stat : 11258 (satake) R 11255 11257 10950 0 -1 4194368 352 0 0 0 5 18 0 0 17 0 4 0 109136374 21954560 4659 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=21440 CPUtime=1.36
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 2961 0 0 0 126 10 0 0 16 0 4 0 109136374 21954560 4659 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=21440 CPUtime=1.3
/proc/11257/task/11260/stat : 11260 (satake) S 11255 11257 10950 0 -1 4194368 2882 0 0 0 120 10 0 0 16 0 4 0 109136374 21954560 4659 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) 21440

[startup+3.10163 s]
/proc/loadavg: 1.99 1.97 1.70 4/68 11261
/proc/meminfo: memFree=1630488/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=22108 CPUtime=6.07
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 6718 0 0 0 524 83 0 0 18 0 4 0 109136374 22638592 5099 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 5527 5099 70 163 0 5362 0
[pid=11257/tid=11258] ppid=11255 vsize=22108 CPUtime=0.5
/proc/11257/task/11258/stat : 11258 (satake) R 11255 11257 10950 0 -1 4194368 443 0 0 0 10 40 0 0 17 0 4 0 109136374 22638592 5099 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=22108 CPUtime=2.82
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 3132 0 0 0 261 21 0 0 16 0 4 0 109136374 22638592 5099 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=22108 CPUtime=2.73
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 3060 0 0 0 252 21 0 0 16 0 4 0 109136374 22638592 5099 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 22108

[startup+6.30295 s]
/proc/loadavg: 1.99 1.97 1.70 4/68 11261
/proc/meminfo: memFree=1626648/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=26616 CPUtime=12.39
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 7626 0 0 0 1088 151 0 0 18 0 4 0 109136374 27254784 6007 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 6654 6007 70 163 0 6489 0
[pid=11257/tid=11258] ppid=11255 vsize=26616 CPUtime=0.96
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 610 0 0 0 21 75 0 0 16 0 4 0 109136374 27254784 6007 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=26616 CPUtime=5.74
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 3550 0 0 0 538 36 0 0 16 0 4 0 109136374 27254784 6007 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=26616 CPUtime=5.66
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 3383 0 0 0 528 38 0 0 17 0 4 0 109136374 27254784 6007 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 26616

[startup+12.7028 s]
/proc/loadavg: 1.99 1.97 1.70 3/68 11261
/proc/meminfo: memFree=1620384/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=31236 CPUtime=25.12
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 9043 0 0 0 2293 219 0 0 18 0 4 0 109136374 31985664 7424 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 7809 7424 70 163 0 7644 0
[pid=11257/tid=11258] ppid=11255 vsize=31236 CPUtime=1.39
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 756 0 0 0 32 107 0 0 16 0 4 0 109136374 31985664 7424 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=31236 CPUtime=11.9
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 4198 0 0 0 1134 56 0 0 17 0 4 0 109136374 31985664 7424 1992294400 134512640 135180984 4294956208 18446744073709551615 134532464 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=31236 CPUtime=11.82
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 4006 0 0 0 1127 55 0 0 18 0 4 0 109136374 31985664 7424 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 31236

[startup+25.5019 s]
/proc/loadavg: 1.99 1.97 1.71 3/68 11261
/proc/meminfo: memFree=1610912/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=41824 CPUtime=50.62
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 11383 0 0 0 4744 318 0 0 18 0 4 0 109136374 42827776 9764 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 10456 9764 70 163 0 10291 0
[pid=11257/tid=11258] ppid=11255 vsize=41824 CPUtime=1.96
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 977 0 0 0 43 153 0 0 16 0 4 0 109136374 42827776 9764 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=41824 CPUtime=24.33
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 5377 0 0 0 2349 84 0 0 18 0 4 0 109136374 42827776 9764 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=41824 CPUtime=24.32
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 4946 0 0 0 2352 80 0 0 16 0 4 0 109136374 42827776 9764 1992294400 134512640 135180984 4294956208 18446744073709551615 134519095 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 41824

[startup+51.1014 s]
/proc/loadavg: 1.99 1.97 1.71 3/68 11261
/proc/meminfo: memFree=1598944/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=52864 CPUtime=101.69
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 14355 0 0 0 9745 424 0 0 18 0 4 0 109136374 54132736 12736 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 13216 12736 70 163 0 13051 0
[pid=11257/tid=11258] ppid=11255 vsize=52864 CPUtime=2.59
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 1187 0 0 0 59 200 0 0 16 0 4 0 109136374 54132736 12736 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11257/tid=11259] ppid=11255 vsize=52864 CPUtime=49.55
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 6904 0 0 0 4839 116 0 0 18 0 4 0 109136374 54132736 12736 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=52864 CPUtime=49.53
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 6181 0 0 0 4846 107 0 0 21 0 4 0 109136374 54132736 12736 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 52864

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.73 3/68 11261
/proc/meminfo: memFree=1580128/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=71572 CPUtime=203.87
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 18986 0 0 0 19807 580 0 0 18 0 4 0 109136374 73289728 17367 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 17893 17367 70 163 0 17728 0
[pid=11257/tid=11258] ppid=11255 vsize=71572 CPUtime=3.51
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 1498 0 0 0 82 269 0 0 16 0 4 0 109136374 73289728 17367 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=71572 CPUtime=100.23
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 8821 0 0 0 9865 158 0 0 25 0 4 0 109136374 73289728 17367 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=71572 CPUtime=100.09
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 8584 0 0 0 9858 151 0 0 25 0 4 0 109136374 73289728 17367 1992294400 134512640 135180984 4294956208 18446744073709551615 134525180 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 71572

[startup+162.302 s]
/proc/loadavg: 2.05 1.99 1.75 3/68 11261
/proc/meminfo: memFree=1559712/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=92872 CPUtime=323.59
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 24128 0 0 0 31634 725 0 0 18 0 4 0 109136374 95100928 22509 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 23218 22509 70 163 0 23053 0
[pid=11257/tid=11258] ppid=11255 vsize=92872 CPUtime=4.34
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 1781 0 0 0 102 332 0 0 16 0 4 0 109136374 95100928 22509 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=92872 CPUtime=159.79
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 11171 0 0 0 15781 198 0 0 25 0 4 0 109136374 95100928 22509 1992294400 134512640 135180984 4294956208 18446744073709551615 134528514 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=92872 CPUtime=159.43
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 11093 0 0 0 15750 193 0 0 20 0 4 0 109136374 95100928 22509 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.59
Current children cumulated vsize (KiB) 92872

[startup+222.301 s]
/proc/loadavg: 2.01 1.99 1.76 3/68 11261
/proc/meminfo: memFree=1543840/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=108348 CPUtime=443.32
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 28028 0 0 0 43492 840 0 0 18 0 4 0 109136374 110948352 26409 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 27087 26409 70 163 0 26922 0
[pid=11257/tid=11258] ppid=11255 vsize=108348 CPUtime=5.02
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 2003 0 0 0 120 382 0 0 16 0 4 0 109136374 110948352 26409 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11257/tid=11259] ppid=11255 vsize=108348 CPUtime=219.44
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 12977 0 0 0 21712 232 0 0 25 0 4 0 109136374 110948352 26409 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=108348 CPUtime=218.84
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 12965 0 0 0 21659 225 0 0 25 0 4 0 109136374 110948352 26409 1992294400 134512640 135180984 4294956208 18446744073709551615 134518667 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.32
Current children cumulated vsize (KiB) 108348

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.77 3/68 11261
/proc/meminfo: memFree=1529056/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=123856 CPUtime=563.06
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 31746 0 0 0 55359 947 0 0 18 0 4 0 109136374 126828544 30127 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 30964 30127 70 163 0 30799 0
[pid=11257/tid=11258] ppid=11255 vsize=123856 CPUtime=5.64
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 2213 0 0 0 135 429 0 0 16 0 4 0 109136374 126828544 30127 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11257/tid=11259] ppid=11255 vsize=123856 CPUtime=279.09
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 14863 0 0 0 27646 263 0 0 18 0 4 0 109136374 126828544 30127 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=123856 CPUtime=278.31
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 14587 0 0 0 27577 254 0 0 25 0 4 0 109136374 126828544 30127 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 123856

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.78 3/68 11261
/proc/meminfo: memFree=1515808/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=137552 CPUtime=682.77
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 35027 0 0 0 67201 1076 0 0 18 0 4 0 109136374 140853248 33408 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 34388 33408 70 163 0 34223 0
[pid=11257/tid=11258] ppid=11255 vsize=137552 CPUtime=6.36
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 2463 0 0 0 151 485 0 0 16 0 4 0 109136374 140853248 33408 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11257/tid=11259] ppid=11255 vsize=137552 CPUtime=338.64
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 16605 0 0 0 33560 304 0 0 25 0 4 0 109136374 140853248 33408 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=137552 CPUtime=337.75
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 15876 0 0 0 33489 286 0 0 22 0 4 0 109136374 140853248 33408 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.77
Current children cumulated vsize (KiB) 137552

[startup+402.301 s]
/proc/loadavg: 2.07 2.00 1.80 3/68 11261
/proc/meminfo: memFree=1502304/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=151064 CPUtime=802.51
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 38443 0 0 0 79098 1153 0 0 18 0 4 0 109136374 154689536 36824 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 37766 36824 70 163 0 37601 0
[pid=11257/tid=11258] ppid=11255 vsize=151064 CPUtime=6.8
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 2609 0 0 0 161 519 0 0 16 0 4 0 109136374 154689536 36824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=151064 CPUtime=398.23
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 18325 0 0 0 39497 326 0 0 18 0 4 0 109136374 154689536 36824 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=151064 CPUtime=397.47
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 17426 0 0 0 39439 308 0 0 25 0 4 0 109136374 154689536 36824 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.51
Current children cumulated vsize (KiB) 151064

[startup+462.301 s]
/proc/loadavg: 2.02 2.00 1.81 3/68 11261
/proc/meminfo: memFree=1490080/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=162780 CPUtime=922.26
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 41445 0 0 0 91012 1214 0 0 18 0 4 0 109136374 166686720 39826 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 40695 39826 70 163 0 40530 0
[pid=11257/tid=11258] ppid=11255 vsize=162780 CPUtime=7.11
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 2730 0 0 0 168 543 0 0 16 0 4 0 109136374 166686720 39826 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=162780 CPUtime=457.83
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 19984 0 0 0 45439 344 0 0 25 0 4 0 109136374 166686720 39826 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=162780 CPUtime=457.29
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 18648 0 0 0 45403 326 0 0 25 0 4 0 109136374 166686720 39826 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.26
Current children cumulated vsize (KiB) 162780

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.82 3/68 11261
/proc/meminfo: memFree=1480864/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=172332 CPUtime=1042
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 43766 0 0 0 102928 1272 0 0 18 0 4 0 109136374 176467968 42147 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 43083 42147 70 163 0 42918 0
[pid=11257/tid=11258] ppid=11255 vsize=172332 CPUtime=7.43
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 2837 0 0 0 176 567 0 0 16 0 4 0 109136374 176467968 42147 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=172332 CPUtime=517.44
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 21178 0 0 0 51383 361 0 0 25 0 4 0 109136374 176467968 42147 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=172332 CPUtime=517.11
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 19668 0 0 0 51368 343 0 0 25 0 4 0 109136374 176467968 42147 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042
Current children cumulated vsize (KiB) 172332

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/68 11261
/proc/meminfo: memFree=1477984/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=174868 CPUtime=1161.67
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 44464 0 0 0 114707 1460 0 0 18 0 4 0 109136374 179064832 42845 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 43717 42845 70 163 0 43552 0
[pid=11257/tid=11258] ppid=11255 vsize=174868 CPUtime=8.53
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 3128 0 0 0 200 653 0 0 16 0 4 0 109136374 179064832 42845 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11257/tid=11259] ppid=11255 vsize=174868 CPUtime=576.65
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 21457 0 0 0 57254 411 0 0 25 0 4 0 109136374 179064832 42845 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11257/tid=11260] ppid=11255 vsize=174868 CPUtime=576.45
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 19796 0 0 0 57251 394 0 0 25 0 4 0 109136374 179064832 42845 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.67
Current children cumulated vsize (KiB) 174868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.00 2.00 1.83 3/68 11261
/proc/meminfo: memFree=1477088/2055920 swapFree=4182076/4192956
[pid=11257] ppid=11255 vsize=175892 CPUtime=1200.19
/proc/11257/stat : 11257 (satake) S 11255 11257 10950 0 -1 4194304 44676 0 0 0 118504 1515 0 0 18 0 4 0 109136374 180113408 43057 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11257/statm: 43973 43057 70 163 0 43808 0
[pid=11257/tid=11258] ppid=11255 vsize=175892 CPUtime=8.85
/proc/11257/task/11258/stat : 11258 (satake) S 11255 11257 10950 0 -1 4194368 3238 0 0 0 207 678 0 0 16 0 4 0 109136374 180113408 43057 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11257/tid=11259] ppid=11255 vsize=175892 CPUtime=595.76
/proc/11257/task/11259/stat : 11259 (satake) R 11255 11257 10950 0 -1 4194368 21457 0 0 0 59148 428 0 0 25 0 4 0 109136374 180113408 43057 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11257/tid=11260] ppid=11255 vsize=175892 CPUtime=595.55
/proc/11257/task/11260/stat : 11260 (satake) R 11255 11257 10950 0 -1 4194368 19898 0 0 0 59148 407 0 0 21 0 4 0 109136374 180113408 43057 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 175892

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.647
CPU time (s): 1200.24
CPU user time (s): 1185.06
CPU system time (s): 15.1827
CPU usage (%): 199.492
Max. virtual memory (cumulated for all children) (KiB): 175892

deleting IPC queue 1769472
deleting IPC queue 1802241
deleting IPC queue 1835010
deleting IPC queue 1867779
deleting IPC queue 1900548
deleting IPC queue 1933317
deleting IPC queue 1966086
deleting IPC queue 1998855
deleting IPC queue 2031624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1185.06
system time used= 15.1827
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44676
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= 1217057
involuntary context switches= 1216891

runsolver used 0.547916 second user time and 1.65475 second system time

The end

Launcher Data 

Begin job on node70 at 2009-04-27 07:45:03
IDJOB=1736290
IDBENCH=71621
IDSOLVER=553
FILE ID=node70/1736290-1240811103
PBS_JOBID= 9187424
Free space on /tmp= 66528 MiB

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

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

MD5SUM BENCH= 545e53eb1c10ff91f4e2e16d7a8c9f9f
RANDOM SEED=208177881

node70.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.213
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.213
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:       1650264 kB
Buffers:         51284 kB
Cached:         286408 kB
SwapCached:       5028 kB
Active:         170736 kB
Inactive:       175756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1650264 kB
SwapTotal:     4192956 kB
SwapFree:      4182076 kB
Dirty:            3912 kB
Writeback:           0 kB
Mapped:          14956 kB
Slab:            45248 kB
Committed_AS:   410232 kB
PageTables:       1372 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= 66528 MiB
End job on node70 at 2009-04-27 07:55:07