Trace number 3742232

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.01 1798.58

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K200.opb
MD5SUM4ffc81aa318dee614e51a62344fd339d
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 variables23800
Total number of constraints24202
Number of constraints which are clauses24002
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint200
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 201
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-3742232-1338783323.opb
0.00/0.00	c File size is 1654173 bytes.
0.10/0.13	c Highest Coefficient sum: 201
0.10/0.13	c Parsing was ok!!
0.10/0.13	c Total parsing time: 0.136 s
0.10/0.14	c Var: 23800 Constr: 24202 24002/200/0 Lit: 155778 Watch. Lit: 71802
0.10/0.14	c Obj. Vars: 0 (0 % of total variables)
11.59/11.64	c Pre-processing Time: 11.64 s
11.59/11.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.59/11.64	c        0  22221    22729   149084    6    68436  203942      0      0 11.64
11.59/11.64	c Switching off lower bounding mode.
1797.92/1798.57	c      102  22221    22843   163154    7    69567  224337    114      8 11.74
1797.92/1798.57	c      252  22221    23010   208550    9    70361  246771    281     21 11.88
1797.92/1798.57	c      478  22221    23272   288172   12    71365  271449    543     39 12.09
1797.92/1798.57	c      816  22221    23660   347926   14    73054  298594    931     65 12.51
1797.92/1798.57	c     1326  22221    24259   420267   17    75629  328454   1530     99 13.28
1797.92/1798.57	c     2089  22221    25161   543005   21    82107  361300   2432    143 14.59
1797.92/1798.57	c     3235  22221    26601   623932   23    89533  397431   3872    189 17.09
1797.92/1798.57	c     4956  22221    28630   849527   29   104502  437175   5901    235 21.09
1797.92/1798.57	c     7544  22221    31813  1234366   38   124021  480893   9084    271 27.78
1797.92/1798.57	c    11423  22221    36369  1913977   52   146114  528983  13640    305 37.45
1797.92/1798.57	c    17245  22221    43382  3017907   69   177748  581882  20653    313 54.94
1797.92/1798.57	c    25982  22221    53883  5002983   92   226030  640071  31154    298 86.94
1797.92/1798.57	c    39092  22221    69776  9164494  131   296366  704079  47047    252 154.65
1797.92/1798.57	c    58762  22221    93230 15642862  167   413943  774487  70501    212 275.91
1797.92/1798.57	c    88274  22221   128306 26067506  203   569890  851936 105577    169 519.44
1797.92/1798.57	c   132544  22221   180349 46131629  255   800726  937130 157620    121 1088.32
1797.92/1798.57	c Resources Exceeded
1797.92/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.57	c   16   175869 125851 23725152   231074 67228923 208345     97 1798.00
1797.92/1798.57	s UNKNOWN
1797.92/1798.57	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-3742232-1338783323/watcher-3742232-1338783323 -o /tmp/evaluation-result-3742232-1338783323/solver-3742232-1338783323 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742232-1338783323.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.00 2.00 3/178 28311
/proc/meminfo: memFree=28025432/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=20644 CPUtime=0 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 405 0 0 0 0 0 0 0 20 0 1 0 344457128 21139456 358 33554432000 134512640 137136520 4291502960 4291501312 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 5161 359 186 641 0 4113 0

[startup+0.104775 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28311
/proc/meminfo: memFree=28025432/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=17084 CPUtime=0.1 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 1775 0 0 0 10 0 0 0 20 0 1 0 344457128 17494016 1688 33554432000 134512640 137136520 4291502960 4291501480 136394360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 4271 1689 482 641 0 3223 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17084

[startup+0.200297 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28311
/proc/meminfo: memFree=28025432/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=20024 CPUtime=0.19 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 2951 0 0 0 19 0 0 0 20 0 1 0 344457128 20504576 2460 33554432000 134512640 137136520 4291502960 4291216060 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 5006 2460 189 641 0 4362 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20024

[startup+0.300319 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28311
/proc/meminfo: memFree=28025432/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=20024 CPUtime=0.29 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 2951 0 0 0 29 0 0 0 20 0 1 0 344457128 20504576 2460 33554432000 134512640 137136520 4291502960 4291216060 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 5006 2460 189 641 0 4362 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20024

[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28311
/proc/meminfo: memFree=28025432/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=20024 CPUtime=0.69 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 2952 0 0 0 69 0 0 0 20 0 1 0 344457128 20504576 2461 33554432000 134512640 137136520 4291502960 4291216060 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 5006 2461 189 641 0 4362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20024

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28312
/proc/meminfo: memFree=28015148/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=20024 CPUtime=1.49 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 2953 0 0 0 149 0 0 0 20 0 1 0 344457128 20504576 2462 33554432000 134512640 137136520 4291502960 4291216060 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 5006 2462 189 641 0 4362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20024

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28312
/proc/meminfo: memFree=28013520/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=20024 CPUtime=3.09 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 2953 0 0 0 308 1 0 0 20 0 1 0 344457128 20504576 2462 33554432000 134512640 137136520 4291502960 4291216060 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 5006 2462 189 641 0 4362 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20024

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28312
/proc/meminfo: memFree=28007320/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=20024 CPUtime=6.29 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 2954 0 0 0 628 1 0 0 20 0 1 0 344457128 20504576 2463 33554432000 134512640 137136520 4291502960 4291216060 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 5006 2463 189 641 0 4362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20024

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28312
/proc/meminfo: memFree=28000416/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=23092 CPUtime=12.69 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 3986 0 0 0 1263 6 0 0 20 0 1 0 344457128 23646208 3262 33554432000 134512640 137136520 4291502960 4291502076 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 5773 3262 198 641 0 5129 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23092

[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28312
/proc/meminfo: memFree=27981800/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=33988 CPUtime=25.49 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 6712 0 0 0 2492 57 0 0 20 0 1 0 344457128 34803712 5988 33554432000 134512640 137136520 4291502960 4291502076 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 8497 5988 198 641 0 7853 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33988

[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 28312
/proc/meminfo: memFree=27926092/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=58144 CPUtime=51.08 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 12751 0 0 0 4983 125 0 0 20 0 1 0 344457128 59539456 12027 33554432000 134512640 137136520 4291502960 4291501888 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 14536 12027 198 641 0 13892 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58144

[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 28312
/proc/meminfo: memFree=27841552/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=95848 CPUtime=102.28 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 22177 0 0 0 10015 213 0 0 20 0 1 0 344457128 98148352 21453 33554432000 134512640 137136520 4291502960 4291502076 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 23962 21453 198 641 0 23318 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 95848

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 28312
/proc/meminfo: memFree=27732088/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=154792 CPUtime=162.26 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 36914 0 0 0 15943 283 0 0 20 0 1 0 344457128 158507008 36190 33554432000 134512640 137136520 4291502960 4291501812 136509023 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 38698 36190 198 641 0 38054 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 154792

[startup+222.307 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 28313
/proc/meminfo: memFree=27649408/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=187792 CPUtime=222.26 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 45164 0 0 0 21885 341 0 0 20 0 1 0 344457128 192299008 44440 33554432000 134512640 137136520 4291502960 4291501888 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 46948 44440 198 641 0 46304 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 187792

[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/180 28316
/proc/meminfo: memFree=27561744/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=232320 CPUtime=282.25 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 56296 0 0 0 27837 388 0 0 20 0 1 0 344457128 237895680 55572 33554432000 134512640 137136520 4291502960 4291501888 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 58080 55572 198 641 0 57436 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 232320

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28316
/proc/meminfo: memFree=27484048/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=276132 CPUtime=342.24 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 67252 0 0 0 33797 427 0 0 20 0 1 0 344457128 282759168 66528 33554432000 134512640 137136520 4291502960 4291501888 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 69033 66528 198 641 0 68389 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 276132

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 28316
/proc/meminfo: memFree=27408948/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=314796 CPUtime=402.22 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 77143 0 0 0 39760 462 0 0 20 0 1 0 344457128 322351104 76208 33554432000 134512640 137136520 4291502960 4291501888 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 78699 76208 198 641 0 78055 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 314796

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 28316
/proc/meminfo: memFree=27345720/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=342528 CPUtime=462.22 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 84076 0 0 0 45719 503 0 0 20 0 1 0 344457128 350748672 83141 33554432000 134512640 137136520 4291502960 4291502076 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 85632 83141 198 641 0 84988 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 342528

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 28317
/proc/meminfo: memFree=27261568/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=370180 CPUtime=522.22 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 91021 0 0 0 51689 533 0 0 20 0 1 0 344457128 379064320 90086 33554432000 134512640 137136520 4291502960 4291502076 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 92545 90086 198 641 0 91901 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 370180

[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 28317
/proc/meminfo: memFree=27178640/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=403532 CPUtime=582.2 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 99327 0 0 0 57656 564 0 0 20 0 1 0 344457128 413216768 98392 33554432000 134512640 137136520 4291502960 4291501680 134617430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 100883 98392 198 641 0 100239 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 403532

[startup+642.3 s]

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

/proc/meminfo: memFree=26432496/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=640808 CPUtime=1122.11 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 158653 0 0 0 111455 756 0 0 20 0 1 0 344457128 656187392 157711 33554432000 134512640 137136520 4291502960 4291501888 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 160202 157711 198 641 0 159558 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 640808

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 28370
/proc/meminfo: memFree=28208728/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=678624 CPUtime=1182.07 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 168156 0 0 0 117436 771 0 0 20 0 1 0 344457128 694910976 167170 33554432000 134512640 137136520 4291502960 4291501856 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 169656 167170 198 641 0 169012 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 678624

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 28370
/proc/meminfo: memFree=28134356/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=705316 CPUtime=1242.04 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 174871 0 0 0 123409 795 0 0 20 0 1 0 344457128 722243584 173843 33554432000 134512640 137136520 4291502960 4291502076 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 176329 173843 198 641 0 175685 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 705316

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 28370
/proc/meminfo: memFree=28070772/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=732024 CPUtime=1302 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 181583 0 0 0 129385 815 0 0 20 0 1 0 344457128 749592576 180515 33554432000 134512640 137136520 4291502960 4291502076 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 183006 180515 198 641 0 182362 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 732024

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 28370
/proc/meminfo: memFree=27989456/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=759932 CPUtime=1361.95 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 188609 0 0 0 135360 835 0 0 20 0 1 0 344457128 778170368 187496 33554432000 134512640 137136520 4291502960 4291501856 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 189983 187496 198 641 0 189339 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 759932

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28370
/proc/meminfo: memFree=27920548/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=783016 CPUtime=1421.9 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 194421 0 0 0 141335 855 0 0 20 0 1 0 344457128 801808384 193263 33554432000 134512640 137136520 4291502960 4291501888 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 195754 193263 198 641 0 195110 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 783016

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 28374
/proc/meminfo: memFree=27867332/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=801292 CPUtime=1481.85 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 199057 0 0 0 147310 875 0 0 20 0 1 0 344457128 820523008 197862 33554432000 134512640 137136520 4291502960 4291501888 134544345 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 200323 197862 198 641 0 199679 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 801292

[startup+1542.31 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 28374
/proc/meminfo: memFree=27809616/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=826156 CPUtime=1541.82 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 205279 0 0 0 153288 894 0 0 20 0 1 0 344457128 845983744 204048 33554432000 134512640 137136520 4291502960 4291501888 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 206539 204048 198 641 0 205895 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 826156

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 28374
/proc/meminfo: memFree=27754712/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=845632 CPUtime=1601.77 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 210198 0 0 0 159262 915 0 0 20 0 1 0 344457128 865927168 208928 33554432000 134512640 137136520 4291502960 4291501888 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 211408 208928 198 641 0 210764 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 845632

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28374
/proc/meminfo: memFree=27713640/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=868016 CPUtime=1661.74 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 215802 0 0 0 165240 934 0 0 20 0 1 0 344457128 888848384 214515 33554432000 134512640 137136520 4291502960 4291501888 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 217004 214515 198 641 0 216360 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 868016

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28374
/proc/meminfo: memFree=27648072/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=880056 CPUtime=1721.73 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 218817 0 0 0 171226 947 0 0 20 0 1 0 344457128 901177344 217530 33554432000 134512640 137136520 4291502960 4291501888 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 220014 217530 198 641 0 219370 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 880056

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28375
/proc/meminfo: memFree=27593292/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=900952 CPUtime=1781.72 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 224034 0 0 0 177210 962 0 0 20 0 1 0 344457128 922574848 222747 33554432000 134512640 137136520 4291502960 4291501888 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 225238 222747 198 641 0 224594 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 900952

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

[startup+1792.01 s]
/proc/loadavg: 2.15 2.04 2.01 3/179 28375
/proc/meminfo: memFree=27581868/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=905324 CPUtime=1791.42 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 225132 0 0 0 178177 965 0 0 20 0 1 0 344457128 927051776 223845 33554432000 134512640 137136520 4291502960 4291501812 136509151 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 226331 223845 198 641 0 225687 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 905324

[startup+1795.2 s]
/proc/loadavg: 2.14 2.04 2.01 3/179 28375
/proc/meminfo: memFree=27580488/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=905732 CPUtime=1794.63 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 225231 0 0 0 178497 966 0 0 20 0 1 0 344457128 927469568 223944 33554432000 134512640 137136520 4291502960 4291501888 134544714 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 226433 223944 198 641 0 225789 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 905732

[startup+1796.8 s]
/proc/loadavg: 2.14 2.04 2.01 3/179 28375
/proc/meminfo: memFree=27579124/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=907488 CPUtime=1796.22 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 225697 0 0 0 178656 966 0 0 20 0 1 0 344457128 929267712 224410 33554432000 134512640 137136520 4291502960 4291501888 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 226872 224410 198 641 0 226228 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 907488

[startup+1797.6 s]
/proc/loadavg: 2.14 2.04 2.01 3/179 28375
/proc/meminfo: memFree=27577388/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=908412 CPUtime=1797.02 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 225920 0 0 0 178736 966 0 0 20 0 1 0 344457128 930213888 224633 33554432000 134512640 137136520 4291502960 4291501728 134576639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 227103 224633 198 641 0 226459 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 908412

[startup+1798 s]
/proc/loadavg: 2.14 2.04 2.01 3/179 28375
/proc/meminfo: memFree=27577388/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=908668 CPUtime=1797.42 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 225963 0 0 0 178776 966 0 0 20 0 1 0 344457128 930476032 224676 33554432000 134512640 137136520 4291502960 4291502076 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 227167 224676 198 641 0 226523 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 908668

[startup+1798.4 s]
/proc/loadavg: 2.14 2.04 2.01 3/179 28375
/proc/meminfo: memFree=27577388/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=908668 CPUtime=1797.82 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 225963 0 0 0 178816 966 0 0 20 0 1 0 344457128 930476032 224676 33554432000 134512640 137136520 4291502960 4291501888 134543881 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 227167 224676 198 641 0 226523 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 908668

[startup+1798.5 s]
/proc/loadavg: 2.13 2.04 2.01 3/179 28375
/proc/meminfo: memFree=27574908/32873844 swapFree=7620/7620
[pid=28311] ppid=28309 vsize=908668 CPUtime=1797.92 cores=1,3,5,7
/proc/28311/stat : 28311 (bsolo) R 28309 28311 27119 0 -1 4202496 225963 0 0 0 178826 966 0 0 20 0 1 0 344457128 930476032 224676 33554432000 134512640 137136520 4291502960 4291501624 136502448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 227167 224676 198 641 0 226523 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 908668

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.01
CPU user time (s): 1788.33
CPU system time (s): 9.67553
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 908668

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

runsolver used 3.2955 second user time and 8.33473 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-04 06:15:23
IDJOB=3742232
IDBENCH=90143
IDSOLVER=2320
FILE ID=node135/3742232-1338783323
RUNJOBID= node135-1338771872-27136
PBS_JOBID= 14636817
Free space on /tmp= 70976 MiB

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

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

MD5SUM BENCH= 4ffc81aa318dee614e51a62344fd339d
RANDOM SEED=451579150

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:        28025496 kB
Buffers:          389328 kB
Cached:          2720316 kB
SwapCached:         1672 kB
Active:          2097964 kB
Inactive:        1898844 kB
Active(anon):     877320 kB
Inactive(anon):    12036 kB
Active(file):    1220644 kB
Inactive(file):  1886808 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              5444 kB
Writeback:             0 kB
AnonPages:        901588 kB
Mapped:            11236 kB
Shmem:               132 kB
Slab:             709592 kB
SReclaimable:     151476 kB
SUnreclaim:       558116 kB
KernelStack:        1496 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1008296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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-3742232-1338783323.opb

Free space on /tmp at the end= 70972 MiB
End job on node135 at 2012-06-04 06:45:22