Trace number 3739560

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.06 1798.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12046_2-sat.opb
MD5SUM8df6acf86997549eac6f2a4fde05a479
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 variables48158
Total number of constraints168360
Number of constraints which are clauses167568
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints792
Minimum length of a constraint1
Maximum length of a constraint67
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 432
Number of bits of the biggest sum of numbers9
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-3739560-1338742718.opb
0.00/0.00	c File size is 5143884 bytes.
0.39/0.43	c Highest Coefficient sum: 432
0.39/0.43	c Parsing was ok!!
0.39/0.43	c Total parsing time: 0.43 s
0.39/0.47	c Var: 48158 Constr: 168360 167568/0/792 Lit: 405356 Watch. Lit: 379020
0.39/0.47	c Obj. Vars: 0 (0 % of total variables)
41.58/41.68	c Pre-processing Time: 41.676 s
41.58/41.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.58/41.68	c        0  22635    68694   172762    2   159775   74368      0      0 41.68
41.58/41.68	c Switching off lower bounding mode.
1798.03/1798.60	c      100  22635    68814   181374    2   161390   81805    120      2 42.18
1798.03/1798.60	c      251  22635    68968   184961    2   161953   89986    274      5 42.32
1798.03/1798.60	c      480  22635    69215   191042    2   162548   98985    521     11 42.54
1798.03/1798.60	c      818  22635    69593   199870    2   163324  108884    899     19 42.99
1798.03/1798.60	c     1328  22635    70179   212834    3   164505  119773   1485     30 43.46
1798.03/1798.60	c     2091  22635    71047   251233    3   166273  131751   2353     46 44.65
1798.03/1798.60	c     3237  22635    72303   303013    4   168759  144927   3609     70 45.85
1798.03/1798.60	c     4958  22635    74269   425449    5   172738  159420   5575    102 48.26
1798.03/1798.60	c     7542  22635    77152   580397    7   178498  175363   8458    146 51.54
1798.03/1798.60	c    11421  22635    81418   839091   10   187060  192900  12724    202 56.41
1798.03/1798.60	c    17243  22635    88352  1189186   13   200957  212191  19658    271 63.44
1798.03/1798.60	c    25981  22566    98805  2070391   20   221855  233411  30111    327 79.35
1798.03/1798.60	c    39091  22566   113951  3191284   28   252277  256753  45257    386 101.08
1798.03/1798.60	c    58762  22566   137295  5466727   39   299132  282429  68601    397 147.78
1798.03/1798.60	c    88273  22348   172889 10041265   58   371045  310672 104195    326 270.14
1798.03/1798.60	c   132544  22348   223697 17830492   79   474389  341740 155003    295 448.21
1798.03/1798.60	c   198955  22348   301118 35595033  118   634105  375915 232424    228 870.21
1798.03/1798.60	c Resources Exceeded
1798.03/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.03/1798.60	c   17   296548  87766   513641   420835 61157913 352141    164 1798.04
1798.03/1798.60	s UNKNOWN
1798.03/1798.60	c Total time: 1798.04 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-3739560-1338742718/watcher-3739560-1338742718 -o /tmp/evaluation-result-3739560-1338742718/solver-3739560-1338742718 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3739560-1338742718.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: 2.00 2.01 2.00 3/176 4907
/proc/meminfo: memFree=27186036/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=16256 CPUtime=0 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 1 0 340397319 16646144 360 33554432000 134512640 137136520 4292234576 4292232984 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 4064 360 190 641 0 2164 0

[startup+0.033318 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 4907
/proc/meminfo: memFree=27186036/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=18648 CPUtime=0.02 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 1114 0 0 0 2 0 0 0 20 0 1 0 340397319 19095552 1067 33554432000 134512640 137136520 4292234576 4292232984 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 4662 1068 288 641 0 2762 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18648

[startup+0.100276 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 4907
/proc/meminfo: memFree=27186036/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=22388 CPUtime=0.09 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 2275 0 0 0 9 0 0 0 20 0 1 0 340397319 22925312 2188 33554432000 134512640 137136520 4292234576 4292232984 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 5597 2188 501 641 0 3697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22388

[startup+0.300275 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 4907
/proc/meminfo: memFree=27186036/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=32236 CPUtime=0.29 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 5388 0 0 0 28 1 0 0 20 0 1 0 340397319 33009664 5301 33554432000 134512640 137136520 4292234576 4292232808 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 8059 5303 1119 641 0 6159 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32236

[startup+0.700294 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 4907
/proc/meminfo: memFree=27186036/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=45916 CPUtime=0.69 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 10232 0 0 0 68 1 0 0 20 0 1 0 340397319 47017984 8810 33554432000 134512640 137136520 4292234576 4291655168 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 11479 8810 189 641 0 10835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45916

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4908
/proc/meminfo: memFree=27151580/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=46048 CPUtime=1.48 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 10277 0 0 0 147 1 0 0 20 0 1 0 340397319 47153152 8855 33554432000 134512640 137136520 4292234576 4291655168 134543580 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 11512 8855 189 641 0 10868 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46048

[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4908
/proc/meminfo: memFree=27150440/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=46180 CPUtime=3.09 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 10300 0 0 0 307 2 0 0 20 0 1 0 340397319 47288320 8878 33554432000 134512640 137136520 4292234576 4291655168 134543760 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 11545 8878 189 641 0 10901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46180

[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4908
/proc/meminfo: memFree=27152804/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=46180 CPUtime=6.29 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 10302 0 0 0 627 2 0 0 20 0 1 0 340397319 47288320 8880 33554432000 134512640 137136520 4292234576 4291655356 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 11545 8880 189 641 0 10901 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46180

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4908
/proc/meminfo: memFree=27153272/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=46180 CPUtime=12.69 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 10306 0 0 0 1267 2 0 0 20 0 1 0 340397319 47288320 8884 33554432000 134512640 137136520 4292234576 4291655356 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 11545 8884 189 641 0 10901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46180

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4908
/proc/meminfo: memFree=27151476/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=46180 CPUtime=25.48 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 10324 0 0 0 2545 3 0 0 20 0 1 0 340397319 47288320 8902 33554432000 134512640 137136520 4292234576 4291655344 134545050 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 11545 8902 189 641 0 10901 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46180

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4908
/proc/meminfo: memFree=27152320/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=46676 CPUtime=51.07 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 11111 0 0 0 5098 9 0 0 20 0 1 0 340397319 47796224 9016 33554432000 134512640 137136520 4292234576 4292233692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 11669 9016 198 641 0 11025 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46676

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4911
/proc/meminfo: memFree=27122168/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=75560 CPUtime=102.26 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 18339 0 0 0 10212 14 0 0 20 0 1 0 340397319 77373440 16330 33554432000 134512640 137136520 4292234576 4292233260 136501955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 18890 16330 198 641 0 18246 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 75560

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 4934
/proc/meminfo: memFree=27084100/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=113124 CPUtime=162.23 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 27764 0 0 0 16204 19 0 0 20 0 1 0 340397319 115838976 25724 33554432000 134512640 137136520 4292234576 4292233504 134544169 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 28281 25724 198 641 0 27637 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 113124

[startup+222.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 4935
/proc/meminfo: memFree=27046592/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=148704 CPUtime=222.22 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 36661 0 0 0 22198 24 0 0 20 0 1 0 340397319 152272896 34621 33554432000 134512640 137136520 4292234576 4292233504 134544777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 37176 34621 198 641 0 36532 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 148704

[startup+282.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 4935
/proc/meminfo: memFree=27019660/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=173508 CPUtime=282.2 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 42882 0 0 0 28191 29 0 0 20 0 1 0 340397319 177672192 40830 33554432000 134512640 137136520 4292234576 4292233504 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 43377 40830 198 641 0 42733 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 173508

[startup+342.3 s]
/proc/loadavg: 2.18 2.09 2.02 3/177 4935
/proc/meminfo: memFree=26983208/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=211180 CPUtime=342.16 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 52457 0 0 0 34182 34 0 0 20 0 1 0 340397319 216248320 50238 33554432000 134512640 137136520 4292234576 4292233504 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 52795 50238 198 641 0 52151 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 211180

[startup+402.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/177 4935
/proc/meminfo: memFree=26946128/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=250492 CPUtime=402.15 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 62285 0 0 0 40177 38 0 0 20 0 1 0 340397319 256503808 60066 33554432000 134512640 137136520 4292234576 4292233504 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 62623 60066 198 641 0 61979 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 250492

[startup+462.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/177 4935
/proc/meminfo: memFree=26917112/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=277752 CPUtime=462.14 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 69099 0 0 0 46171 43 0 0 20 0 1 0 340397319 284418048 66880 33554432000 134512640 137136520 4292234576 4292233504 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 69438 66880 198 641 0 68794 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 277752

[startup+522.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/177 4936
/proc/meminfo: memFree=26886908/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=308624 CPUtime=522.1 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 76854 0 0 0 52161 49 0 0 20 0 1 0 340397319 316030976 74599 33554432000 134512640 137136520 4292234576 4292233216 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 77156 74599 198 641 0 76512 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 308624

[startup+582.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/176 4936
/proc/meminfo: memFree=26860820/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=335884 CPUtime=582.06 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 83715 0 0 0 58153 53 0 0 20 0 1 0 340397319 343945216 81432 33554432000 134512640 137136520 4292234576 4292233216 134606783 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 83971 81432 198 641 0 83327 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 335884

[startup+642.3 s]

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

/proc/meminfo: memFree=26587080/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=608448 CPUtime=1121.91 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 152080 0 0 0 112101 90 0 0 20 0 1 0 340397319 623050752 149555 33554432000 134512640 137136520 4292234576 4292233124 136509115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 152112 149555 198 641 0 151468 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 608448

[startup+1182.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/178 4991
/proc/meminfo: memFree=26550228/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=633552 CPUtime=1181.89 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 158365 0 0 0 118096 93 0 0 20 0 1 0 340397319 648757248 155840 33554432000 134512640 137136520 4292234576 4292233288 136502041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 158388 155840 198 641 0 157744 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 633552

[startup+1242.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 4991
/proc/meminfo: memFree=26462692/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=652348 CPUtime=1241.89 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 163055 0 0 0 124093 96 0 0 20 0 1 0 340397319 668004352 160530 33554432000 134512640 137136520 4292234576 4292232900 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 163087 160530 198 641 0 162443 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 652348

[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 4994
/proc/meminfo: memFree=26388780/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=672012 CPUtime=1301.86 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 168002 0 0 0 130087 99 0 0 20 0 1 0 340397319 688140288 165446 33554432000 134512640 137136520 4292234576 4292233504 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 168003 165446 198 641 0 167359 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 672012

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 4994
/proc/meminfo: memFree=26314664/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=689744 CPUtime=1361.8 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 172482 0 0 0 136079 101 0 0 20 0 1 0 340397319 706297856 169879 33554432000 134512640 137136520 4292234576 4292233344 134573554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 172436 169879 198 641 0 171792 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 689744

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4995
/proc/meminfo: memFree=26250848/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=711568 CPUtime=1421.8 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 177943 0 0 0 142076 104 0 0 20 0 1 0 340397319 728645632 175335 33554432000 134512640 137136520 4292234576 4292233504 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 177892 175335 198 641 0 177248 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 711568

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4995
/proc/meminfo: memFree=26195812/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=729544 CPUtime=1481.77 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 182437 0 0 0 148071 106 0 0 20 0 1 0 340397319 747053056 179829 33554432000 134512640 137136520 4292234576 4292233504 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 182386 179829 198 641 0 181742 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 729544

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4995
/proc/meminfo: memFree=26139048/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=746592 CPUtime=1541.76 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 186699 0 0 0 154067 109 0 0 20 0 1 0 340397319 764510208 184091 33554432000 134512640 137136520 4292234576 4292233156 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 186648 184091 198 641 0 186004 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 746592

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 4995
/proc/meminfo: memFree=26103428/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=764084 CPUtime=1601.76 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 191072 0 0 0 160063 113 0 0 20 0 1 0 340397319 782422016 188464 33554432000 134512640 137136520 4292234576 4292233504 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 191021 188464 198 641 0 190377 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 764084

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4995
/proc/meminfo: memFree=26079992/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=786532 CPUtime=1661.75 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 196684 0 0 0 166058 117 0 0 20 0 1 0 340397319 805408768 194076 33554432000 134512640 137136520 4292234576 4292233136 134615365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 196633 194076 198 641 0 195989 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 786532

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4995
/proc/meminfo: memFree=26055936/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=811084 CPUtime=1721.74 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 202822 0 0 0 172054 120 0 0 20 0 1 0 340397319 830550016 200214 33554432000 134512640 137136520 4292234576 4292233692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 202771 200214 198 641 0 202127 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 811084

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4996
/proc/meminfo: memFree=26027416/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=839476 CPUtime=1781.73 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 209920 0 0 0 178050 123 0 0 20 0 1 0 340397319 859623424 207312 33554432000 134512640 137136520 4292234576 4292233692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 209869 207312 198 641 0 209225 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 839476

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4996
/proc/meminfo: memFree=26022456/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=843400 CPUtime=1791.33 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 210901 0 0 0 179010 123 0 0 20 0 1 0 340397319 863641600 208293 33554432000 134512640 137136520 4292234576 4292233504 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 210850 208293 198 641 0 210206 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 843400

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4996
/proc/meminfo: memFree=26021216/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=844560 CPUtime=1794.53 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 211191 0 0 0 179330 123 0 0 20 0 1 0 340397319 864829440 208583 33554432000 134512640 137136520 4292234576 4292233216 134606783 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 211140 208583 198 641 0 210496 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 844560

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4996
/proc/meminfo: memFree=26021216/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=845040 CPUtime=1796.13 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 211311 0 0 0 179490 123 0 0 20 0 1 0 340397319 865320960 208703 33554432000 134512640 137136520 4292234576 4292233504 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 211260 208703 198 641 0 210616 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 845040

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4996
/proc/meminfo: memFree=26020472/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=845440 CPUtime=1796.93 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 211411 0 0 0 179569 124 0 0 20 0 1 0 340397319 865730560 208803 33554432000 134512640 137136520 4292234576 4292233288 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 211360 208803 198 641 0 210716 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 845440

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4996
/proc/meminfo: memFree=26020472/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=845948 CPUtime=1797.73 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 211537 0 0 0 179649 124 0 0 20 0 1 0 340397319 866250752 208929 33554432000 134512640 137136520 4292234576 4292233504 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 211487 208929 198 641 0 210843 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 845948

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4996
/proc/meminfo: memFree=26019976/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=846092 CPUtime=1797.94 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 211573 0 0 0 179670 124 0 0 20 0 1 0 340397319 866398208 208965 33554432000 134512640 137136520 4292234576 4292233504 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 211523 208965 198 641 0 210879 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 846092

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4996
/proc/meminfo: memFree=26019976/32873844 swapFree=7384/7384
[pid=4907] ppid=4905 vsize=846092 CPUtime=1798.03 cores=1,3,5,7
/proc/4907/stat : 4907 (bsolo) R 4905 4907 797 0 -1 4202496 211573 0 0 0 179679 124 0 0 20 0 1 0 340397319 866398208 208965 33554432000 134512640 137136520 4292234576 4292233216 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4907/statm: 211523 208965 198 641 0 210879 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 846092

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798.06
CPU user time (s): 1796.8
CPU system time (s): 1.25581
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 846092

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

runsolver used 2.56561 second user time and 8.89065 second system time

The end

Launcher Data 

Begin job on node136 at 2012-06-03 18:58:39
IDJOB=3739560
IDBENCH=73459
IDSOLVER=2320
FILE ID=node136/3739560-1338742718
RUNJOBID= node136-1338714359-814
PBS_JOBID= 14636754
Free space on /tmp= 69808 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12046_2-sat.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739560-1338742718/watcher-3739560-1338742718 -o /tmp/evaluation-result-3739560-1338742718/solver-3739560-1338742718 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3739560-1338742718.opb

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

MD5SUM BENCH= 8df6acf86997549eac6f2a4fde05a479
RANDOM SEED=1365745272

node136.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		: 2667.247
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	: 5334.49
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		: 2667.247
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		: 2667.247
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.94
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		: 2667.247
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.90
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		: 2667.247
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.90
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		: 2667.247
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	: 5331.90
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		: 2667.247
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.91
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		: 2667.247
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:        27186680 kB
Buffers:         1267840 kB
Cached:          3436032 kB
SwapCached:        20316 kB
Active:          2749824 kB
Inactive:        2033136 kB
Active(anon):      51452 kB
Inactive(anon):    22308 kB
Active(file):    2698372 kB
Inactive(file):  2010828 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67083208 kB
Dirty:              9460 kB
Writeback:             0 kB
AnonPages:         59108 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             761980 kB
SReclaimable:     202208 kB
SUnreclaim:       559772 kB
KernelStack:        1448 kB
PageTables:         4084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     185616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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-3739560-1338742718.opb

Free space on /tmp at the end= 69804 MiB
End job on node136 at 2012-06-03 19:28:37