Trace number 3308559

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
SAT09 reference solver:LySAT i/2009-03-20? (TO) 1300.01 1300.01

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
MD5SUM66aa2e18c32a02f55a810347a9702c7f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1067.51
Satisfiable
(Un)Satisfiability was proved
Number of variables1278
Number of clauses68055
Sum of the clauses size202155
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22148
Number of clauses of size 365884
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   68055   202155 |   20416       0        0     nan |  0.000 % |
0.00/0.26	c |         0 |   67183   284754 |      --       0       --      -- |     --   | -872/82599
0.00/0.26	c ==============================================================================
0.00/0.26	c Result  :   #vars: 763   #clauses: 67183   #literals: 284754
0.00/0.26	c CPU time:   0.255961 s
0.00/0.26	c ==============================================================================
0.00/0.31	c lySAT 0.1
0.00/0.31	c minisat core +  additionnal features
0.00/0.31	c ============================[ Problem Statistics ]=============================
0.00/0.31	c |                                                                             |
0.00/0.31	c |  Number of variables:  763                                                  |
0.00/0.31	c |  Number of clauses:    67183                                                |
0.00/0.33	c |  Parsing time:         0.02         s                                       |

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.0 (svn: 935)

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-3308559-1303983275/watcher-3308559-1303983275 -o /tmp/evaluation-result-3308559-1303983275/solver-3308559-1303983275 -C 2400 -W 1300 -M 7680 lysat.sh HOME/instance-3308559-1303983275.cnf i 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.89 0.90 0.31 4/192 18197
/proc/meminfo: memFree=10605832/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 490743352 8908800 250 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 250 209 178 0 68 0

[startup+0.087123 s]
/proc/loadavg: 2.89 0.90 0.31 4/192 18197
/proc/meminfo: memFree=10605832/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 490743352 8908800 250 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10112 s]
/proc/loadavg: 2.89 0.90 0.31 4/192 18197
/proc/meminfo: memFree=10605832/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 490743352 8908800 250 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301083 s]
/proc/loadavg: 2.89 0.90 0.31 4/192 18197
/proc/meminfo: memFree=10605832/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 490743352 8908800 250 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700977 s]
/proc/loadavg: 2.89 0.90 0.31 4/192 18197
/proc/meminfo: memFree=10605832/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 8700

[startup+1.50087 s]
/proc/loadavg: 2.98 0.95 0.33 5/194 18200
/proc/meminfo: memFree=10597012/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=7460 CPUtime=1.18 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 1767 0 0 0 118 0 0 0 25 0 1 0 490743384 7639040 1722 33554432000 134512640 135226915 4292193840 18446744073709551615 134537076 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 1865 1722 82 175 0 1688 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16160

[startup+3.10058 s]
/proc/loadavg: 2.98 0.95 0.33 5/194 18201
/proc/meminfo: memFree=10596020/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=9208 CPUtime=2.78 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 2208 0 0 0 278 0 0 0 25 0 1 0 490743384 9428992 2163 33554432000 134512640 135226915 4292193840 18446744073709551615 134536768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 2302 2163 82 175 0 2125 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17908

[startup+6.30106 s]
/proc/loadavg: 2.98 0.95 0.33 6/194 18201
/proc/meminfo: memFree=10589828/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=12492 CPUtime=5.98 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 2967 0 0 0 598 0 0 0 25 0 1 0 490743384 12791808 2922 33554432000 134512640 135226915 4292193840 18446744073709551615 134536818 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 3123 2922 82 175 0 2946 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21192

[startup+12.7009 s]
/proc/loadavg: 3.14 1.05 0.37 5/194 18231
/proc/meminfo: memFree=10665736/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=14780 CPUtime=12.37 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 3499 0 0 0 1237 0 0 0 25 0 1 0 490743384 15134720 3454 33554432000 134512640 135226915 4292193840 18446744073709551615 134536858 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 3695 3454 82 175 0 3518 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23480

[startup+25.5006 s]
/proc/loadavg: 3.27 1.15 0.41 5/194 18231
/proc/meminfo: memFree=10653032/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=17140 CPUtime=25.17 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 4072 0 0 0 2517 0 0 0 25 0 1 0 490743384 17551360 4027 33554432000 134512640 135226915 4292193840 18446744073709551615 134536744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 4285 4027 82 175 0 4108 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 25840

[startup+51.101 s]
/proc/loadavg: 3.52 1.37 0.50 6/194 18232
/proc/meminfo: memFree=10637100/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=24332 CPUtime=50.77 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 5775 0 0 0 5076 1 0 0 25 0 1 0 490743384 24915968 5730 33554432000 134512640 135226915 4292193840 18446744073709551615 134547713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 6083 5730 82 175 0 5906 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33032

[startup+102.307 s]
/proc/loadavg: 3.86 1.83 0.71 5/194 18233
/proc/meminfo: memFree=10596632/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=40508 CPUtime=101.98 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 9524 0 0 0 10196 2 0 0 25 0 1 0 490743384 41480192 9479 33554432000 134512640 135226915 4292193840 18446744073709551615 134543500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 10127 9479 82 175 0 9950 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 49208

[startup+162.301 s]
/proc/loadavg: 3.95 2.22 0.91 6/194 18235
/proc/meminfo: memFree=10554092/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=50420 CPUtime=161.97 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 11868 0 0 0 16194 3 0 0 25 0 1 0 490743384 51630080 11823 33554432000 134512640 135226915 4292193840 18446744073709551615 134531420 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 12605 11823 82 175 0 12428 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 59120

[startup+222.301 s]
/proc/loadavg: 3.98 2.54 1.10 5/194 18236
/proc/meminfo: memFree=10522524/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=55408 CPUtime=221.98 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 12956 0 0 0 22194 4 0 0 25 0 1 0 490743384 56737792 12911 33554432000 134512640 135226915 4292193840 18446744073709551615 134536785 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 13852 12911 82 175 0 13675 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 64108

[startup+282.3 s]
/proc/loadavg: 3.99 2.81 1.28 5/194 18268
/proc/meminfo: memFree=10540372/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=68604 CPUtime=281.98 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 16135 0 0 0 28192 6 0 0 25 0 1 0 490743384 70250496 16090 33554432000 134512640 135226915 4292193840 18446744073709551615 134536818 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 17151 16090 82 175 0 16974 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 77304

[startup+342.301 s]
/proc/loadavg: 3.99 3.02 1.45 5/194 18270
/proc/meminfo: memFree=10454676/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=71624 CPUtime=341.98 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 16833 0 0 0 34192 6 0 0 25 0 1 0 490743384 73342976 16788 33554432000 134512640 135226915 4292193840 18446744073709551615 134536818 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 17906 16788 82 175 0 17729 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 80324

[startup+402.301 s]
/proc/loadavg: 3.99 3.20 1.60 6/194 18271
/proc/meminfo: memFree=10387968/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3

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

/proc/18200/statm: 22427 20907 82 175 0 22250 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 98408

[startup+642.301 s]
/proc/loadavg: 4.07 3.66 2.15 5/194 18278
/proc/meminfo: memFree=10179548/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=96328 CPUtime=642 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 22348 0 0 0 64190 10 0 0 25 0 1 0 490743384 98639872 22303 33554432000 134512640 135226915 4292193840 18446744073709551615 134536926 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 24082 22303 82 175 0 23905 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 105028

[startup+702.301 s]
/proc/loadavg: 4.03 3.72 2.26 6/194 18279
/proc/meminfo: memFree=10177056/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=96688 CPUtime=701.99 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 22451 0 0 0 70189 10 0 0 25 0 1 0 490743384 99008512 22406 33554432000 134512640 135226915 4292193840 18446744073709551615 134536818 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 24172 22406 82 175 0 23995 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 105388

[startup+762.307 s]
/proc/loadavg: 4.01 3.77 2.37 5/194 18281
/proc/meminfo: memFree=10148128/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=109528 CPUtime=762 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 25550 0 0 0 76188 12 0 0 25 0 1 0 490743384 112156672 25505 33554432000 134512640 135226915 4292193840 18446744073709551615 134531060 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 27382 25505 82 175 0 27205 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 118228

[startup+822.3 s]
/proc/loadavg: 4.00 3.81 2.47 5/194 18282
/proc/meminfo: memFree=10144016/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=110396 CPUtime=822 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 25758 0 0 0 82188 12 0 0 25 0 1 0 490743384 113045504 25713 33554432000 134512640 135226915 4292193840 18446744073709551615 134536858 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 27599 25713 82 175 0 27422 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 119096

[startup+882.301 s]
/proc/loadavg: 4.00 3.84 2.56 5/194 18284
/proc/meminfo: memFree=10127980/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=110756 CPUtime=882 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 25838 0 0 0 88188 12 0 0 25 0 1 0 490743384 113414144 25793 33554432000 134512640 135226915 4292193840 18446744073709551615 134543500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 27689 25793 82 175 0 27512 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 119456

[startup+942.301 s]
/proc/loadavg: 4.00 3.86 2.65 5/194 18286
/proc/meminfo: memFree=10099680/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=123664 CPUtime=942 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 28737 0 0 0 94187 13 0 0 25 0 1 0 490743384 126631936 28692 33554432000 134512640 135226915 4292193840 18446744073709551615 134543500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 30916 28692 82 175 0 30739 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 132364

[startup+1002.3 s]
/proc/loadavg: 4.00 3.89 2.73 6/194 18287
/proc/meminfo: memFree=10083048/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=138884 CPUtime=1002 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 32186 0 0 0 100185 15 0 0 25 0 1 0 490743384 142217216 32141 33554432000 134512640 135226915 4292193840 18446744073709551615 134531436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 34721 32141 82 175 0 34544 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 147584

[startup+1062.3 s]
/proc/loadavg: 4.04 3.92 2.81 5/194 18289
/proc/meminfo: memFree=10083020/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=138884 CPUtime=1062 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 32192 0 0 0 106185 15 0 0 25 0 1 0 490743384 142217216 32147 33554432000 134512640 135226915 4292193840 18446744073709551615 134536821 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 34721 32147 82 175 0 34544 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 147584

[startup+1122.3 s]
/proc/loadavg: 4.01 3.93 2.88 5/194 18290
/proc/meminfo: memFree=10042448/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=139368 CPUtime=1122 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 32301 0 0 0 112185 15 0 0 25 0 1 0 490743384 142712832 32256 33554432000 134512640 135226915 4292193840 18446744073709551615 134537068 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 34842 32256 82 175 0 34665 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 148068

[startup+1182.3 s]
/proc/loadavg: 4.00 3.94 2.95 5/194 18292
/proc/meminfo: memFree=10023932/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=140608 CPUtime=1182.01 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 32542 0 0 0 118185 16 0 0 25 0 1 0 490743384 143982592 32497 33554432000 134512640 135226915 4292193840 18446744073709551615 134536818 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 35152 32497 82 175 0 34975 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 149308

[startup+1242.3 s]
/proc/loadavg: 4.04 3.96 3.02 5/194 18323
/proc/meminfo: memFree=10408520/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=149756 CPUtime=1242 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 34728 0 0 0 124183 17 0 0 25 0 1 0 490743384 153350144 34683 33554432000 134512640 135226915 4292193840 18446744073709551615 134536928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 37439 34683 82 175 0 37262 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 158456



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 3.97 3.07 5/194 18324
/proc/meminfo: memFree=10389548/32951124 swapFree=67111528/67111528
[pid=18197] ppid=18195 vsize=8700 CPUtime=0.3 cores=1,3
/proc/18197/stat : 18197 (lysat.sh) S 18195 18197 18042 0 -1 4202496 356 1854 0 0 0 0 30 0 19 0 1 0 490743352 8908800 252 33554432000 4194304 4922060 140733243951376 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18197/statm: 2175 252 209 178 0 68 0
[pid=18200] ppid=18197 vsize=160760 CPUtime=1299.71 cores=1,3
/proc/18200/stat : 18200 (LySATi) R 18197 18197 18042 0 -1 4202496 37462 0 0 0 129952 19 0 0 25 0 1 0 490743384 164618240 37417 33554432000 134512640 135226915 4292193840 18446744073709551615 134531176 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18200/statm: 40190 37417 82 175 0 40013 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 169460

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1300.01
CPU user time (s): 1299.82
CPU system time (s): 0.19
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 169460

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

runsolver used 2.03369 second user time and 5.07023 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-28 11:34:35
IDJOB=3308559
IDBENCH=71078
IDSOLVER=1692
FILE ID=node145/3308559-1303983275
RUNJOBID= node145-1303983194-18062
PBS_JOBID= 13168681
Free space on /tmp= 71984 MiB

SOLVER NAME= SAT09 reference solver:LySAT i/2009-03-20
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf
COMMAND LINE= lysat.sh BENCHNAME i
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308559-1303983275/watcher-3308559-1303983275 -o /tmp/evaluation-result-3308559-1303983275/solver-3308559-1303983275 -C 2400 -W 1300 -M 7680  lysat.sh HOME/instance-3308559-1303983275.cnf i

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED=604937935

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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	: 5332.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10606104 kB
Buffers:       2199536 kB
Cached:       19051280 kB
SwapCached:          0 kB
Active:       11437308 kB
Inactive:     10332248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10606104 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          141120 kB
Writeback:           0 kB
AnonPages:      518268 kB
Mapped:          16064 kB
Slab:           509884 kB
PageTables:       6240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   714048 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= 72100 MiB
End job on node145 at 2011-04-28 11:56:17