Trace number 1543389

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.626

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
MD5SUM2b259c43c2d565526fa8f71172751b7f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.9284
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses14000
Sum of the clauses size70000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 514000
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543389-1238490910/watcher-1543389-1238490910 -o /tmp/evaluation-result-1543389-1238490910/solver-1543389-1238490910 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543389-1238490910.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.91 0.97 0.99 3/64 12572
/proc/meminfo: memFree=1044040/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=2844 CPUtime=0
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 340 0 0 0 0 0 0 0 18 0 4 0 1121757141 2912256 325 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 711 326 65 163 0 546 0
[pid=12572/tid=12573] ppid=12570 vsize=2844 CPUtime=0
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121757141 2912256 326 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=2844 CPUtime=0
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 135 0 0 0 0 0 0 0 19 0 4 0 1121757141 2912256 327 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=2844 CPUtime=0
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 117 0 0 0 0 0 0 0 19 0 4 0 1121757141 2912256 327 1992294400 134512640 135180984 4294956208 18446744073709551615 134534844 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0726961 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12572
/proc/meminfo: memFree=1044040/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=5040 CPUtime=0.12
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 797 0 0 0 12 0 0 0 18 0 4 0 1121757141 5160960 618 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 1260 618 70 163 0 1095 0
[pid=12572/tid=12573] ppid=12570 vsize=5040 CPUtime=0
/proc/12572/task/12573/stat : 12573 (satake) R 12570 12572 12209 0 -1 4194368 23 0 0 0 0 0 0 0 16 0 4 0 1121757141 5160960 618 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=5040 CPUtime=0.06
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 349 0 0 0 6 0 0 0 19 0 4 0 1121757141 5160960 618 1992294400 134512640 135180984 4294956208 18446744073709551615 134528084 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=5040 CPUtime=0.05
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 342 0 0 0 5 0 0 0 18 0 4 0 1121757141 5160960 618 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5040

[startup+0.102899 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12572
/proc/meminfo: memFree=1044040/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=5172 CPUtime=0.18
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 841 0 0 0 17 1 0 0 18 0 4 0 1121757141 5296128 662 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 1293 662 70 163 0 1128 0
[pid=12572/tid=12573] ppid=12570 vsize=5172 CPUtime=0
/proc/12572/task/12573/stat : 12573 (satake) R 12570 12572 12209 0 -1 4194368 23 0 0 0 0 0 0 0 17 0 4 0 1121757141 5296128 662 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=5172 CPUtime=0.09
/proc/12572/task/12574/stat : 12574 (satake) S 12570 12572 12209 0 -1 4194368 369 0 0 0 9 0 0 0 17 0 4 0 1121757141 5296128 662 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=5172 CPUtime=0.08
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 366 0 0 0 8 0 0 0 17 0 4 0 1121757141 5296128 662 1992294400 134512640 135180984 4294956208 18446744073709551615 134528462 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5172

[startup+0.302934 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12572
/proc/meminfo: memFree=1044040/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=5700 CPUtime=0.57
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 1114 0 0 0 53 4 0 0 18 0 4 0 1121757141 5836800 935 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 1425 935 70 163 0 1260 0
[pid=12572/tid=12573] ppid=12570 vsize=5700 CPUtime=0.02
/proc/12572/task/12573/stat : 12573 (satake) R 12570 12572 12209 0 -1 4194368 28 0 0 0 0 2 0 0 16 0 4 0 1121757141 5836800 935 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=5700 CPUtime=0.27
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 501 0 0 0 27 0 0 0 18 0 4 0 1121757141 5836800 935 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=5700 CPUtime=0.27
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 502 0 0 0 26 1 0 0 16 0 4 0 1121757141 5836800 935 1992294400 134512640 135180984 4294956208 18446744073709551615 134520912 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 5700

[startup+0.703006 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 12572
/proc/meminfo: memFree=1044040/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=7780 CPUtime=1.35
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 1617 0 0 0 125 10 0 0 18 0 4 0 1121757141 7966720 1438 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 1945 1438 70 163 0 1780 0
[pid=12572/tid=12573] ppid=12570 vsize=7780 CPUtime=0.05
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 37 0 0 0 0 5 0 0 16 0 4 0 1121757141 7966720 1438 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=7780 CPUtime=0.65
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 759 0 0 0 63 2 0 0 17 0 4 0 1121757141 7966720 1438 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=7780 CPUtime=0.64
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 738 0 0 0 62 2 0 0 17 0 4 0 1121757141 7966720 1438 1992294400 134512640 135180984 4294956208 18446744073709551615 134522829 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 7780

[startup+1.50115 s]
/proc/loadavg: 0.91 0.97 0.99 3/68 12576
/proc/meminfo: memFree=1036968/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=11692 CPUtime=2.94
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 2508 0 0 0 274 20 0 0 18 0 4 0 1121757141 11972608 2329 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 2923 2329 70 163 0 2758 0
[pid=12572/tid=12573] ppid=12570 vsize=11692 CPUtime=0.1
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 52 0 0 0 1 9 0 0 16 0 4 0 1121757141 11972608 2329 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=11692 CPUtime=1.42
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 1213 0 0 0 137 5 0 0 20 0 4 0 1121757141 11972608 2329 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=11692 CPUtime=1.4
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 1160 0 0 0 135 5 0 0 17 0 4 0 1121757141 11972608 2329 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 11692

[startup+3.10145 s]
/proc/loadavg: 0.91 0.97 0.99 3/68 12576
/proc/meminfo: memFree=1032488/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=13904 CPUtime=6.11
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 3138 0 0 0 580 31 0 0 18 0 4 0 1121757141 14237696 2959 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 3476 2959 70 163 0 3311 0
[pid=12572/tid=12573] ppid=12570 vsize=13904 CPUtime=0.16
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 72 0 0 0 2 14 0 0 16 0 4 0 1121757141 14237696 2959 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=13904 CPUtime=2.98
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 1511 0 0 0 291 7 0 0 17 0 4 0 1121757141 14237696 2959 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=13904 CPUtime=2.95
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 1472 0 0 0 286 9 0 0 17 0 4 0 1121757141 14237696 2959 1992294400 134512640 135180984 4294956208 18446744073709551615 134528869 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 13904

[startup+6.30103 s]
/proc/loadavg: 1.00 0.99 1.00 3/68 12576
/proc/meminfo: memFree=1029680/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=16380 CPUtime=12.48
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 3902 0 0 0 1198 50 0 0 18 0 4 0 1121757141 16773120 3723 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 4095 3723 70 163 0 3930 0
[pid=12572/tid=12573] ppid=12570 vsize=16380 CPUtime=0.26
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 105 0 0 0 4 22 0 0 15 0 4 0 1121757141 16773120 3723 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=16380 CPUtime=6.13
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 1884 0 0 0 600 13 0 0 17 0 4 0 1121757141 16773120 3723 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=16380 CPUtime=6.07
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 1830 0 0 0 593 14 0 0 16 0 4 0 1121757141 16773120 3723 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 16380

[startup+12.7012 s]
/proc/loadavg: 1.08 1.01 1.01 3/68 12576
/proc/meminfo: memFree=1025776/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=19880 CPUtime=25.24
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 4733 0 0 0 2444 80 0 0 18 0 4 0 1121757141 20357120 4554 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 4970 4554 70 163 0 4805 0
[pid=12572/tid=12573] ppid=12570 vsize=19880 CPUtime=0.41
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 155 0 0 0 7 34 0 0 16 0 4 0 1121757141 20357120 4554 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=19880 CPUtime=12.44
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 2252 0 0 0 1223 21 0 0 17 0 4 0 1121757141 20357120 4554 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=19880 CPUtime=12.36
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 2243 0 0 0 1213 23 0 0 17 0 4 0 1121757141 20357120 4554 1992294400 134512640 135180984 4294956208 18446744073709551615 134528511 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 19880

[startup+25.5014 s]
/proc/loadavg: 1.28 1.06 1.02 3/68 12576
/proc/meminfo: memFree=1023472/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=21828 CPUtime=50.77
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 5322 0 0 0 4952 125 0 0 18 0 4 0 1121757141 22351872 5143 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 5457 5143 70 163 0 5292 0
[pid=12572/tid=12573] ppid=12570 vsize=21828 CPUtime=0.67
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 231 0 0 0 13 54 0 0 16 0 4 0 1121757141 22351872 5143 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=21828 CPUtime=25.07
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 2484 0 0 0 2475 32 0 0 17 0 4 0 1121757141 22351872 5143 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=21828 CPUtime=24.99
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 2524 0 0 0 2462 37 0 0 17 0 4 0 1121757141 22351872 5143 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 21828

[startup+51.102 s]
/proc/loadavg: 1.53 1.13 1.04 3/68 12576
/proc/meminfo: memFree=1018096/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=27732 CPUtime=101.81
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 6665 0 0 0 9985 196 0 0 18 0 4 0 1121757141 28397568 6486 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 6933 6486 70 163 0 6768 0
[pid=12572/tid=12573] ppid=12570 vsize=27732 CPUtime=1.11
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 355 0 0 0 24 87 0 0 16 0 4 0 1121757141 28397568 6486 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=27732 CPUtime=50.36
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 3166 0 0 0 4985 51 0 0 17 0 4 0 1121757141 28397568 6486 1992294400 134512640 135180984 4294956208 18446744073709551615 134519893 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=27732 CPUtime=50.32
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 3061 0 0 0 4975 57 0 0 17 0 4 0 1121757141 28397568 6486 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 27732

[startup+102.306 s]
/proc/loadavg: 1.79 1.26 1.09 3/68 12576
/proc/meminfo: memFree=1013296/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=32708 CPUtime=203.96
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 7874 0 0 0 20091 305 0 0 18 0 4 0 1121757141 33492992 7695 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 8177 7695 70 163 0 8012 0
[pid=12572/tid=12573] ppid=12570 vsize=32708 CPUtime=1.75
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 550 0 0 0 37 138 0 0 15 0 4 0 1121757141 33492992 7695 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=32708 CPUtime=101.04
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 3627 0 0 0 10024 80 0 0 16 0 4 0 1121757141 33492992 7695 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=32708 CPUtime=101.13
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 3614 0 0 0 10028 85 0 0 17 0 4 0 1121757141 33492992 7695 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 32708

[startup+162.301 s]
/proc/loadavg: 1.97 1.41 1.15 3/68 12576
/proc/meminfo: memFree=1009136/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=36340 CPUtime=323.66
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 8875 0 0 0 31958 408 0 0 18 0 4 0 1121757141 37212160 8696 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 9085 8696 70 163 0 8920 0
[pid=12572/tid=12573] ppid=12570 vsize=36340 CPUtime=2.38
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 725 0 0 0 51 187 0 0 16 0 4 0 1121757141 37212160 8696 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=36340 CPUtime=160.47
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 4019 0 0 0 15940 107 0 0 18 0 4 0 1121757141 37212160 8696 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12572/tid=12575] ppid=12570 vsize=36340 CPUtime=160.78
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 4048 0 0 0 15965 113 0 0 17 0 4 0 1121757141 37212160 8696 1992294400 134512640 135180984 4294956208 18446744073709551615 134520907 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 36340

[startup+222.301 s]
/proc/loadavg: 1.99 1.51 1.20 3/68 12576
/proc/meminfo: memFree=1007472/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=38436 CPUtime=443.36
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 9359 0 0 0 43840 496 0 0 18 0 4 0 1121757141 39358464 9180 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 9609 9180 70 163 0 9444 0
[pid=12572/tid=12573] ppid=12570 vsize=38436 CPUtime=2.91
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 899 0 0 0 63 228 0 0 16 0 4 0 1121757141 39358464 9180 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=38436 CPUtime=220
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 4233 0 0 0 21870 130 0 0 17 0 4 0 1121757141 39358464 9180 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=38436 CPUtime=220.42
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 4144 0 0 0 21906 136 0 0 17 0 4 0 1121757141 39358464 9180 1992294400 134512640 135180984 4294956208 18446744073709551615 134528658 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (KiB) 38436

[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.25 3/68 12576
/proc/meminfo: memFree=1003248/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=41952 CPUtime=563.06
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 10391 0 0 0 55713 593 0 0 18 0 4 0 1121757141 42958848 10212 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 10488 10212 70 163 0 10323 0
[pid=12572/tid=12573] ppid=12570 vsize=41952 CPUtime=3.51
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 1068 0 0 0 77 274 0 0 16 0 4 0 1121757141 42958848 10212 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=41952 CPUtime=279.44
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 4613 0 0 0 27789 155 0 0 20 0 4 0 1121757141 42958848 10212 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=41952 CPUtime=280.08
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 4627 0 0 0 27845 163 0 0 17 0 4 0 1121757141 42958848 10212 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 41952

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.29 3/68 12576
/proc/meminfo: memFree=1002096/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=44132 CPUtime=682.77
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 10667 0 0 0 67609 668 0 0 18 0 4 0 1121757141 45191168 10488 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 11033 10488 70 163 0 10868 0
[pid=12572/tid=12573] ppid=12570 vsize=44132 CPUtime=3.99
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 1200 0 0 0 90 309 0 0 16 0 4 0 1121757141 45191168 10488 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=44132 CPUtime=338.95
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 4631 0 0 0 33718 177 0 0 25 0 4 0 1121757141 45191168 10488 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=44132 CPUtime=339.81
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 4753 0 0 0 33800 181 0 0 18 0 4 0 1121757141 45191168 10488 1992294400 134512640 135180984 4294956208 18446744073709551615 134519923 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.77
Current children cumulated vsize (KiB) 44132

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/68 12576
/proc/meminfo: memFree=997936/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=48160 CPUtime=802.48
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 11712 0 0 0 79484 764 0 0 18 0 4 0 1121757141 49315840 11533 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 12040 11533 70 163 0 11875 0
[pid=12572/tid=12573] ppid=12570 vsize=48160 CPUtime=4.54
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 1362 0 0 0 104 350 0 0 16 0 4 0 1121757141 49315840 11533 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=48160 CPUtime=398.41
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 5137 0 0 0 39637 204 0 0 21 0 4 0 1121757141 49315840 11533 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=48160 CPUtime=399.51
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 5130 0 0 0 39742 209 0 0 21 0 4 0 1121757141 49315840 11533 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.48
Current children cumulated vsize (KiB) 48160

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 12576
/proc/meminfo: memFree=996080/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=49844 CPUtime=922.18
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 12152 0 0 0 91384 834 0 0 18 0 4 0 1121757141 51040256 11973 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 12461 11973 70 163 0 12296 0
[pid=12572/tid=12573] ppid=12570 vsize=49844 CPUtime=4.94
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 1487 0 0 0 114 380 0 0 16 0 4 0 1121757141 51040256 11973 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=49844 CPUtime=458.1
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 5295 0 0 0 45586 224 0 0 18 0 4 0 1121757141 51040256 11973 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=49844 CPUtime=459.12
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 5287 0 0 0 45683 229 0 0 17 0 4 0 1121757141 51040256 11973 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.18
Current children cumulated vsize (KiB) 49844

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 12576
/proc/meminfo: memFree=995248/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=51132 CPUtime=1041.89
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 12361 0 0 0 103286 903 0 0 18 0 4 0 1121757141 52359168 12182 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 12783 12182 70 163 0 12618 0
[pid=12572/tid=12573] ppid=12570 vsize=51132 CPUtime=5.36
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 1605 0 0 0 125 411 0 0 16 0 4 0 1121757141 52359168 12182 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=51132 CPUtime=517.84
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 5349 0 0 0 51542 242 0 0 17 0 4 0 1121757141 52359168 12182 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=51132 CPUtime=518.66
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 5324 0 0 0 51618 248 0 0 18 0 4 0 1121757141 52359168 12182 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.89
Current children cumulated vsize (KiB) 51132

[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 12576
/proc/meminfo: memFree=993520/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=52476 CPUtime=1161.6
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 12817 0 0 0 115177 983 0 0 18 0 4 0 1121757141 53735424 12638 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 13119 12638 70 163 0 12954 0
[pid=12572/tid=12573] ppid=12570 vsize=52476 CPUtime=5.85
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 1779 0 0 0 137 448 0 0 15 0 4 0 1121757141 53735424 12638 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12572/tid=12574] ppid=12570 vsize=52476 CPUtime=577.41
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 5349 0 0 0 57477 264 0 0 17 0 4 0 1121757141 53735424 12638 1992294400 134512640 135180984 4294956208 18446744073709551615 134528766 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=52476 CPUtime=578.32
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 5606 0 0 0 57562 270 0 0 18 0 4 0 1121757141 53735424 12638 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (KiB) 52476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.85 1.46 3/68 12576
/proc/meminfo: memFree=992048/2055920 swapFree=4177704/4192956
[pid=12572] ppid=12570 vsize=54028 CPUtime=1200.11
/proc/12572/stat : 12572 (satake) S 12570 12572 12209 0 -1 4194304 13150 0 0 0 119001 1010 0 0 18 0 4 0 1121757141 55324672 12971 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12572/statm: 13507 12971 70 163 0 13342 0
[pid=12572/tid=12573] ppid=12570 vsize=54028 CPUtime=6
/proc/12572/task/12573/stat : 12573 (satake) S 12570 12572 12209 0 -1 4194368 1823 0 0 0 140 460 0 0 16 0 4 0 1121757141 55324672 12971 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12572/tid=12574] ppid=12570 vsize=54028 CPUtime=596.56
/proc/12572/task/12574/stat : 12574 (satake) R 12570 12572 12209 0 -1 4194368 5505 0 0 0 59384 272 0 0 25 0 4 0 1121757141 55324672 12971 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12572/tid=12575] ppid=12570 vsize=54028 CPUtime=597.53
/proc/12572/task/12575/stat : 12575 (satake) R 12570 12572 12209 0 -1 4194368 5739 0 0 0 59476 277 0 0 17 0 4 0 1121757141 55324672 12971 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 54028

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.626
CPU time (s): 1200.15
CPU user time (s): 1190.03
CPU system time (s): 10.1155
CPU usage (%): 199.484
Max. virtual memory (cumulated for all children) (KiB): 54028

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 196614

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.03
system time used= 10.1155
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13150
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= 775309
involuntary context switches= 768818

runsolver used 0.516921 second user time and 1.68674 second system time

The end

Launcher Data 

Begin job on node24 at 2009-03-31 11:15:10
IDJOB=1543389
IDBENCH=70230
IDSOLVER=553
FILE ID=node24/1543389-1238490910
PBS_JOBID= 9061853
Free space on /tmp= 65780 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/700/unif-k5-r20-v700-c14000-S1500472284-060.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543389-1238490910/watcher-1543389-1238490910 -o /tmp/evaluation-result-1543389-1238490910/solver-1543389-1238490910 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543389-1238490910.cnf 3 1200

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

MD5SUM BENCH= 2b259c43c2d565526fa8f71172751b7f
RANDOM SEED=1774509028

node24.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.260
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.260
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:       1044520 kB
Buffers:        106664 kB
Cached:         800128 kB
SwapCached:       9032 kB
Active:         162420 kB
Inactive:       754868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1044520 kB
SwapTotal:     4192956 kB
SwapFree:      4177704 kB
Dirty:            1076 kB
Writeback:           0 kB
Mapped:          16080 kB
Slab:            80076 kB
Committed_AS:  3227712 kB
PageTables:       1448 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= 65780 MiB
End job on node24 at 2009-03-31 11:25:14