Trace number 460099

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, and are wall clock time (not CPU 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
MiraXT v3? (TO) 10000.3 5014.45

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
MD5SUM9bf608481da1a82a38dc09355889f525
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables32572
Number of clauses136205
Sum of the clauses size376727
Maximum clause length37
Minimum clause length1
Number of clauses of size 1343
Number of clauses of size 260361
Number of clauses of size 370210
Number of clauses of size 4186
Number of clauses of size 5345
Number of clauses of size over 54760

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node38/watcher-460099-1179235880 -o ROOT/results/node38/solver-460099-1179235880 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460099-1179235880/MiraXTv3_dyn /tmp/evaluation/460099-1179235880/instance-460099-1179235880.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.00 0.00 0.00 3/77 2494
/proc/meminfo: memFree=1060120/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=3788 CPUtime=0
/proc/2494/stat : 2494 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194304 318 0 0 0 0 0 0 0 18 0 1 0 355754656 3878912 294 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2494/statm: 947 300 202 20 0 305 0

[startup+0.03254 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 2494
/proc/meminfo: memFree=1060120/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=5648 CPUtime=0.02
/proc/2494/stat : 2494 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194304 955 0 0 0 2 0 0 0 18 0 1 0 355754656 5783552 930 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134571819 0 0 4096 0 0 0 0 17 1 0 0
/proc/2494/statm: 1412 930 206 20 0 770 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5648

[startup+0.102553 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 2494
/proc/meminfo: memFree=1060120/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=9988 CPUtime=0.09
/proc/2494/stat : 2494 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194304 1971 0 0 0 9 0 0 0 18 0 1 0 355754656 10227712 1946 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/2494/statm: 2497 1947 206 20 0 1855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9988

[startup+0.302602 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 2494
/proc/meminfo: memFree=1060120/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=18048 CPUtime=0.29
/proc/2494/stat : 2494 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194304 3754 0 0 0 28 1 0 0 20 0 1 0 355754656 18481152 3729 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/2494/statm: 4512 3730 207 20 0 3870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18048

[startup+0.701666 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 2494
/proc/meminfo: memFree=1060120/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=24876 CPUtime=0.69
/proc/2494/stat : 2494 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194304 5353 0 0 0 67 2 0 0 23 0 1 0 355754656 25473024 5328 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134583878 0 0 4096 0 0 0 0 17 1 0 0
/proc/2494/statm: 6219 5328 207 20 0 5577 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24876

[startup+1.50182 s]
/proc/loadavg: 0.08 0.02 0.01 2/80 2497
/proc/meminfo: memFree=1024448/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=67444 CPUtime=1.55
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 10267 0 0 0 151 4 0 0 25 0 3 0 355754656 69062656 9645 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 16861 9645 218 20 0 16219 0
[pid=2494/tid=2496] ppid=2492 vsize=67444 CPUtime=0.56
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 2661 0 0 0 56 0 0 0 22 0 3 0 355754749 69062656 9645 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525945 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=67444 CPUtime=0.05
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194368 1951 0 0 0 4 1 0 0 18 0 3 0 355754749 69062656 9645 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 67444

[startup+3.10113 s]
/proc/loadavg: 0.08 0.02 0.01 2/80 2497
/proc/meminfo: memFree=1022016/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=67836 CPUtime=3.64
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 10624 0 0 0 360 4 0 0 25 0 3 0 355754656 69464064 9811 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 16959 9811 218 20 0 16317 0
[pid=2494/tid=2496] ppid=2492 vsize=67836 CPUtime=2.16
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 2726 0 0 0 216 0 0 0 25 0 3 0 355754749 69464064 9811 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=67836 CPUtime=0.55
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 2243 0 0 0 54 1 0 0 20 0 3 0 355754749 69464064 9811 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 67836

[startup+6.30175 s]
/proc/loadavg: 0.08 0.02 0.01 3/80 2497
/proc/meminfo: memFree=1011136/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=79128 CPUtime=10.03
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 13964 0 0 0 994 9 0 0 25 0 3 0 355754656 81027072 13151 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 19782 13151 218 20 0 19140 0
[pid=2494/tid=2496] ppid=2492 vsize=79128 CPUtime=5.36
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 4207 0 0 0 534 2 0 0 25 0 3 0 355754749 81027072 13151 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=79128 CPUtime=3.73
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 4102 0 0 0 370 3 0 0 20 0 3 0 355754749 81027072 13151 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.03
Current children cumulated vsize (KiB) 79128

[startup+12.702 s]
/proc/loadavg: 0.37 0.08 0.03 3/80 2497
/proc/meminfo: memFree=989248/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=100660 CPUtime=22.8
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 19396 0 0 0 2267 13 0 0 25 0 3 0 355754656 103075840 18467 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 25165 18467 218 20 0 24523 0
[pid=2494/tid=2496] ppid=2492 vsize=100660 CPUtime=11.76
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 7825 0 0 0 1172 4 0 0 22 0 3 0 355754749 103075840 18467 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134517172 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=100660 CPUtime=10.11
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 5916 0 0 0 1005 6 0 0 19 0 3 0 355754749 103075840 18467 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.8
Current children cumulated vsize (KiB) 100660

[startup+25.5024 s]
/proc/loadavg: 0.62 0.14 0.05 3/80 2497
/proc/meminfo: memFree=936768/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=151820 CPUtime=48.34
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 32626 0 0 0 4808 26 0 0 25 0 3 0 355754656 155463680 31498 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 37955 31498 218 20 0 37313 0
[pid=2494/tid=2496] ppid=2492 vsize=151820 CPUtime=24.55
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 13393 0 0 0 2447 8 0 0 25 0 3 0 355754749 155463680 31498 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=151820 CPUtime=22.85
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 13578 0 0 0 2271 14 0 0 24 0 3 0 355754749 155463680 31498 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134517408 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.34
Current children cumulated vsize (KiB) 151820

[startup+51.1023 s]
/proc/loadavg: 1.09 0.29 0.10 3/80 2497
/proc/meminfo: memFree=924352/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=162136 CPUtime=99.38
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 35582 0 0 0 9909 29 0 0 25 0 3 0 355754656 166027264 34019 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 40534 34019 218 20 0 39892 0
[pid=2494/tid=2496] ppid=2492 vsize=162136 CPUtime=50.13
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 15332 0 0 0 5002 11 0 0 25 0 3 0 355754749 166027264 34019 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=162136 CPUtime=48.32
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 14595 0 0 0 4817 15 0 0 25 0 3 0 355754749 166027264 34019 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.38
Current children cumulated vsize (KiB) 162136

[startup+102.305 s]
/proc/loadavg: 1.64 0.58 0.20 3/80 2497
/proc/meminfo: memFree=863616/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=221836 CPUtime=201.51
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 51743 0 0 0 20106 45 0 0 25 0 3 0 355754656 227160064 49162 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 55459 49162 218 20 0 54817 0
[pid=2494/tid=2496] ppid=2492 vsize=221836 CPUtime=101.29
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 21977 0 0 0 10112 17 0 0 25 0 3 0 355754749 227160064 49162 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=221836 CPUtime=99.29
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 24111 0 0 0 9904 25 0 0 25 0 3 0 355754749 227160064 49162 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.51
Current children cumulated vsize (KiB) 221836

[startup+162.303 s]
/proc/loadavg: 1.86 0.83 0.31 3/80 2497
/proc/meminfo: memFree=817664/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=268392 CPUtime=321.2
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 64605 0 0 0 32067 53 0 0 25 0 3 0 355754656 274833408 60923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 67098 60923 218 20 0 66456 0
[pid=2494/tid=2496] ppid=2492 vsize=268392 CPUtime=161.25
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 33860 0 0 0 16101 24 0 0 25 0 3 0 355754749 274833408 60923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525920 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=268392 CPUtime=159.01
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 25090 0 0 0 15876 25 0 0 25 0 3 0 355754749 274833408 60923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.2
Current children cumulated vsize (KiB) 268392

[startup+222.302 s]
/proc/loadavg: 1.95 1.04 0.42 3/80 2497
/proc/meminfo: memFree=740160/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=344240 CPUtime=440.86
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 84267 0 0 0 44011 75 0 0 25 0 3 0 355754656 352501760 79935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 86060 79935 218 20 0 85418 0
[pid=2494/tid=2496] ppid=2492 vsize=344240 CPUtime=221.22
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 45668 0 0 0 22086 36 0 0 25 0 3 0 355754749 352501760 79935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565854 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=344240 CPUtime=218.7
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 32944 0 0 0 21835 35 0 0 25 0 3 0 355754749 352501760 79935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 440.86
Current children cumulated vsize (KiB) 344240

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/80 2497
/proc/meminfo: memFree=738240/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=346288 CPUtime=560.54
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 85032 0 0 0 55978 76 0 0 25 0 3 0 355754656 354598912 80451 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 86572 80451 218 20 0 85930 0
[pid=2494/tid=2496] ppid=2492 vsize=346288 CPUtime=281.19
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 45680 0 0 0 28082 37 0 0 25 0 3 0 355754749 354598912 80451 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=346288 CPUtime=278.43
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 33697 0 0 0 27806 37 0 0 25 0 3 0 355754749 354598912 80451 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.54
Current children cumulated vsize (KiB) 346288

[startup+342.302 s]
/proc/loadavg: 1.99 1.36 0.60 3/80 2497
/proc/meminfo: memFree=701504/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=383152 CPUtime=680.25
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 94637 0 0 0 67932 93 0 0 25 0 3 0 355754656 392347648 89715 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 95788 89715 218 20 0 95146 0
[pid=2494/tid=2496] ppid=2492 vsize=383152 CPUtime=341.16
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 45687 0 0 0 34079 37 0 0 25 0 3 0 355754749 392347648 89715 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=383152 CPUtime=338.16
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 43295 0 0 0 33763 53 0 0 25 0 3 0 355754749 392347648 89715 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520643 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.25
Current children cumulated vsize (KiB) 383152

[startup+402.301 s]

################
# More data... #
################

[pid=2494] ppid=2492 vsize=911556 CPUtime=8699.6
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 230794 0 0 0 869635 325 0 0 25 0 3 0 355754656 933433344 221684 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 227889 221684 218 20 0 227247 0
[pid=2494/tid=2496] ppid=2492 vsize=911556 CPUtime=4346.37
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 102660 0 0 0 434525 112 0 0 25 0 3 0 355754749 933433344 221684 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2494/tid=2497] ppid=2492 vsize=911556 CPUtime=4352.29
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 122479 0 0 0 435020 209 0 0 25 0 3 0 355754749 933433344 221684 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565729 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8699.6
Current children cumulated vsize (KiB) 911556

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 2697
/proc/meminfo: memFree=148736/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=934932 CPUtime=8819.29
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 236731 0 0 0 881598 331 0 0 25 0 3 0 355754656 957370368 227473 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 233733 227473 218 20 0 233091 0
[pid=2494/tid=2496] ppid=2492 vsize=934932 CPUtime=4406.1
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107589 0 0 0 440493 117 0 0 25 0 3 0 355754749 957370368 227473 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2494/tid=2497] ppid=2492 vsize=934932 CPUtime=4412.26
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 123487 0 0 0 441015 211 0 0 25 0 3 0 355754749 957370368 227473 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8819.29
Current children cumulated vsize (KiB) 934932

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 2697
/proc/meminfo: memFree=148736/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=934932 CPUtime=8939.02
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 236732 0 0 0 893570 332 0 0 25 0 3 0 355754656 957370368 227474 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 233733 227474 218 20 0 233091 0
[pid=2494/tid=2496] ppid=2492 vsize=934932 CPUtime=4465.85
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107589 0 0 0 446468 117 0 0 25 0 3 0 355754749 957370368 227474 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2494/tid=2497] ppid=2492 vsize=934932 CPUtime=4472.23
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 123488 0 0 0 447012 211 0 0 25 0 3 0 355754749 957370368 227474 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8939.02
Current children cumulated vsize (KiB) 934932

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 2697
/proc/meminfo: memFree=139136/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=944148 CPUtime=9058.71
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 239180 0 0 0 905533 338 0 0 25 0 3 0 355754656 966807552 229922 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 236037 229922 218 20 0 235395 0
[pid=2494/tid=2496] ppid=2492 vsize=944148 CPUtime=4525.57
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107589 0 0 0 452439 118 0 0 25 0 3 0 355754749 966807552 229922 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2494/tid=2497] ppid=2492 vsize=944148 CPUtime=4532.21
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 125936 0 0 0 453004 217 0 0 25 0 3 0 355754749 966807552 229922 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9058.71
Current children cumulated vsize (KiB) 944148

[startup+4602.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/80 2697
/proc/meminfo: memFree=113408/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=969748 CPUtime=9178.42
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 245847 0 0 0 917493 349 0 0 25 0 3 0 355754656 993021952 236247 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 242437 236247 218 20 0 241795 0
[pid=2494/tid=2496] ppid=2492 vsize=969748 CPUtime=4585.3
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107599 0 0 0 458412 118 0 0 25 0 3 0 355754749 993021952 236247 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2494/tid=2497] ppid=2492 vsize=969748 CPUtime=4592.19
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 132593 0 0 0 458991 228 0 0 25 0 3 0 355754749 993021952 236247 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9178.42
Current children cumulated vsize (KiB) 969748

[startup+4662.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/80 2697
/proc/meminfo: memFree=118720/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=964316 CPUtime=9298.13
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 245854 0 0 0 929463 350 0 0 25 0 3 0 355754656 987459584 234914 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 241079 234914 218 20 0 240437 0
[pid=2494/tid=2496] ppid=2492 vsize=964316 CPUtime=4645.04
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107605 0 0 0 464386 118 0 0 25 0 3 0 355754749 987459584 234914 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2494/tid=2497] ppid=2492 vsize=964316 CPUtime=4652.16
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 132594 0 0 0 464987 229 0 0 25 0 3 0 355754749 987459584 234914 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9298.13
Current children cumulated vsize (KiB) 964316

[startup+4722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 2697
/proc/meminfo: memFree=118720/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=964316 CPUtime=9417.74
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 245889 0 0 0 941424 350 0 0 25 0 3 0 355754656 987459584 234949 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 241079 234949 218 20 0 240437 0
[pid=2494/tid=2496] ppid=2492 vsize=964316 CPUtime=4704.7
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107621 0 0 0 470352 118 0 0 25 0 3 0 355754749 987459584 234949 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2494/tid=2497] ppid=2492 vsize=964316 CPUtime=4712.1
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 132613 0 0 0 470981 229 0 0 25 0 3 0 355754749 987459584 234949 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9417.74
Current children cumulated vsize (KiB) 964316

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 2697
/proc/meminfo: memFree=118720/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=964316 CPUtime=9537.35
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 245907 0 0 0 953384 351 0 0 25 0 3 0 355754656 987459584 234967 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 241079 234967 218 20 0 240437 0
[pid=2494/tid=2496] ppid=2492 vsize=964316 CPUtime=4764.4
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107629 0 0 0 476322 118 0 0 25 0 3 0 355754749 987459584 234967 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2494/tid=2497] ppid=2492 vsize=964316 CPUtime=4772.02
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 132623 0 0 0 476972 230 0 0 25 0 3 0 355754749 987459584 234967 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9537.35
Current children cumulated vsize (KiB) 964316

[startup+4842.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 2697
/proc/meminfo: memFree=118720/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=964316 CPUtime=9657.05
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 245913 0 0 0 965353 352 0 0 25 0 3 0 355754656 987459584 234973 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 241079 234973 218 20 0 240437 0
[pid=2494/tid=2496] ppid=2492 vsize=964316 CPUtime=4824.26
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107633 0 0 0 482307 119 0 0 25 0 3 0 355754749 987459584 234973 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=964316 CPUtime=4831.85
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 132625 0 0 0 482955 230 0 0 25 0 3 0 355754749 987459584 234973 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9657.05
Current children cumulated vsize (KiB) 964316

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 2697
/proc/meminfo: memFree=118720/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=964316 CPUtime=9776.72
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 245915 0 0 0 977319 353 0 0 25 0 3 0 355754656 987459584 234975 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 241079 234975 218 20 0 240437 0
[pid=2494/tid=2496] ppid=2492 vsize=964316 CPUtime=4884.22
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107635 0 0 0 488303 119 0 0 25 0 3 0 355754749 987459584 234975 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=964316 CPUtime=4891.56
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 132625 0 0 0 488926 230 0 0 25 0 3 0 355754749 987459584 234975 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9776.72
Current children cumulated vsize (KiB) 964316

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 2697
/proc/meminfo: memFree=117888/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=965340 CPUtime=9896.4
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 246162 0 0 0 989287 353 0 0 25 0 3 0 355754656 988508160 235222 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 241335 235222 218 20 0 240693 0
[pid=2494/tid=2496] ppid=2492 vsize=965340 CPUtime=4944.19
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107818 0 0 0 494299 120 0 0 25 0 3 0 355754749 988508160 235222 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=965340 CPUtime=4951.28
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 132689 0 0 0 494898 230 0 0 25 0 3 0 355754749 988508160 235222 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520299 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9896.4
Current children cumulated vsize (KiB) 965340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5014.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 2697
/proc/meminfo: memFree=117888/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=965340 CPUtime=10000.2
/proc/2494/stat : 2494 (MiraXTv3_dyn) S 2492 2494 2420 0 -1 4194304 246164 0 0 0 999662 354 0 0 25 0 3 0 355754656 988508160 235224 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 241335 235224 218 20 0 240693 0
[pid=2494/tid=2496] ppid=2492 vsize=965340 CPUtime=4996.17
/proc/2494/task/2496/stat : 2496 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 107820 0 0 0 499497 120 0 0 25 0 3 0 355754749 988508160 235224 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2494/tid=2497] ppid=2492 vsize=965340 CPUtime=5003.05
/proc/2494/task/2497/stat : 2497 (MiraXTv3_dyn) R 2492 2494 2420 0 -1 4194368 132689 0 0 0 500075 230 0 0 25 0 3 0 355754749 988508160 235224 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 965340

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+5014.41 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 2697
/proc/meminfo: memFree=117888/2055920 swapFree=4154688/4192956
[pid=2494] ppid=2492 vsize=0 CPUtime=10000.3
/proc/2494/stat : 2494 (MiraXTv3_dyn) Z 2492 2494 2420 0 -1 4195340 246164 0 0 0 999663 364 0 0 16 0 2 0 355754656 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2494/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5014.45
CPU time (s): 10000.3
CPU user time (s): 9996.64
CPU system time (s): 3.67944
CPU usage (%): 199.43
Max. virtual memory (cumulated for all children) (KiB): 969748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.64
system time used= 3.67944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246164
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= 786
involuntary context switches= 188788

runsolver used 5.04423 second user time and 13.245 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Tue May 15 13:31:20 UTC 2007

IDJOB= 460099
IDBENCH= 20534
IDSOLVER= 196
FILE ID= node38/460099-1179235880

PBS_JOBID= 5274741

Free space on /tmp= 66543 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k25.cnf
COMMAND LINE= /tmp/evaluation/460099-1179235880/MiraXTv3_dyn /tmp/evaluation/460099-1179235880/instance-460099-1179235880.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-460099-1179235880 -o ROOT/results/node38/solver-460099-1179235880 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/460099-1179235880/MiraXTv3_dyn /tmp/evaluation/460099-1179235880/instance-460099-1179235880.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  9bf608481da1a82a38dc09355889f525

RANDOM SEED= 629356048

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.263
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.263
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:       1060400 kB
Buffers:         45000 kB
Cached:         788916 kB
SwapCached:       6972 kB
Active:         329020 kB
Inactive:       527916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1060400 kB
SwapTotal:     4192956 kB
SwapFree:      4154688 kB
Dirty:            7388 kB
Writeback:           0 kB
Mapped:          30072 kB
Slab:           123716 kB
Committed_AS:  4782780 kB
PageTables:       2092 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= 66543 MiB

End job on node38 on Tue May 15 14:54:57 UTC 2007