Trace number 1577660

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.09 601.655

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
MD5SUM7fc9b20f0efe1e9457bd61eba8178674
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark101.951
Satisfiable
(Un)Satisfiability was proved
Number of variables218792
Number of clauses1020908
Sum of the clauses size2941934
Maximum clause length11
Minimum clause length1
Number of clauses of size 123977
Number of clauses of size 2286047
Number of clauses of size 3535908
Number of clauses of size 4137995
Number of clauses of size 536772
Number of clauses of size over 5209

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-1577660-1241003608/watcher-1577660-1241003608 -o /tmp/evaluation-result-1577660-1241003608/solver-1577660-1241003608 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1577660-1241003608.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.92 0.95 0.90 3/65 12075
/proc/meminfo: memFree=1071688/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=5120 CPUtime=0
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 679 0 0 0 0 0 0 0 18 0 4 0 128393615 5242880 664 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 1280 671 65 163 0 1115 0
[pid=12075/tid=12076] ppid=12073 vsize=5120 CPUtime=0
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128393615 5242880 690 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12075/tid=12077] ppid=12073 vsize=5120 CPUtime=0
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 623 0 0 0 0 0 0 0 19 0 4 0 128393615 5242880 698 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=5120 CPUtime=0
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 128393615 5242880 706 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.059688 s]
/proc/loadavg: 0.92 0.95 0.90 3/65 12075
/proc/meminfo: memFree=1071688/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=43236 CPUtime=0.11
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 10436 0 0 0 1 10 0 0 18 0 4 0 128393615 44273664 10421 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 10846 10437 65 163 0 10681 0
[pid=12075/tid=12076] ppid=12073 vsize=43576 CPUtime=0
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128393615 44621824 10445 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12075/tid=12077] ppid=12073 vsize=43576 CPUtime=0.05
/proc/12075/task/12077/stat : 12077 (satake) S 12073 12075 11824 0 -1 4194368 5225 0 0 0 0 5 0 0 16 0 4 0 128393615 44621824 10453 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=44624 CPUtime=0.04
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 5257 0 0 0 0 4 0 0 16 0 4 0 128393615 45694976 10718 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 43236

[startup+0.11399 s]
/proc/loadavg: 0.92 0.95 0.90 3/65 12075
/proc/meminfo: memFree=1071688/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=68836 CPUtime=0.2
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 15086 0 0 0 8 12 0 0 18 0 4 0 128393615 70488064 15016 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 17209 15016 65 163 0 17044 0
[pid=12075/tid=12076] ppid=12073 vsize=68836 CPUtime=0
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128393615 70488064 15016 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12075/tid=12077] ppid=12073 vsize=68836 CPUtime=0.1
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 7511 0 0 0 4 6 0 0 17 0 4 0 128393615 70488064 15016 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=68836 CPUtime=0.09
/proc/12075/task/12078/stat : 12078 (satake) D 12073 12075 11824 0 -1 4194368 7485 0 0 0 4 5 0 0 17 0 4 0 128393615 70488064 15016 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 68836

[startup+0.302876 s]
/proc/loadavg: 0.92 0.95 0.90 3/65 12075
/proc/meminfo: memFree=1071688/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=96556 CPUtime=0.57
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 20758 0 0 0 41 16 0 0 18 0 4 0 128393615 98873344 20688 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 24139 20688 65 163 0 23974 0
[pid=12075/tid=12076] ppid=12073 vsize=96556 CPUtime=0
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128393615 98873344 20688 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12075/tid=12077] ppid=12073 vsize=96556 CPUtime=0.29
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 10224 0 0 0 21 8 0 0 16 0 4 0 128393615 98873344 20689 1992294400 134512640 135180984 4294956208 18446744073709551615 134513744 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=96556 CPUtime=0.27
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 10446 0 0 0 20 7 0 0 15 0 4 0 128393615 98873344 20690 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 96556

[startup+0.702922 s]
/proc/loadavg: 0.92 0.95 0.90 3/65 12075
/proc/meminfo: memFree=1071688/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=138668 CPUtime=1.37
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 31694 0 0 0 113 24 0 0 18 0 4 0 128393615 141996032 31624 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 34667 31625 65 163 0 34502 0
[pid=12075/tid=12076] ppid=12073 vsize=138668 CPUtime=0
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128393615 141996032 31625 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12075/tid=12077] ppid=12073 vsize=138668 CPUtime=0.69
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 15539 0 0 0 56 13 0 0 16 0 4 0 128393615 141996032 31625 1992294400 134512640 135180984 4294956208 18446744073709551615 134513592 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=138668 CPUtime=0.67
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 16067 0 0 0 56 11 0 0 16 0 4 0 128393615 141996032 31626 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 138668

[startup+1.50735 s]
/proc/loadavg: 0.92 0.95 0.90 3/69 12079
/proc/meminfo: memFree=921320/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=167772 CPUtime=2.96
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 38592 0 0 0 267 29 0 0 18 0 4 0 128393615 171798528 38522 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 41943 38522 66 163 0 41778 0
[pid=12075/tid=12076] ppid=12073 vsize=167772 CPUtime=0
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128393615 171798528 38522 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12075/tid=12077] ppid=12073 vsize=167772 CPUtime=1.47
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 19270 0 0 0 132 15 0 0 17 0 4 0 128393615 171798528 38522 1992294400 134512640 135180984 4294956208 18446744073709551615 134520781 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=167772 CPUtime=1.48
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 19232 0 0 0 134 14 0 0 17 0 4 0 128393615 171798528 38522 1992294400 134512640 135180984 4294956208 18446744073709551615 134520865 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 167772

[startup+3.1012 s]
/proc/loadavg: 1.09 0.99 0.92 3/69 12079
/proc/meminfo: memFree=916712/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=142656 CPUtime=6.09
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 42335 0 0 0 570 39 0 0 18 0 4 0 128393615 146079744 32361 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 35664 32361 70 163 0 35499 0
[pid=12075/tid=12076] ppid=12073 vsize=142656 CPUtime=0.1
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 3213 0 0 0 6 4 0 0 16 0 4 0 128393615 146079744 32361 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=142656 CPUtime=3
/proc/12075/task/12077/stat : 12077 (satake) S 12073 12075 11824 0 -1 4194368 19569 0 0 0 282 18 0 0 17 0 4 0 128393615 146079744 32361 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=142656 CPUtime=2.97
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 19470 0 0 0 281 16 0 0 17 0 4 0 128393615 146079744 32361 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 142656

[startup+6.30156 s]
/proc/loadavg: 1.09 0.99 0.92 3/69 12079
/proc/meminfo: memFree=941800/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=142792 CPUtime=12.47
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 42408 0 0 0 1195 52 0 0 18 0 4 0 128393615 146219008 32434 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 35698 32434 70 163 0 35533 0
[pid=12075/tid=12076] ppid=12073 vsize=142792 CPUtime=0.18
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 3232 0 0 0 8 10 0 0 15 0 4 0 128393615 146219008 32434 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12075/tid=12077] ppid=12073 vsize=142792 CPUtime=6.15
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 19596 0 0 0 595 20 0 0 20 0 4 0 128393615 146219008 32434 1992294400 134512640 135180984 4294956208 18446744073709551615 134520798 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12075/tid=12078] ppid=12073 vsize=142792 CPUtime=6.13
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 19497 0 0 0 592 21 0 0 20 0 4 0 128393615 146219008 32434 1992294400 134512640 135180984 4294956208 18446744073709551615 134520807 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 142792

[startup+12.7013 s]
/proc/loadavg: 1.23 1.02 0.93 3/69 12079
/proc/meminfo: memFree=941544/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=142792 CPUtime=25.17
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 42513 0 0 0 2440 77 0 0 18 0 4 0 128393615 146219008 32539 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 35698 32539 70 163 0 35533 0
[pid=12075/tid=12076] ppid=12073 vsize=142792 CPUtime=0.33
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 3238 0 0 0 11 22 0 0 16 0 4 0 128393615 146219008 32539 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=142792 CPUtime=12.47
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 19666 0 0 0 1220 27 0 0 17 0 4 0 128393615 146219008 32539 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12075/tid=12078] ppid=12073 vsize=142792 CPUtime=12.35
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 19526 0 0 0 1208 27 0 0 17 0 4 0 128393615 146219008 32539 1992294400 134512640 135180984 4294956208 18446744073709551615 134528425 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 142792

[startup+25.5028 s]
/proc/loadavg: 1.34 1.05 0.94 3/69 12079
/proc/meminfo: memFree=938280/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=146188 CPUtime=50.61
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 43346 0 0 0 4802 259 0 0 18 0 4 0 128393615 149696512 33372 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 36547 33372 70 163 0 36382 0
[pid=12075/tid=12076] ppid=12073 vsize=146188 CPUtime=1.43
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 3470 0 0 0 36 107 0 0 15 0 4 0 128393615 149696512 33372 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=146188 CPUtime=24.61
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 20074 0 0 0 2387 74 0 0 18 0 4 0 128393615 149696512 33372 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12075/tid=12078] ppid=12073 vsize=146188 CPUtime=24.55
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 19719 0 0 0 2378 77 0 0 16 0 4 0 128393615 149696512 33372 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 146188

[startup+51.1027 s]
/proc/loadavg: 1.64 1.14 0.97 3/69 12079
/proc/meminfo: memFree=931240/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=153948 CPUtime=101.62
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 45139 0 0 0 9685 477 0 0 18 0 4 0 128393615 157642752 35165 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 38487 35165 70 163 0 38322 0
[pid=12075/tid=12076] ppid=12073 vsize=153948 CPUtime=2.7
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 3882 0 0 0 63 207 0 0 16 0 4 0 128393615 157642752 35165 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=153948 CPUtime=49.44
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 20852 0 0 0 4808 136 0 0 18 0 4 0 128393615 157642752 35165 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=153948 CPUtime=49.46
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 20322 0 0 0 4813 133 0 0 25 0 4 0 128393615 157642752 35165 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 153948

[startup+102.306 s]
/proc/loadavg: 1.85 1.29 1.03 3/69 12079
/proc/meminfo: memFree=919464/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=166356 CPUtime=203.73
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 48035 0 0 0 19601 772 0 0 18 0 4 0 128393615 170348544 38061 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 41589 38061 70 163 0 41424 0
[pid=12075/tid=12076] ppid=12073 vsize=166356 CPUtime=4.45
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 4456 0 0 0 101 344 0 0 16 0 4 0 128393615 170348544 38061 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=166356 CPUtime=99.62
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 22086 0 0 0 9745 217 0 0 25 0 4 0 128393615 170348544 38061 1992294400 134512640 135180984 4294956208 18446744073709551615 134528737 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=166356 CPUtime=99.64
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 21410 0 0 0 9754 210 0 0 17 0 4 0 128393615 170348544 38061 1992294400 134512640 135180984 4294956208 18446744073709551615 134532512 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 166356

[startup+162.301 s]
/proc/loadavg: 1.94 1.40 1.08 3/69 12079
/proc/meminfo: memFree=905960/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=180112 CPUtime=323.41
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 51401 0 0 0 31311 1030 0 0 18 0 4 0 128393615 184434688 41427 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 45028 41427 70 163 0 44863 0
[pid=12075/tid=12076] ppid=12073 vsize=180112 CPUtime=5.93
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 4979 0 0 0 133 460 0 0 16 0 4 0 128393615 184434688 41427 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=180112 CPUtime=158.8
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 23564 0 0 0 15589 291 0 0 17 0 4 0 128393615 184434688 41427 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=180112 CPUtime=158.67
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 22775 0 0 0 15588 279 0 0 25 0 4 0 128393615 184434688 41427 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.41
Current children cumulated vsize (KiB) 180112

[startup+222.301 s]
/proc/loadavg: 1.98 1.52 1.14 3/69 12079
/proc/meminfo: memFree=895912/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=189644 CPUtime=443.11
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 53904 0 0 0 43076 1235 0 0 18 0 4 0 128393615 194195456 43930 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 47411 43930 70 163 0 47246 0
[pid=12075/tid=12076] ppid=12073 vsize=189644 CPUtime=7.08
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 5356 0 0 0 158 550 0 0 16 0 4 0 128393615 194195456 43930 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=189644 CPUtime=218.23
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 24572 0 0 0 21476 347 0 0 19 0 4 0 128393615 194195456 43930 1992294400 134512640 135180984 4294956208 18446744073709551615 134518229 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=189644 CPUtime=217.79
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 23893 0 0 0 21442 337 0 0 25 0 4 0 128393615 194195456 43930 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.11
Current children cumulated vsize (KiB) 189644

[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.19 3/69 12079
/proc/meminfo: memFree=887656/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=198548 CPUtime=562.84
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 56028 0 0 0 54861 1423 0 0 18 0 4 0 128393615 203313152 46054 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 49637 46054 70 163 0 49472 0
[pid=12075/tid=12076] ppid=12073 vsize=198548 CPUtime=8.15
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 5817 0 0 0 179 636 0 0 16 0 4 0 128393615 203313152 46054 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=198548 CPUtime=277.58
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 25545 0 0 0 27361 397 0 0 25 0 4 0 128393615 203313152 46054 1992294400 134512640 135180984 4294956208 18446744073709551615 134528271 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=198548 CPUtime=277.08
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 24583 0 0 0 27319 389 0 0 18 0 4 0 128393615 203313152 46054 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.84
Current children cumulated vsize (KiB) 198548

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.24 3/69 12079
/proc/meminfo: memFree=875624/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=210632 CPUtime=682.58
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 58960 0 0 0 66708 1550 0 0 18 0 4 0 128393615 215687168 48986 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 52658 48986 70 163 0 52493 0
[pid=12075/tid=12076] ppid=12073 vsize=210632 CPUtime=8.84
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 6118 0 0 0 195 689 0 0 16 0 4 0 128393615 215687168 48986 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=210632 CPUtime=337.22
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 26609 0 0 0 33287 435 0 0 25 0 4 0 128393615 215687168 48986 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=210632 CPUtime=336.5
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 26150 0 0 0 33226 424 0 0 25 0 4 0 128393615 215687168 48986 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.58
Current children cumulated vsize (KiB) 210632

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.28 3/69 12079
/proc/meminfo: memFree=866536/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=220436 CPUtime=802.31
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 61234 0 0 0 78538 1693 0 0 18 0 4 0 128393615 225726464 51260 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 55109 51260 70 163 0 54944 0
[pid=12075/tid=12076] ppid=12073 vsize=220436 CPUtime=9.67
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 6434 0 0 0 215 752 0 0 16 0 4 0 128393615 225726464 51260 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=220436 CPUtime=396.79
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 27583 0 0 0 39204 475 0 0 25 0 4 0 128393615 225726464 51260 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=220436 CPUtime=395.84
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 27134 0 0 0 39119 465 0 0 23 0 4 0 128393615 225726464 51260 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.31
Current children cumulated vsize (KiB) 220436

[startup+462.302 s]
/proc/loadavg: 2.06 1.79 1.33 3/69 12079
/proc/meminfo: memFree=857832/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=228148 CPUtime=922.04
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 63402 0 0 0 90401 1803 0 0 18 0 4 0 128393615 233623552 53428 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 57037 53428 70 163 0 56872 0
[pid=12075/tid=12076] ppid=12073 vsize=228148 CPUtime=10.31
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 6678 0 0 0 232 799 0 0 16 0 4 0 128393615 233623552 53428 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=228148 CPUtime=456.38
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 28604 0 0 0 45133 505 0 0 25 0 4 0 128393615 233623552 53428 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12075/tid=12078] ppid=12073 vsize=228148 CPUtime=455.34
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 28037 0 0 0 45036 498 0 0 25 0 4 0 128393615 233623552 53428 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.04
Current children cumulated vsize (KiB) 228148

[startup+522.302 s]
/proc/loadavg: 2.02 1.82 1.37 3/69 12079
/proc/meminfo: memFree=850344/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=236424 CPUtime=1041.77
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 65275 0 0 0 102261 1916 0 0 18 0 4 0 128393615 242098176 55301 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 59106 55301 70 163 0 58941 0
[pid=12075/tid=12076] ppid=12073 vsize=236424 CPUtime=11
/proc/12075/task/12076/stat : 12076 (satake) R 12073 12075 11824 0 -1 4194368 6963 0 0 0 246 854 0 0 16 0 4 0 128393615 242098176 55301 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12077] ppid=12073 vsize=236424 CPUtime=515.81
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 29461 0 0 0 51045 536 0 0 20 0 4 0 128393615 242098176 55301 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12075/tid=12078] ppid=12073 vsize=236424 CPUtime=514.94
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 28768 0 0 0 50969 525 0 0 25 0 4 0 128393615 242098176 55301 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.77
Current children cumulated vsize (KiB) 236424

[startup+582.303 s]
/proc/loadavg: 2.00 1.86 1.40 3/69 12079
/proc/meminfo: memFree=843304/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=242612 CPUtime=1161.51
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 67025 0 0 0 114151 2000 0 0 18 0 4 0 128393615 248434688 57051 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 60653 57051 70 163 0 60488 0
[pid=12075/tid=12076] ppid=12073 vsize=242612 CPUtime=11.51
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 7111 0 0 0 259 892 0 0 15 0 4 0 128393615 248434688 57051 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=242612 CPUtime=575.33
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 30248 0 0 0 56973 560 0 0 22 0 4 0 128393615 248434688 57051 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12075/tid=12078] ppid=12073 vsize=242612 CPUtime=574.65
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 29583 0 0 0 56918 547 0 0 25 0 4 0 128393615 248434688 57051 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.51
Current children cumulated vsize (KiB) 242612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.00 1.86 1.41 3/69 12079
/proc/meminfo: memFree=840936/2055920 swapFree=4186104/4192956
[pid=12075] ppid=12073 vsize=244848 CPUtime=1200.03
/proc/12075/stat : 12075 (satake) S 12073 12075 11824 0 -1 4194304 67594 0 0 0 117968 2035 0 0 18 0 4 0 128393615 250724352 57620 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12075/statm: 61212 57620 70 163 0 61047 0
[pid=12075/tid=12076] ppid=12073 vsize=244848 CPUtime=11.72
/proc/12075/task/12076/stat : 12076 (satake) S 12073 12075 11824 0 -1 4194368 7185 0 0 0 264 908 0 0 15 0 4 0 128393615 250724352 57620 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12075/tid=12077] ppid=12073 vsize=244848 CPUtime=594.53
/proc/12075/task/12077/stat : 12077 (satake) R 12073 12075 11824 0 -1 4194368 30453 0 0 0 58884 569 0 0 25 0 4 0 128393615 250724352 57620 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12075/tid=12078] ppid=12073 vsize=244848 CPUtime=593.76
/proc/12075/task/12078/stat : 12078 (satake) R 12073 12075 11824 0 -1 4194368 29873 0 0 0 58819 557 0 0 25 0 4 0 128393615 250724352 57620 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 244848

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.655
CPU time (s): 1200.09
CPU user time (s): 1179.7
CPU system time (s): 20.3939
CPU usage (%): 199.465
Max. virtual memory (cumulated for all children) (KiB): 244848

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= 1179.7
system time used= 20.3939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67594
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= 1663875
involuntary context switches= 1656132

runsolver used 0.58991 second user time and 1.61575 second system time

The end

Launcher Data 

Begin job on node74 at 2009-04-29 13:13:29
IDJOB=1577660
IDBENCH=70963
IDSOLVER=553
FILE ID=node74/1577660-1241003608
PBS_JOBID= 9204798
Free space on /tmp= 103152 MiB

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

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

MD5SUM BENCH= 7fc9b20f0efe1e9457bd61eba8178674
RANDOM SEED=22346822

node74.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.233
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.233
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:       1072168 kB
Buffers:         73132 kB
Cached:         826968 kB
SwapCached:       3008 kB
Active:         311496 kB
Inactive:       600304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1072168 kB
SwapTotal:     4192956 kB
SwapFree:      4186104 kB
Dirty:           20552 kB
Writeback:           0 kB
Mapped:          19880 kB
Slab:            57832 kB
Committed_AS:   603468 kB
PageTables:       1444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103152 MiB
End job on node74 at 2009-04-29 13:23:33