Trace number 3742323

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
PB09: bsolo 3.1? 1798.08 1798.65

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K139.opb
MD5SUM76516381ba4bc043f2da87444e256707
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16541
Total number of constraints16821
Number of constraints which are clauses16682
Number of constraints which are cardinality constraints (but not clauses)139
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint139
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 140
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 15500 MB
0.00/0.00	c Instance file HOME/instance-3742323-1338784364.opb
0.00/0.00	c File size is 1126812 bytes.
0.08/0.09	c Highest Coefficient sum: 140
0.08/0.09	c Parsing was ok!!
0.08/0.09	c Total parsing time: 0.089 s
0.08/0.09	c Var: 16541 Constr: 16821 16682/139/0 Lit: 108137 Watch. Lit: 49903
0.08/0.09	c Obj. Vars: 0 (0 % of total variables)
7.18/7.21	c Pre-processing Time: 7.215 s
7.18/7.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.22	c        0  15023    15409   101870    6    46659  140523      0      0 7.21
7.18/7.22	c Switching off lower bounding mode.
1797.93/1798.57	c      100  15023    15516   107016    6    47331  154576    107     13 7.28
1797.93/1798.57	c      250  15023    15691   126679    8    48473  170034    282     33 7.45
1797.93/1798.57	c      476  15023    15949   149525    9    49219  187038    540     61 7.72
1797.93/1798.57	c      814  15023    16353   179892   11    51975  205742    944     98 8.30
1797.93/1798.57	c     1322  15023    16964   227012   13    56461  226317   1555    147 8.95
1797.93/1798.57	c     2085  15023    17874   289184   16    62008  248949   2465    209 9.96
1797.93/1798.57	c     3231  15023    19133   377291   19    68804  273844   3724    277 11.65
1797.93/1798.57	c     4952  15023    21096   655627   31    83087  301229   5687    346 14.31
1797.93/1798.57	c     7537  15023    24073   996825   41   107233  331352   8664    396 19.02
1797.93/1798.57	c    11416  15023    28580  1625626   56   135420  364488  13171    428 26.67
1797.93/1798.57	c    17241  15023    35187  3006520   85   183859  400937  19778    396 43.51
1797.93/1798.57	c    25979  15023    45241  6553459  144   247689  441031  29832    336 77.31
1797.93/1798.57	c    39090  15023    60415 12800935  211   337707  485135  45006    267 146.15
1797.93/1798.57	c    58760  15023    83688 27810904  332   483026  533649  68279    196 299.32
1797.93/1798.57	c    88271  15023   119876 85352122  712   694805  587014 104467     88 993.13
1797.93/1798.57	c Resources Exceeded
1797.93/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.57	c   15   125181  81822  5104366   164818 136353304 149409     69 1798.01
1797.93/1798.57	s UNKNOWN
1797.93/1798.57	c Total time: 1798.01 s

Verifier Data 

ERROR: no interpretation 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-3742323-1338784364/watcher-3742323-1338784364 -o /tmp/evaluation-result-3742323-1338784364/solver-3742323-1338784364 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742323-1338784364.opb 

running on 4 cores: 1,3,5,7

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): 1900 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: 0.92 1.01 1.33 4/175 32767
/proc/meminfo: memFree=26563044/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=20132 CPUtime=0 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 1 0 344564991 20615168 350 33554432000 134512640 137136520 4287857120 4287853720 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 5033 350 185 641 0 4113 0

[startup+0.0833189 s]
/proc/loadavg: 0.92 1.01 1.33 4/175 32767
/proc/meminfo: memFree=26563044/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=15304 CPUtime=0.08 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 1374 0 0 0 8 0 0 0 20 0 1 0 344564991 15671296 1328 33554432000 134512640 137136520 4287857120 4287855648 134517643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 3826 1328 422 641 0 2906 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15304

[startup+0.100274 s]
/proc/loadavg: 0.92 1.01 1.33 4/175 32767
/proc/meminfo: memFree=26563044/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=17120 CPUtime=0.09 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 2101 0 0 0 9 0 0 0 20 0 1 0 344564991 17530880 1779 33554432000 134512640 137136520 4287857120 4287657292 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 4280 1779 189 641 0 3636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17120

[startup+0.30027 s]
/proc/loadavg: 0.92 1.01 1.33 4/175 32767
/proc/meminfo: memFree=26563044/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=17120 CPUtime=0.29 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 2106 0 0 0 29 0 0 0 20 0 1 0 344564991 17530880 1784 33554432000 134512640 137136520 4287857120 4287657104 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 4280 1784 189 641 0 3636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17120

[startup+0.700257 s]
/proc/loadavg: 0.92 1.01 1.33 4/175 32767
/proc/meminfo: memFree=26563044/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=17120 CPUtime=0.69 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 2107 0 0 0 69 0 0 0 20 0 1 0 344564991 17530880 1785 33554432000 134512640 137136520 4287857120 4287657096 135982500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 4280 1785 189 641 0 3636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17120

[startup+1.50026 s]
/proc/loadavg: 0.92 1.01 1.33 4/177 301
/proc/meminfo: memFree=26550908/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=17120 CPUtime=1.49 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 2107 0 0 0 149 0 0 0 20 0 1 0 344564991 17530880 1785 33554432000 134512640 137136520 4287857120 4287657036 136518932 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 4280 1785 189 641 0 3636 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17120

[startup+3.10024 s]
/proc/loadavg: 0.92 1.01 1.33 4/177 301
/proc/meminfo: memFree=26549252/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=17120 CPUtime=3.09 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 2109 0 0 0 309 0 0 0 20 0 1 0 344564991 17530880 1786 33554432000 134512640 137136520 4287857120 4287657104 134544838 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 4280 1786 189 641 0 3636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17120

[startup+6.30024 s]
/proc/loadavg: 1.01 1.03 1.33 4/177 301
/proc/meminfo: memFree=26549128/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=17120 CPUtime=6.28 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 2112 0 0 0 628 0 0 0 20 0 1 0 344564991 17530880 1789 33554432000 134512640 137136520 4287857120 4287657104 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 4280 1789 189 641 0 3636 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17120

[startup+12.7002 s]
/proc/loadavg: 1.09 1.04 1.34 4/177 301
/proc/meminfo: memFree=26538536/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=22776 CPUtime=12.68 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 3706 0 0 0 1242 26 0 0 20 0 1 0 344564991 23322624 3220 33554432000 134512640 137136520 4287857120 4287856048 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 5694 3220 198 641 0 5050 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22776

[startup+25.5003 s]
/proc/loadavg: 1.29 1.09 1.35 4/177 301
/proc/meminfo: memFree=26501972/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=38512 CPUtime=25.49 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 7643 0 0 0 2499 50 0 0 20 0 1 0 344564991 39436288 7157 33554432000 134512640 137136520 4287857120 4287855820 136518911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 9628 7157 198 641 0 8984 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38512

[startup+51.1003 s]
/proc/loadavg: 1.53 1.16 1.36 4/177 301
/proc/meminfo: memFree=26430776/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=69336 CPUtime=51.08 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 15348 0 0 0 5032 76 0 0 20 0 1 0 344564991 71000064 14862 33554432000 134512640 137136520 4287857120 4287856048 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 17334 14862 198 641 0 16690 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69336

[startup+102.307 s]
/proc/loadavg: 1.91 1.32 1.40 4/177 301
/proc/meminfo: memFree=26271464/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=136740 CPUtime=102.28 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 32203 0 0 0 10123 105 0 0 20 0 1 0 344564991 140021760 31717 33554432000 134512640 137136520 4287857120 4287855760 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 34185 31717 198 641 0 33541 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 136740

[startup+162.3 s]
/proc/loadavg: 1.96 1.44 1.44 4/177 302
/proc/meminfo: memFree=26124320/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=206484 CPUtime=162.27 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 49646 0 0 0 16097 130 0 0 20 0 1 0 344564991 211439616 49160 33554432000 134512640 137136520 4287857120 4287855760 134606755 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 51621 49160 198 641 0 50977 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 206484

[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.47 4/177 302
/proc/meminfo: memFree=25977152/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=282516 CPUtime=222.25 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 68653 0 0 0 22081 144 0 0 20 0 1 0 344564991 289296384 68161 33554432000 134512640 137136520 4287857120 4287856048 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 70629 68161 198 641 0 69985 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 282516

[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.50 4/177 302
/proc/meminfo: memFree=25830504/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=361040 CPUtime=282.2 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 88363 0 0 0 28064 156 0 0 20 0 1 0 344564991 369704960 87824 33554432000 134512640 137136520 4287857120 4287855888 134574477 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 90260 87824 198 641 0 89616 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 361040

[startup+342.3 s]
/proc/loadavg: 1.99 1.69 1.53 4/177 302
/proc/meminfo: memFree=25679252/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=427804 CPUtime=342.15 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 105074 0 0 0 34048 167 0 0 20 0 1 0 344564991 438071296 104488 33554432000 134512640 137136520 4287857120 4287856236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 106951 104488 198 641 0 106307 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 427804

[startup+402.3 s]
/proc/loadavg: 1.99 1.74 1.56 4/177 302
/proc/meminfo: memFree=25543376/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=497684 CPUtime=402.11 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 122620 0 0 0 40036 175 0 0 20 0 1 0 344564991 509628416 121990 33554432000 134512640 137136520 4287857120 4287855888 134571152 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 124421 121990 198 641 0 123777 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 497684

[startup+462.3 s]
/proc/loadavg: 1.99 1.79 1.58 4/178 306
/proc/meminfo: memFree=25406128/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=578128 CPUtime=462.07 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 142746 0 0 0 46024 183 0 0 20 0 1 0 344564991 592003072 142075 33554432000 134512640 137136520 4287857120 4287856048 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 144532 142075 198 641 0 143888 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 578128

[startup+522.3 s]
/proc/loadavg: 1.99 1.82 1.60 4/177 306
/proc/meminfo: memFree=25267532/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=654472 CPUtime=522.02 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 161901 0 0 0 52012 190 0 0 20 0 1 0 344564991 670179328 161186 33554432000 134512640 137136520 4287857120 4287856016 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 163618 161186 198 641 0 162974 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 654472

[startup+582.3 s]
/proc/loadavg: 1.99 1.85 1.63 4/177 306
/proc/meminfo: memFree=25138104/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=719444 CPUtime=581.99 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 178157 0 0 0 58003 196 0 0 20 0 1 0 344564991 736710656 177405 33554432000 134512640 137136520 4287857120 4287856048 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 179861 177405 198 641 0 179217 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 719444

[startup+642.3 s]

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

/proc/meminfo: memFree=24041976/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1238604 CPUtime=1121.82 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 308089 0 0 0 111936 246 0 0 20 0 1 0 344564991 1268330496 307218 33554432000 134512640 137136520 4287857120 4287856048 134544162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 309651 307218 198 641 0 309007 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 1238604

[startup+1182.3 s]
/proc/loadavg: 2.07 1.98 1.78 4/177 311
/proc/meminfo: memFree=23934620/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1297236 CPUtime=1181.82 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 322727 0 0 0 117931 251 0 0 20 0 1 0 344564991 1328369664 321856 33554432000 134512640 137136520 4287857120 4287856048 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 324309 321856 198 641 0 323665 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1297236

[startup+1242.3 s]
/proc/loadavg: 2.03 1.98 1.80 4/177 311
/proc/meminfo: memFree=23813872/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1355240 CPUtime=1241.81 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 337223 0 0 0 123924 257 0 0 20 0 1 0 344564991 1387765760 336352 33554432000 134512640 137136520 4287857120 4287856048 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 338810 336352 198 641 0 338166 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1355240

[startup+1302.3 s]
/proc/loadavg: 2.01 1.98 1.81 4/177 311
/proc/meminfo: memFree=23686428/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1402332 CPUtime=1301.8 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 349010 0 0 0 129916 264 0 0 20 0 1 0 344564991 1435987968 348139 33554432000 134512640 137136520 4287857120 4287856048 134544140 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 350583 348139 198 641 0 349939 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1402332

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.82 4/177 312
/proc/meminfo: memFree=23595936/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1434744 CPUtime=1361.79 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 357115 0 0 0 135908 271 0 0 20 0 1 0 344564991 1469177856 356244 33554432000 134512640 137136520 4287857120 4287855680 134615365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 358686 356244 198 641 0 358042 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1434744

[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.83 4/177 312
/proc/meminfo: memFree=23487464/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1491232 CPUtime=1421.79 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 371226 0 0 0 141902 277 0 0 20 0 1 0 344564991 1527021568 370355 33554432000 134512640 137136520 4287857120 4287855712 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 372808 370355 198 641 0 372164 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1491232

[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.83 4/177 312
/proc/meminfo: memFree=23376388/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1546056 CPUtime=1481.76 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 384923 0 0 0 147894 282 0 0 20 0 1 0 344564991 1583161344 384052 33554432000 134512640 137136520 4287857120 4287856236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 386514 384052 198 641 0 385870 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1546056

[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.84 4/177 312
/proc/meminfo: memFree=23258864/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1602944 CPUtime=1541.76 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 399160 0 0 0 153885 291 0 0 20 0 1 0 344564991 1641414656 398289 33554432000 134512640 137136520 4287857120 4287856040 135982528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 400736 398289 198 641 0 400092 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1602944

[startup+1602.3 s]
/proc/loadavg: 2.13 2.02 1.85 4/177 312
/proc/meminfo: memFree=23161800/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1646136 CPUtime=1601.75 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 409942 0 0 0 159877 298 0 0 20 0 1 0 344564991 1685643264 409071 33554432000 134512640 137136520 4287857120 4287843712 134600344 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 411534 409071 198 641 0 410890 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1646136

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.86 4/177 315
/proc/meminfo: memFree=23073912/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1681800 CPUtime=1661.74 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 418859 0 0 0 165870 304 0 0 20 0 1 0 344564991 1722163200 417988 33554432000 134512640 137136520 4287857120 4287856048 134543954 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 420450 417988 198 641 0 419806 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1681800

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 1.87 4/178 338
/proc/meminfo: memFree=22982056/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1729224 CPUtime=1721.74 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 430715 0 0 0 171863 311 0 0 20 0 1 0 344564991 1770725376 429844 33554432000 134512640 137136520 4287857120 4287856048 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 432306 429844 198 641 0 431662 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1729224

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.88 4/177 338
/proc/meminfo: memFree=22899136/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1768340 CPUtime=1781.72 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 440506 0 0 0 177855 317 0 0 20 0 1 0 344564991 1810780160 439635 33554432000 134512640 137136520 4287857120 4287856048 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 442085 439635 198 641 0 441441 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1768340

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

[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 1.88 4/177 338
/proc/meminfo: memFree=22884860/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1776048 CPUtime=1791.33 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 442451 0 0 0 178815 318 0 0 20 0 1 0 344564991 1818673152 441580 33554432000 134512640 137136520 4287857120 4287855784 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 444012 441580 198 641 0 443368 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 1776048

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 1.88 4/177 338
/proc/meminfo: memFree=22879884/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1777100 CPUtime=1794.52 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 442700 0 0 0 179134 318 0 0 20 0 1 0 344564991 1819750400 441829 33554432000 134512640 137136520 4287857120 4287856048 134544127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 444275 441829 198 641 0 443631 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 1777100

[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 1.88 4/177 338
/proc/meminfo: memFree=22878768/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1777752 CPUtime=1796.12 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 442854 0 0 0 179294 318 0 0 20 0 1 0 344564991 1820418048 441983 33554432000 134512640 137136520 4287857120 4287856048 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 444438 441983 198 641 0 443794 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 1777752

[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 1.88 4/177 338
/proc/meminfo: memFree=22877404/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1777912 CPUtime=1796.93 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 442895 0 0 0 179374 319 0 0 20 0 1 0 344564991 1820581888 442024 33554432000 134512640 137136520 4287857120 4287856236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 444478 442024 198 641 0 443834 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 1777912

[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 1.88 4/177 338
/proc/meminfo: memFree=22877404/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1778332 CPUtime=1797.73 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 443023 0 0 0 179454 319 0 0 20 0 1 0 344564991 1821011968 442152 33554432000 134512640 137136520 4287857120 4287856048 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 444583 442152 198 641 0 443939 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 1778332

[startup+1798.51 s]
/proc/loadavg: 2.02 2.01 1.88 4/177 338
/proc/meminfo: memFree=22875916/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=1778656 CPUtime=1797.93 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202496 443079 0 0 0 179474 319 0 0 20 0 1 0 344564991 1821343744 442208 33554432000 134512640 137136520 4287857120 4287856236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 444664 442208 198 641 0 444020 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1778656

[startup+1798.6 s]
/proc/loadavg: 2.02 2.01 1.88 4/177 338
/proc/meminfo: memFree=22875916/32873844 swapFree=7116/7116
[pid=32767] ppid=32762 vsize=0 CPUtime=1798.02 cores=1,3,5,7
/proc/32767/stat : 32767 (bsolo) R 32762 32767 32710 0 -1 4202500 443086 0 0 0 179481 321 0 0 20 0 1 0 344564991 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32767/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.08
CPU user time (s): 1794.82
CPU system time (s): 3.2615
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 1778656

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

runsolver used 3.52946 second user time and 9.52055 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-04 06:32:44
IDJOB=3742323
IDBENCH=90159
IDSOLVER=2320
FILE ID=node108/3742323-1338784364
RUNJOBID= node108-1338784364-32727
PBS_JOBID= 14636848
Free space on /tmp= 71472 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742323-1338784364/watcher-3742323-1338784364 -o /tmp/evaluation-result-3742323-1338784364/solver-3742323-1338784364 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3742323-1338784364.opb

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

MD5SUM BENCH= 76516381ba4bc043f2da87444e256707
RANDOM SEED=424934113

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26563704 kB
Buffers:         1779976 kB
Cached:          3657384 kB
SwapCached:          112 kB
Active:          3377512 kB
Inactive:        2078304 kB
Active(anon):       1976 kB
Inactive(anon):    13072 kB
Active(file):    3375536 kB
Inactive(file):  2065232 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              9804 kB
Writeback:             0 kB
AnonPages:         19556 kB
Mapped:            13512 kB
Shmem:               172 kB
Slab:             716228 kB
SReclaimable:     157524 kB
SUnreclaim:       558704 kB
KernelStack:        1392 kB
PageTables:         3852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3742323-1338784364.opb

Free space on /tmp at the end= 71464 MiB
End job on node108 at 2012-06-04 07:02:43