Trace number 1716874

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.22 601.459

General information on the benchmark

Nameindustrial/fuhs/medium/
AProVE07-16.cnf
MD5SUM65057bcebbeecf6a7f3bc3fcfb2de009
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark199.757
Satisfiable
(Un)Satisfiability was proved
Number of variables52382
Number of clauses182485
Sum of the clauses size472601
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 285834
Number of clauses of size 387884
Number of clauses of size 47609
Number of clauses of size 5700
Number of clauses of size over 5457

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-1716874-1240621337/watcher-1716874-1240621337 -o /tmp/evaluation-result-1716874-1240621337/solver-1716874-1240621337 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1716874-1240621337.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.98 0.99 3/64 11414
/proc/meminfo: memFree=1487352/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=5128 CPUtime=0
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 650 0 0 0 0 0 0 0 18 0 4 0 90166599 5251072 635 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 1282 642 65 163 0 1117 0
[pid=11414/tid=11415] ppid=11412 vsize=5128 CPUtime=0
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90166599 5251072 658 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=5128 CPUtime=0
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 278 0 0 0 0 0 0 0 20 0 4 0 90166599 5251072 667 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=5128 CPUtime=0
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 322 0 0 0 0 0 0 0 19 0 4 0 90166599 5251072 675 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0690669 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11414
/proc/meminfo: memFree=1487352/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=24452 CPUtime=0.12
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 5323 0 0 0 9 3 0 0 18 0 4 0 90166599 25038848 5308 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 6113 5309 65 163 0 5948 0
[pid=11414/tid=11415] ppid=11412 vsize=24452 CPUtime=0
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90166599 25038848 5309 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=24452 CPUtime=0.05
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 2612 0 0 0 4 1 0 0 16 0 4 0 90166599 25038848 5310 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11414/tid=11417] ppid=11412 vsize=24452 CPUtime=0.06
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 2623 0 0 0 4 2 0 0 17 0 4 0 90166599 25038848 5310 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 24452

[startup+0.101962 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11414
/proc/meminfo: memFree=1487352/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=28064 CPUtime=0.19
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 5856 0 0 0 15 4 0 0 18 0 4 0 90166599 28737536 5841 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 7016 5841 65 163 0 6851 0
[pid=11414/tid=11415] ppid=11412 vsize=28064 CPUtime=0
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90166599 28737536 5841 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=28064 CPUtime=0.08
/proc/11414/task/11416/stat : 11416 (satake) D 11412 11414 11343 0 -1 4194368 2888 0 0 0 7 1 0 0 16 0 4 0 90166599 28737536 5841 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11414/tid=11417] ppid=11412 vsize=28064 CPUtime=0.09
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 2878 0 0 0 7 2 0 0 17 0 4 0 90166599 28737536 5841 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28064

[startup+0.302939 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11414
/proc/meminfo: memFree=1487352/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=32692 CPUtime=0.59
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 8414 0 0 0 53 6 0 0 18 0 4 0 90166599 33476608 6795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 8173 6795 68 163 0 8008 0
[pid=11414/tid=11415] ppid=11412 vsize=32692 CPUtime=0
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 928 0 0 0 0 0 0 0 16 0 4 0 90166599 33476608 6795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11414/tid=11416] ppid=11412 vsize=32692 CPUtime=0.27
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 3683 0 0 0 25 2 0 0 17 0 4 0 90166599 33476608 6795 1992294400 134512640 135180984 4294956208 18446744073709551615 134532594 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11414/tid=11417] ppid=11412 vsize=32692 CPUtime=0.29
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 3720 0 0 0 26 3 0 0 17 0 4 0 90166599 33476608 6795 1992294400 134512640 135180984 4294956208 18446744073709551615 134523702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 32692

[startup+0.702989 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11414
/proc/meminfo: memFree=1487352/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=32824 CPUtime=1.39
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 8470 0 0 0 129 10 0 0 18 0 4 0 90166599 33611776 6851 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 8206 6851 70 163 0 8041 0
[pid=11414/tid=11415] ppid=11412 vsize=32824 CPUtime=0.03
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 932 0 0 0 1 2 0 0 16 0 4 0 90166599 33611776 6851 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=32824 CPUtime=0.66
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 3708 0 0 0 63 3 0 0 17 0 4 0 90166599 33611776 6851 1992294400 134512640 135180984 4294956208 18446744073709551615 134528401 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11414/tid=11417] ppid=11412 vsize=32824 CPUtime=0.68
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 3747 0 0 0 64 4 0 0 18 0 4 0 90166599 33611776 6851 1992294400 134512640 135180984 4294956208 18446744073709551615 134525015 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 32824

[startup+1.50111 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 11418
/proc/meminfo: memFree=1459928/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=33088 CPUtime=2.97
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 8587 0 0 0 283 14 0 0 18 0 4 0 90166599 33882112 6968 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 8272 6968 70 163 0 8107 0
[pid=11414/tid=11415] ppid=11412 vsize=33088 CPUtime=0.05
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 933 0 0 0 2 3 0 0 15 0 4 0 90166599 33882112 6968 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11414/tid=11416] ppid=11412 vsize=33088 CPUtime=1.44
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 3746 0 0 0 140 4 0 0 18 0 4 0 90166599 33882112 6968 1992294400 134512640 135180984 4294956208 18446744073709551615 134522992 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=33088 CPUtime=1.46
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 3825 0 0 0 140 6 0 0 21 0 4 0 90166599 33882112 6968 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 33088

[startup+3.10133 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 11418
/proc/meminfo: memFree=1459096/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=33592 CPUtime=6.16
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 8794 0 0 0 596 20 0 0 18 0 4 0 90166599 34398208 7175 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 8398 7175 70 163 0 8233 0
[pid=11414/tid=11415] ppid=11412 vsize=33592 CPUtime=0.09
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 933 0 0 0 3 6 0 0 16 0 4 0 90166599 34398208 7175 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=33592 CPUtime=3.02
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 3848 0 0 0 297 5 0 0 25 0 4 0 90166599 34398208 7175 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=33592 CPUtime=3.04
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 3930 0 0 0 296 8 0 0 25 0 4 0 90166599 34398208 7175 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 33592

[startup+6.30279 s]
/proc/loadavg: 1.01 1.00 1.00 3/68 11418
/proc/meminfo: memFree=1457048/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=35732 CPUtime=12.55
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 9245 0 0 0 1229 26 0 0 18 0 4 0 90166599 36589568 7626 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 8933 7626 70 163 0 8768 0
[pid=11414/tid=11415] ppid=11412 vsize=35732 CPUtime=0.12
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 941 0 0 0 4 8 0 0 16 0 4 0 90166599 36589568 7626 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=35732 CPUtime=6.18
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 4066 0 0 0 611 7 0 0 25 0 4 0 90166599 36589568 7626 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=35732 CPUtime=6.23
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 4155 0 0 0 614 9 0 0 25 0 4 0 90166599 36589568 7626 1992294400 134512640 135180984 4294956208 18446744073709551615 134520886 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 35732

[startup+12.7017 s]
/proc/loadavg: 1.09 1.02 1.01 3/68 11418
/proc/meminfo: memFree=1452888/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=40312 CPUtime=25.32
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 10300 0 0 0 2489 43 0 0 18 0 4 0 90166599 41279488 8681 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 10078 8681 70 163 0 9913 0
[pid=11414/tid=11415] ppid=11412 vsize=40312 CPUtime=0.21
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 956 0 0 0 6 15 0 0 16 0 4 0 90166599 41279488 8681 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11414/tid=11416] ppid=11412 vsize=40312 CPUtime=12.51
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 4412 0 0 0 1239 12 0 0 25 0 4 0 90166599 41279488 8681 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=40312 CPUtime=12.57
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 4849 0 0 0 1242 15 0 0 25 0 4 0 90166599 41279488 8681 1992294400 134512640 135180984 4294956208 18446744073709551615 134518658 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 40312

[startup+25.5025 s]
/proc/loadavg: 1.29 1.06 1.02 3/68 11418
/proc/meminfo: memFree=1446816/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=46012 CPUtime=50.86
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 11773 0 0 0 5022 64 0 0 18 0 4 0 90166599 47116288 10154 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 11503 10155 70 163 0 11338 0
[pid=11414/tid=11415] ppid=11412 vsize=46012 CPUtime=0.32
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 979 0 0 0 8 24 0 0 16 0 4 0 90166599 47116288 10155 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=46012 CPUtime=25.19
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 5004 0 0 0 2502 17 0 0 25 0 4 0 90166599 47116288 10155 1992294400 134512640 135180984 4294956208 18446744073709551615 134518244 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=46012 CPUtime=25.32
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 5708 0 0 0 2511 21 0 0 25 0 4 0 90166599 47116288 10155 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 46012

[startup+51.1022 s]
/proc/loadavg: 1.53 1.14 1.04 3/68 11418
/proc/meminfo: memFree=1433120/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=60336 CPUtime=101.94
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 15294 0 0 0 10093 101 0 0 18 0 4 0 90166599 61784064 13675 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 15084 13675 70 163 0 14919 0
[pid=11414/tid=11415] ppid=11412 vsize=60336 CPUtime=0.53
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1048 0 0 0 12 41 0 0 16 0 4 0 90166599 61784064 13675 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=60336 CPUtime=50.56
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 6278 0 0 0 5030 26 0 0 25 0 4 0 90166599 61784064 13675 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=60336 CPUtime=50.82
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 7885 0 0 0 5049 33 0 0 25 0 4 0 90166599 61784064 13675 1992294400 134512640 135180984 4294956208 18446744073709551615 134528644 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 60336

[startup+102.306 s]
/proc/loadavg: 1.79 1.27 1.09 3/68 11418
/proc/meminfo: memFree=1402720/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=89972 CPUtime=204.13
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 22750 0 0 0 20240 173 0 0 18 0 4 0 90166599 92131328 21131 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 22493 21131 70 163 0 22328 0
[pid=11414/tid=11415] ppid=11412 vsize=89972 CPUtime=0.9
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1175 0 0 0 20 70 0 0 16 0 4 0 90166599 92131328 21131 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=89972 CPUtime=101.38
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 9374 0 0 0 10088 50 0 0 25 0 4 0 90166599 92131328 21131 1992294400 134512640 135180984 4294956208 18446744073709551615 134528516 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=89972 CPUtime=101.82
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 12118 0 0 0 10130 52 0 0 17 0 4 0 90166599 92131328 21131 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 89972

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.15 3/68 11418
/proc/meminfo: memFree=1367904/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=124368 CPUtime=323.86
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 31467 0 0 0 32158 228 0 0 18 0 4 0 90166599 127352832 29848 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 31092 29848 70 163 0 30927 0
[pid=11414/tid=11415] ppid=11412 vsize=124368 CPUtime=1.15
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1267 0 0 0 25 90 0 0 16 0 4 0 90166599 127352832 29848 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=124368 CPUtime=161
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 12800 0 0 0 16036 64 0 0 21 0 4 0 90166599 127352832 29848 1992294400 134512640 135180984 4294956208 18446744073709551615 134528162 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=124368 CPUtime=161.68
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 17317 0 0 0 16096 72 0 0 25 0 4 0 90166599 127352832 29848 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.86
Current children cumulated vsize (KiB) 124368

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.20 3/68 11418
/proc/meminfo: memFree=1342112/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=152088 CPUtime=443.6
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 37882 0 0 0 44096 264 0 0 18 0 4 0 90166599 155738112 36263 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 38022 36263 70 163 0 37857 0
[pid=11414/tid=11415] ppid=11412 vsize=152088 CPUtime=1.29
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1302 0 0 0 28 101 0 0 16 0 4 0 90166599 155738112 36263 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=152088 CPUtime=220.69
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 14930 0 0 0 21993 76 0 0 25 0 4 0 90166599 155738112 36263 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=152088 CPUtime=221.59
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 21567 0 0 0 22073 86 0 0 25 0 4 0 90166599 155738112 36263 1992294400 134512640 135180984 4294956208 18446744073709551615 134528519 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.6
Current children cumulated vsize (KiB) 152088

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.24 3/68 11418
/proc/meminfo: memFree=1320032/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=174352 CPUtime=563.34
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 43479 0 0 0 56038 296 0 0 18 0 4 0 90166599 178536448 41860 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 43588 41860 70 163 0 43423 0
[pid=11414/tid=11415] ppid=11412 vsize=174352 CPUtime=1.45
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1362 0 0 0 33 112 0 0 16 0 4 0 90166599 178536448 41860 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11414/tid=11416] ppid=11412 vsize=174352 CPUtime=280.37
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 17241 0 0 0 27952 85 0 0 25 0 4 0 90166599 178536448 41860 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=174352 CPUtime=281.49
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 24793 0 0 0 28052 97 0 0 25 0 4 0 90166599 178536448 41860 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.34
Current children cumulated vsize (KiB) 174352

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.29 3/68 11418
/proc/meminfo: memFree=1301088/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=192752 CPUtime=683.07
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 48104 0 0 0 67981 326 0 0 18 0 4 0 90166599 197378048 46485 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 48188 46485 70 163 0 48023 0
[pid=11414/tid=11415] ppid=11412 vsize=192752 CPUtime=1.59
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1407 0 0 0 36 123 0 0 16 0 4 0 90166599 197378048 46485 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=192752 CPUtime=340.07
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 19122 0 0 0 33912 95 0 0 25 0 4 0 90166599 197378048 46485 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=192752 CPUtime=341.39
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 27492 0 0 0 34032 107 0 0 25 0 4 0 90166599 197378048 46485 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.07
Current children cumulated vsize (KiB) 192752

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/68 11418
/proc/meminfo: memFree=1281504/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=211668 CPUtime=802.81
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 53074 0 0 0 79926 355 0 0 18 0 4 0 90166599 216748032 51455 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 52917 51455 70 163 0 52752 0
[pid=11414/tid=11415] ppid=11412 vsize=211668 CPUtime=1.74
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1460 0 0 0 40 134 0 0 16 0 4 0 90166599 216748032 51455 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=211668 CPUtime=399.76
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 21412 0 0 0 39872 104 0 0 25 0 4 0 90166599 216748032 51455 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=211668 CPUtime=401.3
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 30119 0 0 0 40013 117 0 0 25 0 4 0 90166599 216748032 51455 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.81
Current children cumulated vsize (KiB) 211668

[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 11418
/proc/meminfo: memFree=1257184/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=236292 CPUtime=922.55
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 59105 0 0 0 91863 392 0 0 18 0 4 0 90166599 241963008 57486 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 59073 57486 70 163 0 58908 0
[pid=11414/tid=11415] ppid=11412 vsize=236292 CPUtime=1.89
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1516 0 0 0 44 145 0 0 16 0 4 0 90166599 241963008 57486 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=236292 CPUtime=459.43
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 23348 0 0 0 45829 114 0 0 25 0 4 0 90166599 241963008 57486 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=236292 CPUtime=461.21
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 34158 0 0 0 45989 132 0 0 25 0 4 0 90166599 241963008 57486 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.55
Current children cumulated vsize (KiB) 236292

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 11418
/proc/meminfo: memFree=1236576/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=257384 CPUtime=1042.29
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 64279 0 0 0 103814 415 0 0 18 0 4 0 90166599 263561216 62660 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 64346 62660 70 163 0 64181 0
[pid=11414/tid=11415] ppid=11412 vsize=257384 CPUtime=1.98
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1553 0 0 0 46 152 0 0 16 0 4 0 90166599 263561216 62660 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=257384 CPUtime=519.15
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 25067 0 0 0 51795 120 0 0 25 0 4 0 90166599 263561216 62660 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=257384 CPUtime=521.14
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 37576 0 0 0 51972 142 0 0 25 0 4 0 90166599 263561216 62660 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.29
Current children cumulated vsize (KiB) 257384

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 11418
/proc/meminfo: memFree=1217824/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=277128 CPUtime=1162.03
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 68926 0 0 0 115750 453 0 0 18 0 4 0 90166599 283779072 67307 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 69282 67307 70 163 0 69117 0
[pid=11414/tid=11415] ppid=11412 vsize=277128 CPUtime=2.16
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1638 0 0 0 49 167 0 0 16 0 4 0 90166599 283779072 67307 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=277128 CPUtime=578.82
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 26634 0 0 0 57748 134 0 0 25 0 4 0 90166599 283779072 67307 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=277128 CPUtime=581.03
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 40571 0 0 0 57952 151 0 0 25 0 4 0 90166599 283779072 67307 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1162.03
Current children cumulated vsize (KiB) 277128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 11418
/proc/meminfo: memFree=1212320/2055920 swapFree=4192956/4192956
[pid=11414] ppid=11412 vsize=282708 CPUtime=1200.15
/proc/11414/stat : 11414 (satake) S 11412 11414 11343 0 -1 4194304 70221 0 0 0 119549 466 0 0 18 0 4 0 90166599 289492992 68602 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11414/statm: 70677 68602 70 163 0 70512 0
[pid=11414/tid=11415] ppid=11412 vsize=282708 CPUtime=2.22
/proc/11414/task/11415/stat : 11415 (satake) S 11412 11414 11343 0 -1 4194368 1663 0 0 0 50 172 0 0 16 0 4 0 90166599 289492992 68602 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11414/tid=11416] ppid=11412 vsize=282708 CPUtime=597.8
/proc/11414/task/11416/stat : 11416 (satake) R 11412 11414 11343 0 -1 4194368 27044 0 0 0 59642 138 0 0 25 0 4 0 90166599 289492992 68602 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11414/tid=11417] ppid=11412 vsize=282708 CPUtime=600.1
/proc/11414/task/11417/stat : 11417 (satake) R 11412 11414 11343 0 -1 4194368 41431 0 0 0 59855 155 0 0 25 0 4 0 90166599 289492992 68602 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 282708

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.459
CPU time (s): 1200.22
CPU user time (s): 1195.51
CPU system time (s): 4.71128
CPU usage (%): 199.551
Max. virtual memory (cumulated for all children) (KiB): 282708

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.51
system time used= 4.71128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70222
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= 321898
involuntary context switches= 329339

runsolver used 0.570913 second user time and 1.62675 second system time

The end

Launcher Data 

Begin job on node29 at 2009-04-25 03:02:17
IDJOB=1716874
IDBENCH=20398
IDSOLVER=553
FILE ID=node29/1716874-1240621337
PBS_JOBID= 9186347
Free space on /tmp= 66416 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-16.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716874-1240621337/watcher-1716874-1240621337 -o /tmp/evaluation-result-1716874-1240621337/solver-1716874-1240621337 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1716874-1240621337.cnf 3 1200

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

MD5SUM BENCH= 65057bcebbeecf6a7f3bc3fcfb2de009
RANDOM SEED=253213345

node29.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.281
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.281
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:       1487832 kB
Buffers:         66380 kB
Cached:         409212 kB
SwapCached:          0 kB
Active:         132876 kB
Inactive:       356548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1487832 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          23632 kB
Slab:            64616 kB
Committed_AS:   333940 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= 66416 MiB
End job on node29 at 2009-04-25 03:12:21