Trace number 460094

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 5013.73

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
MD5SUM2bee695ce4278b72ee9295631ad94252
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 variables31357
Number of clauses133420
Sum of the clauses size370492
Maximum clause length37
Minimum clause length1
Number of clauses of size 1278
Number of clauses of size 258046
Number of clauses of size 369900
Number of clauses of size 4166
Number of clauses of size 5305
Number of clauses of size over 54725

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/node29/watcher-460094-1179235874 -o ROOT/results/node29/solver-460094-1179235874 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460094-1179235874/MiraXTv3_dyn /tmp/evaluation/460094-1179235874/instance-460094-1179235874.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.02 0.01 0.00 3/77 26284
/proc/meminfo: memFree=975096/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=3788 CPUtime=0
/proc/26284/stat : 26284 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194304 317 0 0 0 0 0 0 0 18 0 1 0 371503226 3878912 293 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26284/statm: 947 300 202 20 0 305 0

[startup+0.074515 s]
/proc/loadavg: 0.02 0.01 0.00 3/77 26284
/proc/meminfo: memFree=975096/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=8036 CPUtime=0.07
/proc/26284/stat : 26284 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194304 1548 0 0 0 6 1 0 0 18 0 1 0 371503226 8228864 1523 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134571806 0 0 4096 0 0 0 0 17 1 0 0
/proc/26284/statm: 2009 1525 206 20 0 1367 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8036

[startup+0.101517 s]
/proc/loadavg: 0.02 0.01 0.00 3/77 26284
/proc/meminfo: memFree=975096/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=9872 CPUtime=0.09
/proc/26284/stat : 26284 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194304 1951 0 0 0 8 1 0 0 18 0 1 0 371503226 10108928 1926 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4564603 0 0 4096 0 0 0 0 17 1 0 0
/proc/26284/statm: 2468 1929 206 20 0 1826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9872

[startup+0.301529 s]
/proc/loadavg: 0.02 0.01 0.00 3/77 26284
/proc/meminfo: memFree=975096/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=17860 CPUtime=0.29
/proc/26284/stat : 26284 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194304 3680 0 0 0 27 2 0 0 19 0 1 0 371503226 18288640 3655 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4564603 0 0 4096 0 0 0 0 17 1 0 0
/proc/26284/statm: 4465 3655 207 20 0 3823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17860

[startup+0.701555 s]
/proc/loadavg: 0.02 0.01 0.00 3/77 26284
/proc/meminfo: memFree=975096/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=24292 CPUtime=0.69
/proc/26284/stat : 26284 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194304 5254 0 0 0 66 3 0 0 23 0 1 0 371503226 24875008 5229 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134584066 0 0 4096 0 0 0 0 17 1 0 0
/proc/26284/statm: 6073 5229 207 20 0 5431 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24292

[startup+1.50161 s]
/proc/loadavg: 0.02 0.01 0.00 2/80 26287
/proc/meminfo: memFree=939040/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=65900 CPUtime=1.55
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 10079 0 0 0 150 5 0 0 25 0 3 0 371503226 67481600 9499 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 16475 9499 218 20 0 15833 0
[pid=26284/tid=26286] ppid=26282 vsize=65900 CPUtime=0.57
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 2643 0 0 0 57 0 0 0 21 0 3 0 371503318 67481600 9499 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134537205 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=65900 CPUtime=0.05
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194368 1906 0 0 0 4 1 0 0 18 0 3 0 371503318 67481600 9499 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) 65900

[startup+3.10272 s]
/proc/loadavg: 0.10 0.03 0.01 2/80 26287
/proc/meminfo: memFree=937504/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=67188 CPUtime=3.74
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 10668 0 0 0 368 6 0 0 25 0 3 0 371503226 68800512 9904 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 16797 9904 218 20 0 16155 0
[pid=26284/tid=26286] ppid=26282 vsize=67188 CPUtime=2.17
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 2898 0 0 0 217 0 0 0 25 0 3 0 371503318 68800512 9904 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=67188 CPUtime=0.63
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 2240 0 0 0 62 1 0 0 21 0 3 0 371503318 68800512 9904 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565794 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 67188

[startup+6.30192 s]
/proc/loadavg: 0.10 0.03 0.01 3/80 26287
/proc/meminfo: memFree=928032/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=76524 CPUtime=10.1
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 13574 0 0 0 1001 9 0 0 25 0 3 0 371503226 78360576 12626 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 19131 12626 218 20 0 18489 0
[pid=26284/tid=26286] ppid=26282 vsize=76524 CPUtime=5.37
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 3812 0 0 0 536 1 0 0 20 0 3 0 371503318 78360576 12626 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134517172 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=76524 CPUtime=3.81
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 4232 0 0 0 377 4 0 0 18 0 3 0 371503318 78360576 12626 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (KiB) 76524

[startup+12.7023 s]
/proc/loadavg: 0.39 0.09 0.03 3/80 26287
/proc/meminfo: memFree=913504/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=89732 CPUtime=22.87
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 16949 0 0 0 2274 13 0 0 25 0 3 0 371503226 91885568 15930 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 22433 15930 218 20 0 21791 0
[pid=26284/tid=26286] ppid=26282 vsize=89732 CPUtime=11.76
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 5213 0 0 0 1174 2 0 0 25 0 3 0 371503318 91885568 15931 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4564603 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=89732 CPUtime=10.18
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 6207 0 0 0 1011 7 0 0 25 0 3 0 371503318 91885568 15931 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.87
Current children cumulated vsize (KiB) 89732

[startup+25.5011 s]
/proc/loadavg: 0.64 0.15 0.05 3/80 26287
/proc/meminfo: memFree=867424/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=134024 CPUtime=48.41
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 28458 0 0 0 4816 25 0 0 25 0 3 0 371503226 137240576 27253 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 33506 27253 218 20 0 32864 0
[pid=26284/tid=26286] ppid=26282 vsize=134024 CPUtime=24.56
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 10915 0 0 0 2449 7 0 0 25 0 3 0 371503318 137240576 27253 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134566011 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=134024 CPUtime=22.93
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 12013 0 0 0 2279 14 0 0 25 0 3 0 371503318 137240576 27253 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.41
Current children cumulated vsize (KiB) 134024

[startup+51.1017 s]
/proc/loadavg: 1.10 0.30 0.10 3/80 26287
/proc/meminfo: memFree=836768/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=165840 CPUtime=99.48
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 36953 0 0 0 9913 35 0 0 25 0 3 0 371503226 169820160 35266 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 41460 35266 218 20 0 40818 0
[pid=26284/tid=26286] ppid=26282 vsize=165840 CPUtime=50.14
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 14880 0 0 0 5004 10 0 0 25 0 3 0 371503318 169820160 35266 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=165840 CPUtime=48.4
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 16543 0 0 0 4820 20 0 0 16 0 3 0 371503318 169820160 35266 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.48
Current children cumulated vsize (KiB) 165840

[startup+102.306 s]
/proc/loadavg: 1.64 0.58 0.20 3/80 26287
/proc/meminfo: memFree=791008/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=209132 CPUtime=201.56
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 49357 0 0 0 20110 46 0 0 25 0 3 0 371503226 214151168 46206 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 52283 46206 218 20 0 51641 0
[pid=26284/tid=26286] ppid=26282 vsize=209132 CPUtime=101.27
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 21302 0 0 0 10111 16 0 0 25 0 3 0 371503318 214151168 46206 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=209132 CPUtime=99.37
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 22525 0 0 0 9911 26 0 0 25 0 3 0 371503318 214151168 46206 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.56
Current children cumulated vsize (KiB) 209132

[startup+162.302 s]
/proc/loadavg: 1.85 0.82 0.30 3/80 26287
/proc/meminfo: memFree=731040/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=267828 CPUtime=321.27
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 64817 0 0 0 32062 65 0 0 25 0 3 0 371503226 274255872 60956 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 66957 60956 218 20 0 66315 0
[pid=26284/tid=26286] ppid=26282 vsize=267828 CPUtime=161.25
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 29651 0 0 0 16101 24 0 0 25 0 3 0 371503318 274255872 60956 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=267828 CPUtime=159.11
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 29636 0 0 0 15873 38 0 0 25 0 3 0 371503318 274255872 60956 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.27
Current children cumulated vsize (KiB) 267828

[startup+222.302 s]
/proc/loadavg: 1.95 1.05 0.42 3/80 26287
/proc/meminfo: memFree=726304/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=272904 CPUtime=440.97
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 66350 0 0 0 44030 67 0 0 25 0 3 0 371503226 279453696 62251 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 68226 62251 218 20 0 67584 0
[pid=26284/tid=26286] ppid=26282 vsize=272904 CPUtime=221.2
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 31170 0 0 0 22095 25 0 0 25 0 3 0 371503318 279453696 62251 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=272904 CPUtime=218.84
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 29650 0 0 0 21846 38 0 0 25 0 3 0 371503318 279453696 62251 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520640 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 440.97
Current children cumulated vsize (KiB) 272904

[startup+282.301 s]
/proc/loadavg: 1.98 1.20 0.50 3/80 26287
/proc/meminfo: memFree=622880/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=375688 CPUtime=560.63
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 92414 0 0 0 55967 96 0 0 25 0 3 0 371503226 384704512 87983 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 93922 87983 218 20 0 93280 0
[pid=26284/tid=26286] ppid=26282 vsize=375688 CPUtime=281.14
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 46961 0 0 0 28075 39 0 0 25 0 3 0 371503318 384704512 87983 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=375688 CPUtime=278.57
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 39923 0 0 0 27803 54 0 0 25 0 3 0 371503318 384704512 87983 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.63
Current children cumulated vsize (KiB) 375688

[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.60 3/80 26287
/proc/meminfo: memFree=612512/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=385960 CPUtime=680.35
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 95090 0 0 0 67936 99 0 0 25 0 3 0 371503226 395223040 90575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 96490 90575 218 20 0 95848 0
[pid=26284/tid=26286] ppid=26282 vsize=385960 CPUtime=341.12
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 49628 0 0 0 34070 42 0 0 25 0 3 0 371503318 395223040 90575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=385960 CPUtime=338.32
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 39932 0 0 0 33778 54 0 0 25 0 3 0 371503318 395223040 90575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.35
Current children cumulated vsize (KiB) 385960

[startup+402.302 s]

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

[pid=26284] ppid=26282 vsize=771196 CPUtime=8700.65
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194480 0 0 0 869787 278 0 0 25 0 3 0 371503226 789704704 186909 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186909 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4359.33
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91378 0 0 0 435829 104 0 0 25 0 3 0 371503318 789704704 186909 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4340.4
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97572 0 0 0 433870 170 0 0 25 0 3 0 371503318 789704704 186909 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8700.65
Current children cumulated vsize (KiB) 771196

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226336/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=8820.38
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194480 0 0 0 881760 278 0 0 25 0 3 0 371503226 789704704 186909 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186909 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4419.32
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91378 0 0 0 441827 105 0 0 25 0 3 0 371503318 789704704 186909 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4400.14
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97572 0 0 0 439844 170 0 0 25 0 3 0 371503318 789704704 186909 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565488 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8820.38
Current children cumulated vsize (KiB) 771196

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226400/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=8940.09
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194487 0 0 0 893730 279 0 0 25 0 3 0 371503226 789704704 186916 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186916 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4479.29
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91381 0 0 0 447824 105 0 0 25 0 3 0 371503318 789704704 186916 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4459.88
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97576 0 0 0 445818 170 0 0 25 0 3 0 371503318 789704704 186916 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8940.09
Current children cumulated vsize (KiB) 771196

[startup+4542.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226336/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=9059.8
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194490 0 0 0 905700 280 0 0 25 0 3 0 371503226 789704704 186919 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186919 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4539.27
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91382 0 0 0 453821 106 0 0 25 0 3 0 371503318 789704704 186919 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4519.6
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97578 0 0 0 451790 170 0 0 25 0 3 0 371503318 789704704 186919 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9059.8
Current children cumulated vsize (KiB) 771196

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226336/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=9179.49
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194490 0 0 0 917669 280 0 0 25 0 3 0 371503226 789704704 186919 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186919 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4599.24
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91382 0 0 0 459818 106 0 0 25 0 3 0 371503318 789704704 186919 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4579.33
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97578 0 0 0 457763 170 0 0 25 0 3 0 371503318 789704704 186919 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9179.49
Current children cumulated vsize (KiB) 771196

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226272/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=9299.23
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194495 0 0 0 929642 281 0 0 25 0 3 0 371503226 789704704 186924 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186924 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4659.22
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91384 0 0 0 465816 106 0 0 25 0 3 0 371503318 789704704 186924 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4639.08
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97581 0 0 0 463738 170 0 0 25 0 3 0 371503318 789704704 186924 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9299.23
Current children cumulated vsize (KiB) 771196

[startup+4722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226336/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=9418.95
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194499 0 0 0 941614 281 0 0 25 0 3 0 371503226 789704704 186928 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186928 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4719.2
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91387 0 0 0 471813 107 0 0 25 0 3 0 371503318 789704704 186928 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4698.83
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97582 0 0 0 469713 170 0 0 25 0 3 0 371503318 789704704 186928 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9418.95
Current children cumulated vsize (KiB) 771196

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226272/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=9538.64
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194502 0 0 0 953582 282 0 0 25 0 3 0 371503226 789704704 186931 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186931 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4779.16
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91388 0 0 0 477809 107 0 0 25 0 3 0 371503318 789704704 186931 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4758.54
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97584 0 0 0 475684 170 0 0 25 0 3 0 371503318 789704704 186931 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9538.64
Current children cumulated vsize (KiB) 771196

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226272/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=9658.38
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194505 0 0 0 965556 282 0 0 25 0 3 0 371503226 789704704 186934 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186934 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4839.16
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91388 0 0 0 483808 108 0 0 25 0 3 0 371503318 789704704 186934 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4818.29
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97587 0 0 0 481659 170 0 0 25 0 3 0 371503318 789704704 186934 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9658.38
Current children cumulated vsize (KiB) 771196

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226272/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=9778.06
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194506 0 0 0 977524 282 0 0 25 0 3 0 371503226 789704704 186935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186935 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4899.12
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91389 0 0 0 489804 108 0 0 25 0 3 0 371503318 789704704 186935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4878.02
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97587 0 0 0 487632 170 0 0 25 0 3 0 371503318 789704704 186935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9778.06
Current children cumulated vsize (KiB) 771196

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226336/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=9897.78
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194507 0 0 0 989495 283 0 0 25 0 3 0 371503226 789704704 186936 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186936 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=4959.11
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91390 0 0 0 495803 108 0 0 25 0 3 0 371503318 789704704 186936 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565712 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4937.75
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97587 0 0 0 493604 171 0 0 25 0 3 0 371503318 789704704 186936 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9897.78
Current children cumulated vsize (KiB) 771196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5013.6 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226272/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=771196 CPUtime=10000.2
/proc/26284/stat : 26284 (MiraXTv3_dyn) S 26282 26284 26210 0 -1 4194304 194507 0 0 0 999732 284 0 0 25 0 3 0 371503226 789704704 186936 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/statm: 192799 186936 218 20 0 192157 0
[pid=26284/tid=26286] ppid=26282 vsize=771196 CPUtime=5010.4
/proc/26284/task/26286/stat : 26286 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 91390 0 0 0 500931 109 0 0 25 0 3 0 371503318 789704704 186936 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565724 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26284/tid=26287] ppid=26282 vsize=771196 CPUtime=4988.83
/proc/26284/task/26287/stat : 26287 (MiraXTv3_dyn) R 26282 26284 26210 0 -1 4194368 97587 0 0 0 498712 171 0 0 25 0 3 0 371503318 789704704 186936 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 771196

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

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

[startup+5013.71 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 26489
/proc/meminfo: memFree=226272/2055920 swapFree=4146800/4192956
[pid=26284] ppid=26282 vsize=0 CPUtime=10000.3
/proc/26284/stat : 26284 (MiraXTv3_dyn) Z 26282 26284 26210 0 -1 4195340 194507 0 0 0 999733 294 0 0 16 0 2 0 371503226 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26284/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): 5013.73
CPU time (s): 10000.3
CPU user time (s): 9997.34
CPU system time (s): 2.95055
CPU usage (%): 199.458
Max. virtual memory (cumulated for all children) (KiB): 773408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.34
system time used= 2.95055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194507
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= 795
involuntary context switches= 188743

runsolver used 4.80227 second user time and 13.4809 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Tue May 15 13:31:15 UTC 2007

IDJOB= 460094
IDBENCH= 20529
IDSOLVER= 196
FILE ID= node29/460094-1179235874

PBS_JOBID= 5274738

Free space on /tmp= 66536 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  2bee695ce4278b72ee9295631ad94252

RANDOM SEED= 779609724

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:        975376 kB
Buffers:         52700 kB
Cached:         859500 kB
SwapCached:      11240 kB
Active:         278040 kB
Inactive:       657184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        975376 kB
SwapTotal:     4192956 kB
SwapFree:      4146800 kB
Dirty:            7284 kB
Writeback:           0 kB
Mapped:          30056 kB
Slab:           130768 kB
Committed_AS:  7098992 kB
PageTables:       1872 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= 66536 MiB

End job on node29 on Tue May 15 14:54:51 UTC 2007