Trace number 3498917

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
rcl 2011-04-01? (TO) 5000.01 4999.91

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p0.cnf
MD5SUMfaef1c850bb82ceddc7da5a4c445dd25
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1428.89
Satisfiable
(Un)Satisfiability was proved
Number of variables258781
Number of clauses1372095
Sum of the clauses size3305764
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2980303
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Parsing...
0.00/0.67	c ==============================================================================
0.00/0.67	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.67	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.67	c ==============================================================================
0.00/0.67	c |         0 | 1358076  3290875 |  407422       0        0     nan |  0.000 % |
3.09/3.20	c |         0 |  943589  2622489 |      --       0       --      -- |     --   | -112392/18842
3.19/3.20	c ==============================================================================
3.19/3.20	c Result  :   #vars: 137484   #clauses: 943589   #literals: 2622489
3.19/3.20	c CPU time:   3.10953 s
3.19/3.20	c ==============================================================================

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3498917-1308150601/watcher-3498917-1308150601 -o /tmp/evaluation-result-3498917-1308150601/solver-3498917-1308150601 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3498917-1308150601.cnf 

running on 4 cores: 0,2,4,6

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): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.25 1.72 1.90 2/174 5989
/proc/meminfo: memFree=29706092/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 926661016 8908800 250 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5989/statm: 2175 250 209 178 0 68 0

[startup+0.01929 s]
/proc/loadavg: 1.25 1.72 1.90 2/174 5989
/proc/meminfo: memFree=29706092/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 926661016 8908800 250 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5989/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100275 s]
/proc/loadavg: 1.25 1.72 1.90 2/174 5989
/proc/meminfo: memFree=29706092/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 926661016 8908800 250 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5989/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30024 s]
/proc/loadavg: 1.25 1.72 1.90 2/174 5989
/proc/meminfo: memFree=29706092/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 926661016 8908800 250 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5989/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701187 s]
/proc/loadavg: 1.25 1.72 1.90 2/174 5989
/proc/meminfo: memFree=29706092/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 926661016 8908800 250 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5989/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50105 s]
/proc/loadavg: 1.25 1.72 1.90 4/180 5995
/proc/meminfo: memFree=29444156/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 926661016 8908800 250 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5989/statm: 2175 250 209 178 0 68 0
[pid=5992] ppid=5989 vsize=151080 CPUtime=1.48 cores=0,2,4,6
/proc/5992/stat : 5992 (SatELite_releas) R 5989 5989 5946 0 -1 4202496 39194 0 0 0 140 8 0 0 25 0 1 0 926661016 154705920 35774 33554432000 134512640 135144242 4288946752 18446744073709551615 134585647 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/5992/statm: 37770 35774 77 155 0 37613 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 159780

[startup+3.10073 s]
/proc/loadavg: 1.25 1.72 1.90 4/180 5995
/proc/meminfo: memFree=29391724/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 926661016 8908800 250 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5989/statm: 2175 250 209 178 0 68 0
[pid=5992] ppid=5989 vsize=166912 CPUtime=3.09 cores=0,2,4,6
/proc/5992/stat : 5992 (SatELite_releas) R 5989 5989 5946 0 -1 4202496 44807 0 0 0 300 9 0 0 25 0 1 0 926661016 170917888 38173 33554432000 134512640 135144242 4288946752 18446744073709551615 134588216 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/5992/statm: 41728 38173 77 155 0 41571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 175612

[startup+6.30117 s]
/proc/loadavg: 1.31 1.72 1.90 3/180 5997
/proc/meminfo: memFree=29528940/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=71352 CPUtime=2.59 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 15713 0 0 0 257 2 0 0 25 0 1 0 926661386 73064448 15557 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5996/statm: 17838 15557 131 6 0 16308 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 80052

[startup+12.701 s]
/proc/loadavg: 1.37 1.72 1.90 4/180 5997
/proc/meminfo: memFree=29522264/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=73996 CPUtime=8.98 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 16381 0 0 0 896 2 0 0 25 0 1 0 926661386 75771904 16224 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208475 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5996/statm: 18499 16224 131 6 0 16969 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 82696

[startup+25.5007 s]
/proc/loadavg: 1.51 1.74 1.90 4/180 5997
/proc/meminfo: memFree=29516312/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=77332 CPUtime=21.79 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 17204 0 0 0 2176 3 0 0 25 0 1 0 926661386 79187968 17047 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208126 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5996/statm: 19333 17047 131 6 0 17803 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86032

[startup+51.101 s]
/proc/loadavg: 1.67 1.76 1.90 4/180 5998
/proc/meminfo: memFree=29501292/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=83572 CPUtime=47.38 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 18767 0 0 0 4735 3 0 0 25 0 1 0 926661386 85577728 18610 33554432000 4194304 4218580 140737326409504 18446744073709551615 4209996 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/5996/statm: 20893 18610 131 6 0 19363 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92272

[startup+102.307 s]
/proc/loadavg: 1.86 1.79 1.91 4/180 5999
/proc/meminfo: memFree=29484388/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=92888 CPUtime=98.59 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 21101 0 0 0 9855 4 0 0 25 0 1 0 926661386 95117312 20944 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/5996/statm: 23222 20944 131 6 0 21692 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 101588

[startup+162.301 s]
/proc/loadavg: 2.11 1.86 1.92 4/180 6001
/proc/meminfo: memFree=29470460/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=98348 CPUtime=158.58 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 22470 0 0 0 15854 4 0 0 25 0 1 0 926661386 100708352 22313 33554432000 4194304 4218580 140737326409504 18446744073709551615 4210037 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/5996/statm: 24587 22313 131 6 0 23057 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 107048

[startup+222.301 s]
/proc/loadavg: 2.04 1.88 1.92 4/180 6003
/proc/meminfo: memFree=29457532/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=105936 CPUtime=218.59 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 24385 0 0 0 21854 5 0 0 25 0 1 0 926661386 108478464 24228 33554432000 4194304 4218580 140737326409504 18446744073709551615 4199753 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/5996/statm: 26484 24228 131 6 0 24954 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 114636

[startup+282.301 s]
/proc/loadavg: 2.01 1.90 1.92 4/180 6004
/proc/meminfo: memFree=29448076/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=106104 CPUtime=278.59 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 24414 0 0 0 27854 5 0 0 25 0 1 0 926661386 108650496 24257 33554432000 4194304 4218580 140737326409504 18446744073709551615 4209517 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/5996/statm: 26526 24257 131 6 0 24996 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 114804

[startup+342.301 s]
/proc/loadavg: 2.00 1.92 1.92 4/180 6006
/proc/meminfo: memFree=29442092/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=112324 CPUtime=338.59 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 25965 0 0 0 33854 5 0 0 25 0 1 0 926661386 115019776 25804 33554432000 4194304 4218580 140737326409504 18446744073709551615 4210077 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/5996/statm: 28081 25804 131 6 0 26551 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 121024

[startup+402.301 s]
/proc/loadavg: 2.00 1.93 1.92 4/180 6007
/proc/meminfo: memFree=29422340/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6

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

/proc/5996/statm: 48513 46255 131 6 0 46983 0
Current children cumulated CPU time (s) 4362.39
Current children cumulated vsize (KiB) 202752

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 6218
/proc/meminfo: memFree=29453220/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194084 CPUtime=4418.7 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47769 0 0 0 441855 15 0 0 25 0 1 0 926661386 198742016 46262 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208247 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48521 46262 131 6 0 46991 0
Current children cumulated CPU time (s) 4422.39
Current children cumulated vsize (KiB) 202784

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 6219
/proc/meminfo: memFree=29453304/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194084 CPUtime=4478.7 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47793 0 0 0 447855 15 0 0 25 0 1 0 926661386 198742016 46264 33554432000 4194304 4218580 140737326409504 18446744073709551615 4210656 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48521 46264 131 6 0 46991 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 202784

[startup+4542.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/180 6221
/proc/meminfo: memFree=29448304/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194084 CPUtime=4538.71 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47817 0 0 0 453856 15 0 0 25 0 1 0 926661386 198742016 46266 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208467 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48521 46266 131 6 0 46991 0
Current children cumulated CPU time (s) 4542.4
Current children cumulated vsize (KiB) 202784

[startup+4602.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/180 6222
/proc/meminfo: memFree=29445652/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194116 CPUtime=4598.71 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47846 0 0 0 459856 15 0 0 25 0 1 0 926661386 198774784 46271 33554432000 4194304 4218580 140737326409504 18446744073709551615 4211905 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48529 46271 131 6 0 46999 0
Current children cumulated CPU time (s) 4602.4
Current children cumulated vsize (KiB) 202816

[startup+4662.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/180 6224
/proc/meminfo: memFree=29445364/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194116 CPUtime=4658.71 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47868 0 0 0 465856 15 0 0 25 0 1 0 926661386 198774784 46273 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208438 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48529 46273 131 6 0 46999 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 202816

[startup+4722.31 s]
/proc/loadavg: 2.01 2.01 1.96 3/180 6226
/proc/meminfo: memFree=29444712/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194148 CPUtime=4718.71 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47894 0 0 0 471856 15 0 0 25 0 1 0 926661386 198807552 46275 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208438 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48537 46275 131 6 0 47007 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 202848

[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/180 6227
/proc/meminfo: memFree=29444172/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194116 CPUtime=4778.71 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47920 0 0 0 477856 15 0 0 25 0 1 0 926661386 198774784 46274 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48529 46274 131 6 0 46999 0
Current children cumulated CPU time (s) 4782.4
Current children cumulated vsize (KiB) 202816

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 6229
/proc/meminfo: memFree=29443760/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194148 CPUtime=4838.71 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47952 0 0 0 483856 15 0 0 25 0 1 0 926661386 198807552 46280 33554432000 4194304 4218580 140737326409504 18446744073709551615 4209614 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48537 46280 131 6 0 47007 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 202848

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 6230
/proc/meminfo: memFree=29442972/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194116 CPUtime=4898.71 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 47975 0 0 0 489856 15 0 0 25 0 1 0 926661386 198774784 46274 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208438 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48529 46274 131 6 0 46999 0
Current children cumulated CPU time (s) 4902.4
Current children cumulated vsize (KiB) 202816

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 6232
/proc/meminfo: memFree=29441444/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194116 CPUtime=4958.72 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 48002 0 0 0 495857 15 0 0 25 0 1 0 926661386 198774784 46275 33554432000 4194304 4218580 140737326409504 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48529 46275 131 6 0 46999 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 202816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 6233
/proc/meminfo: memFree=29441180/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194084 CPUtime=4996.32 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 48024 0 0 0 499617 15 0 0 25 0 1 0 926661386 198742016 46270 33554432000 4194304 4218580 140737326409504 18446744073709551615 4210741 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48521 46270 131 6 0 46991 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 202784

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

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

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 6233
/proc/meminfo: memFree=29441180/32951124 swapFree=67053036/67111528
[pid=5989] ppid=5985 vsize=8700 CPUtime=3.69 cores=0,2,4,6
/proc/5989/stat : 5989 (esg_static.sh) S 5985 5989 5946 0 -1 4202496 354 46961 0 0 0 0 357 12 18 0 1 0 926661016 8908800 253 33554432000 4194304 4922060 140735691464224 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5989/statm: 2175 253 209 178 0 68 0
[pid=5996] ppid=5989 vsize=194084 CPUtime=4996.32 cores=0,2,4,6
/proc/5996/stat : 5996 (cdcl) R 5989 5989 5946 0 -1 4202496 48024 0 0 0 499617 15 0 0 25 0 1 0 926661386 198742016 46270 33554432000 4194304 4218580 140737326409504 18446744073709551615 4210741 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5996/statm: 48521 46270 131 6 0 46991 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 202784

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5989 and gives
#  childrusage.ru_utime.tv_sec=3
#  childrusage.ru_utime.tv_usec=573456
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=125980
# CPU time returned by wait4() is 3.69944
# while last known CPU time is 5000.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.91
CPU time (s): 5000.01
CPU user time (s): 4999.74
CPU system time (s): 0.27
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 202912

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

runsolver used 8.07477 second user time and 17.3294 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-15 17:10:05
IDJOB=3498917
IDBENCH=71036
IDSOLVER=1993
FILE ID=node104/3498917-1308150601
RUNJOBID= node104-1308150601-5964
PBS_JOBID= 13575607
Free space on /tmp= 73832 MiB

SOLVER NAME= rcl 2011-04-01
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3498917-1308150601/watcher-3498917-1308150601 -o /tmp/evaluation-result-3498917-1308150601/solver-3498917-1308150601 -C 5000 -W 5100 -M 15500  ./esg_static.sh HOME/instance-3498917-1308150601.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=101012839

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29707124 kB
Buffers:        448600 kB
Cached:        2411956 kB
SwapCached:      12244 kB
Active:         824980 kB
Inactive:      2054424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29707124 kB
SwapTotal:    67111528 kB
SwapFree:     67053036 kB
Dirty:           53840 kB
Writeback:           0 kB
AnonPages:       16124 kB
Mapped:           8556 kB
Slab:           301732 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189088 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73824 MiB
End job on node104 at 2011-06-15 18:33:28