Trace number 3741920

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.15 1798.84

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K85.opb
MD5SUM1487741f4fc087d76a7a64081b5bebd6
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 variables5780
Total number of constraints5952
Number of constraints which are clauses5867
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint85
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 86
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-3741920-1338778407.opb
0.00/0.00	c File size is 369198 bytes.
0.00/0.03	c Highest Coefficient sum: 86
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.028 s
0.00/0.03	c Var: 5780 Constr: 5952 5867/85/0 Lit: 37082 Watch. Lit: 17512
0.00/0.03	c Obj. Vars: 0 (0 % of total variables)
0.99/1.10	c Pre-processing Time: 1.098 s
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c        0   5045     5273    34082    6    15925   82966      0      0 1.10
0.99/1.10	c Switching off lower bounding mode.
1798.10/1798.82	c      101   5045     5387    43254    8    16856   91263    114     88 1.14
1798.10/1798.82	c      251   5045     5549    54360    9    17618  100390    276    207 1.21
1798.10/1798.82	c      476   5045     5793    68512   11    18720  110430    520    349 1.36
1798.10/1798.82	c      814   5045     6172   109800   17    20104  121474    899    538 1.51
1798.10/1798.82	c     1322   5045     6747   161466   23    22391  133622   1474    747 1.77
1798.10/1798.82	c     2085   5045     7587   241204   31    25848  146985   2314    951 2.19
1798.10/1798.82	c     3231   5045     8885   410937   46    31164  161684   3612   1108 2.92
1798.10/1798.82	c     4952   5045    10828   764763   70    38908  177853   5555   1208 4.10
1798.10/1798.82	c     7536   5045    13716  1169979   85    51751  195639   8443   1195 6.30
1798.10/1798.82	c    11415   5045    17993  1684096   93    68594  215203  12720   1096 10.41
1798.10/1798.82	c    17239   5045    24715  3806794  154    97793  236724  19442    845 20.38
1798.10/1798.82	c    25977   5045    35075  8962091  255   140618  260397  29802    537 48.35
1798.10/1798.82	c    39087   5045    50525 15989316  316   197065  286437  45252    356 109.75
1798.10/1798.82	c    58759   5045    74646 34073355  456   272911  315081  69373    205 286.18
1798.10/1798.82	c    88269   5045   110739 59977734  541   387751  346590 105466    138 635.19
1798.10/1798.82	c   132540   5045   165469 109262040  660   546613  381250 160196     89 1473.33
1798.10/1798.82	c Resources Exceeded
1798.10/1798.82	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.10/1798.82	c   16   142624  77031  2127994   178221 121699348 172948     79 1798.13
1798.10/1798.82	s UNKNOWN
1798.10/1798.82	c Total time: 1798.13 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-3741920-1338778407/watcher-3741920-1338778407 -o /tmp/evaluation-result-3741920-1338778407/solver-3741920-1338778407 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741920-1338778407.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.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=19252 CPUtime=0 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 343966100 19714048 313 33554432000 134512640 137136520 4289125136 4289123488 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 4813 313 181 641 0 4078 0

[startup+0.104642 s]
/proc/loadavg: 2.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=12888 CPUtime=0.1 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 898 0 0 0 10 0 0 0 20 0 1 0 343966100 13197312 760 33554432000 134512640 137136520 4289125136 4289054476 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3222 760 189 641 0 2578 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12888

[startup+0.200253 s]
/proc/loadavg: 2.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=12888 CPUtime=0.19 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 899 0 0 0 19 0 0 0 20 0 1 0 343966100 13197312 761 33554432000 134512640 137136520 4289125136 4289054512 134562883 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3222 761 189 641 0 2578 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12888

[startup+0.300252 s]
/proc/loadavg: 2.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=12888 CPUtime=0.29 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 899 0 0 0 29 0 0 0 20 0 1 0 343966100 13197312 761 33554432000 134512640 137136520 4289125136 4289054072 136502016 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3222 761 189 641 0 2578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12888

[startup+0.700225 s]
/proc/loadavg: 2.10 2.05 2.00 3/173 31416
/proc/meminfo: memFree=26192748/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=12888 CPUtime=0.69 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 899 0 0 0 69 0 0 0 20 0 1 0 343966100 13197312 761 33554432000 134512640 137136520 4289125136 4289054476 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3222 761 189 641 0 2578 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12888

[startup+1.50017 s]
/proc/loadavg: 2.10 2.05 2.00 3/174 31417
/proc/meminfo: memFree=26190136/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=13848 CPUtime=1.49 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 1257 0 0 0 147 2 0 0 20 0 1 0 343966100 14180352 1031 33554432000 134512640 137136520 4289125136 4289124252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 3462 1031 198 641 0 2818 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13848

[startup+3.10023 s]
/proc/loadavg: 2.09 2.05 2.00 3/174 31417
/proc/meminfo: memFree=26187160/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=18644 CPUtime=3.09 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 2464 0 0 0 303 6 0 0 20 0 1 0 343966100 19091456 2238 33554432000 134512640 137136520 4289125136 4289124252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 4661 2238 198 641 0 4017 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18644

[startup+6.3002 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 31458
/proc/meminfo: memFree=26203868/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=28676 CPUtime=6.28 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 4951 0 0 0 617 11 0 0 20 0 1 0 343966100 29364224 4735 33554432000 134512640 137136520 4289125136 4289124252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 7169 4735 198 641 0 6525 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28676

[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 31458
/proc/meminfo: memFree=26174564/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=42924 CPUtime=12.69 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 8524 0 0 0 1247 22 0 0 20 0 1 0 343966100 43954176 8308 33554432000 134512640 137136520 4289125136 4289123512 136502216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 10731 8308 198 641 0 10087 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42924

[startup+25.5002 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 31458
/proc/meminfo: memFree=26103604/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=79656 CPUtime=25.48 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 17714 0 0 0 2519 29 0 0 20 0 1 0 343966100 81567744 17988 33554432000 134512640 137136520 4289125136 4289124064 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 19914 17988 198 641 0 19270 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79656

[startup+51.1003 s]
/proc/loadavg: 2.16 2.07 2.01 3/177 31458
/proc/meminfo: memFree=26005572/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=135444 CPUtime=51.08 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 31656 0 0 0 5070 38 0 0 20 0 1 0 343966100 138694656 31930 33554432000 134512640 137136520 4289125136 4289124064 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 33861 31930 198 641 0 33217 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 135444

[startup+102.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 31458
/proc/meminfo: memFree=25846152/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=209996 CPUtime=102.27 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 50291 0 0 0 10172 55 0 0 20 0 1 0 343966100 215035904 50565 33554432000 134512640 137136520 4289125136 4289124064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 52499 50565 198 641 0 51855 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 209996

[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 31458
/proc/meminfo: memFree=25642820/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=295548 CPUtime=162.26 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 71672 0 0 0 16159 67 0 0 20 0 1 0 343966100 302641152 71946 33554432000 134512640 137136520 4289125136 4289123776 134606731 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 73887 71946 198 641 0 73243 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 295548

[startup+222.306 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 31458
/proc/meminfo: memFree=25449656/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=367704 CPUtime=222.26 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 89731 0 0 0 22151 75 0 0 20 0 1 0 343966100 376528896 89984 33554432000 134512640 137136520 4289125136 4289123776 134606731 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 91926 89984 198 641 0 91282 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 367704

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31459
/proc/meminfo: memFree=25266168/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=449736 CPUtime=282.24 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 110476 0 0 0 28141 83 0 0 20 0 1 0 343966100 460529664 110511 33554432000 134512640 137136520 4289125136 4289124064 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 112434 110511 198 641 0 111790 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 449736

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 31459
/proc/meminfo: memFree=25084540/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=519244 CPUtime=342.23 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 127914 0 0 0 34131 92 0 0 20 0 1 0 343966100 531705856 127882 33554432000 134512640 137136520 4289125136 4289123688 136502143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 129811 127882 198 641 0 129167 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 519244

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31462
/proc/meminfo: memFree=24921948/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=595584 CPUtime=402.22 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 147022 0 0 0 40122 100 0 0 20 0 1 0 343966100 609878016 146960 33554432000 134512640 137136520 4289125136 4289124064 134544140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 148896 146960 198 641 0 148252 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 595584

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 31485
/proc/meminfo: memFree=24770228/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=665740 CPUtime=462.21 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 164572 0 0 0 46113 108 0 0 20 0 1 0 343966100 681717760 164510 33554432000 134512640 137136520 4289125136 4289123728 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 166435 164510 198 641 0 165791 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 665740

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31485
/proc/meminfo: memFree=24636520/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=726184 CPUtime=522.2 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 179680 0 0 0 52107 113 0 0 20 0 1 0 343966100 743612416 179618 33554432000 134512640 137136520 4289125136 4289124056 135982492 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 181546 179618 198 641 0 180902 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 726184

[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 31486
/proc/meminfo: memFree=24527572/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=770296 CPUtime=582.19 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 190734 0 0 0 58102 117 0 0 20 0 1 0 343966100 788783104 190651 33554432000 134512640 137136520 4289125136 4289124064 134543986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 192574 190651 198 641 0 191930 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 770296

[startup+642.3 s]

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

/proc/meminfo: memFree=23737120/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1126824 CPUtime=1061.88 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 281037 0 0 0 106024 164 0 0 20 0 1 0 343966100 1153867776 279756 33554432000 134512640 137136520 4289125136 4289124064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 281706 279756 198 641 0 281062 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1126824

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31490
/proc/meminfo: memFree=23654692/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1173856 CPUtime=1121.84 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 292990 0 0 0 112016 168 0 0 20 0 1 0 343966100 1202028544 291538 33554432000 134512640 137136520 4289125136 4289124064 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 293464 291538 198 641 0 292820 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1173856

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=25005776/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1221632 CPUtime=1181.8 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 305450 0 0 0 118008 172 0 0 20 0 1 0 343966100 1250951168 303455 33554432000 134512640 137136520 4289125136 4289123664 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 305408 303456 198 641 0 304764 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 1221632

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24819112/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1267292 CPUtime=1241.76 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 317245 0 0 0 123999 177 0 0 20 0 1 0 343966100 1297707008 314900 33554432000 134512640 137136520 4289125136 4289124064 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 316823 314900 198 641 0 316179 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 1267292

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24643060/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1306984 CPUtime=1301.73 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 327473 0 0 0 129992 181 0 0 20 0 1 0 343966100 1338351616 324823 33554432000 134512640 137136520 4289125136 4289124064 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 326746 324823 198 641 0 326102 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 1306984

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24519460/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1345604 CPUtime=1361.69 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 337302 0 0 0 135985 184 0 0 20 0 1 0 343966100 1377898496 334456 33554432000 134512640 137136520 4289125136 4289124032 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 336401 334456 198 641 0 335757 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1345604

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24409008/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1390412 CPUtime=1421.67 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 348835 0 0 0 141979 188 0 0 20 0 1 0 343966100 1423781888 345676 33554432000 134512640 137136520 4289125136 4289124064 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 347603 345676 198 641 0 346959 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 1390412

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31540
/proc/meminfo: memFree=24313740/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1427708 CPUtime=1481.65 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 358238 0 0 0 147973 192 0 0 20 0 1 0 343966100 1461972992 355000 33554432000 134512640 137136520 4289125136 4289124064 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 356927 355000 198 641 0 356283 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1427708

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31540
/proc/meminfo: memFree=24219904/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1463684 CPUtime=1541.65 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 367690 0 0 0 153969 196 0 0 20 0 1 0 343966100 1498812416 363990 33554432000 134512640 137136520 4289125136 4289124064 134543954 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 365921 363990 198 641 0 365277 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1463684

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31543
/proc/meminfo: memFree=24133696/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1492284 CPUtime=1601.63 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 374903 0 0 0 159964 199 0 0 20 0 1 0 343966100 1528098816 371141 33554432000 134512640 137136520 4289125136 4289124252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 373071 371141 198 641 0 372427 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 1492284

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31543
/proc/meminfo: memFree=24045616/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1517416 CPUtime=1661.62 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 381166 0 0 0 165959 203 0 0 20 0 1 0 343966100 1553833984 377403 33554432000 134512640 137136520 4289125136 4289124064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 379354 377403 198 641 0 378710 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 1517416

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31543
/proc/meminfo: memFree=23956116/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1546844 CPUtime=1721.61 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 388675 0 0 0 171956 205 0 0 20 0 1 0 343966100 1583968256 384788 33554432000 134512640 137136520 4289125136 4289124064 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 386711 384788 198 641 0 386067 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1546844

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23869840/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1574684 CPUtime=1781.6 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 395737 0 0 0 177951 209 0 0 20 0 1 0 343966100 1612476416 391741 33554432000 134512640 137136520 4289125136 4289124064 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 393671 391741 198 641 0 393027 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 1574684

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23860152/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1580488 CPUtime=1791.31 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397208 0 0 0 178921 210 0 0 20 0 1 0 343966100 1618419712 393193 33554432000 134512640 137136520 4289125136 4289124064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395122 393193 198 641 0 394478 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 1580488

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23856308/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1581648 CPUtime=1794.51 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397502 0 0 0 179241 210 0 0 20 0 1 0 343966100 1619607552 393485 33554432000 134512640 137136520 4289125136 4289124064 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395412 393485 198 641 0 394768 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 1581648

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23855068/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1582264 CPUtime=1796.1 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397649 0 0 0 179400 210 0 0 20 0 1 0 343966100 1620238336 393631 33554432000 134512640 137136520 4289125136 4289124064 134543933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395566 393631 198 641 0 394922 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 1582264

[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23853812/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1582668 CPUtime=1796.9 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397737 0 0 0 179480 210 0 0 20 0 1 0 343966100 1620652032 393717 33554432000 134512640 137136520 4289125136 4289124064 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395667 393717 198 641 0 395023 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 1582668

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23853812/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1582740 CPUtime=1797.7 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397782 0 0 0 179560 210 0 0 20 0 1 0 343966100 1620725760 393762 33554432000 134512640 137136520 4289125136 4289124064 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395685 393762 198 641 0 395041 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 1582740

[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31544
/proc/meminfo: memFree=23852572/32873648 swapFree=6864/6864
[pid=31416] ppid=31414 vsize=1582976 CPUtime=1798.1 cores=0,2,4,6
/proc/31416/stat : 31416 (bsolo) R 31414 31416 30743 0 -1 4202496 397842 0 0 0 179600 210 0 0 20 0 1 0 343966100 1620967424 393821 33554432000 134512640 137136520 4289125136 4289124064 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31416/statm: 395744 393821 198 641 0 395100 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 1582976

Child status: 0
Real time (s): 1798.84
CPU time (s): 1798.15
CPU user time (s): 1796.03
CPU system time (s): 2.12368
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 1582976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 2.12368
maximum resident set size= 1575284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397843
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= 608
involuntary context switches= 1863

runsolver used 6.10707 second user time and 15.6966 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-04 04:53:27
IDJOB=3741920
IDBENCH=90118
IDSOLVER=2320
FILE ID=node125/3741920-1338778407
RUNJOBID= node125-1338773007-30759
PBS_JOBID= 14636823
Free space on /tmp= 70408 MiB

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

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

MD5SUM BENCH= 1487741f4fc087d76a7a64081b5bebd6
RANDOM SEED=2007240185

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
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.373
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		: 2666.373
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:       32873648 kB
MemFree:        26193284 kB
Buffers:          616824 kB
Cached:          5144132 kB
SwapCached:         2308 kB
Active:          2551120 kB
Inactive:        3221552 kB
Active(anon):       2848 kB
Inactive(anon):     9240 kB
Active(file):    2548272 kB
Inactive(file):  3212312 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:              4372 kB
Writeback:             0 kB
AnonPages:         14756 kB
Mapped:            14348 kB
Shmem:                96 kB
Slab:             769172 kB
SReclaimable:     212988 kB
SUnreclaim:       556184 kB
KernelStack:        1456 kB
PageTables:         3464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741920-1338778407.opb

Free space on /tmp at the end= 70436 MiB
End job on node125 at 2012-06-04 05:23:26