Trace number 1715626

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.15 601.452

General information on the benchmark

Nameindustrial/anbulagan/
medium-unsat/total-10-13-u.cnf
MD5SUMa443b9e3a7093c1d9a47b42016a65c52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark906.632
Satisfiable
(Un)Satisfiability was proved
Number of variables226208
Number of clauses1021181
Sum of the clauses size2332626
Maximum clause length10
Minimum clause length1
Number of clauses of size 119072
Number of clauses of size 2821353
Number of clauses of size 3137896
Number of clauses of size 44760
Number of clauses of size 519040
Number of clauses of size over 519060

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-1715626-1240605739/watcher-1715626-1240605739 -o /tmp/evaluation-result-1715626-1240605739/solver-1715626-1240605739 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1715626-1240605739.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.08 0.02 0.01 3/65 14661
/proc/meminfo: memFree=1108016/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=5120 CPUtime=0
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 668 0 0 0 0 0 0 0 18 0 4 0 88601897 5242880 653 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 1280 660 65 163 0 1115 0
[pid=14661/tid=14662] ppid=14659 vsize=5120 CPUtime=0
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 88601897 5242880 677 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=5120 CPUtime=0
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 611 0 0 0 0 0 0 0 19 0 4 0 88601897 5242880 686 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14661/tid=14664] ppid=14659 vsize=5120 CPUtime=0
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 88601897 5242880 694 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.045306 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 14661
/proc/meminfo: memFree=1108016/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=36096 CPUtime=0.08
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 8857 0 0 0 0 8 0 0 18 0 4 0 88601897 36962304 8842 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 9024 8842 65 163 0 8859 0
[pid=14661/tid=14662] ppid=14659 vsize=36096 CPUtime=0
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 88601897 36962304 8842 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=36096 CPUtime=0.04
/proc/14661/task/14663/stat : 14663 (satake) D 14659 14661 14624 0 -1 4194368 4665 0 0 0 0 4 0 0 18 0 4 0 88601897 36962304 8842 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=36096 CPUtime=0.04
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 4102 0 0 0 0 4 0 0 18 0 4 0 88601897 36962304 8842 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36096

[startup+0.105032 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 14661
/proc/meminfo: memFree=1108016/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=48252 CPUtime=0.18
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 11501 0 0 0 8 10 0 0 18 0 4 0 88601897 49410048 11472 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 12063 11473 65 163 0 11898 0
[pid=14661/tid=14662] ppid=14659 vsize=48252 CPUtime=0
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 88601897 49410048 11474 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=48252 CPUtime=0.09
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 5755 0 0 0 4 5 0 0 16 0 4 0 88601897 49410048 11474 1992294400 134512640 135180984 4294956208 18446744073709551615 134869198 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=48384 CPUtime=0.09
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 5658 0 0 0 4 5 0 0 16 0 4 0 88601897 49545216 11475 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 48252

[startup+0.302678 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 14661
/proc/meminfo: memFree=1108016/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=104656 CPUtime=0.58
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 22261 0 0 0 40 18 0 0 18 0 4 0 88601897 107167744 22232 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 26164 22233 65 163 0 25999 0
[pid=14661/tid=14662] ppid=14659 vsize=104656 CPUtime=0
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 88601897 107167744 22233 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=104656 CPUtime=0.28
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 11519 0 0 0 20 8 0 0 16 0 4 0 88601897 107167744 22233 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=104656 CPUtime=0.28
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 10655 0 0 0 19 9 0 0 15 0 4 0 88601897 107167744 22235 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 104656

[startup+0.70294 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 14661
/proc/meminfo: memFree=1108016/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=129944 CPUtime=1.37
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 29383 0 0 0 113 24 0 0 18 0 4 0 88601897 133062656 29354 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 32486 29355 65 163 0 32321 0
[pid=14661/tid=14662] ppid=14659 vsize=129944 CPUtime=0
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 88601897 133062656 29355 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=129944 CPUtime=0.68
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 14900 0 0 0 57 11 0 0 16 0 4 0 88601897 133062656 29355 1992294400 134512640 135180984 4294956208 18446744073709551615 134673836 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=129944 CPUtime=0.67
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 14395 0 0 0 55 12 0 0 16 0 4 0 88601897 133062656 29356 1992294400 134512640 135180984 4294956208 18446744073709551615 134513764 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 129944

[startup+1.50302 s]
/proc/loadavg: 0.08 0.02 0.01 3/69 14665
/proc/meminfo: memFree=969424/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=138128 CPUtime=2.92
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 40867 0 0 0 251 41 0 0 18 0 4 0 88601897 141443072 31768 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 34532 31768 68 163 0 34367 0
[pid=14661/tid=14662] ppid=14659 vsize=138128 CPUtime=0.08
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 3970 0 0 0 7 1 0 0 17 0 4 0 88601897 141443072 31768 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=138128 CPUtime=1.41
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 18365 0 0 0 124 17 0 0 17 0 4 0 88601897 141443072 31769 1992294400 134512640 135180984 4294956208 18446744073709551615 134523702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=138128 CPUtime=1.41
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 18450 0 0 0 119 22 0 0 17 0 4 0 88601897 141443072 31769 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 138128

[startup+3.10217 s]
/proc/loadavg: 0.08 0.02 0.01 3/69 14665
/proc/meminfo: memFree=978832/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=138128 CPUtime=6.11
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 41143 0 0 0 568 43 0 0 18 0 4 0 88601897 141443072 32044 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 34532 32044 70 163 0 34367 0
[pid=14661/tid=14662] ppid=14659 vsize=138128 CPUtime=0.09
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 3972 0 0 0 7 2 0 0 16 0 4 0 88601897 141443072 32044 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=138128 CPUtime=3
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 18433 0 0 0 282 18 0 0 18 0 4 0 88601897 141443072 32044 1992294400 134512640 135180984 4294956208 18446744073709551615 134528921 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=138128 CPUtime=3
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 18655 0 0 0 278 22 0 0 17 0 4 0 88601897 141443072 32044 1992294400 134512640 135180984 4294956208 18446744073709551615 134521127 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 138128

[startup+6.30149 s]
/proc/loadavg: 0.31 0.07 0.02 3/69 14665
/proc/meminfo: memFree=979344/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=138128 CPUtime=12.48
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 41183 0 0 0 1201 47 0 0 18 0 4 0 88601897 141443072 32084 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 34532 32084 70 163 0 34367 0
[pid=14661/tid=14662] ppid=14659 vsize=138128 CPUtime=0.1
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 3972 0 0 0 7 3 0 0 16 0 4 0 88601897 141443072 32084 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=138128 CPUtime=6.17
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 18448 0 0 0 597 20 0 0 17 0 4 0 88601897 141443072 32084 1992294400 134512640 135180984 4294956208 18446744073709551615 134528034 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=138128 CPUtime=6.18
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 18680 0 0 0 595 23 0 0 19 0 4 0 88601897 141443072 32084 1992294400 134512640 135180984 4294956208 18446744073709551615 134525422 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 138128

[startup+12.7011 s]
/proc/loadavg: 0.45 0.10 0.03 3/69 14665
/proc/meminfo: memFree=979088/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=138324 CPUtime=25.24
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 41248 0 0 0 2469 55 0 0 18 0 4 0 88601897 141643776 32149 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 34581 32149 70 163 0 34416 0
[pid=14661/tid=14662] ppid=14659 vsize=138324 CPUtime=0.14
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 3972 0 0 0 8 6 0 0 16 0 4 0 88601897 141643776 32149 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=138324 CPUtime=12.52
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 18483 0 0 0 1230 22 0 0 18 0 4 0 88601897 141643776 32149 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=138324 CPUtime=12.55
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 18710 0 0 0 1229 26 0 0 22 0 4 0 88601897 141643776 32149 1992294400 134512640 135180984 4294956208 18446744073709551615 134520860 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 138324

[startup+25.5014 s]
/proc/loadavg: 0.79 0.19 0.06 3/69 14665
/proc/meminfo: memFree=978256/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=139348 CPUtime=50.78
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 41462 0 0 0 5005 73 0 0 18 0 4 0 88601897 142692352 32363 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 34837 32363 70 163 0 34672 0
[pid=14661/tid=14662] ppid=14659 vsize=139348 CPUtime=0.25
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 3986 0 0 0 11 14 0 0 15 0 4 0 88601897 142692352 32363 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=139348 CPUtime=25.21
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 18488 0 0 0 2494 27 0 0 18 0 4 0 88601897 142692352 32363 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=139348 CPUtime=25.29
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 18905 0 0 0 2498 31 0 0 25 0 4 0 88601897 142692352 32363 1992294400 134512640 135180984 4294956208 18446744073709551615 134528982 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 139348

[startup+51.1018 s]
/proc/loadavg: 1.20 0.33 0.11 3/69 14665
/proc/meminfo: memFree=976848/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=140572 CPUtime=101.84
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 41871 0 0 0 10071 113 0 0 18 0 4 0 88601897 143945728 32772 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 35143 32772 70 163 0 34978 0
[pid=14661/tid=14662] ppid=14659 vsize=140572 CPUtime=0.48
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4040 0 0 0 17 31 0 0 16 0 4 0 88601897 143945728 32772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=140572 CPUtime=50.58
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 18503 0 0 0 5017 41 0 0 22 0 4 0 88601897 143945728 32772 1992294400 134512640 135180984 4294956208 18446744073709551615 134528526 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=140572 CPUtime=50.76
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 19245 0 0 0 5035 41 0 0 25 0 4 0 88601897 143945728 32772 1992294400 134512640 135180984 4294956208 18446744073709551615 134528219 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 140572

[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 3/69 14665
/proc/meminfo: memFree=957584/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=160456 CPUtime=204.03
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 46667 0 0 0 20226 177 0 0 18 0 4 0 88601897 164306944 37568 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 40114 37568 70 163 0 39949 0
[pid=14661/tid=14662] ppid=14659 vsize=160456 CPUtime=0.82
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4158 0 0 0 24 58 0 0 15 0 4 0 88601897 164306944 37568 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=160456 CPUtime=101.4
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 20841 0 0 0 10078 62 0 0 25 0 4 0 88601897 164306944 37568 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=160456 CPUtime=101.78
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 21585 0 0 0 10122 56 0 0 25 0 4 0 88601897 164306944 37568 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 160456

[startup+162.302 s]
/proc/loadavg: 1.91 0.86 0.32 3/69 14665
/proc/meminfo: memFree=938768/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=179736 CPUtime=323.76
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 51408 0 0 0 32151 225 0 0 18 0 4 0 88601897 184049664 42309 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 44934 42309 70 163 0 44769 0
[pid=14661/tid=14662] ppid=14659 vsize=179736 CPUtime=1.08
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4261 0 0 0 32 76 0 0 16 0 4 0 88601897 184049664 42309 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=179736 CPUtime=161.02
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 23403 0 0 0 16024 78 0 0 20 0 4 0 88601897 184049664 42309 1992294400 134512640 135180984 4294956208 18446744073709551615 134522603 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=179736 CPUtime=161.63
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 23661 0 0 0 16094 69 0 0 25 0 4 0 88601897 184049664 42309 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.76
Current children cumulated vsize (KiB) 179736

[startup+222.301 s]
/proc/loadavg: 1.96 1.06 0.43 3/69 14665
/proc/meminfo: memFree=923152/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=195640 CPUtime=443.5
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 55284 0 0 0 44085 265 0 0 18 0 4 0 88601897 200335360 46185 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 48910 46185 70 163 0 48745 0
[pid=14661/tid=14662] ppid=14659 vsize=195640 CPUtime=1.28
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4323 0 0 0 36 92 0 0 16 0 4 0 88601897 200335360 46185 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=195640 CPUtime=220.69
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 25216 0 0 0 21977 92 0 0 25 0 4 0 88601897 200335360 46185 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14661/tid=14664] ppid=14659 vsize=195640 CPUtime=221.5
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 25662 0 0 0 22070 80 0 0 17 0 4 0 88601897 200335360 46185 1992294400 134512640 135180984 4294956208 18446744073709551615 134525476 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.5
Current children cumulated vsize (KiB) 195640

[startup+282.301 s]
/proc/loadavg: 1.98 1.23 0.52 3/69 14665
/proc/meminfo: memFree=910800/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=208356 CPUtime=563.24
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 58414 0 0 0 56022 302 0 0 18 0 4 0 88601897 213356544 49315 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 52089 49315 70 163 0 51924 0
[pid=14661/tid=14662] ppid=14659 vsize=208356 CPUtime=1.48
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4400 0 0 0 40 108 0 0 16 0 4 0 88601897 213356544 49315 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=208356 CPUtime=280.51
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 26703 0 0 0 27949 102 0 0 25 0 4 0 88601897 213356544 49315 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14661/tid=14664] ppid=14659 vsize=208356 CPUtime=281.22
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 27228 0 0 0 28031 91 0 0 25 0 4 0 88601897 213356544 49315 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.24
Current children cumulated vsize (KiB) 208356

[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/69 14665
/proc/meminfo: memFree=900752/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=218972 CPUtime=682.98
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 60873 0 0 0 67967 331 0 0 18 0 4 0 88601897 224227328 51774 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 54743 51774 70 163 0 54578 0
[pid=14661/tid=14662] ppid=14659 vsize=218972 CPUtime=1.63
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4489 0 0 0 44 119 0 0 15 0 4 0 88601897 224227328 51774 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=218972 CPUtime=340.41
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 27635 0 0 0 33930 111 0 0 25 0 4 0 88601897 224227328 51774 1992294400 134512640 135180984 4294956208 18446744073709551615 134532415 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14661/tid=14664] ppid=14659 vsize=218972 CPUtime=340.92
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 28666 0 0 0 33992 100 0 0 25 0 4 0 88601897 224227328 51774 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.98
Current children cumulated vsize (KiB) 218972

[startup+402.302 s]
/proc/loadavg: 1.99 1.48 0.69 3/69 14665
/proc/meminfo: memFree=892240/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=227656 CPUtime=802.73
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 63010 0 0 0 79918 355 0 0 18 0 4 0 88601897 233119744 53911 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 56914 53911 70 163 0 56749 0
[pid=14661/tid=14662] ppid=14659 vsize=227656 CPUtime=1.75
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4525 0 0 0 46 129 0 0 15 0 4 0 88601897 233119744 53911 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=227656 CPUtime=400.34
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 28377 0 0 0 39916 118 0 0 25 0 4 0 88601897 233119744 53911 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14661/tid=14664] ppid=14659 vsize=227656 CPUtime=400.62
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 30025 0 0 0 39956 106 0 0 25 0 4 0 88601897 233119744 53911 1992294400 134512640 135180984 4294956208 18446744073709551615 134524822 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.73
Current children cumulated vsize (KiB) 227656

[startup+462.302 s]
/proc/loadavg: 1.99 1.57 0.77 3/69 14665
/proc/meminfo: memFree=881104/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=238072 CPUtime=922.47
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 65786 0 0 0 91866 381 0 0 18 0 4 0 88601897 243785728 56687 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 59518 56687 70 163 0 59353 0
[pid=14661/tid=14662] ppid=14659 vsize=238072 CPUtime=1.86
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4570 0 0 0 48 138 0 0 16 0 4 0 88601897 243785728 56687 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=238072 CPUtime=460.26
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 29894 0 0 0 45898 128 0 0 25 0 4 0 88601897 243785728 56687 1992294400 134512640 135180984 4294956208 18446744073709551615 134528147 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14661/tid=14664] ppid=14659 vsize=238072 CPUtime=460.32
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 31239 0 0 0 45918 114 0 0 25 0 4 0 88601897 243785728 56687 1992294400 134512640 135180984 4294956208 18446744073709551615 134532420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.47
Current children cumulated vsize (KiB) 238072

[startup+522.303 s]
/proc/loadavg: 1.99 1.65 0.85 3/69 14665
/proc/meminfo: memFree=871056/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=248836 CPUtime=1042.22
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 68318 0 0 0 103812 410 0 0 18 0 4 0 88601897 254808064 59219 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 62209 59219 70 163 0 62044 0
[pid=14661/tid=14662] ppid=14659 vsize=248836 CPUtime=2
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4616 0 0 0 52 148 0 0 15 0 4 0 88601897 254808064 59219 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=248836 CPUtime=520.18
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 31212 0 0 0 51879 139 0 0 25 0 4 0 88601897 254808064 59219 1992294400 134512640 135180984 4294956208 18446744073709551615 134528411 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14661/tid=14664] ppid=14659 vsize=248836 CPUtime=520.02
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 32407 0 0 0 51880 122 0 0 25 0 4 0 88601897 254808064 59219 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.22
Current children cumulated vsize (KiB) 248836

[startup+582.302 s]
/proc/loadavg: 2.04 1.72 0.92 3/69 14665
/proc/meminfo: memFree=863376/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=255552 CPUtime=1161.96
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 70207 0 0 0 115766 430 0 0 18 0 4 0 88601897 261685248 61108 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 63888 61108 70 163 0 63723 0
[pid=14661/tid=14662] ppid=14659 vsize=255552 CPUtime=2.11
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4665 0 0 0 55 156 0 0 16 0 4 0 88601897 261685248 61108 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14661/tid=14663] ppid=14659 vsize=255552 CPUtime=580.12
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 32342 0 0 0 57865 147 0 0 25 0 4 0 88601897 261685248 61108 1992294400 134512640 135180984 4294956208 18446744073709551615 134525304 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14661/tid=14664] ppid=14659 vsize=255552 CPUtime=579.72
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 33117 0 0 0 57846 126 0 0 25 0 4 0 88601897 261685248 61108 1992294400 134512640 135180984 4294956208 18446744073709551615 134532627 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.96
Current children cumulated vsize (KiB) 255552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 2.03 1.74 0.94 3/69 14665
/proc/meminfo: memFree=860816/2055920 swapFree=4192956/4192956
[pid=14661] ppid=14659 vsize=258532 CPUtime=1200.09
/proc/14661/stat : 14661 (satake) S 14659 14661 14624 0 -1 4194304 70819 0 0 0 119572 437 0 0 18 0 4 0 88601897 264736768 61720 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14661/statm: 64633 61720 70 163 0 64468 0
[pid=14661/tid=14662] ppid=14659 vsize=258532 CPUtime=2.14
/proc/14661/task/14662/stat : 14662 (satake) S 14659 14661 14624 0 -1 4194368 4679 0 0 0 55 159 0 0 16 0 4 0 88601897 264736768 61720 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14661/tid=14663] ppid=14659 vsize=258532 CPUtime=599.19
/proc/14661/task/14663/stat : 14663 (satake) R 14659 14661 14624 0 -1 4194368 32716 0 0 0 59770 149 0 0 25 0 4 0 88601897 264736768 61720 1992294400 134512640 135180984 4294956208 18446744073709551615 134524876 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14661/tid=14664] ppid=14659 vsize=258532 CPUtime=598.73
/proc/14661/task/14664/stat : 14664 (satake) R 14659 14661 14624 0 -1 4194368 33341 0 0 0 59745 128 0 0 25 0 4 0 88601897 264736768 61720 1992294400 134512640 135180984 4294956208 18446744073709551615 134523615 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 258532

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.452
CPU time (s): 1200.15
CPU user time (s): 1195.74
CPU system time (s): 4.41033
CPU usage (%): 199.541
Max. virtual memory (cumulated for all children) (KiB): 258532

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.74
system time used= 4.41033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70819
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= 310236
involuntary context switches= 315683

runsolver used 0.579911 second user time and 1.62175 second system time

The end

Launcher Data 

Begin job on node56 at 2009-04-24 22:42:20
IDJOB=1715626
IDBENCH=20342
IDSOLVER=553
FILE ID=node56/1715626-1240605739
PBS_JOBID= 9186262
Free space on /tmp= 102988 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-10-13-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1715626-1240605739/watcher-1715626-1240605739 -o /tmp/evaluation-result-1715626-1240605739/solver-1715626-1240605739 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1715626-1240605739.cnf 3 1200

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

MD5SUM BENCH= a443b9e3a7093c1d9a47b42016a65c52
RANDOM SEED=1806047855

node56.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.218
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.218
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:       1108432 kB
Buffers:         92580 kB
Cached:         746676 kB
SwapCached:          0 kB
Active:         166308 kB
Inactive:       687380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1108432 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           19064 kB
Writeback:           0 kB
Mapped:          24344 kB
Slab:            79692 kB
Committed_AS:   242452 kB
PageTables:       1468 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= 102988 MiB
End job on node56 at 2009-04-24 22:52:25