Trace number 460092

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

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
MD5SUMc3d30b6959b230b8a74fb1a82919c5c8
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 variables47152
Number of clauses169625
Sum of the clauses size451547
Maximum clause length37
Minimum clause length1
Number of clauses of size 11123
Number of clauses of size 288141
Number of clauses of size 373930
Number of clauses of size 4426
Number of clauses of size 5825
Number of clauses of size over 55180

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/node42/watcher-460092-1179235872 -o ROOT/results/node42/solver-460092-1179235872 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460092-1179235872/MiraXTv3_dyn /tmp/evaluation/460092-1179235872/instance-460092-1179235872.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 12083
/proc/meminfo: memFree=832552/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=3788 CPUtime=0
/proc/12083/stat : 12083 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194304 314 0 0 0 0 0 0 0 18 0 1 0 371499156 3878912 289 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12083/statm: 947 296 202 20 0 305 0

[startup+0.01527 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 12083
/proc/meminfo: memFree=832552/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=4064 CPUtime=0
/proc/12083/stat : 12083 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194304 602 0 0 0 0 0 0 0 18 0 1 0 371499156 4161536 577 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 12846029 0 0 4096 0 0 0 0 17 1 0 0
/proc/12083/statm: 1016 577 206 20 0 374 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4064

[startup+0.101286 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 12083
/proc/meminfo: memFree=832552/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=9784 CPUtime=0.09
/proc/12083/stat : 12083 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194304 1917 0 0 0 8 1 0 0 18 0 1 0 371499156 10018816 1892 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 12842619 0 0 4096 0 0 0 0 17 1 0 0
/proc/12083/statm: 2446 1892 206 20 0 1804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9784

[startup+0.301324 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 12083
/proc/meminfo: memFree=832552/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=20312 CPUtime=0.29
/proc/12083/stat : 12083 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194304 4215 0 0 0 27 2 0 0 19 0 1 0 371499156 20799488 4190 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 12842619 0 0 4096 0 0 0 0 17 1 0 0
/proc/12083/statm: 5078 4190 207 20 0 4436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20312

[startup+0.7014 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 12083
/proc/meminfo: memFree=832552/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=29044 CPUtime=0.69
/proc/12083/stat : 12083 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194304 6350 0 0 0 66 3 0 0 23 0 1 0 371499156 29741056 6325 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134575893 0 0 4096 0 0 0 0 17 1 0 0
/proc/12083/statm: 7261 6325 207 20 0 6619 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29044

[startup+1.50155 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 12084
/proc/meminfo: memFree=807008/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=79304 CPUtime=1.57
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 12603 0 0 0 150 7 0 0 25 0 3 0 371499156 81207296 11811 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 19826 11811 218 20 0 19184 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 79304

[startup+3.10186 s]
/proc/loadavg: 0.00 0.00 0.00 2/80 12086
/proc/meminfo: memFree=785808/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=79568 CPUtime=3.16
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 12657 0 0 0 309 7 0 0 25 0 3 0 371499156 81477632 11865 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 19892 11865 218 20 0 19250 0
[pid=12083/tid=12085] ppid=12081 vsize=79568 CPUtime=1.98
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 3290 0 0 0 196 2 0 0 25 0 3 0 371499267 81477632 11865 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=79568 CPUtime=0.07
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194368 2453 0 0 0 6 1 0 0 18 0 3 0 371499267 81477632 11865 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 79568

[startup+6.30247 s]
/proc/loadavg: 0.08 0.02 0.01 3/80 12086
/proc/meminfo: memFree=785552/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=81100 CPUtime=7.99
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 13747 0 0 0 792 7 0 0 25 0 3 0 371499156 83046400 12583 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 20275 12583 218 20 0 19633 0
[pid=12083/tid=12085] ppid=12081 vsize=81100 CPUtime=5.18
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 3427 0 0 0 516 2 0 0 25 0 3 0 371499267 83046400 12583 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=81100 CPUtime=1.69
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 3406 0 0 0 168 1 0 0 17 0 3 0 371499267 83046400 12583 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 81100

[startup+12.7017 s]
/proc/loadavg: 0.23 0.05 0.02 3/80 12086
/proc/meminfo: memFree=760784/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=104116 CPUtime=20.76
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 19999 0 0 0 2063 13 0 0 25 0 3 0 371499156 106614784 18391 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 26029 18391 218 20 0 25387 0
[pid=12083/tid=12085] ppid=12081 vsize=104116 CPUtime=11.58
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 5880 0 0 0 1154 4 0 0 20 0 3 0 371499267 106614784 18391 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=104116 CPUtime=8.06
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 7205 0 0 0 801 5 0 0 21 0 3 0 371499267 106614784 18391 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526391 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.76
Current children cumulated vsize (KiB) 104116

[startup+25.5021 s]
/proc/loadavg: 0.62 0.14 0.05 3/80 12086
/proc/meminfo: memFree=720592/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=142136 CPUtime=46.29
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 29927 0 0 0 4608 21 0 0 25 0 3 0 371499156 145547264 28065 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 35534 28065 218 20 0 34892 0
[pid=12083/tid=12085] ppid=12081 vsize=142136 CPUtime=24.37
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 11729 0 0 0 2429 8 0 0 25 0 3 0 371499267 145547264 28065 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=142136 CPUtime=20.81
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 11284 0 0 0 2072 9 0 0 23 0 3 0 371499267 145547264 28065 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.29
Current children cumulated vsize (KiB) 142136

[startup+51.103 s]
/proc/loadavg: 1.09 0.29 0.10 3/80 12086
/proc/meminfo: memFree=670224/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=190952 CPUtime=97.33
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 43166 0 0 0 9698 35 0 0 25 0 3 0 371499156 195534848 40640 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 47738 40640 218 20 0 47096 0
[pid=12083/tid=12085] ppid=12081 vsize=190952 CPUtime=49.94
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 19736 0 0 0 4980 14 0 0 25 0 3 0 371499267 195534848 40640 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=190952 CPUtime=46.28
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 16516 0 0 0 4611 17 0 0 25 0 3 0 371499267 195534848 40640 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.33
Current children cumulated vsize (KiB) 190952

[startup+102.307 s]
/proc/loadavg: 1.60 0.55 0.19 3/80 12086
/proc/meminfo: memFree=590224/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=271008 CPUtime=199.49
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 63904 0 0 0 19888 61 0 0 25 0 3 0 371499156 277512192 60710 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 67752 60710 218 20 0 67110 0
[pid=12083/tid=12085] ppid=12081 vsize=271008 CPUtime=101.12
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 28228 0 0 0 10090 22 0 0 25 0 3 0 371499267 277512192 60710 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=271008 CPUtime=97.25
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 28762 0 0 0 9691 34 0 0 25 0 3 0 371499267 277512192 60710 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 199.49
Current children cumulated vsize (KiB) 271008

[startup+162.301 s]
/proc/loadavg: 1.85 0.81 0.30 3/80 12086
/proc/meminfo: memFree=524944/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=335108 CPUtime=319.12
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 80820 0 0 0 31832 80 0 0 25 0 3 0 371499156 343150592 76823 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 83777 76823 218 20 0 83135 0
[pid=12083/tid=12085] ppid=12081 vsize=335108 CPUtime=161.05
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 39147 0 0 0 16073 32 0 0 25 0 3 0 371499267 343150592 76823 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=335108 CPUtime=156.95
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 34759 0 0 0 15652 43 0 0 25 0 3 0 371499267 343150592 76823 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 319.12
Current children cumulated vsize (KiB) 335108

[startup+222.302 s]
/proc/loadavg: 1.94 1.03 0.41 3/80 12086
/proc/meminfo: memFree=524944/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=335108 CPUtime=438.77
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 80955 0 0 0 43796 81 0 0 25 0 3 0 371499156 343150592 76876 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 83777 76876 218 20 0 83135 0
[pid=12083/tid=12085] ppid=12081 vsize=335108 CPUtime=220.98
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 39174 0 0 0 22065 33 0 0 25 0 3 0 371499267 343150592 76876 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=335108 CPUtime=216.66
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 34867 0 0 0 21623 43 0 0 25 0 3 0 371499267 343150592 76876 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 438.77
Current children cumulated vsize (KiB) 335108

[startup+282.302 s]
/proc/loadavg: 1.98 1.20 0.50 3/80 12086
/proc/meminfo: memFree=521744/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=338948 CPUtime=558.45
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 81851 0 0 0 55763 82 0 0 25 0 3 0 371499156 347082752 77686 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 84737 77686 218 20 0 84095 0
[pid=12083/tid=12085] ppid=12081 vsize=338948 CPUtime=280.94
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 39227 0 0 0 28061 33 0 0 25 0 3 0 371499267 347082752 77686 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=338948 CPUtime=276.39
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 35710 0 0 0 27594 45 0 0 25 0 3 0 371499267 347082752 77686 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 558.45
Current children cumulated vsize (KiB) 338948

[startup+342.301 s]
/proc/loadavg: 1.99 1.34 0.60 3/80 12086
/proc/meminfo: memFree=444816/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=415612 CPUtime=678.17
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 101638 0 0 0 67707 110 0 0 25 0 3 0 371499156 425586688 97039 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 103903 97039 218 20 0 103261 0
[pid=12083/tid=12085] ppid=12081 vsize=415612 CPUtime=340.92
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 43876 0 0 0 34055 37 0 0 25 0 3 0 371499267 425586688 97039 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12083/tid=12086] ppid=12081 vsize=415612 CPUtime=336.12
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 50848 0 0 0 33544 68 0 0 25 0 3 0 371499267 425586688 97039 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 678.17
Current children cumulated vsize (KiB) 415612

[startup+402.303 s]
/proc/loadavg: 1.99 1.46 0.68 3/80 12086
/proc/meminfo: memFree=409936/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=450536 CPUtime=797.88
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 110681 0 0 0 79667 121 0 0 25 0 3 0 371499156 461348864 105821 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0

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

[pid=12083] ppid=12081 vsize=817168 CPUtime=8697.4
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 207616 0 0 0 869478 262 0 0 25 0 3 0 371499156 836780032 197370 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 204292 197370 218 20 0 203650 0
[pid=12083/tid=12085] ppid=12081 vsize=817168 CPUtime=4344.23
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 122698 0 0 0 434299 124 0 0 25 0 3 0 371499267 836780032 197370 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=817168 CPUtime=4352.05
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 78004 0 0 0 435072 133 0 0 25 0 3 0 371499267 836780032 197370 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8697.4
Current children cumulated vsize (KiB) 817168

[startup+4422.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 12288
/proc/meminfo: memFree=15696/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=866744 CPUtime=8817.08
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 220000 0 0 0 881434 274 0 0 25 0 3 0 371499156 887545856 209754 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 216686 209754 218 20 0 216044 0
[pid=12083/tid=12085] ppid=12081 vsize=866744 CPUtime=4403.94
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 135082 0 0 0 440258 136 0 0 25 0 3 0 371499267 887545856 209754 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=866744 CPUtime=4412.03
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 78004 0 0 0 441069 134 0 0 25 0 3 0 371499267 887545856 209754 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8817.08
Current children cumulated vsize (KiB) 866744

[startup+4482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 12288
/proc/meminfo: memFree=15504/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=919644 CPUtime=8936.78
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 233378 0 0 0 893392 286 0 0 25 0 3 0 371499156 941715456 223005 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 229911 223005 218 20 0 229269 0
[pid=12083/tid=12085] ppid=12081 vsize=919644 CPUtime=4463.65
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 148460 0 0 0 446218 147 0 0 25 0 3 0 371499267 941715456 223005 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=919644 CPUtime=4472
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 78004 0 0 0 447066 134 0 0 25 0 3 0 371499267 941715456 223005 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8936.78
Current children cumulated vsize (KiB) 919644

[startup+4542.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 12288
/proc/meminfo: memFree=15440/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=977824 CPUtime=9056.45
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 248097 0 0 0 905340 305 0 0 25 0 3 0 371499156 1001291776 237597 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 244456 237597 218 20 0 243814 0
[pid=12083/tid=12085] ppid=12081 vsize=977824 CPUtime=4523.38
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157480 0 0 0 452182 156 0 0 25 0 3 0 371499267 1001291776 237597 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=977824 CPUtime=4531.96
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 83703 0 0 0 453051 145 0 0 25 0 3 0 371499267 1001291776 237597 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520272 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9056.45
Current children cumulated vsize (KiB) 977824

[startup+4602.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 12288
/proc/meminfo: memFree=15312/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=977824 CPUtime=9176.14
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 248226 0 0 0 917308 306 0 0 25 0 3 0 371499156 1001291776 237599 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 244456 237599 218 20 0 243814 0
[pid=12083/tid=12085] ppid=12081 vsize=977824 CPUtime=4583.08
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157481 0 0 0 458152 156 0 0 25 0 3 0 371499267 1001291776 237599 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525926 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=977824 CPUtime=4591.94
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 83831 0 0 0 459049 145 0 0 25 0 3 0 371499267 1001291776 237599 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9176.14
Current children cumulated vsize (KiB) 977824

[startup+4662.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 12288
/proc/meminfo: memFree=15632/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=995232 CPUtime=9295.84
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 252911 0 0 0 929270 314 0 0 25 0 3 0 371499156 1019117568 242157 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 248808 242157 218 20 0 248166 0
[pid=12083/tid=12085] ppid=12081 vsize=995232 CPUtime=4642.81
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157504 0 0 0 464125 156 0 0 25 0 3 0 371499267 1019117568 242157 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=995232 CPUtime=4651.9
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 88493 0 0 0 465037 153 0 0 25 0 3 0 371499267 1019117568 242157 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9295.84
Current children cumulated vsize (KiB) 995232

[startup+4722.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 12288
/proc/meminfo: memFree=15632/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=995232 CPUtime=9415.55
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 252912 0 0 0 941241 314 0 0 25 0 3 0 371499156 1019117568 242158 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 248808 242158 218 20 0 248166 0
[pid=12083/tid=12085] ppid=12081 vsize=995232 CPUtime=4702.55
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157505 0 0 0 470099 156 0 0 25 0 3 0 371499267 1019117568 242158 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520283 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=995232 CPUtime=4711.89
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 88493 0 0 0 471035 154 0 0 25 0 3 0 371499267 1019117568 242158 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565735 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9415.55
Current children cumulated vsize (KiB) 995232

[startup+4782.3 s]
/proc/loadavg: 2.03 2.00 1.92 3/80 12288
/proc/meminfo: memFree=15632/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=995232 CPUtime=9535.25
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 252912 0 0 0 953210 315 0 0 25 0 3 0 371499156 1019117568 242158 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 248808 242158 218 20 0 248166 0
[pid=12083/tid=12085] ppid=12081 vsize=995232 CPUtime=4762.27
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157505 0 0 0 476071 156 0 0 25 0 3 0 371499267 1019117568 242158 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=995232 CPUtime=4771.86
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 88493 0 0 0 477032 154 0 0 25 0 3 0 371499267 1019117568 242158 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9535.25
Current children cumulated vsize (KiB) 995232

[startup+4842.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/80 12288
/proc/meminfo: memFree=16592/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=1004564 CPUtime=9654.92
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 255512 0 0 0 965173 319 0 0 25 0 3 0 371499156 1028673536 244299 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 251141 244299 218 20 0 250499 0
[pid=12083/tid=12085] ppid=12081 vsize=1004564 CPUtime=4821.97
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157505 0 0 0 482041 156 0 0 25 0 3 0 371499267 1028673536 244299 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=1004564 CPUtime=4831.82
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 91093 0 0 0 483024 158 0 0 25 0 3 0 371499267 1028673536 244299 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565788 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9654.92
Current children cumulated vsize (KiB) 1004564

[startup+4902.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/80 12288
/proc/meminfo: memFree=16592/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=1004564 CPUtime=9774.65
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 255513 0 0 0 977145 320 0 0 25 0 3 0 371499156 1028673536 244300 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 251141 244300 218 20 0 250499 0
[pid=12083/tid=12085] ppid=12081 vsize=1004564 CPUtime=4881.71
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157506 0 0 0 488015 156 0 0 25 0 3 0 371499267 1028673536 244300 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=1004564 CPUtime=4891.81
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 91093 0 0 0 489022 159 0 0 25 0 3 0 371499267 1028673536 244300 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9774.65
Current children cumulated vsize (KiB) 1004564

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 12288
/proc/meminfo: memFree=16144/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=1025044 CPUtime=9894.33
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 260837 0 0 0 989105 328 0 0 25 0 3 0 371499156 1049645056 249497 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 256261 249497 218 20 0 255619 0
[pid=12083/tid=12085] ppid=12081 vsize=1025044 CPUtime=4941.43
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157506 0 0 0 493986 157 0 0 25 0 3 0 371499267 1049645056 249497 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=1025044 CPUtime=4951.78
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 96417 0 0 0 495011 167 0 0 25 0 3 0 371499267 1049645056 249497 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9894.33
Current children cumulated vsize (KiB) 1025044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5015.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 12288
/proc/meminfo: memFree=15312/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=1027092 CPUtime=10000
/proc/12083/stat : 12083 (MiraXTv3_dyn) S 12081 12083 12009 0 -1 4194304 261369 0 0 0 999676 329 0 0 25 0 3 0 371499156 1051742208 250029 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 256773 250029 218 20 0 256131 0
[pid=12083/tid=12085] ppid=12081 vsize=1027092 CPUtime=4994.18
/proc/12083/task/12085/stat : 12085 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 157506 0 0 0 499261 157 0 0 25 0 3 0 371499267 1051742208 250029 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12083/tid=12086] ppid=12081 vsize=1027092 CPUtime=5004.76
/proc/12083/task/12086/stat : 12086 (MiraXTv3_dyn) R 12081 12083 12009 0 -1 4194368 96949 0 0 0 500308 168 0 0 25 0 3 0 371499267 1051742208 250029 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520283 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1027092

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

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

[startup+5015.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 12288
/proc/meminfo: memFree=15312/2055920 swapFree=4147588/4192956
[pid=12083] ppid=12081 vsize=0 CPUtime=10000.2
/proc/12083/stat : 12083 (MiraXTv3_dyn) Z 12081 12083 12009 0 -1 4195340 261369 0 0 0 999677 344 0 0 16 0 2 0 371499156 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12083/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5015.59
CPU time (s): 10000.2
CPU user time (s): 9996.78
CPU system time (s): 3.44348
CPU usage (%): 199.383
Max. virtual memory (cumulated for all children) (KiB): 1027092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.78
system time used= 3.44348
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261369
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= 779
involuntary context switches= 188789

runsolver used 5.01724 second user time and 13.279 second system time

The end

Launcher Data (download as text)

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

IDJOB= 460092
IDBENCH= 20527
IDSOLVER= 196
FILE ID= node42/460092-1179235872

PBS_JOBID= 5274736

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  c3d30b6959b230b8a74fb1a82919c5c8

RANDOM SEED= 232891311

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:        832960 kB
Buffers:         56060 kB
Cached:         990984 kB
SwapCached:      14708 kB
Active:         478800 kB
Inactive:       591876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        832960 kB
SwapTotal:     4192956 kB
SwapFree:      4147588 kB
Dirty:            8280 kB
Writeback:           0 kB
Mapped:          30540 kB
Slab:           137700 kB
Committed_AS:  7399204 kB
PageTables:       1912 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= 66533 MiB

End job on node42 on Tue May 15 14:54:50 UTC 2007