Trace number 460102

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

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
MD5SUMfd9b941a20c95ff63d6f3a27d011956e
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 variables44722
Number of clauses164055
Sum of the clauses size439077
Maximum clause length37
Minimum clause length1
Number of clauses of size 1993
Number of clauses of size 283511
Number of clauses of size 373310
Number of clauses of size 4386
Number of clauses of size 5745
Number of clauses of size over 55110

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/node33/watcher-460102-1179235885 -o ROOT/results/node33/solver-460102-1179235885 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460102-1179235885/MiraXTv3_dyn /tmp/evaluation/460102-1179235885/instance-460102-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.08 0.02 0.01 3/77 26807
/proc/meminfo: memFree=1260776/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=3788 CPUtime=0
/proc/26807/stat : 26807 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 371504006 3878912 310 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26807/statm: 947 317 202 20 0 305 0

[startup+0.051195 s]
/proc/loadavg: 0.08 0.02 0.01 3/77 26807
/proc/meminfo: memFree=1260776/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=7020 CPUtime=0.04
/proc/26807/stat : 26807 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194304 1266 0 0 0 4 0 0 0 18 0 1 0 371504006 7188480 1241 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134578730 0 0 4096 0 0 0 0 17 1 0 0
/proc/26807/statm: 1755 1241 206 20 0 1113 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7020

[startup+0.101204 s]
/proc/loadavg: 0.08 0.02 0.01 3/77 26807
/proc/meminfo: memFree=1260776/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=9680 CPUtime=0.09
/proc/26807/stat : 26807 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194304 1914 0 0 0 8 1 0 0 18 0 1 0 371504006 9912320 1889 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/26807/statm: 2420 1890 206 20 0 1778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9680

[startup+0.301245 s]
/proc/loadavg: 0.08 0.02 0.01 3/77 26807
/proc/meminfo: memFree=1260776/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=19508 CPUtime=0.28
/proc/26807/stat : 26807 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194304 4125 0 0 0 27 1 0 0 19 0 1 0 371504006 19976192 4100 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/26807/statm: 4877 4100 207 20 0 4235 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19508

[startup+0.701326 s]
/proc/loadavg: 0.08 0.02 0.01 3/77 26807
/proc/meminfo: memFree=1260776/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=27972 CPUtime=0.68
/proc/26807/stat : 26807 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194304 6172 0 0 0 66 2 0 0 23 0 1 0 371504006 28643328 6147 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/26807/statm: 6993 6147 207 20 0 6351 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27972

[startup+1.50149 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 26808
/proc/meminfo: memFree=1235552/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=77212 CPUtime=1.56
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 12217 0 0 0 152 4 0 0 25 0 3 0 371504006 79065088 11444 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 19303 11444 218 20 0 18661 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 77212

[startup+3.10182 s]
/proc/loadavg: 0.08 0.02 0.01 2/80 26810
/proc/meminfo: memFree=1215440/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=77344 CPUtime=3.16
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 12271 0 0 0 312 4 0 0 25 0 3 0 371504006 79200256 11498 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 19336 11498 218 20 0 18694 0
[pid=26807/tid=26809] ppid=26805 vsize=77344 CPUtime=2
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 3185 0 0 0 200 0 0 0 25 0 3 0 371504115 79200256 11498 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=77344 CPUtime=0.06
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194368 2360 0 0 0 6 0 0 0 18 0 3 0 371504115 79200256 11498 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) 77344

[startup+6.30249 s]
/proc/loadavg: 0.31 0.07 0.02 3/80 26810
/proc/meminfo: memFree=1213648/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=81016 CPUtime=8.48
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 13726 0 0 0 842 6 0 0 25 0 3 0 371504006 82960384 12601 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 20254 12601 218 20 0 19612 0
[pid=26807/tid=26809] ppid=26805 vsize=81016 CPUtime=5.2
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 3243 0 0 0 520 0 0 0 25 0 3 0 371504115 82960384 12601 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=81016 CPUtime=2.19
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 3757 0 0 0 217 2 0 0 25 0 3 0 371504115 82960384 12601 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 81016

[startup+12.7018 s]
/proc/loadavg: 0.45 0.10 0.03 3/80 26810
/proc/meminfo: memFree=1195216/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=96584 CPUtime=21.25
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 18206 0 0 0 2115 10 0 0 25 0 3 0 371504006 98902016 17081 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 24146 17081 218 20 0 23504 0
[pid=26807/tid=26809] ppid=26805 vsize=96584 CPUtime=11.6
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 5303 0 0 0 1159 1 0 0 25 0 3 0 371504115 98902016 17081 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=96584 CPUtime=8.55
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 6177 0 0 0 850 5 0 0 25 0 3 0 371504115 98902016 17081 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134522160 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.25
Current children cumulated vsize (KiB) 96584

[startup+25.5024 s]
/proc/loadavg: 0.79 0.19 0.06 3/80 26810
/proc/meminfo: memFree=1151376/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=139892 CPUtime=46.77
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 29196 0 0 0 4655 22 0 0 25 0 3 0 371504006 143249408 27864 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 34973 27864 218 20 0 34331 0
[pid=26807/tid=26809] ppid=26805 vsize=139892 CPUtime=24.4
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 10264 0 0 0 2434 6 0 0 25 0 3 0 371504115 143249408 27864 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=139892 CPUtime=21.29
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 12206 0 0 0 2116 13 0 0 25 0 3 0 371504115 143249408 27864 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.77
Current children cumulated vsize (KiB) 139892

[startup+51.1027 s]
/proc/loadavg: 1.20 0.33 0.11 3/80 26810
/proc/meminfo: memFree=1107024/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=183848 CPUtime=97.85
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 40501 0 0 0 9748 37 0 0 25 0 3 0 371504006 188260352 38943 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 45962 38943 218 20 0 45320 0
[pid=26807/tid=26809] ppid=26805 vsize=183848 CPUtime=49.98
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 16091 0 0 0 4986 12 0 0 25 0 3 0 371504115 188260352 38943 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134542711 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=183848 CPUtime=46.78
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 17684 0 0 0 4657 21 0 0 25 0 3 0 371504115 188260352 38943 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.85
Current children cumulated vsize (KiB) 183848

[startup+102.306 s]
/proc/loadavg: 1.65 0.59 0.21 3/80 26810
/proc/meminfo: memFree=1049040/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=239532 CPUtime=199.99
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 55327 0 0 0 19949 50 0 0 25 0 3 0 371504006 245280768 52998 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 59883 52998 218 20 0 59241 0
[pid=26807/tid=26809] ppid=26805 vsize=239532 CPUtime=101.15
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 23879 0 0 0 10097 18 0 0 25 0 3 0 371504115 245280768 52998 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=239532 CPUtime=97.74
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 24722 0 0 0 9746 28 0 0 25 0 3 0 371504115 245280768 52998 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (KiB) 239532

[startup+162.301 s]
/proc/loadavg: 1.87 0.84 0.32 3/80 26810
/proc/meminfo: memFree=951888/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=338212 CPUtime=319.68
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 80307 0 0 0 31888 80 0 0 25 0 3 0 371504006 346329088 77752 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 84553 77752 218 20 0 83911 0
[pid=26807/tid=26809] ppid=26805 vsize=338212 CPUtime=161.12
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 35337 0 0 0 16083 29 0 0 25 0 3 0 371504115 346329088 77752 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=338212 CPUtime=157.46
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 38244 0 0 0 15699 47 0 0 25 0 3 0 371504115 346329088 77752 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 319.68
Current children cumulated vsize (KiB) 338212

[startup+222.301 s]
/proc/loadavg: 1.95 1.05 0.42 3/80 26810
/proc/meminfo: memFree=920208/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=367468 CPUtime=439.37
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 88138 0 0 0 43847 90 0 0 25 0 3 0 371504006 376287232 85123 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 91867 85123 218 20 0 91225 0
[pid=26807/tid=26809] ppid=26805 vsize=367468 CPUtime=221.08
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 39448 0 0 0 22074 34 0 0 25 0 3 0 371504115 376287232 85123 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=367468 CPUtime=217.19
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 41964 0 0 0 21667 52 0 0 25 0 3 0 371504115 376287232 85123 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.37
Current children cumulated vsize (KiB) 367468

[startup+282.301 s]
/proc/loadavg: 1.98 1.22 0.52 3/80 26810
/proc/meminfo: memFree=919824/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=368236 CPUtime=559.08
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 88263 0 0 0 55817 91 0 0 25 0 3 0 371504006 377073664 85248 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 92059 85248 218 20 0 91417 0
[pid=26807/tid=26809] ppid=26805 vsize=368236 CPUtime=281.06
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 39488 0 0 0 28071 35 0 0 25 0 3 0 371504115 377073664 85248 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=368236 CPUtime=276.92
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 42049 0 0 0 27640 52 0 0 25 0 3 0 371504115 377073664 85248 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 559.08
Current children cumulated vsize (KiB) 368236

[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.61 3/80 26810
/proc/meminfo: memFree=919696/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=368236 CPUtime=678.75
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 88298 0 0 0 67783 92 0 0 25 0 3 0 371504006 377073664 85275 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 92059 85275 218 20 0 91417 0
[pid=26807/tid=26809] ppid=26805 vsize=368236 CPUtime=341.03
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 39515 0 0 0 34068 35 0 0 25 0 3 0 371504115 377073664 85275 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26807/tid=26810] ppid=26805 vsize=368236 CPUtime=336.63
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 42057 0 0 0 33610 53 0 0 25 0 3 0 371504115 377073664 85275 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 678.75
Current children cumulated vsize (KiB) 368236

[startup+402.302 s]
/proc/loadavg: 1.99 1.47 0.69 3/80 26810
/proc/meminfo: memFree=919632/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=368236 CPUtime=798.39
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 88331 0 0 0 79746 93 0 0 25 0 3 0 371504006 377073664 85308 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0

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


[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=591312/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=693312 CPUtime=8817.12
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 173610 0 0 0 881457 255 0 0 25 0 3 0 371504006 709951488 167184 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 173328 167184 218 20 0 172686 0
[pid=26807/tid=26809] ppid=26805 vsize=693312 CPUtime=4402.59
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 68830 0 0 0 440167 92 0 0 25 0 3 0 371504115 709951488 167184 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=693312 CPUtime=4413.43
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 98054 0 0 0 441184 159 0 0 25 0 3 0 371504115 709951488 167184 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565729 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8817.12
Current children cumulated vsize (KiB) 693312

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=591312/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=693312 CPUtime=8936.82
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 173614 0 0 0 893426 256 0 0 25 0 3 0 371504006 709951488 167188 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 173328 167188 218 20 0 172686 0
[pid=26807/tid=26809] ppid=26805 vsize=693312 CPUtime=4462.32
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 68831 0 0 0 446139 93 0 0 25 0 3 0 371504115 709951488 167188 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=693312 CPUtime=4473.4
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 98057 0 0 0 447181 159 0 0 25 0 3 0 371504115 709951488 167188 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8936.82
Current children cumulated vsize (KiB) 693312

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=591248/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=693312 CPUtime=9056.53
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 173614 0 0 0 905397 256 0 0 25 0 3 0 371504006 709951488 167188 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 173328 167188 218 20 0 172686 0
[pid=26807/tid=26809] ppid=26805 vsize=693312 CPUtime=4522.05
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 68831 0 0 0 452112 93 0 0 25 0 3 0 371504115 709951488 167188 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=693312 CPUtime=4533.39
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 98057 0 0 0 453179 160 0 0 25 0 3 0 371504115 709951488 167188 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9056.53
Current children cumulated vsize (KiB) 693312

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=583952/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=701736 CPUtime=9176.25
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 175470 0 0 0 917367 258 0 0 25 0 3 0 371504006 718577664 169044 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 175434 169044 218 20 0 174792 0
[pid=26807/tid=26809] ppid=26805 vsize=701736 CPUtime=4581.79
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 70686 0 0 0 458085 94 0 0 25 0 3 0 371504115 718577664 169044 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=701736 CPUtime=4593.37
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 98058 0 0 0 459177 160 0 0 25 0 3 0 371504115 718577664 169044 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9176.25
Current children cumulated vsize (KiB) 701736

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=492048/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=793212 CPUtime=9295.93
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 198540 0 0 0 929314 279 0 0 25 0 3 0 371504006 812249088 191878 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 198303 191878 218 20 0 197661 0
[pid=26807/tid=26809] ppid=26805 vsize=793212 CPUtime=4641.51
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 92495 0 0 0 464038 113 0 0 25 0 3 0 371504115 812249088 191878 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=793212 CPUtime=4653.34
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 99319 0 0 0 465171 163 0 0 25 0 3 0 371504115 812249088 191878 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9295.93
Current children cumulated vsize (KiB) 793212

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=491984/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=793212 CPUtime=9415.66
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 198658 0 0 0 941286 280 0 0 25 0 3 0 371504006 812249088 191878 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 198303 191878 218 20 0 197661 0
[pid=26807/tid=26809] ppid=26805 vsize=793212 CPUtime=4701.25
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 92495 0 0 0 470012 113 0 0 25 0 3 0 371504115 812249088 191878 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=793212 CPUtime=4713.32
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 99437 0 0 0 471169 163 0 0 25 0 3 0 371504115 812249088 191878 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9415.66
Current children cumulated vsize (KiB) 793212

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=468368/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=817788 CPUtime=9535.37
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 204727 0 0 0 953248 289 0 0 25 0 3 0 371504006 837414912 197947 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 204447 197947 218 20 0 203805 0
[pid=26807/tid=26809] ppid=26805 vsize=817788 CPUtime=4760.98
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 92495 0 0 0 475985 113 0 0 25 0 3 0 371504115 837414912 197947 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=817788 CPUtime=4773.29
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 105506 0 0 0 477157 172 0 0 25 0 3 0 371504115 837414912 197947 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9535.37
Current children cumulated vsize (KiB) 817788

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=406224/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=879936 CPUtime=9655.07
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 220499 0 0 0 965196 311 0 0 25 0 3 0 371504006 901054464 213482 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 219984 213482 218 20 0 219342 0
[pid=26807/tid=26809] ppid=26805 vsize=879936 CPUtime=4820.7
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 98190 0 0 0 481951 119 0 0 25 0 3 0 371504115 901054464 213482 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=879936 CPUtime=4833.27
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 115583 0 0 0 483139 188 0 0 25 0 3 0 371504115 901054464 213482 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520280 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9655.07
Current children cumulated vsize (KiB) 879936

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=318928/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=967228 CPUtime=9774.78
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 242441 0 0 0 977138 340 0 0 25 0 3 0 371504006 990441472 235424 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 241807 235424 218 20 0 241165 0
[pid=26807/tid=26809] ppid=26805 vsize=967228 CPUtime=4880.44
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 110790 0 0 0 487912 132 0 0 25 0 3 0 371504115 990441472 235424 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=967228 CPUtime=4893.24
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 124925 0 0 0 489120 204 0 0 25 0 3 0 371504115 990441472 235424 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9774.78
Current children cumulated vsize (KiB) 967228

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=282960/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=1002680 CPUtime=9894.48
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 251328 0 0 0 989094 354 0 0 25 0 3 0 371504006 1026744320 244074 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 250670 244074 218 20 0 250028 0
[pid=26807/tid=26809] ppid=26805 vsize=1002680 CPUtime=4940.16
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 115705 0 0 0 493878 138 0 0 25 0 3 0 371504115 1026744320 244074 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=1002680 CPUtime=4953.22
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 128897 0 0 0 495110 212 0 0 25 0 3 0 371504115 1026744320 244074 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9894.48
Current children cumulated vsize (KiB) 1002680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5015.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=282960/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=1002680 CPUtime=10000
/proc/26807/stat : 26807 (MiraXTv3_dyn) S 26805 26807 26733 0 -1 4194304 251328 0 0 0 999647 355 0 0 25 0 3 0 371504006 1026744320 244074 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 250670 244074 218 20 0 250028 0
[pid=26807/tid=26809] ppid=26805 vsize=1002680 CPUtime=4992.82
/proc/26807/task/26809/stat : 26809 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 115705 0 0 0 499144 138 0 0 25 0 3 0 371504115 1026744320 244074 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=1002680 CPUtime=5006.11
/proc/26807/task/26810/stat : 26810 (MiraXTv3_dyn) R 26805 26807 26733 0 -1 4194368 128897 0 0 0 500398 213 0 0 25 0 3 0 371504115 1026744320 244074 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526404 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1002680

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.95 3/80 27012
/proc/meminfo: memFree=282960/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=0 CPUtime=10000.2
/proc/26807/stat : 26807 (MiraXTv3_dyn) Z 26805 26807 26733 0 -1 4195340 251328 0 0 0 999648 369 0 0 16 0 2 0 371504006 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0

[startup+5015.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 27012
/proc/meminfo: memFree=282960/2055920 swapFree=4147944/4192956
[pid=26807] ppid=26805 vsize=0 CPUtime=10000.2
/proc/26807/stat : 26807 (MiraXTv3_dyn) Z 26805 26807 26733 0 -1 4195340 251328 0 0 0 999648 369 0 0 16 0 2 0 371504006 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26807/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.53
CPU time (s): 10000.2
CPU user time (s): 9996.49
CPU system time (s): 3.69244
CPU usage (%): 199.384
Max. virtual memory (cumulated for all children) (KiB): 1002680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.49
system time used= 3.69244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251328
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= 1028
involuntary context switches= 188693

runsolver used 4.85026 second user time and 13.447 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Tue May 15 13:31:25 UTC 2007

IDJOB= 460102
IDBENCH= 20537
IDSOLVER= 196
FILE ID= node33/460102-1179235885

PBS_JOBID= 5274747

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  fd9b941a20c95ff63d6f3a27d011956e

RANDOM SEED= 64501094

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1261120 kB
Buffers:         48464 kB
Cached:         588064 kB
SwapCached:      13960 kB
Active:         262648 kB
Inactive:       397056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1261120 kB
SwapTotal:     4192956 kB
SwapFree:      4147944 kB
Dirty:            7924 kB
Writeback:           0 kB
Mapped:          30056 kB
Slab:           120416 kB
Committed_AS:  5275476 kB
PageTables:       1992 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= 66542 MiB

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