Trace number 1577504

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.14 601.657

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
MD5SUMeb71c8cb3482ee70f1c98af8944179ca
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark117.171
Satisfiable
(Un)Satisfiability was proved
Number of variables250567
Number of clauses1183233
Sum of the clauses size3415429
Maximum clause length11
Minimum clause length1
Number of clauses of size 126677
Number of clauses of size 2325257
Number of clauses of size 3631008
Number of clauses of size 4157675
Number of clauses of size 542377
Number of clauses of size over 5239

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 12223
/proc/meminfo: memFree=612408/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=3592 CPUtime=0
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 721 0 0 0 0 0 0 0 18 0 4 0 128221183 3678208 706 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 898 712 65 163 0 733 0
[pid=12223/tid=12224] ppid=12221 vsize=3592 CPUtime=0
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128221183 3678208 731 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=3592 CPUtime=0
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 533 0 0 0 0 0 0 0 19 0 4 0 128221183 3678208 741 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=3592 CPUtime=0
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 133 0 0 0 0 0 0 0 19 0 4 0 128221183 3678208 742 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.041305 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 12223
/proc/meminfo: memFree=612408/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=33800 CPUtime=0.07
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 7591 0 0 0 0 7 0 0 18 0 4 0 128221183 34611200 7576 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 8450 7576 65 163 0 8285 0
[pid=12223/tid=12224] ppid=12221 vsize=33800 CPUtime=0
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128221183 34611200 7576 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=33800 CPUtime=0.03
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 4118 0 0 0 0 3 0 0 18 0 4 0 128221183 34611200 7576 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=33800 CPUtime=0.03
/proc/12223/task/12226/stat : 12226 (satake) D 12221 12223 11806 0 -1 4194368 3383 0 0 0 0 3 0 0 20 0 4 0 128221183 34611200 7576 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 33800

[startup+0.101922 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 12223
/proc/meminfo: memFree=612408/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=72268 CPUtime=0.17
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 14540 0 0 0 6 11 0 0 18 0 4 0 128221183 74002432 14509 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 18067 14509 65 163 0 17902 0
[pid=12223/tid=12224] ppid=12221 vsize=72268 CPUtime=0
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128221183 74002432 14509 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=72268 CPUtime=0.09
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 7447 0 0 0 3 6 0 0 17 0 4 0 128221183 74002432 14509 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=72268 CPUtime=0.08
/proc/12223/task/12226/stat : 12226 (satake) D 12221 12223 11806 0 -1 4194368 7003 0 0 0 3 5 0 0 17 0 4 0 128221183 74002432 14509 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 72268

[startup+0.301524 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 12223
/proc/meminfo: memFree=612408/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=111196 CPUtime=0.57
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 22618 0 0 0 40 17 0 0 18 0 4 0 128221183 113864704 22587 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 27799 22588 65 163 0 27634 0
[pid=12223/tid=12224] ppid=12221 vsize=111196 CPUtime=0
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128221183 113864704 22588 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=111196 CPUtime=0.29
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 11419 0 0 0 20 9 0 0 16 0 4 0 128221183 113864704 22589 1992294400 134512640 135180984 4294956208 18446744073709551615 134535095 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=111196 CPUtime=0.27
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 11111 0 0 0 19 8 0 0 16 0 4 0 128221183 113864704 22589 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 111196

[startup+0.702757 s]
/proc/loadavg: 1.00 1.00 1.03 3/64 12223
/proc/meminfo: memFree=612408/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=145088 CPUtime=1.37
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 33933 0 0 0 113 24 0 0 18 0 4 0 128221183 148570112 33902 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 36272 33903 65 163 0 36107 0
[pid=12223/tid=12224] ppid=12221 vsize=145088 CPUtime=0
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128221183 148570112 33903 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=145088 CPUtime=0.69
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 17167 0 0 0 56 13 0 0 15 0 4 0 128221183 148570112 33904 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=145088 CPUtime=0.68
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 16678 0 0 0 57 11 0 0 16 0 4 0 128221183 148570112 33904 1992294400 134512640 135180984 4294956208 18446744073709551615 134513805 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 145088

[startup+1.50184 s]
/proc/loadavg: 1.08 1.02 1.04 3/68 12227
/proc/meminfo: memFree=447320/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=186584 CPUtime=2.95
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 44767 0 0 0 262 33 0 0 18 0 4 0 128221183 191062016 44736 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 46646 44736 66 163 0 46481 0
[pid=12223/tid=12224] ppid=12221 vsize=186584 CPUtime=0
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128221183 191062016 44736 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=186584 CPUtime=1.47
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 22432 0 0 0 130 17 0 0 17 0 4 0 128221183 191062016 44736 1992294400 134512640 135180984 4294956208 18446744073709551615 134520796 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=186584 CPUtime=1.47
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 22245 0 0 0 132 15 0 0 17 0 4 0 128221183 191062016 44736 1992294400 134512640 135180984 4294956208 18446744073709551615 134520874 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 186584

[startup+3.10202 s]
/proc/loadavg: 1.08 1.02 1.04 3/68 12227
/proc/meminfo: memFree=432216/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=157032 CPUtime=6.13
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 49013 0 0 0 574 39 0 0 18 0 4 0 128221183 160800768 37422 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 39258 37422 70 163 0 39093 0
[pid=12223/tid=12224] ppid=12221 vsize=157032 CPUtime=0.11
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 3868 0 0 0 7 4 0 0 16 0 4 0 128221183 160800768 37422 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=157032 CPUtime=2.98
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 22632 0 0 0 280 18 0 0 17 0 4 0 128221183 160800768 37422 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=157032 CPUtime=3.01
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 22430 0 0 0 285 16 0 0 16 0 4 0 128221183 160800768 37422 1992294400 134512640 135180984 4294956208 18446744073709551615 134520855 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 157032

[startup+6.30236 s]
/proc/loadavg: 1.15 1.03 1.04 3/68 12227
/proc/meminfo: memFree=461976/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=158192 CPUtime=12.5
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 49149 0 0 0 1188 62 0 0 18 0 4 0 128221183 161988608 37558 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 39548 37558 70 163 0 39383 0
[pid=12223/tid=12224] ppid=12221 vsize=158192 CPUtime=0.23
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 3872 0 0 0 9 14 0 0 16 0 4 0 128221183 161988608 37558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=158192 CPUtime=6.09
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 22703 0 0 0 584 25 0 0 21 0 4 0 128221183 161988608 37558 1992294400 134512640 135180984 4294956208 18446744073709551615 134520787 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=158192 CPUtime=6.17
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 22491 0 0 0 594 23 0 0 19 0 4 0 128221183 161988608 37558 1992294400 134512640 135180984 4294956208 18446744073709551615 134520804 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 158192

[startup+12.701 s]
/proc/loadavg: 1.22 1.05 1.05 3/68 12227
/proc/meminfo: memFree=461976/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=158192 CPUtime=25.27
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 49149 0 0 0 2465 62 0 0 18 0 4 0 128221183 161988608 37558 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 39548 37558 70 163 0 39383 0
[pid=12223/tid=12224] ppid=12221 vsize=158192 CPUtime=0.23
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 3872 0 0 0 9 14 0 0 16 0 4 0 128221183 161988608 37558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=158192 CPUtime=12.46
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 22703 0 0 0 1221 25 0 0 25 0 4 0 128221183 161988608 37558 1992294400 134512640 135180984 4294956208 18446744073709551615 134520871 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=158192 CPUtime=12.57
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 22491 0 0 0 1234 23 0 0 25 0 4 0 128221183 161988608 37558 1992294400 134512640 135180984 4294956208 18446744073709551615 134520807 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 158192

[startup+25.5022 s]
/proc/loadavg: 1.39 1.09 1.06 3/68 12227
/proc/meminfo: memFree=459608/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=160884 CPUtime=50.74
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 49875 0 0 0 4846 228 0 0 18 0 4 0 128221183 164745216 38284 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 40221 38284 70 163 0 40056 0
[pid=12223/tid=12224] ppid=12221 vsize=160884 CPUtime=1.24
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 4006 0 0 0 32 92 0 0 15 0 4 0 128221183 164745216 38284 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=160884 CPUtime=24.69
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 22999 0 0 0 2402 67 0 0 16 0 4 0 128221183 164745216 38284 1992294400 134512640 135180984 4294956208 18446744073709551615 134528230 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=160884 CPUtime=24.78
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 22787 0 0 0 2411 67 0 0 16 0 4 0 128221183 164745216 38284 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 160884

[startup+51.1021 s]
/proc/loadavg: 1.66 1.18 1.09 3/68 12227
/proc/meminfo: memFree=452248/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=167488 CPUtime=101.74
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 51722 0 0 0 9728 446 0 0 18 0 4 0 128221183 171507712 40131 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 41872 40131 70 163 0 41707 0
[pid=12223/tid=12224] ppid=12221 vsize=167488 CPUtime=2.51
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 4388 0 0 0 59 192 0 0 16 0 4 0 128221183 171507712 40131 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=167488 CPUtime=49.55
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 23764 0 0 0 4830 125 0 0 21 0 4 0 128221183 171507712 40131 1992294400 134512640 135180984 4294956208 18446744073709551615 134523660 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=167488 CPUtime=49.66
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 23487 0 0 0 4838 128 0 0 20 0 4 0 128221183 171507712 40131 1992294400 134512640 135180984 4294956208 18446744073709551615 134528982 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 167488

[startup+102.307 s]
/proc/loadavg: 1.92 1.32 1.14 3/68 12227
/proc/meminfo: memFree=439896/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=180192 CPUtime=203.86
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 54788 0 0 0 19629 757 0 0 18 0 4 0 128221183 184516608 43197 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 45048 43197 70 163 0 44883 0
[pid=12223/tid=12224] ppid=12221 vsize=180192 CPUtime=4.33
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 4966 0 0 0 97 336 0 0 16 0 4 0 128221183 184516608 43197 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=180192 CPUtime=99.75
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 25133 0 0 0 9767 208 0 0 18 0 4 0 128221183 184516608 43197 1992294400 134512640 135180984 4294956208 18446744073709551615 134523791 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=180192 CPUtime=99.77
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 24606 0 0 0 9765 212 0 0 24 0 4 0 128221183 184516608 43197 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 180192

[startup+162.303 s]
/proc/loadavg: 1.97 1.44 1.19 3/68 12227
/proc/meminfo: memFree=428376/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=191456 CPUtime=323.55
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 57651 0 0 0 31318 1037 0 0 18 0 4 0 128221183 196050944 46060 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 47864 46060 70 163 0 47699 0
[pid=12223/tid=12224] ppid=12221 vsize=191456 CPUtime=5.99
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 5524 0 0 0 136 463 0 0 16 0 4 0 128221183 196050944 46060 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=191456 CPUtime=158.72
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 26208 0 0 0 15593 279 0 0 19 0 4 0 128221183 196050944 46060 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=191456 CPUtime=158.81
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 25836 0 0 0 15587 294 0 0 19 0 4 0 128221183 196050944 46060 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.55
Current children cumulated vsize (KiB) 191456

[startup+222.302 s]
/proc/loadavg: 1.99 1.54 1.24 4/68 12227
/proc/meminfo: memFree=418392/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=202032 CPUtime=443.24
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 60141 0 0 0 42989 1335 0 0 18 0 4 0 128221183 206880768 48550 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 50508 48550 70 163 0 50343 0
[pid=12223/tid=12224] ppid=12221 vsize=202032 CPUtime=7.74
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 6178 0 0 0 175 599 0 0 16 0 4 0 128221183 206880768 48550 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=202032 CPUtime=217.67
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 26851 0 0 0 21405 362 0 0 25 0 4 0 128221183 206880768 48550 1992294400 134512640 135180984 4294956208 18446744073709551615 134520902 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=202032 CPUtime=217.8
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 27029 0 0 0 21408 372 0 0 25 0 4 0 128221183 206880768 48550 1992294400 134512640 135180984 4294956208 18446744073709551615 134518247 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.24
Current children cumulated vsize (KiB) 202032

[startup+282.302 s]
/proc/loadavg: 1.99 1.62 1.29 3/68 12227
/proc/meminfo: memFree=406936/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=214164 CPUtime=562.94
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 62987 0 0 0 54757 1537 0 0 18 0 4 0 128221183 219303936 51396 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 53541 51396 70 163 0 53376 0
[pid=12223/tid=12224] ppid=12221 vsize=214164 CPUtime=8.92
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 6631 0 0 0 201 691 0 0 15 0 4 0 128221183 219303936 51396 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=214164 CPUtime=276.95
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 28166 0 0 0 27271 424 0 0 21 0 4 0 128221183 219303936 51396 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=214164 CPUtime=277.06
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 28107 0 0 0 27285 421 0 0 18 0 4 0 128221183 219303936 51396 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.94
Current children cumulated vsize (KiB) 214164

[startup+342.303 s]
/proc/loadavg: 2.04 1.70 1.33 3/68 12227
/proc/meminfo: memFree=398936/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=222836 CPUtime=682.64
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 64967 0 0 0 66544 1720 0 0 18 0 4 0 128221183 228184064 53376 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 55709 53376 70 163 0 55544 0
[pid=12223/tid=12224] ppid=12221 vsize=222836 CPUtime=10
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7015 0 0 0 226 774 0 0 16 0 4 0 128221183 228184064 53376 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=222836 CPUtime=336.3
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 28701 0 0 0 33152 478 0 0 25 0 4 0 128221183 228184064 53376 1992294400 134512640 135180984 4294956208 18446744073709551615 134528552 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=222836 CPUtime=336.33
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 29168 0 0 0 33166 467 0 0 19 0 4 0 128221183 228184064 53376 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.64
Current children cumulated vsize (KiB) 222836

[startup+402.303 s]
/proc/loadavg: 2.05 1.77 1.38 3/68 12227
/proc/meminfo: memFree=389784/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=231080 CPUtime=802.36
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 67267 0 0 0 78363 1873 0 0 18 0 4 0 128221183 236625920 55676 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 57770 55676 70 163 0 57605 0
[pid=12223/tid=12224] ppid=12221 vsize=231080 CPUtime=10.87
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7324 0 0 0 245 842 0 0 16 0 4 0 128221183 236625920 55676 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=231080 CPUtime=395.81
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 29721 0 0 0 39054 527 0 0 25 0 4 0 128221183 236625920 55676 1992294400 134512640 135180984 4294956208 18446744073709551615 134528734 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12223/tid=12226] ppid=12221 vsize=231080 CPUtime=395.67
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 30139 0 0 0 39063 504 0 0 19 0 4 0 128221183 236625920 55676 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.36
Current children cumulated vsize (KiB) 231080

[startup+462.301 s]
/proc/loadavg: 2.02 1.81 1.41 3/68 12227
/proc/meminfo: memFree=381208/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=240624 CPUtime=922.07
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 69400 0 0 0 90161 2046 0 0 18 0 4 0 128221183 246398976 57809 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 60156 57809 70 163 0 59991 0
[pid=12223/tid=12224] ppid=12221 vsize=240624 CPUtime=11.85
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7728 0 0 0 266 919 0 0 16 0 4 0 128221183 246398976 57809 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=240624 CPUtime=455.2
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 30650 0 0 0 44947 573 0 0 19 0 4 0 128221183 246398976 57809 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=240624 CPUtime=454.99
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 30939 0 0 0 44947 552 0 0 25 0 4 0 128221183 246398976 57809 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.07
Current children cumulated vsize (KiB) 240624

[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.45 3/68 12227
/proc/meminfo: memFree=372120/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=249428 CPUtime=1041.81
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 71683 0 0 0 102039 2142 0 0 18 0 4 0 128221183 255414272 60092 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 62357 60092 70 163 0 62192 0
[pid=12223/tid=12224] ppid=12221 vsize=249428 CPUtime=12.43
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 7968 0 0 0 279 964 0 0 16 0 4 0 128221183 255414272 60092 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=249428 CPUtime=514.69
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 31746 0 0 0 50871 598 0 0 25 0 4 0 128221183 255414272 60092 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=249428 CPUtime=514.68
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 31886 0 0 0 50889 579 0 0 25 0 4 0 128221183 255414272 60092 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.81
Current children cumulated vsize (KiB) 249428

[startup+582.302 s]
/proc/loadavg: 2.00 1.87 1.48 3/68 12227
/proc/meminfo: memFree=364568/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=256248 CPUtime=1161.56
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 73561 0 0 0 113924 2232 0 0 18 0 4 0 128221183 262397952 61970 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 64062 61970 70 163 0 63897 0
[pid=12223/tid=12224] ppid=12221 vsize=256248 CPUtime=12.93
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 8178 0 0 0 290 1003 0 0 16 0 4 0 128221183 262397952 61970 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12223/tid=12225] ppid=12221 vsize=256248 CPUtime=574.2
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 32509 0 0 0 56800 620 0 0 25 0 4 0 128221183 262397952 61970 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=256248 CPUtime=574.39
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 32791 0 0 0 56832 607 0 0 25 0 4 0 128221183 262397952 61970 1992294400 134512640 135180984 4294956208 18446744073709551615 134532420 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.56
Current children cumulated vsize (KiB) 256248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.00 1.87 1.49 3/68 12227
/proc/meminfo: memFree=360600/2055920 swapFree=4192812/4192956
[pid=12223] ppid=12221 vsize=259932 CPUtime=1200.08
/proc/12223/stat : 12223 (satake) S 12221 12223 11806 0 -1 4194304 74515 0 0 0 117729 2279 0 0 18 0 4 0 128221183 266170368 62924 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12223/statm: 64983 62924 70 163 0 64818 0
[pid=12223/tid=12224] ppid=12221 vsize=259932 CPUtime=13.18
/proc/12223/task/12224/stat : 12224 (satake) S 12221 12223 11806 0 -1 4194368 8292 0 0 0 296 1022 0 0 16 0 4 0 128221183 266170368 62924 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12223/tid=12225] ppid=12221 vsize=259932 CPUtime=593.32
/proc/12223/task/12225/stat : 12225 (satake) R 12221 12223 11806 0 -1 4194368 32819 0 0 0 58697 635 0 0 25 0 4 0 128221183 266170368 62924 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12223/tid=12226] ppid=12221 vsize=259932 CPUtime=593.56
/proc/12223/task/12226/stat : 12226 (satake) R 12221 12223 11806 0 -1 4194368 33321 0 0 0 58735 621 0 0 25 0 4 0 128221183 266170368 62924 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 259932

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.657
CPU time (s): 1200.14
CPU user time (s): 1177.31
CPU system time (s): 22.8305
CPU usage (%): 199.472
Max. virtual memory (cumulated for all children) (KiB): 259932

deleting IPC queue 884736
deleting IPC queue 917505
deleting IPC queue 950274
deleting IPC queue 983043
deleting IPC queue 1015812
deleting IPC queue 1048581
deleting IPC queue 1081350
deleting IPC queue 1114119
deleting IPC queue 1146888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1177.31
system time used= 22.8305
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74515
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= 1927289
involuntary context switches= 1920968

runsolver used 0.558915 second user time and 1.64775 second system time

The end

Launcher Data 

Begin job on node59 at 2009-04-29 12:45:40
IDJOB=1577504
IDBENCH=70960
IDSOLVER=553
FILE ID=node59/1577504-1241001939
PBS_JOBID= 9204811
Free space on /tmp= 66408 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L80_coli.sat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577504-1241001939/watcher-1577504-1241001939 -o /tmp/evaluation-result-1577504-1241001939/solver-1577504-1241001939 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1577504-1241001939.cnf 3 1200

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

MD5SUM BENCH= eb71c8cb3482ee70f1c98af8944179ca
RANDOM SEED=103029120

node59.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.240
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.240
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:        612824 kB
Buffers:         69648 kB
Cached:        1284504 kB
SwapCached:          0 kB
Active:         273256 kB
Inactive:      1094804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        612824 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           23876 kB
Writeback:           0 kB
Mapped:          23724 kB
Slab:            60992 kB
Committed_AS:   587428 kB
PageTables:       1456 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= 66408 MiB
End job on node59 at 2009-04-29 12:55:44