Trace number 3742167

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K109.opb
MD5SUM3a5151d7fc286e1b50737dee685a4276
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 benchmark28.7146
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7412
Total number of constraints7632
Number of constraints which are clauses7523
Number of constraints which are cardinality constraints (but not clauses)109
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint109
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 110
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-3742167-1338782005.opb
0.00/0.00	c File size is 475771 bytes.
0.00/0.03	c Highest Coefficient sum: 110
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.036 s
0.00/0.03	c Var: 7412 Constr: 7632 7523/109/0 Lit: 47618 Watch. Lit: 22456
0.00/0.03	c Obj. Vars: 0 (0 % of total variables)
1.49/1.50	c Pre-processing Time: 1.502 s
1.49/1.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.50	c        0   6653     6929    44474    6    20821  107510      0      0 1.50
1.49/1.50	c Switching off lower bounding mode.
1797.94/1798.55	c      100   6653     7042    61350    8    21354  118262    113     64 1.55
1797.94/1798.55	c      250   6653     7211    85277   11    21875  130089    282    154 1.61
1797.94/1798.55	c      475   6653     7472   109016   14    23404  143098    543    267 1.78
1797.94/1798.55	c      818   6653     7885   133692   16    24862  157408    956    406 2.01
1797.94/1798.55	c     1326   6653     8470   183108   21    28770  173149   1541    550 2.41
1797.94/1798.55	c     2089   6653     9347   268462   28    33132  190464   2418    713 2.93
1797.94/1798.55	c     3236   6653    10679   430593   40    37251  209511   3750    881 3.67
1797.94/1798.55	c     4957   6653    12595   664990   52    44431  230463   5666    935 5.30
1797.94/1798.55	c     7541   6653    15604  1010676   64    58258  253510   8675    953 7.91
1797.94/1798.55	c    11420   6653    19957  1732597   86    72987  278862  13028    972 11.74
1797.94/1798.55	c    17242   6653    26483  2871204  108    99590  306749  19554    859 20.05
1797.94/1798.55	c    25981   6653    36435  5168821  141   134584  337424  29506    693 37.46
1797.94/1798.55	c    39095   6653    51187  8121980  158   182496  371167  44258    525 74.33
1797.94/1798.55	c    58765   6653    73304 13878415  189   258335  408284  66375    412 142.56
1797.94/1798.55	c    88276   6653   106609 22042246  206   369058  449113  99680    287 307.23
1797.94/1798.55	c   132547   6653   157502 38665844  245   533051  494025 150573    206 642.62
1797.94/1798.55	c   198957   6653   234832 89859456  382   783288  543428 227903    136 1453.33
1797.94/1798.55	c Resources Exceeded
1797.94/1798.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.55	c   17   224155 147516  9485466   264324 109048430 257395    124 1798.00
1797.94/1798.55	s UNKNOWN
1797.94/1798.55	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-3742167-1338782005/watcher-3742167-1338782005 -o /tmp/evaluation-result-3742167-1338782005/solver-3742167-1338782005 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742167-1338782005.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.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=11688 CPUtime=0 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 399 0 0 0 0 0 0 0 20 0 1 0 344325900 11968512 353 33554432000 134512640 137136520 4289155040 4289153432 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 2922 354 186 641 0 2161 0

[startup+0.106328 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=13420 CPUtime=0.1 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1079 0 0 0 10 0 0 0 20 0 1 0 344325900 13742080 916 33554432000 134512640 137136520 4289155040 4289064796 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3355 916 189 641 0 2711 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13420

[startup+0.20022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=13420 CPUtime=0.19 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1079 0 0 0 19 0 0 0 20 0 1 0 344325900 13742080 916 33554432000 134512640 137136520 4289155040 4289064796 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3355 916 189 641 0 2711 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13420

[startup+0.300208 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=13420 CPUtime=0.29 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1080 0 0 0 29 0 0 0 20 0 1 0 344325900 13742080 917 33554432000 134512640 137136520 4289155040 4289064796 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3355 917 189 641 0 2711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13420

[startup+0.700184 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=13420 CPUtime=0.69 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1080 0 0 0 69 0 0 0 20 0 1 0 344325900 13742080 917 33554432000 134512640 137136520 4289155040 4289064796 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3355 917 189 641 0 2711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13420

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25208496/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=14064 CPUtime=1.49 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1357 0 0 0 149 0 0 0 20 0 1 0 344325900 14401536 1061 33554432000 134512640 137136520 4289155040 4289064588 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3516 1061 193 641 0 2872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14064

[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25204280/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=17108 CPUtime=3.09 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 2149 0 0 0 301 8 0 0 20 0 1 0 344325900 17518592 1853 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 4277 1853 198 641 0 3633 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17108

[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25193864/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=24256 CPUtime=6.29 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 3926 0 0 0 611 18 0 0 20 0 1 0 344325900 24838144 3630 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 6064 3630 198 641 0 5420 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24256

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25169848/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=38996 CPUtime=12.69 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 7617 0 0 0 1235 34 0 0 20 0 1 0 344325900 39931904 7321 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 9749 7321 198 641 0 9105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38996

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25124572/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=63136 CPUtime=25.48 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 13639 0 0 0 2496 52 0 0 20 0 1 0 344325900 64651264 13343 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 15784 13343 198 641 0 15140 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63136

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25059300/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=96556 CPUtime=51.08 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 22011 0 0 0 5032 76 0 0 20 0 1 0 344325900 98873344 21712 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 24139 21712 198 641 0 23495 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96556

[startup+102.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31704
/proc/meminfo: memFree=24949728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=155588 CPUtime=102.28 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 36852 0 0 0 10115 113 0 0 20 0 1 0 344325900 159322112 36468 33554432000 134512640 137136520 4289155040 4289153568 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 38897 36468 198 641 0 38253 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 155588

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31704
/proc/meminfo: memFree=24851672/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=211560 CPUtime=162.27 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 51002 0 0 0 16080 147 0 0 20 0 1 0 344325900 216637440 50476 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 52890 50476 198 641 0 52246 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 211560

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=24758816/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=256520 CPUtime=222.26 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 62233 0 0 0 22053 173 0 0 20 0 1 0 344325900 262676480 61707 33554432000 134512640 137136520 4289155040 4289153568 134600585 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 64130 61707 198 641 0 63486 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 256520

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=24661628/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=294076 CPUtime=282.24 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 71670 0 0 0 28030 194 0 0 20 0 1 0 344325900 301133824 71089 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 73519 71089 198 641 0 72875 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 294076

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31705
/proc/meminfo: memFree=24566672/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=327492 CPUtime=342.24 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 80064 0 0 0 34004 220 0 0 20 0 1 0 344325900 335351808 79446 33554432000 134512640 137136520 4289155040 4289153968 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 81873 79446 198 641 0 81229 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 327492

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31708
/proc/meminfo: memFree=24471196/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=359624 CPUtime=402.23 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 88141 0 0 0 39984 239 0 0 20 0 1 0 344325900 368254976 87493 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 89906 87493 198 641 0 89262 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 359624

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31731
/proc/meminfo: memFree=24366244/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=408592 CPUtime=462.22 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 100879 0 0 0 45967 255 0 0 20 0 1 0 344325900 418398208 99727 33554432000 134512640 137136520 4289155040 4289153808 134576272 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 102148 99727 198 641 0 101504 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 408592

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31731
/proc/meminfo: memFree=24276188/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=446020 CPUtime=522.21 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 110245 0 0 0 51954 267 0 0 20 0 1 0 344325900 456724480 109076 33554432000 134512640 137136520 4289155040 4289153968 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 111505 109076 198 641 0 110861 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 446020

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31731
/proc/meminfo: memFree=24177876/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=490384 CPUtime=582.2 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 121507 0 0 0 57940 280 0 0 20 0 1 0 344325900 502153216 120165 33554432000 134512640 137136520 4289155040 4289153968 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 122596 120165 198 641 0 121952 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 490384

[startup+642.3 s]

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

/proc/meminfo: memFree=23411244/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=785632 CPUtime=1122.12 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 199406 0 0 0 111834 378 0 0 20 0 1 0 344325900 804487168 193983 33554432000 134512640 137136520 4289155040 4289153968 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 196408 193983 198 641 0 195764 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 785632

[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 31785
/proc/meminfo: memFree=25409988/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=811320 CPUtime=1182.11 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 205864 0 0 0 117824 387 0 0 20 0 1 0 344325900 830791680 200405 33554432000 134512640 137136520 4289155040 4289153968 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 202830 200405 198 641 0 202186 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 811320

[startup+1242.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 31786
/proc/meminfo: memFree=25295704/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=848688 CPUtime=1242.07 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 215655 0 0 0 123812 395 0 0 20 0 1 0 344325900 869056512 209769 33554432000 134512640 137136520 4289155040 4289153968 134544116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 212172 209769 198 641 0 211528 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 848688

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 31786
/proc/meminfo: memFree=25139628/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=944344 CPUtime=1302.03 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 243566 0 0 0 129798 405 0 0 20 0 1 0 344325900 967008256 233678 33554432000 134512640 137136520 4289155040 4289153968 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 236086 233678 198 641 0 235442 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 944344

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 31786
/proc/meminfo: memFree=24960600/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1049672 CPUtime=1361.99 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 278522 0 0 0 135782 417 0 0 20 0 1 0 344325900 1074864128 260015 33554432000 134512640 137136520 4289155040 4289153968 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 262418 260015 198 641 0 261774 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1049672

[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31786
/proc/meminfo: memFree=24772524/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1145344 CPUtime=1421.96 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 312927 0 0 0 141766 430 0 0 20 0 1 0 344325900 1172832256 283932 33554432000 134512640 137136520 4289155040 4289153592 136502032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 286336 283932 198 641 0 285692 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1145344

[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 31786
/proc/meminfo: memFree=24673848/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1204040 CPUtime=1481.92 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 335302 0 0 0 147754 438 0 0 20 0 1 0 344325900 1232936960 298589 33554432000 134512640 137136520 4289155040 4289153968 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 301010 298589 198 641 0 300366 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1204040

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31787
/proc/meminfo: memFree=24610268/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1228340 CPUtime=1541.88 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 341431 0 0 0 153741 447 0 0 20 0 1 0 344325900 1257820160 304669 33554432000 134512640 137136520 4289155040 4289153968 134543951 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 307085 304669 198 641 0 306441 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1228340

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 31790
/proc/meminfo: memFree=24516780/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1246568 CPUtime=1601.84 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 346076 0 0 0 159728 456 0 0 20 0 1 0 344325900 1276485632 309224 33554432000 134512640 137136520 4289155040 4289153592 136502148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 311642 309224 198 641 0 310998 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1246568

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31790
/proc/meminfo: memFree=24365688/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1352896 CPUtime=1661.81 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 382443 0 0 0 165714 467 0 0 20 0 1 0 344325900 1385365504 335796 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 338224 335796 198 641 0 337580 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1352896

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31790
/proc/meminfo: memFree=24261680/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1409116 CPUtime=1721.77 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 400885 0 0 0 171699 478 0 0 20 0 1 0 344325900 1442934784 349870 33554432000 134512640 137136520 4289155040 4289153968 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 352279 349870 198 641 0 351635 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1409116

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24199460/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1427636 CPUtime=1781.74 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 405575 0 0 0 177689 485 0 0 20 0 1 0 344325900 1461899264 354488 33554432000 134512640 137136520 4289155040 4289153968 134543959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 356909 354488 198 641 0 356265 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1427636

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

[startup+1792.01 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24190020/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1432780 CPUtime=1791.45 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 406878 0 0 0 178658 487 0 0 20 0 1 0 344325900 1467166720 355782 33554432000 134512640 137136520 4289155040 4289153968 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358195 355782 198 641 0 357551 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 1432780

[startup+1795.2 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24186424/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1433512 CPUtime=1794.64 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407053 0 0 0 178977 487 0 0 20 0 1 0 344325900 1467916288 355957 33554432000 134512640 137136520 4289155040 4289153968 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358378 355957 198 641 0 357734 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 1433512

[startup+1796.8 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24186052/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1433696 CPUtime=1796.24 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407105 0 0 0 179137 487 0 0 20 0 1 0 344325900 1468104704 356009 33554432000 134512640 137136520 4289155040 4289153968 134544390 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358424 356009 198 641 0 357780 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 1433696

[startup+1797.6 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24184688/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1434104 CPUtime=1797.04 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407217 0 0 0 179217 487 0 0 20 0 1 0 344325900 1468522496 356121 33554432000 134512640 137136520 4289155040 4289153808 134573554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358526 356121 198 641 0 357882 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 1434104

[startup+1798 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24184688/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1434460 CPUtime=1797.43 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407297 0 0 0 179256 487 0 0 20 0 1 0 344325900 1468887040 356201 33554432000 134512640 137136520 4289155040 4289153968 134543869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358615 356201 198 641 0 357971 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 1434460

[startup+1798.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24184688/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1434964 CPUtime=1797.83 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407433 0 0 0 179296 487 0 0 20 0 1 0 344325900 1469403136 356337 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358741 356337 198 641 0 358097 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 1434964

[startup+1798.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24183200/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1435224 CPUtime=1797.94 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407481 0 0 0 179307 487 0 0 20 0 1 0 344325900 1469669376 356385 33554432000 134512640 137136520 4289155040 4289153968 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358806 356385 198 641 0 358162 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1435224

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.03
CPU user time (s): 1793.12
CPU system time (s): 4.90725
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1435224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.12
system time used= 4.90725
maximum resident set size= 1425708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407524
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= 425
involuntary context switches= 1835

runsolver used 2.58661 second user time and 7.2309 second system time

The end

Launcher Data

Begin job on node125 at 2012-06-04 05:53:25
IDJOB=3742167
IDBENCH=90137
IDSOLVER=2320
FILE ID=node125/3742167-1338782005
RUNJOBID= node125-1338773007-30759
PBS_JOBID= 14636823
Free space on /tmp= 70440 MiB

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

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

MD5SUM BENCH= 3a5151d7fc286e1b50737dee685a4276
RANDOM SEED=1166357056

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:        25214900 kB
Buffers:          616972 kB
Cached:          5113748 kB
SwapCached:         2308 kB
Active:          3528980 kB
Inactive:        3221320 kB
Active(anon):    1010712 kB
Inactive(anon):     9240 kB
Active(file):    2518268 kB
Inactive(file):  3212080 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:              4288 kB
Writeback:             0 kB
AnonPages:       1055040 kB
Mapped:            15052 kB
Shmem:                96 kB
Slab:             769080 kB
SReclaimable:     213016 kB
SUnreclaim:       556064 kB
KernelStack:        1480 kB
PageTables:         5948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1141024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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-3742167-1338782005.opb

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