Trace number 460104

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.2 5015.51

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
MD5SUMe79c4b56e60495fc11a6ec11ab81644b
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 variables81425
Number of clauses364328
Sum of the clauses size937494
Maximum clause length20
Minimum clause length1
Number of clauses of size 1543
Number of clauses of size 2283706
Number of clauses of size 340037
Number of clauses of size 416350
Number of clauses of size 57104
Number of clauses of size over 516588

Solver Data (download as text)

0.00/0.04	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/node26/watcher-460104-1179235885 -o ROOT/results/node26/solver-460104-1179235885 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460104-1179235885/MiraXTv3_dyn /tmp/evaluation/460104-1179235885/instance-460104-1179235885.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 20148
/proc/meminfo: memFree=1310208/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=188 CPUtime=0
/proc/20148/stat : 20148 (MiraXTv3_dyn) D 20146 20148 20074 0 -1 4194304 33 0 0 0 0 0 0 0 18 0 1 0 371505406 192512 23 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 12591908 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20148/statm: 47 23 18 20 0 2 0

[startup+0.022808 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 20148
/proc/meminfo: memFree=1310208/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=188 CPUtime=0
/proc/20148/stat : 20148 (MiraXTv3_dyn) D 20146 20148 20074 0 -1 4194304 33 0 0 0 0 0 0 0 18 0 1 0 371505406 192512 23 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 12591908 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20148/statm: 47 23 18 20 0 2 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 188

[startup+0.102824 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 20148
/proc/meminfo: memFree=1310208/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=7648 CPUtime=0.05
/proc/20148/stat : 20148 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194304 1390 0 0 0 5 0 0 0 18 0 1 0 371505406 7831552 1365 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 13030349 0 0 4096 0 0 0 0 17 0 0 0
/proc/20148/statm: 1912 1365 206 20 0 1270 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7648

[startup+0.302841 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 20148
/proc/meminfo: memFree=1310208/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=20788 CPUtime=0.25
/proc/20148/stat : 20148 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194304 4505 0 0 0 24 1 0 0 19 0 1 0 371505406 21286912 4480 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134585258 0 0 4096 0 0 0 0 17 0 0 0
/proc/20148/statm: 5197 4480 206 20 0 4555 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 20788

[startup+0.702879 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 20148
/proc/meminfo: memFree=1310208/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=35092 CPUtime=0.65
/proc/20148/stat : 20148 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194304 7867 0 0 0 62 3 0 0 23 0 1 0 371505406 35934208 7842 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134569733 0 0 4096 0 0 0 0 17 0 0 0
/proc/20148/statm: 8773 7842 207 20 0 8131 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 35092

[startup+1.50194 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 20149
/proc/meminfo: memFree=1273592/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=50776 CPUtime=1.44
/proc/20148/stat : 20148 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194304 11649 0 0 0 140 4 0 0 25 0 1 0 371505406 51994624 11624 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 13026939 0 0 4096 0 0 0 0 17 1 0 0
/proc/20148/statm: 12694 11624 207 20 0 12052 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 50776

[startup+3.10109 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 20149
/proc/meminfo: memFree=1261112/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=127084 CPUtime=3.18
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 21825 0 0 0 308 10 0 0 25 0 3 0 371505406 130134016 20310 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 31771 20310 218 20 0 31129 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 127084

[startup+6.3014 s]
/proc/loadavg: 0.08 0.02 0.01 3/80 20151
/proc/meminfo: memFree=1231208/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=125236 CPUtime=8.22
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 22028 0 0 0 811 11 0 0 25 0 3 0 371505406 128241664 19874 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 31309 19874 218 20 0 30667 0
[pid=20148/tid=20150] ppid=20146 vsize=125236 CPUtime=3.81
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 5876 0 0 0 378 3 0 0 20 0 3 0 371505653 128241664 19874 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=125236 CPUtime=1.96
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 3171 0 0 0 195 1 0 0 25 0 3 0 371505654 128241664 19874 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 125236

[startup+12.702 s]
/proc/loadavg: 0.23 0.05 0.02 3/80 20151
/proc/meminfo: memFree=1230320/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=125236 CPUtime=20.99
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 22299 0 0 0 2088 11 0 0 25 0 3 0 371505406 128241664 20145 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 31309 20145 218 20 0 30667 0
[pid=20148/tid=20150] ppid=20146 vsize=125236 CPUtime=10.22
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 6018 0 0 0 1018 4 0 0 25 0 3 0 371505653 128241664 20145 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134566337 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=125236 CPUtime=8.33
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 3300 0 0 0 832 1 0 0 25 0 3 0 371505654 128241664 20145 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.99
Current children cumulated vsize (KiB) 125236

[startup+25.5022 s]
/proc/loadavg: 0.62 0.14 0.05 3/80 20151
/proc/meminfo: memFree=1216752/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=137252 CPUtime=46.53
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 25963 0 0 0 4637 16 0 0 25 0 3 0 371505406 140546048 23717 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 34313 23717 218 20 0 33671 0
[pid=20148/tid=20150] ppid=20146 vsize=137252 CPUtime=23
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 7454 0 0 0 2294 6 0 0 25 0 3 0 371505653 140546048 23717 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=137252 CPUtime=21.07
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 5528 0 0 0 2104 3 0 0 25 0 3 0 371505654 140546048 23717 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.53
Current children cumulated vsize (KiB) 137252

[startup+51.1025 s]
/proc/loadavg: 1.09 0.29 0.10 3/80 20151
/proc/meminfo: memFree=1164080/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=187136 CPUtime=97.59
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 39085 0 0 0 9725 34 0 0 25 0 3 0 371505406 191627264 36573 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 46784 36573 218 20 0 46142 0
[pid=20148/tid=20150] ppid=20146 vsize=187136 CPUtime=48.59
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 13150 0 0 0 4842 17 0 0 25 0 3 0 371505653 191627264 36573 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=187136 CPUtime=46.55
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 12954 0 0 0 4644 11 0 0 25 0 3 0 371505654 191627264 36573 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.59
Current children cumulated vsize (KiB) 187136

[startup+102.306 s]
/proc/loadavg: 1.60 0.55 0.19 3/80 20151
/proc/meminfo: memFree=1102512/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=248680 CPUtime=199.71
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 55256 0 0 0 19919 52 0 0 25 0 3 0 371505406 254648320 51923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 62170 51923 218 20 0 61528 0
[pid=20148/tid=20150] ppid=20146 vsize=248680 CPUtime=99.76
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 19408 0 0 0 9950 26 0 0 25 0 3 0 371505653 254648320 51923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=248680 CPUtime=97.51
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 22867 0 0 0 9731 20 0 0 25 0 3 0 371505654 254648320 51923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526189 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 199.71
Current children cumulated vsize (KiB) 248680

[startup+162.303 s]
/proc/loadavg: 1.85 0.81 0.30 3/80 20151
/proc/meminfo: memFree=1070640/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=279684 CPUtime=319.37
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 64172 0 0 0 31873 64 0 0 25 0 3 0 371505406 286396416 59881 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 69921 59881 218 20 0 69279 0
[pid=20148/tid=20150] ppid=20146 vsize=279684 CPUtime=159.73
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 24376 0 0 0 15940 33 0 0 25 0 3 0 371505653 286396416 59881 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=279684 CPUtime=157.21
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 26815 0 0 0 15696 25 0 0 25 0 3 0 371505654 286396416 59881 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 319.37
Current children cumulated vsize (KiB) 279684

[startup+222.302 s]
/proc/loadavg: 1.94 1.03 0.41 3/80 20151
/proc/meminfo: memFree=1015792/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=334164 CPUtime=439.07
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 78914 0 0 0 43825 82 0 0 25 0 3 0 371505406 342183936 73593 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 83541 73593 218 20 0 82899 0
[pid=20148/tid=20150] ppid=20146 vsize=334164 CPUtime=219.7
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 29022 0 0 0 21927 43 0 0 25 0 3 0 371505653 342183936 73593 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565887 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=334164 CPUtime=216.93
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 36911 0 0 0 21660 33 0 0 25 0 3 0 371505654 342183936 73593 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 13026972 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.07
Current children cumulated vsize (KiB) 334164

[startup+282.303 s]
/proc/loadavg: 1.98 1.20 0.50 3/80 20151
/proc/meminfo: memFree=1015216/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=334164 CPUtime=558.72
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 80083 0 0 0 55789 83 0 0 25 0 3 0 371505406 342183936 73689 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 83541 73689 218 20 0 82899 0
[pid=20148/tid=20150] ppid=20146 vsize=334164 CPUtime=279.68
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 29610 0 0 0 27924 44 0 0 25 0 3 0 371505653 342183936 73689 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=334164 CPUtime=276.6
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 37492 0 0 0 27627 33 0 0 25 0 3 0 371505654 342183936 73689 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 558.72
Current children cumulated vsize (KiB) 334164

[startup+342.302 s]
/proc/loadavg: 1.99 1.34 0.60 3/80 20151
/proc/meminfo: memFree=1014192/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=336212 CPUtime=678.42
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 81504 0 0 0 67757 85 0 0 25 0 3 0 371505406 344281088 74110 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 84053 74110 218 20 0 83411 0
[pid=20148/tid=20150] ppid=20146 vsize=336212 CPUtime=339.66
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 30566 0 0 0 33921 45 0 0 25 0 3 0 371505653 344281088 74110 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565445 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=336212 CPUtime=336.32
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 37957 0 0 0 33599 33 0 0 25 0 3 0 371505654 344281088 74110 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 678.42
Current children cumulated vsize (KiB) 336212

[startup+402.303 s]
/proc/loadavg: 1.99 1.46 0.68 3/80 20151
/proc/meminfo: memFree=1013168/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=336212 CPUtime=798.13
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 82619 0 0 0 79727 86 0 0 25 0 3 0 371505406 344281088 74200 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 84053 74200 218 20 0 83411 0
[pid=20148/tid=20150] ppid=20146 vsize=336212 CPUtime=399.63
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 31095 0 0 0 39917 46 0 0 25 0 3 0 371505653 344281088 74200 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134522148 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=336212 CPUtime=396.06

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

/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 72864 0 0 0 434175 131 0 0 25 0 3 0 371505653 567267328 129146 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=553972 CPUtime=4351.66
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78935 0 0 0 435077 89 0 0 25 0 3 0 371505654 567267328 129146 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8697.16
Current children cumulated vsize (KiB) 553972

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=792944/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=553972 CPUtime=8816.87
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 164782 0 0 0 881460 227 0 0 25 0 3 0 371505406 567267328 129145 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 138493 129145 218 20 0 137851 0
[pid=20148/tid=20150] ppid=20146 vsize=553972 CPUtime=4403.02
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 72865 0 0 0 440171 131 0 0 25 0 3 0 371505653 567267328 129145 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=553972 CPUtime=4411.4
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78936 0 0 0 441051 89 0 0 25 0 3 0 371505654 567267328 129145 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8816.87
Current children cumulated vsize (KiB) 553972

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=793008/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=553972 CPUtime=8936.56
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 164785 0 0 0 893429 227 0 0 25 0 3 0 371505406 567267328 129148 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 138493 129148 218 20 0 137851 0
[pid=20148/tid=20150] ppid=20146 vsize=553972 CPUtime=4463
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 72868 0 0 0 446168 132 0 0 25 0 3 0 371505653 567267328 129148 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=553972 CPUtime=4471.12
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78936 0 0 0 447023 89 0 0 25 0 3 0 371505654 567267328 129148 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8936.56
Current children cumulated vsize (KiB) 553972

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=793008/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=553972 CPUtime=9056.29
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 164789 0 0 0 905401 228 0 0 25 0 3 0 371505406 567267328 129152 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 138493 129152 218 20 0 137851 0
[pid=20148/tid=20150] ppid=20146 vsize=553972 CPUtime=4522.98
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 72869 0 0 0 452166 132 0 0 25 0 3 0 371505653 567267328 129152 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=553972 CPUtime=4530.86
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78939 0 0 0 452997 89 0 0 25 0 3 0 371505654 567267328 129152 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9056.29
Current children cumulated vsize (KiB) 553972

[startup+4602.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=793008/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=553944 CPUtime=9175.99
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 164791 0 0 0 917370 229 0 0 25 0 3 0 371505406 567238656 129154 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 138486 129154 218 20 0 137844 0
[pid=20148/tid=20150] ppid=20146 vsize=553944 CPUtime=4582.95
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 72870 0 0 0 458162 133 0 0 25 0 3 0 371505653 567238656 129154 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=553944 CPUtime=4590.6
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78940 0 0 0 458970 90 0 0 25 0 3 0 371505654 567238656 129154 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9175.99
Current children cumulated vsize (KiB) 553944

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=793072/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=553944 CPUtime=9295.69
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 164793 0 0 0 929340 229 0 0 25 0 3 0 371505406 567238656 129156 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 138486 129156 218 20 0 137844 0
[pid=20148/tid=20150] ppid=20146 vsize=553944 CPUtime=4642.92
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 72871 0 0 0 464159 133 0 0 25 0 3 0 371505653 567238656 129156 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134517165 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=553944 CPUtime=4650.33
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78941 0 0 0 464943 90 0 0 25 0 3 0 371505654 567238656 129156 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9295.69
Current children cumulated vsize (KiB) 553944

[startup+4722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=720176/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=626640 CPUtime=9415.4
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 183255 0 0 0 941281 259 0 0 25 0 3 0 371505406 641679360 147288 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 156660 147288 218 20 0 156018 0
[pid=20148/tid=20150] ppid=20146 vsize=626640 CPUtime=4702.91
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 91332 0 0 0 470129 162 0 0 25 0 3 0 371505653 641679360 147288 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=626640 CPUtime=4710.05
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78942 0 0 0 470915 90 0 0 25 0 3 0 371505654 641679360 147288 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 13026972 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9415.4
Current children cumulated vsize (KiB) 626640

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=720112/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=626640 CPUtime=9535.13
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 183754 0 0 0 953254 259 0 0 25 0 3 0 371505406 641679360 147292 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 156660 147292 218 20 0 156018 0
[pid=20148/tid=20150] ppid=20146 vsize=626640 CPUtime=4762.89
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 91828 0 0 0 476126 163 0 0 25 0 3 0 371505653 641679360 147292 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20148/tid=20151] ppid=20146 vsize=626640 CPUtime=4769.79
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78945 0 0 0 476889 90 0 0 25 0 3 0 371505654 641679360 147292 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9535.13
Current children cumulated vsize (KiB) 626640

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=720176/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=626640 CPUtime=9654.79
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 184089 0 0 0 965219 260 0 0 25 0 3 0 371505406 641679360 147296 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 156660 147296 218 20 0 156018 0
[pid=20148/tid=20150] ppid=20146 vsize=626640 CPUtime=4822.6
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 92161 0 0 0 482097 163 0 0 25 0 3 0 371505653 641679360 147296 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20148/tid=20151] ppid=20146 vsize=626640 CPUtime=4829.75
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78947 0 0 0 482884 91 0 0 25 0 3 0 371505654 641679360 147296 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9654.79
Current children cumulated vsize (KiB) 626640

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=720176/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=626640 CPUtime=9774.51
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 184099 0 0 0 977190 261 0 0 25 0 3 0 371505406 641679360 147306 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 156660 147306 218 20 0 156018 0
[pid=20148/tid=20150] ppid=20146 vsize=626640 CPUtime=4882.34
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 92166 0 0 0 488071 163 0 0 25 0 3 0 371505653 641679360 147306 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20148/tid=20151] ppid=20146 vsize=626640 CPUtime=4889.73
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 78952 0 0 0 488882 91 0 0 25 0 3 0 371505654 641679360 147306 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9774.51
Current children cumulated vsize (KiB) 626640

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=718832/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=627664 CPUtime=9894.17
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 184474 0 0 0 989155 262 0 0 25 0 3 0 371505406 642727936 147681 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 156916 147681 218 20 0 156274 0
[pid=20148/tid=20150] ppid=20146 vsize=627664 CPUtime=4942.07
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 92174 0 0 0 494043 164 0 0 25 0 3 0 371505653 642727936 147681 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20148/tid=20151] ppid=20146 vsize=627664 CPUtime=4949.66
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 79319 0 0 0 494874 92 0 0 25 0 3 0 371505654 642727936 147681 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9894.17
Current children cumulated vsize (KiB) 627664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5015.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=718832/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=627664 CPUtime=10000.1
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 184481 0 0 0 999748 263 0 0 25 0 3 0 371505406 642727936 147673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 156916 147673 218 20 0 156274 0
[pid=20148/tid=20150] ppid=20146 vsize=627664 CPUtime=4994.94
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 92176 0 0 0 499330 164 0 0 25 0 3 0 371505653 642727936 147673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20148/tid=20151] ppid=20146 vsize=627664 CPUtime=5002.74
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 79324 0 0 0 500181 93 0 0 25 0 3 0 371505654 642727936 147673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525979 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 627664

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

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

[startup+5015.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20353
/proc/meminfo: memFree=718832/2055920 swapFree=4170140/4192956
[pid=20148] ppid=20146 vsize=627664 CPUtime=10000.1
/proc/20148/stat : 20148 (MiraXTv3_dyn) S 20146 20148 20074 0 -1 4194304 184481 0 0 0 999748 263 0 0 25 0 3 0 371505406 642727936 147673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20148/statm: 156916 147673 218 20 0 156274 0
[pid=20148/tid=20150] ppid=20146 vsize=627664 CPUtime=4994.94
/proc/20148/task/20150/stat : 20150 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 92176 0 0 0 499330 164 0 0 25 0 3 0 371505653 642727936 147673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20148/tid=20151] ppid=20146 vsize=627664 CPUtime=5002.74
/proc/20148/task/20151/stat : 20151 (MiraXTv3_dyn) R 20146 20148 20074 0 -1 4194368 79324 0 0 0 500181 93 0 0 25 0 3 0 371505654 642727936 147673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525979 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 627664

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5015.51
CPU time (s): 10000.2
CPU user time (s): 9997.5
CPU system time (s): 2.71759
CPU usage (%): 199.386
Max. virtual memory (cumulated for all children) (KiB): 627664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.5
system time used= 2.71759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184481
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= 1055
involuntary context switches= 188439

runsolver used 5.20821 second user time and 13.085 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May 15 13:31:26 UTC 2007

IDJOB= 460104
IDBENCH= 20539
IDSOLVER= 196
FILE ID= node26/460104-1179235885

PBS_JOBID= 5274750

Free space on /tmp= 66526 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  e79c4b56e60495fc11a6ec11ab81644b

RANDOM SEED= 773462813

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1310616 kB
Buffers:         42484 kB
Cached:         556572 kB
SwapCached:       3356 kB
Active:         250148 kB
Inactive:       371832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1310616 kB
SwapTotal:     4192956 kB
SwapFree:      4170140 kB
Dirty:           12388 kB
Writeback:           0 kB
Mapped:          30364 kB
Slab:           108844 kB
Committed_AS:  2566292 kB
PageTables:       1716 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= 66526 MiB

End job on node26 on Tue May 15 14:55:03 UTC 2007