Trace number 1876610

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1Wrong UNSAT 74.4817 74.5073

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
MD5SUMa6d214cc283b484f5cca285d86c4d8bb
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark14.3978
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables192
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1876610-1245188359.opb
0.00/0.00	c File size is 38505 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706
0.00/0.00	c Obj. Vars: 8 (1.13636 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    704     1049     4408    4     3786    5914      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
74.46/74.50	c      101    704     1220    11448    9     4192    6506    171   3366 0.03
74.46/74.50	c      252    704     1415    22849   16     4562    7157    366   4581 0.06
74.46/74.50	c      478    704     1673    40057   23     5088    7873    624   5252 0.09
74.46/74.50	c      816    704     2068    63640   30     5965    8661   1019   5666 0.14
74.46/74.50	c     1327    704     2661   100831   37     7224    9528   1612   5820 0.23
74.46/74.50	c     2090    704     3648   164415   45     9697   10481   2599   4475 0.47
74.46/74.50	c     3236    704     4818   252155   52    12161   11530   3769   5001 0.65
74.46/74.50	c     4957    704     6933   364142   52    16846   12684   5884   4441 1.12
74.46/74.50	c     7543    703     9927   525457   52    23374   13953   8878   3279 2.30
74.46/74.50	c    11423    685    14652   810340   55    33612   15349  13603   2603 4.39
74.46/74.50	c    17246    675    13631   705519   51    30685   16884  12582   2124 8.12
74.46/74.50	c    25983    654    14600   787838   53    32875   18573  13551   2102 12.36
74.46/74.50	c    39094    644    19536  1169870   59    42794   20431  18487   1467 26.64
74.46/74.50	c    58764    614    20690  1130412   54    45529   22475  19641   1300 45.19
74.46/74.50	c    88274    539    20059   828302   41    44303   24723  19010   1212 72.78
74.46/74.50	c Backtracks by Clause: 18010
74.46/74.50	c Backtracks by PB constraint: 28
74.46/74.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
74.46/74.50	c   15    89598   1307    97460    21455   866518  20406   1203 74.48
74.46/74.50	s UNSATISFIABLE
74.46/74.50	c Total time: 74.476 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876610-1245188359/watcher-1876610-1245188359 -o /tmp/evaluation-result-1876610-1245188359/solver-1876610-1245188359 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876610-1245188359.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3582
/proc/meminfo: memFree=1835752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=10748 CPUtime=0
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 186432256 11005952 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 2687 240 176 640 0 2033 0

[startup+0.075647 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3582
/proc/meminfo: memFree=1835752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=11352 CPUtime=0.06
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 444 0 0 0 6 0 0 0 18 0 1 0 186432256 11624448 418 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 2838 419 198 640 0 2194 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11352

[startup+0.101651 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3582
/proc/meminfo: memFree=1835752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=11476 CPUtime=0.09
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 491 0 0 0 9 0 0 0 18 0 1 0 186432256 11751424 465 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 2869 465 198 640 0 2225 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11476

[startup+0.301688 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3582
/proc/meminfo: memFree=1835752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=12476 CPUtime=0.29
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 738 0 0 0 29 0 0 0 19 0 1 0 186432256 12775424 712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 3119 712 198 640 0 2475 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12476

[startup+0.701763 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3582
/proc/meminfo: memFree=1835752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=14748 CPUtime=0.69
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 1303 0 0 0 68 1 0 0 22 0 1 0 186432256 15101952 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 3687 1277 198 640 0 3043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14748

[startup+1.50191 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1830368/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=17152 CPUtime=1.49
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 1889 0 0 0 148 1 0 0 25 0 1 0 186432256 17563648 1863 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 4288 1863 198 640 0 3644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17152

[startup+3.10121 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1827680/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=21200 CPUtime=3.09
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 2926 0 0 0 307 2 0 0 25 0 1 0 186432256 21708800 2900 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 5300 2900 198 640 0 4656 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21200

[startup+6.30181 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1822112/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=24360 CPUtime=6.29
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 3708 0 0 0 625 4 0 0 25 0 1 0 186432256 24944640 3682 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 6090 3682 198 640 0 5446 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24360

[startup+12.702 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1820448/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=25368 CPUtime=12.69
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 3967 0 0 0 1264 5 0 0 25 0 1 0 186432256 25976832 3941 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 6342 3941 198 640 0 5698 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25368

[startup+25.5014 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1818464/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=27388 CPUtime=25.48
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 4464 0 0 0 2541 7 0 0 25 0 1 0 186432256 28045312 4438 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 6847 4438 198 640 0 6203 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27388

[startup+51.1012 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1815584/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=30324 CPUtime=51.07
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 5201 0 0 0 5095 12 0 0 25 0 1 0 186432256 31051776 5175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 7581 5175 198 640 0 6937 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30324

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

[startup+63.9016 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1814752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=31164 CPUtime=63.87
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 5407 0 0 0 6372 15 0 0 25 0 1 0 186432256 31911936 5381 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 7791 5381 198 640 0 7147 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 31164

[startup+70.3018 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1814752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=31164 CPUtime=70.28
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 5407 0 0 0 7012 16 0 0 25 0 1 0 186432256 31911936 5381 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 7791 5381 198 640 0 7147 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 31164

[startup+71.9011 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1814752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=31164 CPUtime=71.87
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 5407 0 0 0 7171 16 0 0 25 0 1 0 186432256 31911936 5381 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 7791 5381 198 640 0 7147 0
Current children cumulated CPU time (s) 71.87
Current children cumulated vsize (KiB) 31164

[startup+73.5014 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1814752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=31164 CPUtime=73.46
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 5407 0 0 0 7330 16 0 0 25 0 1 0 186432256 31911936 5381 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 7791 5381 198 640 0 7147 0
Current children cumulated CPU time (s) 73.46
Current children cumulated vsize (KiB) 31164

[startup+74.3015 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1814752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=31164 CPUtime=74.26
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 5407 0 0 0 7410 16 0 0 25 0 1 0 186432256 31911936 5381 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 7791 5381 198 640 0 7147 0
Current children cumulated CPU time (s) 74.26
Current children cumulated vsize (KiB) 31164

[startup+74.5015 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3583
/proc/meminfo: memFree=1814752/2055920 swapFree=4182544/4192956
[pid=3582] ppid=3580 vsize=31164 CPUtime=74.46
/proc/3582/stat : 3582 (bsolo) R 3580 3582 3205 0 -1 4194304 5407 0 0 0 7430 16 0 0 25 0 1 0 186432256 31911936 5381 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3582/statm: 7791 5381 198 640 0 7147 0
Current children cumulated CPU time (s) 74.46
Current children cumulated vsize (KiB) 31164

Child status: 0
Real time (s): 74.5073
CPU time (s): 74.4817
CPU user time (s): 74.3117
CPU system time (s): 0.169974
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 31164

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

runsolver used 0.065989 second user time and 0.183972 second system time

The end

Launcher Data 

Begin job on node47 at 2009-06-16 23:39:19
IDJOB=1876610
IDBENCH=48020
IDSOLVER=699
FILE ID=node47/1876610-1245188359
PBS_JOBID= 9368282
Free space on /tmp= 65952 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876610-1245188359/watcher-1876610-1245188359 -o /tmp/evaluation-result-1876610-1245188359/solver-1876610-1245188359 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1876610-1245188359.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a6d214cc283b484f5cca285d86c4d8bb
RANDOM SEED=493176106

node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.261
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.261
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:       1836296 kB
Buffers:         47728 kB
Cached:         105156 kB
SwapCached:       4196 kB
Active:          51516 kB
Inactive:       109204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1836296 kB
SwapTotal:     4192956 kB
SwapFree:      4182544 kB
Dirty:            4140 kB
Writeback:           0 kB
Mapped:          13676 kB
Slab:            44872 kB
Committed_AS:   182808 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876610-1245188359.opb

Free space on /tmp at the end= 65948 MiB
End job on node47 at 2009-06-16 23:40:33