Trace number 3741972

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.65

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K97.opb
MD5SUM43f0e9fb1c8ca4724fdfde37689b9cda
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark650.612
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6596
Total number of constraints6792
Number of constraints which are clauses6695
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint97
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 98
Number of bits of the biggest sum of numbers7
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-3741972-1338779083.opb
0.00/0.00	c File size is 422431 bytes.
0.00/0.03	c Highest Coefficient sum: 98
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.035 s
0.00/0.03	c Var: 6596 Constr: 6792 6695/97/0 Lit: 42350 Watch. Lit: 19984
0.00/0.03	c Obj. Vars: 0 (0 % of total variables)
1.29/1.35	c Pre-processing Time: 1.352 s
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c        0   5849     6101    39278    6    18373   95238      0      0 1.35
1.29/1.35	c Switching off lower bounding mode.
1797.91/1798.58	c      100   5849     6216    53659    8    19146  104762    115     71 1.41
1797.91/1798.58	c      251   5849     6395    78485   12    20327  115239    294    167 1.50
1797.91/1798.58	c      476   5849     6647   100402   15    21079  126763    546    296 1.60
1797.91/1798.58	c      814   5849     7011   123254   17    22430  139440    910    455 1.79
1797.91/1798.58	c     1325   5849     7591   166052   21    25709  153385   1490    631 2.10
1797.91/1798.58	c     2088   5849     8415   215303   25    29040  168724   2314    796 2.62
1797.91/1798.58	c     3234   5849     9715   383934   39    35465  185597   3614    954 3.39
1797.91/1798.58	c     4955   5849    11627   618757   53    44096  204157   5526   1044 4.75
1797.91/1798.58	c     7539   5849    14516   978386   67    54856  224573   8415   1021 7.38
1797.91/1798.58	c    11418   5849    18913  1714859   90    73334  247031  12812    975 11.71
1797.91/1798.58	c    17241   5849    25405  2783432  109    97059  271735  19304    851 20.25
1797.91/1798.58	c    25978   5849    35480  6914172  194   139875  298909  29379    607 42.76
1797.91/1798.58	c    39088   5849    50290 10693139  212   190679  328800  44189    484 80.70
1797.91/1798.58	c    58760   5849    72900 17416441  238   271900  361681  66799    343 170.93
1797.91/1798.58	c    88271   5849   107432 32037967  298   405475  397850 101331    218 403.43
1797.91/1798.58	c   132542   5849   159591 62788768  393   588708  437636 153490    151 873.42
1797.91/1798.58	c Resources Exceeded
1797.91/1798.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.58	c   16   191471 119280  5271571   230916 130794425 224815    106 1798.00
1797.91/1798.58	s UNKNOWN
1797.91/1798.58	c Total time: 1798 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-3741972-1338779083/watcher-3741972-1338779083 -o /tmp/evaluation-result-3741972-1338779083/solver-3741972-1338779083 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741972-1338779083.opb 

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

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/178 28013
/proc/meminfo: memFree=28898412/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=19308 CPUtime=0 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 380 0 0 0 0 0 0 0 20 0 1 0 344033134 19771392 333 33554432000 134512640 137136520 4294212480 4294210832 136575102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 4827 333 182 641 0 4079 0

[startup+0.0654271 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 28013
/proc/meminfo: memFree=28898412/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=13104 CPUtime=0.06 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 991 0 0 0 6 0 0 0 20 0 1 0 344033134 13418496 840 33554432000 134512640 137136520 4294212480 4294131840 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 3276 840 189 641 0 2632 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13104

[startup+0.100212 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 28013
/proc/meminfo: memFree=28898412/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=13104 CPUtime=0.09 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 991 0 0 0 9 0 0 0 20 0 1 0 344033134 13418496 840 33554432000 134512640 137136520 4294212480 4294132064 134563012 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 3276 840 189 641 0 2632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13104

[startup+0.30018 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 28013
/proc/meminfo: memFree=28898412/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=13104 CPUtime=0.29 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 992 0 0 0 29 0 0 0 20 0 1 0 344033134 13418496 841 33554432000 134512640 137136520 4294212480 4294131624 136502204 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 3276 841 189 641 0 2632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13104

[startup+0.700179 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 28013
/proc/meminfo: memFree=28898412/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=13104 CPUtime=0.69 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 992 0 0 0 69 0 0 0 20 0 1 0 344033134 13418496 841 33554432000 134512640 137136520 4294212480 4294131888 134544345 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 3276 841 189 641 0 2632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13104

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28014
/proc/meminfo: memFree=28893652/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=13692 CPUtime=1.49 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 1255 0 0 0 148 1 0 0 20 0 1 0 344033134 14020608 994 33554432000 134512640 137136520 4294212480 4294211180 136518950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 3423 994 198 641 0 2779 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13692

[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28014
/proc/meminfo: memFree=28887576/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=16980 CPUtime=3.09 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 2078 0 0 0 301 8 0 0 20 0 1 0 344033134 17387520 1817 33554432000 134512640 137136520 4294212480 4294211192 136502161 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 4245 1817 198 641 0 3601 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16980

[startup+6.3002 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28014
/proc/meminfo: memFree=28870100/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=24380 CPUtime=6.29 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 3920 0 0 0 613 16 0 0 20 0 1 0 344033134 24965120 3659 33554432000 134512640 137136520 4294212480 4294211408 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 6095 3659 198 641 0 5451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24380

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28014
/proc/meminfo: memFree=28828912/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=38552 CPUtime=12.69 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 7473 0 0 0 1240 29 0 0 20 0 1 0 344033134 39477248 7212 33554432000 134512640 137136520 4294212480 4294211408 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28013/statm: 9638 7212 198 641 0 8994 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38552

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28014
/proc/meminfo: memFree=28760976/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=66008 CPUtime=25.48 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 14333 0 0 0 2504 44 0 0 20 0 1 0 344033134 67592192 14070 33554432000 134512640 137136520 4294212480 4294211596 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 16502 14070 198 641 0 15858 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66008

[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 28014
/proc/meminfo: memFree=28654040/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=117316 CPUtime=51.08 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 27357 0 0 0 5050 58 0 0 20 0 1 0 344033134 120131584 26915 33554432000 134512640 137136520 4294212480 4294211104 134554224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 29329 26915 198 641 0 28685 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117316

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28014
/proc/meminfo: memFree=28477260/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=177312 CPUtime=102.28 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 42392 0 0 0 10140 88 0 0 20 0 1 0 344033134 181567488 41898 33554432000 134512640 137136520 4294212480 4294211408 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 44328 41898 198 641 0 43684 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 177312

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28014
/proc/meminfo: memFree=28310012/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=240720 CPUtime=162.26 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 58278 0 0 0 16115 111 0 0 20 0 1 0 344033134 246497280 57749 33554432000 134512640 137136520 4294212480 4294211596 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 60180 57749 198 641 0 59536 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 240720

[startup+222.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 28015
/proc/meminfo: memFree=28155536/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=301892 CPUtime=222.25 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 74020 0 0 0 22096 129 0 0 20 0 1 0 344033134 309137408 73045 33554432000 134512640 137136520 4294212480 4294211408 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 75473 73045 198 641 0 74829 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 301892

[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 28015
/proc/meminfo: memFree=28015692/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=355480 CPUtime=282.24 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 87515 0 0 0 28084 140 0 0 20 0 1 0 344033134 364011520 86454 33554432000 134512640 137136520 4294212480 4294211408 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 88870 86454 198 641 0 88226 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 355480

[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/180 28018
/proc/meminfo: memFree=27904112/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=399728 CPUtime=342.24 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 98617 0 0 0 34073 151 0 0 20 0 1 0 344033134 409321472 97514 33554432000 134512640 137136520 4294212480 4294211408 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 99932 97514 198 641 0 99288 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 399728

[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 28018
/proc/meminfo: memFree=27816356/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=435156 CPUtime=402.23 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 107497 0 0 0 40062 161 0 0 20 0 1 0 344033134 445599744 106370 33554432000 134512640 137136520 4294212480 4294210760 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 108789 106370 198 641 0 108145 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 435156

[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 28018
/proc/meminfo: memFree=27726676/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=491248 CPUtime=462.18 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 121675 0 0 0 46048 170 0 0 20 0 1 0 344033134 503037952 120390 33554432000 134512640 137136520 4294212480 4294211408 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 122812 120390 198 641 0 122168 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 491248

[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 28019
/proc/meminfo: memFree=27618452/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=558640 CPUtime=522.12 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 139171 0 0 0 52031 181 0 0 20 0 1 0 344033134 572047360 137229 33554432000 134512640 137136520 4294212480 4294211408 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 139660 137229 198 641 0 139016 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 558640

[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 28019
/proc/meminfo: memFree=27522256/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=605528 CPUtime=582.08 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 152108 0 0 0 58015 193 0 0 20 0 1 0 344033134 620060672 148978 33554432000 134512640 137136520 4294212480 4294211408 134543849 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 151382 148978 198 641 0 150738 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 605528

[startup+642.3 s]

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

/proc/meminfo: memFree=26758160/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1000880 CPUtime=1121.81 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 256971 0 0 0 111893 288 0 0 20 0 1 0 344033134 1024901120 247817 33554432000 134512640 137136520 4294212480 4294211072 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 250220 247817 198 641 0 249576 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 1000880

[startup+1182.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/179 28024
/proc/meminfo: memFree=26654868/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1074620 CPUtime=1181.79 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 277537 0 0 0 117883 296 0 0 20 0 1 0 344033134 1100410880 266252 33554432000 134512640 137136520 4294212480 4294211596 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 268655 266252 198 641 0 268011 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 1074620

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 28024
/proc/meminfo: memFree=26545624/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1147380 CPUtime=1241.79 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 298808 0 0 0 123874 305 0 0 20 0 1 0 344033134 1174917120 284416 33554432000 134512640 137136520 4294212480 4294211408 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 286845 284416 198 641 0 286201 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1147380

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 28024
/proc/meminfo: memFree=26440100/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1212500 CPUtime=1301.78 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 317841 0 0 0 129867 311 0 0 20 0 1 0 344033134 1241600000 300722 33554432000 134512640 137136520 4294212480 4294211408 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 303125 300722 198 641 0 302481 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1212500

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 28024
/proc/meminfo: memFree=26346664/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1269528 CPUtime=1361.77 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 335523 0 0 0 135860 317 0 0 20 0 1 0 344033134 1299996672 314974 33554432000 134512640 137136520 4294212480 4294211408 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 317382 314974 198 641 0 316738 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1269528

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28025
/proc/meminfo: memFree=26245384/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1324272 CPUtime=1421.77 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 350512 0 0 0 141854 323 0 0 20 0 1 0 344033134 1356054528 328640 33554432000 134512640 137136520 4294212480 4294211408 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 331068 328640 198 641 0 330424 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1324272

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28025
/proc/meminfo: memFree=26120296/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1389768 CPUtime=1481.75 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 369505 0 0 0 147847 328 0 0 20 0 1 0 344033134 1423122432 345021 33554432000 134512640 137136520 4294212480 4294211396 136295556 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 347442 345021 198 641 0 346798 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1389768

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 28028
/proc/meminfo: memFree=26004252/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1468556 CPUtime=1541.74 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 395753 0 0 0 153838 336 0 0 20 0 1 0 344033134 1503801344 364736 33554432000 134512640 137136520 4294212480 4294211408 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 367139 364736 198 641 0 366495 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1468556

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 28028
/proc/meminfo: memFree=25905212/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1530416 CPUtime=1601.73 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 414600 0 0 0 159830 343 0 0 20 0 1 0 344033134 1567145984 380194 33554432000 134512640 137136520 4294212480 4294211408 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 382604 380194 198 641 0 381960 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1530416

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28028
/proc/meminfo: memFree=25798600/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1591672 CPUtime=1661.72 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 432660 0 0 0 165824 348 0 0 20 0 1 0 344033134 1629872128 395514 33554432000 134512640 137136520 4294212480 4294211408 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 397918 395514 198 641 0 397274 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1591672

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28029
/proc/meminfo: memFree=25703644/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1646316 CPUtime=1721.71 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 449564 0 0 0 171816 355 0 0 20 0 1 0 344033134 1685827584 409149 33554432000 134512640 137136520 4294212480 4294211408 134544122 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 411579 409149 198 641 0 410935 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1646316

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 28029
/proc/meminfo: memFree=25619848/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1694576 CPUtime=1781.71 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 463474 0 0 0 177812 359 0 0 20 0 1 0 344033134 1735245824 421237 33554432000 134512640 137136520 4294212480 4294211408 134544541 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 423644 421237 198 641 0 423000 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1694576

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

[startup+1791.91 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 28029
/proc/meminfo: memFree=25600736/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1705248 CPUtime=1791.31 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 466412 0 0 0 178771 360 0 0 20 0 1 0 344033134 1746173952 423882 33554432000 134512640 137136520 4294212480 4294211408 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 426312 423882 198 641 0 425668 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 1705248

[startup+1795.1 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 28029
/proc/meminfo: memFree=25596148/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1707096 CPUtime=1794.51 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 466884 0 0 0 179091 360 0 0 20 0 1 0 344033134 1748066304 424352 33554432000 134512640 137136520 4294212480 4294211408 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 426774 424352 198 641 0 426130 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 1707096

[startup+1796.7 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 28029
/proc/meminfo: memFree=25594660/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1707680 CPUtime=1796.1 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 467030 0 0 0 179250 360 0 0 20 0 1 0 344033134 1748664320 424498 33554432000 134512640 137136520 4294212480 4294211408 134544544 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 426920 424498 198 641 0 426276 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 1707680

[startup+1797.5 s]
/proc/loadavg: 2.09 2.03 2.00 2/174 28056
/proc/meminfo: memFree=27204988/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1707680 CPUtime=1796.9 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 467044 0 0 0 179330 360 0 0 20 0 1 0 344033134 1748664320 424512 33554432000 134512640 137136520 4294212480 4294211408 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 426920 424512 198 641 0 426276 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 1707680

[startup+1798.3 s]
/proc/loadavg: 2.09 2.03 2.00 2/174 28056
/proc/meminfo: memFree=27204988/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1707772 CPUtime=1797.7 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 467060 0 0 0 179410 360 0 0 20 0 1 0 344033134 1748758528 424528 33554432000 134512640 137136520 4294212480 4294211340 136518985 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 426943 424528 198 641 0 426299 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 1707772

[startup+1798.51 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 28077
/proc/meminfo: memFree=27196300/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=1707840 CPUtime=1797.91 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202496 467073 0 0 0 179431 360 0 0 20 0 1 0 344033134 1748828160 424541 33554432000 134512640 137136520 4294212480 4294211400 135982528 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 426960 424541 198 641 0 426316 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1707840

[startup+1798.6 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 28077
/proc/meminfo: memFree=27196300/32873844 swapFree=7620/7620
[pid=28013] ppid=28011 vsize=0 CPUtime=1798 cores=0,2,4,6
/proc/28013/stat : 28013 (bsolo) R 28011 28013 27119 0 -1 4202500 467074 0 0 0 179439 361 0 0 20 0 1 0 344033134 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28013/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.06
CPU user time (s): 1794.39
CPU system time (s): 3.66744
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 1707840

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

runsolver used 2.5986 second user time and 7.2239 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-04 05:04:43
IDJOB=3741972
IDBENCH=90122
IDSOLVER=2320
FILE ID=node135/3741972-1338779083
RUNJOBID= node135-1338771872-27135
PBS_JOBID= 14636817
Free space on /tmp= 70976 MiB

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

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

MD5SUM BENCH= 43f0e9fb1c8ca4724fdfde37689b9cda
RANDOM SEED=590450393

node135.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.820
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	: 5333.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28899700 kB
Buffers:          388884 kB
Cached:          2718720 kB
SwapCached:         1672 kB
Active:          1225600 kB
Inactive:        1898884 kB
Active(anon):       7184 kB
Inactive(anon):    12036 kB
Active(file):    1218416 kB
Inactive(file):  1886848 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              8628 kB
Writeback:             0 kB
AnonPages:         20460 kB
Mapped:            11208 kB
Shmem:               132 kB
Slab:             709896 kB
SReclaimable:     151568 kB
SUnreclaim:       558328 kB
KernelStack:        1464 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     138076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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-3741972-1338779083.opb

Free space on /tmp at the end= 70972 MiB
End job on node135 at 2012-06-04 05:34:42