Trace number 456483

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) 5000.17 2513.36

General information on the benchmark

Namecrafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
MD5SUM44c15aa78137d3d285491662ef422a01
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1158.89
Satisfiable
(Un)Satisfiability was proved
Number of variables7194
Number of clauses513601
Sum of the clauses size1031504
Maximum clause length13
Minimum clause length1
Number of clauses of size 1109
Number of clauses of size 2512715
Number of clauses of size 3396
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5381

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-456483-1179024147 -o ROOT/results/node29/solver-456483-1179024147 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456483-1179024147/MiraXTv3_dyn /tmp/evaluation/456483-1179024147/instance-456483-1179024147.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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: 1.84 2.02 2.15 3/77 2791
/proc/meminfo: memFree=1224656/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=3788 CPUtime=0
/proc/2791/stat : 2791 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194304 324 0 0 0 0 0 0 0 18 0 1 0 350330536 3878912 299 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2791/statm: 947 306 202 20 0 305 0

[startup+0.080115 s]
/proc/loadavg: 1.84 2.02 2.15 3/77 2791
/proc/meminfo: memFree=1224656/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=8196 CPUtime=0.07
/proc/2791/stat : 2791 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194304 1563 0 0 0 6 1 0 0 18 0 1 0 350330536 8392704 1538 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134585096 0 0 4096 0 0 0 0 17 1 0 0
/proc/2791/statm: 2049 1539 206 20 0 1407 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8196

[startup+0.101115 s]
/proc/loadavg: 1.84 2.02 2.15 3/77 2791
/proc/meminfo: memFree=1224656/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=8988 CPUtime=0.09
/proc/2791/stat : 2791 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194304 1795 0 0 0 8 1 0 0 18 0 1 0 350330536 9203712 1770 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2791/statm: 2247 1771 206 20 0 1605 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8988

[startup+0.301129 s]
/proc/loadavg: 1.84 2.02 2.15 3/77 2791
/proc/meminfo: memFree=1224656/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=19008 CPUtime=0.29
/proc/2791/stat : 2791 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194304 4227 0 0 0 27 2 0 0 19 0 1 0 350330536 19464192 4202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4564603 0 0 4096 0 0 0 0 17 1 0 0
/proc/2791/statm: 4752 4202 206 20 0 4110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19008

[startup+0.701154 s]
/proc/loadavg: 1.84 2.02 2.15 3/77 2791
/proc/meminfo: memFree=1224656/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=33792 CPUtime=0.69
/proc/2791/stat : 2791 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194304 7642 0 0 0 65 4 0 0 23 0 1 0 350330536 34603008 7617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 1 0 0
/proc/2791/statm: 8448 7617 207 20 0 7806 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33792

[startup+1.5012 s]
/proc/loadavg: 1.77 2.01 2.14 2/78 2792
/proc/meminfo: memFree=1194824/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=33792 CPUtime=1.49
/proc/2791/stat : 2791 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194304 7642 0 0 0 145 4 0 0 25 0 1 0 350330536 34603008 7617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 1 0 0
/proc/2791/statm: 8448 7617 207 20 0 7806 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33792

[startup+3.10131 s]
/proc/loadavg: 1.77 2.01 2.14 2/78 2792
/proc/meminfo: memFree=1194312/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=33792 CPUtime=3.09
/proc/2791/stat : 2791 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194304 7642 0 0 0 305 4 0 0 25 0 1 0 350330536 34603008 7617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/2791/statm: 8448 7617 207 20 0 7806 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33792

[startup+6.30151 s]
/proc/loadavg: 1.71 1.99 2.14 2/78 2792
/proc/meminfo: memFree=1194568/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=33792 CPUtime=6.29
/proc/2791/stat : 2791 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194304 7642 0 0 0 625 4 0 0 25 0 1 0 350330536 34603008 7617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/2791/statm: 8448 7617 207 20 0 7806 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33792

[startup+12.7011 s]
/proc/loadavg: 1.65 1.97 2.13 2/78 2792
/proc/meminfo: memFree=1190920/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=201280 CPUtime=13
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 23517 0 0 0 1279 21 0 0 25 0 3 0 350330536 206110720 22486 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 50320 22486 218 20 0 49678 0
Current children cumulated CPU time (s) 13
Current children cumulated vsize (KiB) 201280

[startup+25.5019 s]
/proc/loadavg: 1.71 1.97 2.13 3/80 2794
/proc/meminfo: memFree=1071800/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=263300 CPUtime=38.12
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 40209 0 0 0 3778 34 0 0 25 0 3 0 350330536 269619200 38656 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 65825 38656 218 20 0 65183 0
[pid=2791/tid=2793] ppid=2789 vsize=263300 CPUtime=13.2
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 14304 0 0 0 1306 14 0 0 20 0 3 0 350331759 269619200 38656 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526404 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=263300 CPUtime=12.69
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 14507 0 0 0 1256 13 0 0 16 0 3 0 350331759 269619200 38656 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526327 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 38.12
Current children cumulated vsize (KiB) 263300

[startup+51.1016 s]
/proc/loadavg: 1.87 1.99 2.13 3/80 2794
/proc/meminfo: memFree=1037880/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=296804 CPUtime=89.21
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 49386 0 0 0 8876 45 0 0 25 0 3 0 350330536 303927296 47332 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 74201 47332 218 20 0 73559 0
[pid=2791/tid=2793] ppid=2789 vsize=296804 CPUtime=38.69
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 18638 0 0 0 3849 20 0 0 17 0 3 0 350331759 303927296 47332 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=296804 CPUtime=38.29
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 19350 0 0 0 3811 18 0 0 16 0 3 0 350331759 303927296 47332 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.21
Current children cumulated vsize (KiB) 296804

[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.13 3/80 2794
/proc/meminfo: memFree=1000184/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=330924 CPUtime=191.33
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 59208 0 0 0 19079 54 0 0 25 0 3 0 350330536 338866176 56136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 82731 56136 218 20 0 82089 0
[pid=2791/tid=2793] ppid=2789 vsize=330924 CPUtime=89.68
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 23676 0 0 0 8943 25 0 0 25 0 3 0 350331759 338866176 56136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=330924 CPUtime=89.42
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 24134 0 0 0 8920 22 0 0 25 0 3 0 350331759 338866176 56136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 191.33
Current children cumulated vsize (KiB) 330924

[startup+162.302 s]
/proc/loadavg: 2.02 2.01 2.12 3/80 2794
/proc/meminfo: memFree=999224/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=333128 CPUtime=310.97
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 60434 0 0 0 31042 55 0 0 25 0 3 0 350330536 341123072 56387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 83282 56387 218 20 0 82640 0
[pid=2791/tid=2793] ppid=2789 vsize=333128 CPUtime=149.38
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 24334 0 0 0 14912 26 0 0 25 0 3 0 350331759 341123072 56387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=333128 CPUtime=149.36
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 24702 0 0 0 14914 22 0 0 25 0 3 0 350331759 341123072 56387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 310.97
Current children cumulated vsize (KiB) 333128

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.11 3/80 2794
/proc/meminfo: memFree=996792/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=335104 CPUtime=430.64
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 61892 0 0 0 43008 56 0 0 25 0 3 0 350330536 343146496 57000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 83776 57000 218 20 0 83134 0
[pid=2791/tid=2793] ppid=2789 vsize=335104 CPUtime=209.35
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 25016 0 0 0 20908 27 0 0 25 0 3 0 350331759 343146496 57000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565556 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=335104 CPUtime=209.07
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 25478 0 0 0 20884 23 0 0 25 0 3 0 350331759 343146496 57000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 430.64
Current children cumulated vsize (KiB) 335104

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.10 3/80 2794
/proc/meminfo: memFree=989752/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=342844 CPUtime=550.34
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 64559 0 0 0 54975 59 0 0 25 0 3 0 350330536 351072256 58756 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 85711 58756 218 20 0 85069 0
[pid=2791/tid=2793] ppid=2789 vsize=342844 CPUtime=269.32
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 27166 0 0 0 26903 29 0 0 25 0 3 0 350331759 351072256 58756 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=342844 CPUtime=268.79
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 25995 0 0 0 26856 23 0 0 21 0 3 0 350331759 351072256 58756 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 550.34
Current children cumulated vsize (KiB) 342844

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.09 3/80 2794
/proc/meminfo: memFree=981560/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=350540 CPUtime=670.05
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 67278 0 0 0 66942 63 0 0 25 0 3 0 350330536 358952960 60820 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 87635 60820 218 20 0 86993 0
[pid=2791/tid=2793] ppid=2789 vsize=350540 CPUtime=329.31
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 27895 0 0 0 32901 30 0 0 25 0 3 0 350331759 358952960 60820 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=350540 CPUtime=328.51
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 27985 0 0 0 32825 26 0 0 25 0 3 0 350331759 358952960 60820 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 670.05
Current children cumulated vsize (KiB) 350540

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.08 3/80 2794
/proc/meminfo: memFree=977976/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=354268 CPUtime=789.74
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 68670 0 0 0 78909 65 0 0 25 0 3 0 350330536 362770432 61757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 88567 61757 218 20 0 87925 0
[pid=2791/tid=2793] ppid=2789 vsize=354268 CPUtime=389.28
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 28914 0 0 0 38896 32 0 0 25 0 3 0 350331759 362770432 61757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=354268 CPUtime=388.24
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 28358 0 0 0 38798 26 0 0 25 0 3 0 350331759 362770432 61757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 789.74
Current children cumulated vsize (KiB) 354268

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.08 3/80 2794
/proc/meminfo: memFree=976952/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=355060 CPUtime=909.42

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

/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 41298 0 0 0 188736 52 0 0 25 0 3 0 350331759 405626880 71898 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=396120 CPUtime=1881.15
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 44042 0 0 0 188055 60 0 0 25 0 3 0 350331759 405626880 71898 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3781.26
Current children cumulated vsize (KiB) 396120

[startup+1962.3 s]
/proc/loadavg: 2.19 2.04 2.01 3/80 2992
/proc/meminfo: memFree=936888/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=396120 CPUtime=3900.96
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 97236 0 0 0 389976 120 0 0 25 0 3 0 350330536 405626880 71899 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 99030 71899 218 20 0 98388 0
[pid=2791/tid=2793] ppid=2789 vsize=396120 CPUtime=1947.85
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 41424 0 0 0 194732 53 0 0 25 0 3 0 350331759 405626880 71899 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=396120 CPUtime=1940.88
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 44414 0 0 0 194028 60 0 0 25 0 3 0 350331759 405626880 71899 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3900.96
Current children cumulated vsize (KiB) 396120

[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/80 2992
/proc/meminfo: memFree=935672/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=397276 CPUtime=4020.66
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 98146 0 0 0 401945 121 0 0 25 0 3 0 350330536 406810624 72229 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 99319 72229 218 20 0 98677 0
[pid=2791/tid=2793] ppid=2789 vsize=397276 CPUtime=2007.82
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 41927 0 0 0 200728 54 0 0 16 0 3 0 350331759 406810624 72229 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4560826 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=397276 CPUtime=2000.62
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 44821 0 0 0 200001 61 0 0 25 0 3 0 350331759 406810624 72229 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4020.66
Current children cumulated vsize (KiB) 397276

[startup+2082.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 2992
/proc/meminfo: memFree=935352/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=397540 CPUtime=4140.38
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 98715 0 0 0 413916 122 0 0 25 0 3 0 350330536 407080960 72337 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 99385 72337 218 20 0 98743 0
[pid=2791/tid=2793] ppid=2789 vsize=397540 CPUtime=2067.8
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 42242 0 0 0 206726 54 0 0 25 0 3 0 350331759 407080960 72337 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=397540 CPUtime=2060.35
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 45075 0 0 0 205974 61 0 0 25 0 3 0 350331759 407080960 72337 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4140.38
Current children cumulated vsize (KiB) 397540

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/80 2992
/proc/meminfo: memFree=929528/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=403816 CPUtime=4260.03
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 100744 0 0 0 425880 123 0 0 25 0 3 0 350330536 413507584 73795 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 100954 73795 218 20 0 100312 0
[pid=2791/tid=2793] ppid=2789 vsize=403816 CPUtime=2127.77
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 43906 0 0 0 212722 55 0 0 25 0 3 0 350331759 413507584 73795 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=403816 CPUtime=2120.04
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 45440 0 0 0 211943 61 0 0 25 0 3 0 350331759 413507584 73795 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4260.03
Current children cumulated vsize (KiB) 403816

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 2992
/proc/meminfo: memFree=929336/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=403816 CPUtime=4379.72
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 101181 0 0 0 437848 124 0 0 25 0 3 0 350330536 413507584 73795 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 100954 73795 218 20 0 100312 0
[pid=2791/tid=2793] ppid=2789 vsize=403816 CPUtime=2187.71
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 44029 0 0 0 218715 56 0 0 25 0 3 0 350331759 413507584 73795 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=403816 CPUtime=2179.78
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 45754 0 0 0 217917 61 0 0 25 0 3 0 350331759 413507584 73795 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4379.72
Current children cumulated vsize (KiB) 403816

[startup+2262.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/80 2992
/proc/meminfo: memFree=929272/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=403848 CPUtime=4499.4
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 101853 0 0 0 449815 125 0 0 25 0 3 0 350330536 413540352 73810 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 100962 73810 218 20 0 100320 0
[pid=2791/tid=2793] ppid=2789 vsize=403848 CPUtime=2247.68
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 44424 0 0 0 224712 56 0 0 25 0 3 0 350331759 413540352 73810 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=403848 CPUtime=2239.5
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 46031 0 0 0 223888 62 0 0 25 0 3 0 350331759 413540352 73810 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4499.4
Current children cumulated vsize (KiB) 403848

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 2992
/proc/meminfo: memFree=927224/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=406164 CPUtime=4619.11
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 102995 0 0 0 461784 127 0 0 25 0 3 0 350330536 415911936 74351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 101541 74351 218 20 0 100899 0
[pid=2791/tid=2793] ppid=2789 vsize=406164 CPUtime=2307.66
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 45254 0 0 0 230708 58 0 0 25 0 3 0 350331759 415911936 74351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=406164 CPUtime=2299.22
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 46343 0 0 0 229860 62 0 0 25 0 3 0 350331759 415911936 74351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4619.11
Current children cumulated vsize (KiB) 406164

[startup+2382.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 2992
/proc/meminfo: memFree=926712/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=406500 CPUtime=4738.82
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 103498 0 0 0 473755 127 0 0 25 0 3 0 350330536 416256000 74452 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 101625 74452 218 20 0 100983 0
[pid=2791/tid=2793] ppid=2789 vsize=406500 CPUtime=2367.64
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 45551 0 0 0 236706 58 0 0 25 0 3 0 350331759 416256000 74452 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=406500 CPUtime=2358.96
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 46549 0 0 0 235834 62 0 0 25 0 3 0 350331759 416256000 74452 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4738.82
Current children cumulated vsize (KiB) 406500

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 2992
/proc/meminfo: memFree=926456/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=406668 CPUtime=4858.48
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 104008 0 0 0 485720 128 0 0 25 0 3 0 350330536 416428032 74471 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 101667 74471 218 20 0 101025 0
[pid=2791/tid=2793] ppid=2789 vsize=406668 CPUtime=2427.61
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 45752 0 0 0 242702 59 0 0 25 0 3 0 350331759 416428032 74471 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=406668 CPUtime=2418.64
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 46858 0 0 0 241802 62 0 0 25 0 3 0 350331759 416428032 74471 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4858.48
Current children cumulated vsize (KiB) 406668

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 2992
/proc/meminfo: memFree=926456/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=406668 CPUtime=4978.15
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 104696 0 0 0 497686 129 0 0 25 0 3 0 350330536 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 101667 74496 218 20 0 101025 0
[pid=2791/tid=2793] ppid=2789 vsize=406668 CPUtime=2487.54
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 46164 0 0 0 248694 60 0 0 23 0 3 0 350331759 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=406668 CPUtime=2478.38
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 47134 0 0 0 247776 62 0 0 25 0 3 0 350331759 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4978.15
Current children cumulated vsize (KiB) 406668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 2992
/proc/meminfo: memFree=926520/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=406668 CPUtime=5000.1
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 104696 0 0 0 499881 129 0 0 25 0 3 0 350330536 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 101667 74496 218 20 0 101025 0
[pid=2791/tid=2793] ppid=2789 vsize=406668 CPUtime=2498.54
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 46164 0 0 0 249794 60 0 0 25 0 3 0 350331759 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=406668 CPUtime=2489.33
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 47134 0 0 0 248871 62 0 0 25 0 3 0 350331759 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 406668

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

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

[startup+2513.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 2992
/proc/meminfo: memFree=926520/2055920 swapFree=4146800/4192956
[pid=2791] ppid=2789 vsize=406668 CPUtime=5000.1
/proc/2791/stat : 2791 (MiraXTv3_dyn) S 2789 2791 31827 0 -1 4194304 104696 0 0 0 499881 129 0 0 25 0 3 0 350330536 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2791/statm: 101667 74496 218 20 0 101025 0
[pid=2791/tid=2793] ppid=2789 vsize=406668 CPUtime=2498.54
/proc/2791/task/2793/stat : 2793 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 46164 0 0 0 249794 60 0 0 25 0 3 0 350331759 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2791/tid=2794] ppid=2789 vsize=406668 CPUtime=2489.33
/proc/2791/task/2794/stat : 2794 (MiraXTv3_dyn) R 2789 2791 31827 0 -1 4194368 47134 0 0 0 248871 62 0 0 25 0 3 0 350331759 416428032 74496 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 406668

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2513.36
CPU time (s): 5000.17
CPU user time (s): 4998.83
CPU system time (s): 1.3408
CPU usage (%): 198.943
Max. virtual memory (cumulated for all children) (KiB): 406840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.83
system time used= 1.3408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104696
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= 8082
involuntary context switches= 94539

runsolver used 2.49262 second user time and 6.69998 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Sun May 13 02:42:28 UTC 2007

IDJOB= 456483
IDBENCH= 24726
IDSOLVER= 196
FILE ID= node29/456483-1179024147

PBS_JOBID= 5253222

Free space on /tmp= 66532 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/sabharwal/logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456483-1179024147/MiraXTv3_dyn /tmp/evaluation/456483-1179024147/instance-456483-1179024147.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-456483-1179024147 -o ROOT/results/node29/solver-456483-1179024147 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456483-1179024147/MiraXTv3_dyn /tmp/evaluation/456483-1179024147/instance-456483-1179024147.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  44c15aa78137d3d285491662ef422a01

RANDOM SEED= 911747149

TIME LIMIT= 5000 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:       1224872 kB
Buffers:         50172 kB
Cached:         588468 kB
SwapCached:      11236 kB
Active:         231736 kB
Inactive:       476116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1224872 kB
SwapTotal:     4192956 kB
SwapFree:      4146800 kB
Dirty:           10368 kB
Writeback:           0 kB
Mapped:          76308 kB
Slab:           108492 kB
Committed_AS:  7141100 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= 66532 MiB

End job on node29 on Sun May 13 03:24:23 UTC 2007