Trace number 456354

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.29 2548.92

General information on the benchmark

Namecrafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
MD5SUM69151394f3e0e8838dc6693844061945
Bench CategoryCRAFTED (crafted 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 variables49153
Number of clauses324873
Sum of the clauses size1232169
Maximum clause length4
Minimum clause length1
Number of clauses of size 1257
Number of clauses of size 20
Number of clauses of size 366552
Number of clauses of size 4258064
Number of clauses of size 50
Number of clauses of size over 50

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/node60/watcher-456354-1179022694 -o ROOT/results/node60/solver-456354-1179022694 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456354-1179022694/MiraXTv3_dyn /tmp/evaluation/456354-1179022694/instance-456354-1179022694.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 1.97 1.98 3/64 3176
/proc/meminfo: memFree=1680520/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=3788 CPUtime=0
/proc/3176/stat : 3176 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194304 342 0 0 0 0 0 0 0 18 0 1 0 350179488 3878912 318 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3176/statm: 947 325 202 20 0 305 0

[startup+0.09712 s]
/proc/loadavg: 1.84 1.97 1.98 3/64 3176
/proc/meminfo: memFree=1680520/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=12020 CPUtime=0.09
/proc/3176/stat : 3176 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194304 2282 0 0 0 8 1 0 0 18 0 1 0 350179488 12308480 2248 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 5969531 0 0 4096 0 0 0 0 17 1 0 0
/proc/3176/statm: 3005 2248 206 20 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12020

[startup+0.10212 s]
/proc/loadavg: 1.84 1.97 1.98 3/64 3176
/proc/meminfo: memFree=1680520/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=12152 CPUtime=0.09
/proc/3176/stat : 3176 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194304 2309 0 0 0 8 1 0 0 18 0 1 0 350179488 12443648 2275 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 5969531 0 0 4096 0 0 0 0 17 1 0 0
/proc/3176/statm: 3038 2276 206 20 0 2396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12152

[startup+0.30214 s]
/proc/loadavg: 1.84 1.97 1.98 3/64 3176
/proc/meminfo: memFree=1680520/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=16048 CPUtime=0.29
/proc/3176/stat : 3176 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194304 3275 0 0 0 27 2 0 0 19 0 1 0 350179488 16433152 3241 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 5977405 0 0 4096 0 0 0 0 17 1 0 0
/proc/3176/statm: 4012 3241 206 20 0 3370 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16048

[startup+0.701179 s]
/proc/loadavg: 1.84 1.97 1.98 3/64 3176
/proc/meminfo: memFree=1680520/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=23544 CPUtime=0.69
/proc/3176/stat : 3176 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194304 5114 0 0 0 66 3 0 0 22 0 1 0 350179488 24109056 5080 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 5972740 0 0 4096 0 0 0 0 17 1 0 0
/proc/3176/statm: 5886 5080 206 20 0 5244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23544

[startup+1.50126 s]
/proc/loadavg: 1.77 1.95 1.98 2/65 3177
/proc/meminfo: memFree=1655488/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=33352 CPUtime=1.5
/proc/3176/stat : 3176 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194304 7383 0 0 0 145 5 0 0 25 0 1 0 350179488 34152448 7349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583990 0 0 4096 0 0 0 0 17 1 0 0
/proc/3176/statm: 8338 7349 207 20 0 7696 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 33352

[startup+3.10141 s]
/proc/loadavg: 1.77 1.95 1.98 2/65 3177
/proc/meminfo: memFree=1651392/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=36056 CPUtime=3.09
/proc/3176/stat : 3176 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194304 7848 0 0 0 304 5 0 0 25 0 1 0 350179488 36921344 7805 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134577226 0 0 4096 0 0 0 0 17 1 0 0
/proc/3176/statm: 9014 7805 207 20 0 8372 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36056

[startup+6.30174 s]
/proc/loadavg: 1.77 1.95 1.98 3/67 3179
/proc/meminfo: memFree=1610480/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=135828 CPUtime=7.68
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 19274 0 0 0 756 12 0 0 25 0 3 0 350179488 139087872 17790 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 33957 17790 218 20 0 33315 0
[pid=3176/tid=3178] ppid=3174 vsize=135828 CPUtime=3.06
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 6150 0 0 0 302 4 0 0 25 0 3 0 350179811 139087872 17790 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=135828 CPUtime=1.39
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 4361 0 0 0 137 2 0 0 25 0 3 0 350179811 139087872 17790 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 135828

[startup+12.7014 s]
/proc/loadavg: 1.81 1.95 1.98 3/67 3179
/proc/meminfo: memFree=1605112/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=141608 CPUtime=20.46
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 20741 0 0 0 2031 15 0 0 25 0 3 0 350179488 145006592 19257 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 35402 19257 218 20 0 34760 0
[pid=3176/tid=3178] ppid=3174 vsize=141608 CPUtime=9.45
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 6347 0 0 0 941 4 0 0 25 0 3 0 350179811 145006592 19257 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=141608 CPUtime=7.77
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 5631 0 0 0 772 5 0 0 25 0 3 0 350179811 145006592 19257 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.46
Current children cumulated vsize (KiB) 141608

[startup+25.5026 s]
/proc/loadavg: 1.84 1.95 1.98 3/67 3179
/proc/meminfo: memFree=1582072/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=163820 CPUtime=46
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 26443 0 0 0 4578 22 0 0 25 0 3 0 350179488 167751680 24959 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 40955 24959 218 20 0 40313 0
[pid=3176/tid=3178] ppid=3174 vsize=163820 CPUtime=22.25
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 9663 0 0 0 2218 7 0 0 25 0 3 0 350179811 167751680 24959 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=163820 CPUtime=20.51
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 8017 0 0 0 2043 8 0 0 25 0 3 0 350179811 167751680 24959 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46
Current children cumulated vsize (KiB) 163820

[startup+51.1021 s]
/proc/loadavg: 1.89 1.95 1.98 3/67 3179
/proc/meminfo: memFree=1529144/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=216736 CPUtime=97.08
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 39688 0 0 0 9671 37 0 0 25 0 3 0 350179488 221937664 38204 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 54184 38204 218 20 0 53542 0
[pid=3176/tid=3178] ppid=3174 vsize=216736 CPUtime=47.83
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 15299 0 0 0 4771 12 0 0 25 0 3 0 350179811 221937664 38204 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=216736 CPUtime=46
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 15626 0 0 0 4582 18 0 0 25 0 3 0 350179811 221937664 38204 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.08
Current children cumulated vsize (KiB) 216736

[startup+102.306 s]
/proc/loadavg: 1.95 1.96 1.98 3/67 3179
/proc/meminfo: memFree=1487736/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=256500 CPUtime=199.25
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 49847 0 0 0 19877 48 0 0 25 0 3 0 350179488 262656000 48329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 64125 48329 218 20 0 63483 0
[pid=3176/tid=3178] ppid=3174 vsize=256500 CPUtime=99.02
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 20731 0 0 0 9886 16 0 0 25 0 3 0 350179811 262656000 48329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=256500 CPUtime=96.98
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 20353 0 0 0 9673 25 0 0 25 0 3 0 350179811 262656000 48329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520272 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 199.25
Current children cumulated vsize (KiB) 256500

[startup+162.302 s]
/proc/loadavg: 1.98 1.97 1.98 3/67 3179
/proc/meminfo: memFree=1383416/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=360992 CPUtime=318.97
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 76228 0 0 0 31821 76 0 0 25 0 3 0 350179488 369655808 74610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 90248 74610 218 20 0 89606 0
[pid=3176/tid=3178] ppid=3174 vsize=360992 CPUtime=159
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 32983 0 0 0 15872 28 0 0 25 0 3 0 350179811 369655808 74610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=360992 CPUtime=156.72
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 34482 0 0 0 15631 41 0 0 24 0 3 0 350179811 369655808 74610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 318.97
Current children cumulated vsize (KiB) 360992

[startup+222.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/67 3179
/proc/meminfo: memFree=1274488/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=467788 CPUtime=438.68
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 103427 0 0 0 43761 107 0 0 25 0 3 0 350179488 479014912 101645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 116947 101645 218 20 0 116305 0
[pid=3176/tid=3178] ppid=3174 vsize=467788 CPUtime=218.99
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 47364 0 0 0 21855 44 0 0 25 0 3 0 350179811 479014912 101645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=467788 CPUtime=216.46
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 47300 0 0 0 21589 57 0 0 25 0 3 0 350179811 479014912 101645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 438.68
Current children cumulated vsize (KiB) 467788

[startup+282.303 s]
/proc/loadavg: 2.72 2.18 2.05 4/73 7715
/proc/meminfo: memFree=1224624/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=509600 CPUtime=547.41
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 113816 0 0 0 54620 121 0 0 25 0 3 0 350179488 521830400 111975 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 127400 111975 218 20 0 126758 0
[pid=3176/tid=3178] ppid=3174 vsize=509600 CPUtime=269.45
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 52466 0 0 0 26895 50 0 0 25 0 3 0 350179811 521830400 111975 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=509600 CPUtime=274.73
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 52587 0 0 0 27408 65 0 0 25 0 3 0 350179811 521830400 111975 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 547.41
Current children cumulated vsize (KiB) 509600

[startup+342.303 s]
/proc/loadavg: 3.02 2.36 2.12 3/74 13743
/proc/meminfo: memFree=1217448/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=509600 CPUtime=653.27
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 113871 0 0 0 65200 127 0 0 25 0 3 0 350179488 521830400 112030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 127400 112030 218 20 0 126758 0
[pid=3176/tid=3178] ppid=3174 vsize=509600 CPUtime=318.31
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 52488 0 0 0 31781 50 0 0 25 0 3 0 350179811 521830400 112030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=509600 CPUtime=331.72
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 52620 0 0 0 33102 70 0 0 25 0 3 0 350179811 521830400 112030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 653.27
Current children cumulated vsize (KiB) 509600

[startup+402.303 s]
/proc/loadavg: 3.20 2.52 2.19 4/74 19193
/proc/meminfo: memFree=1188072/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=533992 CPUtime=760.16
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 120071 0 0 0 75880 136 0 0 25 0 3 0 350179488 546807808 118230 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 133498 118230 218 20 0 132856 0
[pid=3176/tid=3178] ppid=3174 vsize=533992 CPUtime=368.46
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 53979 0 0 0 36793 53 0 0 25 0 3 0 350179811 546807808 118230 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526649 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3176/tid=3179] ppid=3174 vsize=533992 CPUtime=388.45

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


[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/67 5445
/proc/meminfo: memFree=352248/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1350240 CPUtime=3829.96
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 324689 0 0 0 382670 326 0 0 25 0 3 0 350179488 1382645760 321829 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 337560 321829 218 20 0 336918 0
[pid=3176/tid=3178] ppid=3174 vsize=1350240 CPUtime=1916.35
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 156671 0 0 0 191496 139 0 0 25 0 3 0 350179811 1382645760 321829 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1350240 CPUtime=1910.37
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159255 0 0 0 190856 181 0 0 25 0 3 0 350179811 1382645760 321829 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3829.96
Current children cumulated vsize (KiB) 1350240

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/67 5445
/proc/meminfo: memFree=352120/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1350240 CPUtime=3949.67
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 324713 0 0 0 394641 326 0 0 25 0 3 0 350179488 1382645760 321853 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 337560 321853 218 20 0 336918 0
[pid=3176/tid=3178] ppid=3174 vsize=1350240 CPUtime=1976.33
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 156688 0 0 0 197494 139 0 0 25 0 3 0 350179811 1382645760 321853 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1350240 CPUtime=1970.1
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159262 0 0 0 196829 181 0 0 25 0 3 0 350179811 1382645760 321853 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3949.67
Current children cumulated vsize (KiB) 1350240

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/67 5445
/proc/meminfo: memFree=352120/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1350240 CPUtime=4069.41
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 324713 0 0 0 406615 326 0 0 25 0 3 0 350179488 1382645760 321853 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 337560 321853 218 20 0 336918 0
[pid=3176/tid=3178] ppid=3174 vsize=1350240 CPUtime=2036.32
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 156688 0 0 0 203493 139 0 0 25 0 3 0 350179811 1382645760 321853 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1350240 CPUtime=2029.85
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159262 0 0 0 202804 181 0 0 25 0 3 0 350179811 1382645760 321853 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4069.41
Current children cumulated vsize (KiB) 1350240

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/67 5445
/proc/meminfo: memFree=352120/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1350240 CPUtime=4189.12
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 324723 0 0 0 418586 326 0 0 25 0 3 0 350179488 1382645760 321863 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 337560 321863 218 20 0 336918 0
[pid=3176/tid=3178] ppid=3174 vsize=1350240 CPUtime=2096.3
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 156688 0 0 0 209491 139 0 0 25 0 3 0 350179811 1382645760 321863 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1350240 CPUtime=2089.59
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159272 0 0 0 208778 181 0 0 25 0 3 0 350179811 1382645760 321863 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4189.12
Current children cumulated vsize (KiB) 1350240

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/67 5445
/proc/meminfo: memFree=352056/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1350240 CPUtime=4308.84
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 324744 0 0 0 430558 326 0 0 25 0 3 0 350179488 1382645760 321884 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 337560 321884 218 20 0 336918 0
[pid=3176/tid=3178] ppid=3174 vsize=1350240 CPUtime=2156.28
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 156700 0 0 0 215489 139 0 0 25 0 3 0 350179811 1382645760 321884 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1350240 CPUtime=2149.33
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159281 0 0 0 214752 181 0 0 25 0 3 0 350179811 1382645760 321884 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4308.84
Current children cumulated vsize (KiB) 1350240

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/67 5445
/proc/meminfo: memFree=331704/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1371096 CPUtime=4428.58
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 330089 0 0 0 442526 332 0 0 25 0 3 0 350179488 1404002304 327126 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 342774 327126 218 20 0 342132 0
[pid=3176/tid=3178] ppid=3174 vsize=1371096 CPUtime=2216.26
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 162033 0 0 0 221482 144 0 0 25 0 3 0 350179811 1404002304 327126 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1371096 CPUtime=2209.07
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159293 0 0 0 220726 181 0 0 25 0 3 0 350179811 1404002304 327126 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4428.58
Current children cumulated vsize (KiB) 1371096

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/67 5445
/proc/meminfo: memFree=307896/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1394696 CPUtime=4548.29
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 335853 0 0 0 454493 336 0 0 25 0 3 0 350179488 1428168704 332890 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 348674 332890 218 20 0 348032 0
[pid=3176/tid=3178] ppid=3174 vsize=1394696 CPUtime=2276.24
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 167787 0 0 0 227476 148 0 0 25 0 3 0 350179811 1428168704 332890 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521314 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1394696 CPUtime=2268.81
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159303 0 0 0 226700 181 0 0 25 0 3 0 350179811 1428168704 332890 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4548.29
Current children cumulated vsize (KiB) 1394696

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/67 5445
/proc/meminfo: memFree=307896/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1394696 CPUtime=4668.01
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 335859 0 0 0 466465 336 0 0 25 0 3 0 350179488 1428168704 332896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 348674 332896 218 20 0 348032 0
[pid=3176/tid=3178] ppid=3174 vsize=1394696 CPUtime=2336.22
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 167793 0 0 0 233474 148 0 0 25 0 3 0 350179811 1428168704 332896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1394696 CPUtime=2328.54
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159303 0 0 0 232673 181 0 0 25 0 3 0 350179811 1428168704 332896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4668.01
Current children cumulated vsize (KiB) 1394696

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/67 5445
/proc/meminfo: memFree=307768/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1394696 CPUtime=4787.74
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 335877 0 0 0 478438 336 0 0 25 0 3 0 350179488 1428168704 332914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 348674 332914 218 20 0 348032 0
[pid=3176/tid=3178] ppid=3174 vsize=1394696 CPUtime=2396.2
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 167803 0 0 0 239472 148 0 0 25 0 3 0 350179811 1428168704 332914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1394696 CPUtime=2388.29
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159311 0 0 0 238648 181 0 0 25 0 3 0 350179811 1428168704 332914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4787.74
Current children cumulated vsize (KiB) 1394696

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 5445
/proc/meminfo: memFree=307704/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1394696 CPUtime=4907.47
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 335893 0 0 0 490411 336 0 0 25 0 3 0 350179488 1428168704 332930 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 348674 332930 218 20 0 348032 0
[pid=3176/tid=3178] ppid=3174 vsize=1394696 CPUtime=2456.19
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 167811 0 0 0 245471 148 0 0 25 0 3 0 350179811 1428168704 332930 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1394696 CPUtime=2448.03
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159319 0 0 0 244622 181 0 0 25 0 3 0 350179811 1428168704 332930 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4907.47
Current children cumulated vsize (KiB) 1394696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2548.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 5445
/proc/meminfo: memFree=307704/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=1394696 CPUtime=5000.07
/proc/3176/stat : 3176 (MiraXTv3_dyn) S 3174 3176 3102 0 -1 4194304 335895 0 0 0 499671 336 0 0 25 0 3 0 350179488 1428168704 332932 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 348674 332932 218 20 0 348032 0
[pid=3176/tid=3178] ppid=3174 vsize=1394696 CPUtime=2502.58
/proc/3176/task/3178/stat : 3178 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 167813 0 0 0 250110 148 0 0 25 0 3 0 350179811 1428168704 332932 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526065 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3176/tid=3179] ppid=3174 vsize=1394696 CPUtime=2494.25
/proc/3176/task/3179/stat : 3179 (MiraXTv3_dyn) R 3174 3176 3102 0 -1 4194368 159319 0 0 0 249243 182 0 0 25 0 3 0 350179811 1428168704 332932 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 1394696

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

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

[startup+2548.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 5445
/proc/meminfo: memFree=307704/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=0 CPUtime=5000.18
/proc/3176/stat : 3176 (MiraXTv3_dyn) Z 3174 3176 3102 0 -1 4195340 335895 0 0 0 499672 346 0 0 16 0 2 0 350179488 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5000.18
Current children cumulated vsize (KiB) 0

[startup+2548.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 5445
/proc/meminfo: memFree=307704/2055920 swapFree=4183392/4192956
[pid=3176] ppid=3174 vsize=0 CPUtime=5000.26
/proc/3176/stat : 3176 (MiraXTv3_dyn) Z 3174 3176 3102 0 -1 4195340 335895 0 0 0 499672 354 0 0 16 0 2 0 350179488 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3176/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5000.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2548.92
CPU time (s): 5000.29
CPU user time (s): 4996.72
CPU system time (s): 3.56846
CPU usage (%): 196.173
Max. virtual memory (cumulated for all children) (KiB): 1394696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4996.72
system time used= 3.56846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335895
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= 383
involuntary context switches= 57303

runsolver used 2.79557 second user time and 6.67399 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Sun May 13 02:18:15 UTC 2007

IDJOB= 456354
IDBENCH= 24683
IDSOLVER= 196
FILE ID= node60/456354-1179022694

PBS_JOBID= 5253253

Free space on /tmp= 66538 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456354-1179022694/MiraXTv3_dyn /tmp/evaluation/456354-1179022694/instance-456354-1179022694.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-456354-1179022694 -o ROOT/results/node60/solver-456354-1179022694 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456354-1179022694/MiraXTv3_dyn /tmp/evaluation/456354-1179022694/instance-456354-1179022694.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  69151394f3e0e8838dc6693844061945

RANDOM SEED= 276177472

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1680864 kB
Buffers:         34692 kB
Cached:         224112 kB
SwapCached:       3676 kB
Active:          70292 kB
Inactive:       198048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1680864 kB
SwapTotal:     4192956 kB
SwapFree:      4183392 kB
Dirty:           12208 kB
Writeback:           0 kB
Mapped:          15536 kB
Slab:            92708 kB
Committed_AS:  5318224 kB
PageTables:       1464 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= 66538 MiB

End job on node60 on Sun May 13 03:00:46 UTC 2007