Trace number 1736040

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.11 601.428

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
MD5SUM424de5d4f0392bf458f49384a643429b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.16421
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

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

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


[startup+0 s]
/proc/loadavg: 1.23 1.08 1.02 3/64 30853
/proc/meminfo: memFree=1573448/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=2164 CPUtime=0
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 389 0 0 0 0 0 0 0 18 0 4 0 108967369 2215936 374 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 541 375 65 163 0 376 0
[pid=30853/tid=30854] ppid=30851 vsize=2164 CPUtime=0
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 108967369 2215936 375 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=2164 CPUtime=0
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 169 0 0 0 0 0 0 0 19 0 4 0 108967369 2215936 376 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=2164 CPUtime=0
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 132 0 0 0 0 0 0 0 19 0 4 0 108967369 2215936 376 1992294400 134512640 135180984 4294956208 18446744073709551615 134513847 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0475841 s]
/proc/loadavg: 1.23 1.08 1.02 3/64 30853
/proc/meminfo: memFree=1573448/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=5224 CPUtime=0.08
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 1110 0 0 0 8 0 0 0 18 0 4 0 108967369 5349376 843 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 1306 843 68 163 0 1141 0
[pid=30853/tid=30854] ppid=30851 vsize=5224 CPUtime=0
/proc/30853/task/30854/stat : 30854 (satake) R 30851 30853 30607 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 4 0 108967369 5349376 843 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=5224 CPUtime=0.04
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 488 0 0 0 4 0 0 0 17 0 4 0 108967369 5349376 843 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=5224 CPUtime=0.03
/proc/30853/task/30856/stat : 30856 (satake) S 30851 30853 30607 0 -1 4194368 520 0 0 0 3 0 0 0 17 0 4 0 108967369 5349376 843 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5224

[startup+0.102118 s]
/proc/loadavg: 1.23 1.08 1.02 3/64 30853
/proc/meminfo: memFree=1573448/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=5488 CPUtime=0.17
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 1195 0 0 0 15 2 0 0 18 0 4 0 108967369 5619712 928 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 1372 928 70 163 0 1207 0
[pid=30853/tid=30854] ppid=30851 vsize=5488 CPUtime=0
/proc/30853/task/30854/stat : 30854 (satake) R 30851 30853 30607 0 -1 4194368 24 0 0 0 0 0 0 0 18 0 4 0 108967369 5619712 928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=5488 CPUtime=0.09
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 527 0 0 0 8 1 0 0 17 0 4 0 108967369 5619712 928 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=5488 CPUtime=0.07
/proc/30853/task/30856/stat : 30856 (satake) S 30851 30853 30607 0 -1 4194368 561 0 0 0 7 0 0 0 17 0 4 0 108967369 5619712 928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5488

[startup+0.301146 s]
/proc/loadavg: 1.23 1.08 1.02 3/64 30853
/proc/meminfo: memFree=1573448/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=6148 CPUtime=0.56
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 1456 0 0 0 48 8 0 0 18 0 4 0 108967369 6295552 1189 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 1537 1189 70 163 0 1372 0
[pid=30853/tid=30854] ppid=30851 vsize=6148 CPUtime=0.03
/proc/30853/task/30854/stat : 30854 (satake) R 30851 30853 30607 0 -1 4194368 33 0 0 0 0 3 0 0 17 0 4 0 108967369 6295552 1189 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=6148 CPUtime=0.26
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 644 0 0 0 24 2 0 0 16 0 4 0 108967369 6295552 1189 1992294400 134512640 135180984 4294956208 18446744073709551615 134525299 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=6148 CPUtime=0.25
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 696 0 0 0 23 2 0 0 16 0 4 0 108967369 6295552 1189 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 6148

[startup+0.7012 s]
/proc/loadavg: 1.23 1.08 1.02 3/64 30853
/proc/meminfo: memFree=1573448/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=8360 CPUtime=1.35
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 1864 0 0 0 118 17 0 0 18 0 4 0 108967369 8560640 1597 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 2090 1597 70 163 0 1925 0
[pid=30853/tid=30854] ppid=30851 vsize=8360 CPUtime=0.08
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 49 0 0 0 1 7 0 0 16 0 4 0 108967369 8560640 1597 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=8360 CPUtime=0.63
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 850 0 0 0 58 5 0 0 18 0 4 0 108967369 8560640 1597 1992294400 134512640 135180984 4294956208 18446744073709551615 134528711 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=8360 CPUtime=0.61
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 882 0 0 0 57 4 0 0 16 0 4 0 108967369 8560640 1597 1992294400 134512640 135180984 4294956208 18446744073709551615 134518216 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 8360

[startup+1.50131 s]
/proc/loadavg: 1.23 1.08 1.02 3/68 30857
/proc/meminfo: memFree=1566312/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=9832 CPUtime=2.94
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 2449 0 0 0 266 28 0 0 18 0 4 0 108967369 10067968 2182 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 2458 2182 70 163 0 2293 0
[pid=30853/tid=30854] ppid=30851 vsize=9832 CPUtime=0.15
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 69 0 0 0 3 12 0 0 17 0 4 0 108967369 10067968 2182 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=9832 CPUtime=1.41
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 1108 0 0 0 133 8 0 0 16 0 4 0 108967369 10067968 2182 1992294400 134512640 135180984 4294956208 18446744073709551615 134522683 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=9832 CPUtime=1.38
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 1189 0 0 0 130 8 0 0 21 0 4 0 108967369 10067968 2182 1992294400 134512640 135180984 4294956208 18446744073709551615 134523867 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 9832

[startup+3.10252 s]
/proc/loadavg: 1.23 1.08 1.02 3/68 30857
/proc/meminfo: memFree=1563496/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=12836 CPUtime=6.13
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 3245 0 0 0 574 39 0 0 18 0 4 0 108967369 13144064 2978 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 3209 2978 70 163 0 3044 0
[pid=30853/tid=30854] ppid=30851 vsize=12836 CPUtime=0.2
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 92 0 0 0 4 16 0 0 16 0 4 0 108967369 13144064 2978 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=12836 CPUtime=2.95
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 1482 0 0 0 285 10 0 0 24 0 4 0 108967369 13144064 2978 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30853/tid=30856] ppid=30851 vsize=12836 CPUtime=2.95
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 1588 0 0 0 284 11 0 0 17 0 4 0 108967369 13144064 2978 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 12836

[startup+6.30195 s]
/proc/loadavg: 1.29 1.10 1.02 3/68 30857
/proc/meminfo: memFree=1557992/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=17568 CPUtime=12.51
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 4420 0 0 0 1194 57 0 0 18 0 4 0 108967369 17989632 4153 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 4392 4153 70 163 0 4227 0
[pid=30853/tid=30854] ppid=30851 vsize=17568 CPUtime=0.29
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 121 0 0 0 5 24 0 0 16 0 4 0 108967369 17989632 4153 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=17568 CPUtime=6.09
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 2022 0 0 0 594 15 0 0 25 0 4 0 108967369 17989632 4153 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30853/tid=30856] ppid=30851 vsize=17568 CPUtime=6.1
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 2194 0 0 0 594 16 0 0 17 0 4 0 108967369 17989632 4153 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 17568

[startup+12.7028 s]
/proc/loadavg: 1.35 1.11 1.03 3/68 30857
/proc/meminfo: memFree=1551656/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=24136 CPUtime=25.27
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 5853 0 0 0 2458 69 0 0 18 0 4 0 108967369 24715264 5586 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 6034 5586 70 163 0 5869 0
[pid=30853/tid=30854] ppid=30851 vsize=24136 CPUtime=0.37
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 140 0 0 0 7 30 0 0 16 0 4 0 108967369 24715264 5586 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=24136 CPUtime=12.43
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 2673 0 0 0 1225 18 0 0 25 0 4 0 108967369 24715264 5586 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30853/tid=30856] ppid=30851 vsize=24136 CPUtime=12.46
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 2957 0 0 0 1226 20 0 0 25 0 4 0 108967369 24715264 5586 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 24136

[startup+25.5015 s]
/proc/loadavg: 1.49 1.15 1.04 3/68 30857
/proc/meminfo: memFree=1541160/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=33876 CPUtime=50.81
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 8394 0 0 0 4985 96 0 0 18 0 4 0 108967369 34689024 8127 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 8469 8127 70 163 0 8304 0
[pid=30853/tid=30854] ppid=30851 vsize=33876 CPUtime=0.52
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 192 0 0 0 11 41 0 0 16 0 4 0 108967369 34689024 8127 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=33876 CPUtime=25.14
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 4111 0 0 0 2487 27 0 0 25 0 4 0 108967369 34689024 8127 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=33876 CPUtime=25.14
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 4008 0 0 0 2486 28 0 0 17 0 4 0 108967369 34689024 8127 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 33876

[startup+51.1019 s]
/proc/loadavg: 1.67 1.22 1.07 3/68 30857
/proc/meminfo: memFree=1528680/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=46964 CPUtime=101.9
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 11507 0 0 0 10067 123 0 0 18 0 4 0 108967369 48091136 11240 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 11741 11240 70 163 0 11576 0
[pid=30853/tid=30854] ppid=30851 vsize=46964 CPUtime=0.66
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 245 0 0 0 15 51 0 0 15 0 4 0 108967369 48091136 11240 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=46964 CPUtime=50.65
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 5789 0 0 0 5030 35 0 0 25 0 4 0 108967369 48091136 11240 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=46964 CPUtime=50.57
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 5390 0 0 0 5021 36 0 0 20 0 4 0 108967369 48091136 11240 1992294400 134512640 135180984 4294956208 18446744073709551615 134528438 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 46964

[startup+102.306 s]
/proc/loadavg: 1.85 1.34 1.11 3/68 30857
/proc/meminfo: memFree=1522088/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=53924 CPUtime=204.09
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 13054 0 0 0 20235 174 0 0 18 0 4 0 108967369 55218176 12787 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 13481 12787 70 163 0 13316 0
[pid=30853/tid=30854] ppid=30851 vsize=53924 CPUtime=0.93
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 260 0 0 0 20 73 0 0 16 0 4 0 108967369 55218176 12787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=53924 CPUtime=101.7
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 6631 0 0 0 10121 49 0 0 25 0 4 0 108967369 55218176 12787 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=53924 CPUtime=101.43
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 6080 0 0 0 10093 50 0 0 17 0 4 0 108967369 55218176 12787 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 53924

[startup+162.302 s]
/proc/loadavg: 1.94 1.46 1.17 3/68 30857
/proc/meminfo: memFree=1514216/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=62236 CPUtime=323.81
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 15036 0 0 0 32159 222 0 0 18 0 4 0 108967369 63729664 14769 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 15559 14769 70 163 0 15394 0
[pid=30853/tid=30854] ppid=30851 vsize=62236 CPUtime=1.18
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 268 0 0 0 26 92 0 0 16 0 4 0 108967369 63729664 14769 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=62236 CPUtime=161.55
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 7418 0 0 0 16092 63 0 0 25 0 4 0 108967369 63729664 14769 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=62236 CPUtime=161.06
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 7267 0 0 0 16040 66 0 0 19 0 4 0 108967369 63729664 14769 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.81
Current children cumulated vsize (KiB) 62236

[startup+222.301 s]
/proc/loadavg: 1.98 1.55 1.22 3/68 30857
/proc/meminfo: memFree=1508520/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=68028 CPUtime=443.55
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 16471 0 0 0 44101 254 0 0 18 0 4 0 108967369 69660672 16204 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 17007 16204 70 163 0 16842 0
[pid=30853/tid=30854] ppid=30851 vsize=68028 CPUtime=1.36
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 293 0 0 0 29 107 0 0 16 0 4 0 108967369 69660672 16204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=68028 CPUtime=221.44
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 8219 0 0 0 22074 70 0 0 25 0 4 0 108967369 69660672 16204 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=68028 CPUtime=220.73
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 7876 0 0 0 21997 76 0 0 25 0 4 0 108967369 69660672 16204 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.55
Current children cumulated vsize (KiB) 68028

[startup+282.301 s]
/proc/loadavg: 1.99 1.63 1.26 3/68 30857
/proc/meminfo: memFree=1502696/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=73760 CPUtime=563.28
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 17894 0 0 0 56040 288 0 0 18 0 4 0 108967369 75530240 17627 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 18440 17627 70 163 0 18275 0
[pid=30853/tid=30854] ppid=30851 vsize=73760 CPUtime=1.57
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 306 0 0 0 35 122 0 0 16 0 4 0 108967369 75530240 17627 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=73760 CPUtime=281.3
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 8900 0 0 0 28050 80 0 0 25 0 4 0 108967369 75530240 17627 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=73760 CPUtime=280.38
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 8605 0 0 0 27954 84 0 0 25 0 4 0 108967369 75530240 17627 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.28
Current children cumulated vsize (KiB) 73760

[startup+342.301 s]
/proc/loadavg: 1.99 1.70 1.30 3/68 30857
/proc/meminfo: memFree=1497192/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=79316 CPUtime=683.01
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 19281 0 0 0 67990 311 0 0 18 0 4 0 108967369 81219584 19014 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 19829 19014 70 163 0 19664 0
[pid=30853/tid=30854] ppid=30851 vsize=79316 CPUtime=1.72
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 331 0 0 0 39 133 0 0 16 0 4 0 108967369 81219584 19014 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=79316 CPUtime=341.21
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 9750 0 0 0 34035 86 0 0 25 0 4 0 108967369 81219584 19014 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=79316 CPUtime=340.06
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 9117 0 0 0 33915 91 0 0 23 0 4 0 108967369 81219584 19014 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.01
Current children cumulated vsize (KiB) 79316

[startup+402.301 s]
/proc/loadavg: 1.99 1.75 1.35 3/68 30857
/proc/meminfo: memFree=1493416/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=82584 CPUtime=802.75
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 20214 0 0 0 79937 338 0 0 18 0 4 0 108967369 84566016 19947 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 20646 19947 70 163 0 20481 0
[pid=30853/tid=30854] ppid=30851 vsize=82584 CPUtime=1.86
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 339 0 0 0 42 144 0 0 15 0 4 0 108967369 84566016 19947 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=82584 CPUtime=401.13
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 10245 0 0 0 40019 94 0 0 25 0 4 0 108967369 84566016 19947 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=82584 CPUtime=399.74
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 9547 0 0 0 39875 99 0 0 25 0 4 0 108967369 84566016 19947 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.75
Current children cumulated vsize (KiB) 82584

[startup+462.301 s]
/proc/loadavg: 1.99 1.79 1.38 3/68 30857
/proc/meminfo: memFree=1490536/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=86296 CPUtime=922.48
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 20938 0 0 0 91892 356 0 0 18 0 4 0 108967369 88367104 20671 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 21574 20671 70 163 0 21409 0
[pid=30853/tid=30854] ppid=30851 vsize=86296 CPUtime=1.95
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 339 0 0 0 45 150 0 0 15 0 4 0 108967369 88367104 20671 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30853/tid=30855] ppid=30851 vsize=86296 CPUtime=461.07
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 10609 0 0 0 46008 99 0 0 25 0 4 0 108967369 88367104 20671 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=86296 CPUtime=459.45
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 9907 0 0 0 45839 106 0 0 25 0 4 0 108967369 88367104 20671 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.48
Current children cumulated vsize (KiB) 86296

[startup+522.302 s]
/proc/loadavg: 2.06 1.84 1.42 3/68 30857
/proc/meminfo: memFree=1486184/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=90592 CPUtime=1042.22
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 22025 0 0 0 103843 379 0 0 18 0 4 0 108967369 92766208 21758 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 22648 21758 70 163 0 22483 0
[pid=30853/tid=30854] ppid=30851 vsize=90592 CPUtime=2.08
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 340 0 0 0 48 160 0 0 16 0 4 0 108967369 92766208 21758 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=90592 CPUtime=520.99
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 10863 0 0 0 51996 103 0 0 25 0 4 0 108967369 92766208 21758 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=90592 CPUtime=519.13
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 10739 0 0 0 51798 115 0 0 25 0 4 0 108967369 92766208 21758 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.22
Current children cumulated vsize (KiB) 90592

[startup+582.302 s]
/proc/loadavg: 2.02 1.87 1.46 3/68 30857
/proc/meminfo: memFree=1482600/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=94040 CPUtime=1161.95
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 22911 0 0 0 115796 399 0 0 18 0 4 0 108967369 96296960 22644 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 23510 22644 70 163 0 23345 0
[pid=30853/tid=30854] ppid=30851 vsize=94040 CPUtime=2.2
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 350 0 0 0 51 169 0 0 16 0 4 0 108967369 96296960 22644 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=94040 CPUtime=580.92
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 11190 0 0 0 57983 109 0 0 25 0 4 0 108967369 96296960 22644 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=94040 CPUtime=578.82
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 11288 0 0 0 57762 120 0 0 25 0 4 0 108967369 96296960 22644 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.95
Current children cumulated vsize (KiB) 94040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 2.01 1.88 1.47 3/68 30857
/proc/meminfo: memFree=1482408/2055920 swapFree=4181344/4192956
[pid=30853] ppid=30851 vsize=94200 CPUtime=1200.07
/proc/30853/stat : 30853 (satake) S 30851 30853 30607 0 -1 4194304 22962 0 0 0 119599 408 0 0 18 0 4 0 108967369 96460800 22695 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30853/statm: 23550 22695 70 163 0 23385 0
[pid=30853/tid=30854] ppid=30851 vsize=94200 CPUtime=2.26
/proc/30853/task/30854/stat : 30854 (satake) S 30851 30853 30607 0 -1 4194368 351 0 0 0 52 174 0 0 16 0 4 0 108967369 96460800 22695 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30853/tid=30855] ppid=30851 vsize=94200 CPUtime=599.98
/proc/30853/task/30855/stat : 30855 (satake) R 30851 30853 30607 0 -1 4194368 11212 0 0 0 59887 111 0 0 25 0 4 0 108967369 96460800 22695 1992294400 134512640 135180984 4294956208 18446744073709551615 134532417 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30853/tid=30856] ppid=30851 vsize=94200 CPUtime=597.82
/proc/30853/task/30856/stat : 30856 (satake) R 30851 30853 30607 0 -1 4194368 11316 0 0 0 59659 123 0 0 25 0 4 0 108967369 96460800 22695 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 94200

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.428
CPU time (s): 1200.11
CPU user time (s): 1196.01
CPU system time (s): 4.10438
CPU usage (%): 199.544
Max. virtual memory (cumulated for all children) (KiB): 94200

deleting IPC queue 2064384
deleting IPC queue 2097153
deleting IPC queue 2129922
deleting IPC queue 2162691
deleting IPC queue 2195460
deleting IPC queue 2228229
deleting IPC queue 2260998
deleting IPC queue 2293767
deleting IPC queue 2326536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.01
system time used= 4.10438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22962
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= 319996
involuntary context switches= 326933

runsolver used 0.509922 second user time and 1.68674 second system time

The end

Launcher Data 

Begin job on node13 at 2009-04-27 07:15:39
IDJOB=1736040
IDBENCH=71569
IDSOLVER=553
FILE ID=node13/1736040-1240809339
PBS_JOBID= 9187423
Free space on /tmp= 66232 MiB

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

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

MD5SUM BENCH= 424de5d4f0392bf458f49384a643429b
RANDOM SEED=218248481

node13.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.227
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.227
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:       1573928 kB
Buffers:         68264 kB
Cached:         333848 kB
SwapCached:       5412 kB
Active:          34968 kB
Inactive:       375028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1573928 kB
SwapTotal:     4192956 kB
SwapFree:      4181344 kB
Dirty:            1468 kB
Writeback:           0 kB
Mapped:          13472 kB
Slab:            57956 kB
Committed_AS:   403456 kB
PageTables:       1460 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= 66232 MiB
End job on node13 at 2009-04-27 07:25:42