Trace number 3742765

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
MD5SUM506a6fce450974b6f48fc0e3b77d8777
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 benchmark15.9726
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
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 69
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-3742765-1339017746.opb
0.00/0.00	c File size is 230160 bytes.
0.01/0.02	c Highest Coefficient sum: 69
0.01/0.02	c Parsing was ok!!
0.01/0.02	c Total parsing time: 0.022 s
0.01/0.02	c Var: 3740 Constr: 3878 3810/68/0 Lit: 23282 Watch. Lit: 11358
0.01/0.02	c Obj. Vars: 0 (0 % of total variables)
0.49/0.55	c Pre-processing Time: 0.549 s
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        0   2940     3119    19811    6     9439   59762      0      0 0.55
0.49/0.55	c Switching off lower bounding mode.
1797.90/1798.69	c      100   2940     3241    26288    8    10707   65739    122    154 0.65
1797.90/1798.69	c      250   2940     3408    41984   12    11041   72313    289    361 0.69
1797.90/1798.69	c      477   2940     3675    79425   21    12366   79545    556    601 0.79
1797.90/1798.69	c      815   2940     4062   141842   34    14003   87500    943    846 0.96
1797.90/1798.69	c     1323   2940     4642   206637   44    15680   96251   1523   1122 1.18
1797.90/1798.69	c     2086   2940     5508   310410   56    18491  105877   2389   1343 1.55
1797.90/1798.69	c     3232   2940     6824   574313   84    22742  116465   3705   1336 2.42
1797.90/1798.69	c     4955   2940     8891  1314591  147    30012  128112   5772   1019 4.86
1797.90/1798.69	c     7539   2940    11880  2626104  221    39239  140924   8761    797 9.46
1797.90/1798.69	c    11419   2940    16443  4634811  281    54314  155017  13324    563 20.27
1797.90/1798.69	c    17241   2940    23547  9605139  407    76059  170519  20428    356 48.39
1797.90/1798.69	c    25978   2940    34148 15082574  441   108665  187571  31029    283 91.56
1797.90/1798.69	c    39089   2940    49989 22491378  449   156330  206329  46870    213 183.09
1797.90/1798.69	c    58761   2940    74697 35131156  470   222577  226962  71578    155 377.24
1797.90/1798.69	c    88274   2940   110913 50459930  454   342302  249659 107794    131 670.99
1797.90/1798.69	c   132546   2940   166533 74449270  447   526105  274625 163414     94 1405.53
1797.90/1798.69	c Resources Exceeded
1797.90/1798.69	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.69	c   16   149862  74506  1196302   188633 84156920 185514     83 1798.00
1797.90/1798.69	s UNKNOWN
1797.90/1798.69	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-3742765-1339017746/watcher-3742765-1339017746 -o /tmp/evaluation-result-3742765-1339017746/solver-3742765-1339017746 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742765-1339017746.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: 0.00 0.00 0.00 4/175 7417
/proc/meminfo: memFree=23331724/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=11304 CPUtime=0 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 367899033 11575296 313 33554432000 134512640 137136520 4291718976 4291716552 136658511 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 2826 315 186 641 0 2125 0

[startup+0.017016 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 7417
/proc/meminfo: memFree=23331724/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=11576 CPUtime=0.01 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 467 0 0 0 1 0 0 0 20 0 1 0 367899033 11853824 420 33554432000 134512640 137136520 4291718976 4291717276 136490489 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 2894 421 212 641 0 2193 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11576

[startup+0.100209 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 7417
/proc/meminfo: memFree=23331724/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=12028 CPUtime=0.09 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 680 0 0 0 9 0 0 0 20 0 1 0 367899033 12316672 576 33554432000 134512640 137136520 4291718976 4291672784 134545035 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 3007 576 189 641 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12028

[startup+0.300178 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 7417
/proc/meminfo: memFree=23331724/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=12028 CPUtime=0.29 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 680 0 0 0 29 0 0 0 20 0 1 0 367899033 12316672 576 33554432000 134512640 137136520 4291718976 4291672796 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 3007 576 189 641 0 2363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12028

[startup+0.700178 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 7417
/proc/meminfo: memFree=23331724/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=12388 CPUtime=0.69 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 783 0 0 0 69 0 0 0 20 0 1 0 367899033 12685312 660 33554432000 134512640 137136520 4291718976 4291717904 134544472 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 3097 660 198 641 0 2453 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12388

[startup+1.50019 s]
/proc/loadavg: 0.16 0.03 0.01 4/177 7419
/proc/meminfo: memFree=23279456/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=15796 CPUtime=1.49 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 1655 0 0 0 147 2 0 0 20 0 1 0 367899033 16175104 1532 33554432000 134512640 137136520 4291718976 4291717632 134601703 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 3949 1532 198 641 0 3305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15796

[startup+3.10019 s]
/proc/loadavg: 0.16 0.03 0.01 4/177 7419
/proc/meminfo: memFree=23273628/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=22124 CPUtime=3.09 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 3233 0 0 0 306 3 0 0 20 0 1 0 367899033 22654976 3110 33554432000 134512640 137136520 4291718976 4291717616 134606752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 5531 3110 198 641 0 4887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22124

[startup+6.30021 s]
/proc/loadavg: 0.31 0.07 0.02 4/177 7419
/proc/meminfo: memFree=23260484/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=34736 CPUtime=6.28 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 6381 0 0 0 624 4 0 0 20 0 1 0 367899033 35569664 6258 33554432000 134512640 137136520 4291718976 4291717904 134544044 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 8684 6258 198 641 0 8040 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34736

[startup+12.7002 s]
/proc/loadavg: 0.44 0.10 0.03 4/176 7419
/proc/meminfo: memFree=23238368/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=54664 CPUtime=12.69 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 11350 0 0 0 1261 8 0 0 20 0 1 0 367899033 55975936 11227 33554432000 134512640 137136520 4291718976 4291717904 134544112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 13666 11227 198 641 0 13022 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54664

[startup+25.5002 s]
/proc/loadavg: 0.68 0.16 0.05 4/177 7420
/proc/meminfo: memFree=23207624/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=84556 CPUtime=25.49 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 18845 0 0 0 2538 11 0 0 20 0 1 0 367899033 86585344 18722 33554432000 134512640 137136520 4291718976 4291717904 134544402 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 21139 18722 198 641 0 20495 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84556

[startup+51.1002 s]
/proc/loadavg: 1.20 0.33 0.11 4/177 7420
/proc/meminfo: memFree=23151472/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=141892 CPUtime=51.06 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 33190 0 0 0 5090 16 0 0 20 0 1 0 367899033 145297408 33058 33554432000 134512640 137136520 4291718976 4291717904 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 35473 33058 198 641 0 34829 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 141892

[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 4/177 7420
/proc/meminfo: memFree=23068808/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=222252 CPUtime=102.23 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 53313 0 0 0 10196 27 0 0 20 0 1 0 367899033 227586048 53141 33554432000 134512640 137136520 4291718976 4291717904 134544112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 55563 53141 198 641 0 54919 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 222252

[startup+162.3 s]
/proc/loadavg: 1.87 0.84 0.32 4/177 7420
/proc/meminfo: memFree=23004480/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=286916 CPUtime=162.17 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 69525 0 0 0 16181 36 0 0 20 0 1 0 367899033 293801984 69305 33554432000 134512640 137136520 4291718976 4291717904 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 71729 69305 198 641 0 71085 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 286916

[startup+222.3 s]
/proc/loadavg: 1.61 0.97 0.39 2/171 7447
/proc/meminfo: memFree=23012176/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=340304 CPUtime=222.11 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 82920 0 0 0 22168 43 0 0 20 0 1 0 367899033 348471296 82655 33554432000 134512640 137136520 4291718976 4291717904 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 85076 82655 198 641 0 84432 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 340304

[startup+282.3 s]
/proc/loadavg: 1.22 0.97 0.43 2/171 7447
/proc/meminfo: memFree=22958020/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=394344 CPUtime=282.1 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 96452 0 0 0 28157 53 0 0 20 0 1 0 367899033 403808256 96172 33554432000 134512640 137136520 4291718976 4291717904 134544402 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 98586 96172 198 641 0 97942 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 394344

[startup+342.3 s]
/proc/loadavg: 1.08 0.97 0.46 2/172 7449
/proc/meminfo: memFree=22911512/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=440680 CPUtime=342.08 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 108037 0 0 0 34148 60 0 0 20 0 1 0 367899033 451256320 107757 33554432000 134512640 137136520 4291718976 4291717904 134543971 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 110170 107757 198 641 0 109526 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 440680

[startup+402.3 s]
/proc/loadavg: 1.03 0.97 0.49 2/171 7449
/proc/meminfo: memFree=22868244/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=484516 CPUtime=402.06 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 118978 0 0 0 40141 65 0 0 20 0 1 0 367899033 496144384 118698 33554432000 134512640 137136520 4291718976 4291717888 136294911 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 121129 118698 198 641 0 120485 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 484516

[startup+462.3 s]
/proc/loadavg: 1.01 0.97 0.52 2/172 7452
/proc/meminfo: memFree=22829248/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=522564 CPUtime=462.05 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 128508 0 0 0 46133 72 0 0 20 0 1 0 367899033 535105536 128222 33554432000 134512640 137136520 4291718976 4291717904 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 130641 128222 198 641 0 129997 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 522564

[startup+522.3 s]
/proc/loadavg: 1.00 0.97 0.55 2/171 7452
/proc/meminfo: memFree=22792496/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=560232 CPUtime=521.99 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 137957 0 0 0 52120 79 0 0 20 0 1 0 367899033 573677568 137623 33554432000 134512640 137136520 4291718976 4291717904 134544245 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7417/statm: 140058 137623 198 641 0 139414 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 560232

[startup+582.3 s]
/proc/loadavg: 1.00 0.97 0.57 2/171 7452
/proc/meminfo: memFree=22751108/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=600580 CPUtime=581.95 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 148096 0 0 0 58108 87 0 0 20 0 1 0 367899033 614993920 147716 33554432000 134512640 137136520 4291718976 4291717904 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 150145 147716 198 641 0 149501 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 600580

[startup+642.3 s]

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

/proc/meminfo: memFree=22497232/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=854348 CPUtime=1061.82 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 211607 0 0 0 106061 121 0 0 20 0 1 0 367899033 874852352 211155 33554432000 134512640 137136520 4291718976 4291717904 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 213587 211155 198 641 0 212943 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 854348

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/171 7458
/proc/meminfo: memFree=22470128/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=881372 CPUtime=1121.78 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 218416 0 0 0 112053 125 0 0 20 0 1 0 367899033 902524928 217916 33554432000 134512640 137136520 4291718976 4291717904 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 220343 217916 198 641 0 219699 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 881372

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.75 2/171 7458
/proc/meminfo: memFree=22453744/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=898072 CPUtime=1181.74 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 222628 0 0 0 118046 128 0 0 20 0 1 0 367899033 919625728 222089 33554432000 134512640 137136520 4291718976 4291717904 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 224518 222089 198 641 0 223874 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 898072

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/171 7459
/proc/meminfo: memFree=22431548/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=919872 CPUtime=1241.73 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 228078 0 0 0 124041 132 0 0 20 0 1 0 367899033 941948928 227539 33554432000 134512640 137136520 4291718976 4291717904 134544157 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 229968 227539 198 641 0 229324 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 919872

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/171 7459
/proc/meminfo: memFree=22414188/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=937172 CPUtime=1301.72 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 232399 0 0 0 130036 136 0 0 20 0 1 0 367899033 959664128 231860 33554432000 134512640 137136520 4291718976 4291717904 134544245 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 234293 231860 198 641 0 233649 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 937172

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/171 7459
/proc/meminfo: memFree=22387404/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=963988 CPUtime=1361.71 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 239100 0 0 0 136031 140 0 0 20 0 1 0 367899033 987123712 238561 33554432000 134512640 137136520 4291718976 4291717904 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 240997 238561 198 641 0 240353 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 963988

[startup+1422.31 s]
/proc/loadavg: 1.07 0.99 0.81 2/171 7459
/proc/meminfo: memFree=22365456/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=985764 CPUtime=1421.71 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 244551 0 0 0 142028 143 0 0 20 0 1 0 367899033 1009422336 244012 33554432000 134512640 137136520 4291718976 4291717904 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 246441 244012 198 641 0 245797 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 985764

[startup+1482.3 s]
/proc/loadavg: 1.02 0.99 0.82 2/171 7459
/proc/meminfo: memFree=22344500/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1006700 CPUtime=1481.69 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 249787 0 0 0 148022 147 0 0 20 0 1 0 367899033 1030860800 249248 33554432000 134512640 137136520 4291718976 4291717904 134543927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 251675 249248 198 641 0 251031 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1006700

[startup+1542.3 s]
/proc/loadavg: 1.01 0.99 0.82 2/171 7460
/proc/meminfo: memFree=22320816/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1030508 CPUtime=1541.69 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 255745 0 0 0 154019 150 0 0 20 0 1 0 367899033 1055240192 255206 33554432000 134512640 137136520 4291718976 4291717904 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 257627 255206 198 641 0 256983 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1030508

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.83 2/171 7460
/proc/meminfo: memFree=22301348/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1050164 CPUtime=1601.67 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 260640 0 0 0 160014 153 0 0 20 0 1 0 367899033 1075367936 260101 33554432000 134512640 137136520 4291718976 4291717904 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 262541 260101 198 641 0 261897 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1050164

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.84 2/172 7463
/proc/meminfo: memFree=22285452/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1065880 CPUtime=1661.66 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 264570 0 0 0 166010 156 0 0 20 0 1 0 367899033 1091461120 264031 33554432000 134512640 137136520 4291718976 4291717904 134543965 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 266470 264031 198 641 0 265826 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1065880

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.84 2/171 7463
/proc/meminfo: memFree=22265808/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1085352 CPUtime=1721.65 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 269457 0 0 0 172005 160 0 0 20 0 1 0 367899033 1111400448 268911 33554432000 134512640 137136520 4291718976 4291717904 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7417/statm: 271338 268911 198 641 0 270694 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 1085352

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.85 2/171 7463
/proc/meminfo: memFree=22250088/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1101116 CPUtime=1781.61 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 273440 0 0 0 177999 162 0 0 20 0 1 0 367899033 1127542784 272848 33554432000 134512640 137136520 4291718976 4291717904 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7417/statm: 275279 272848 198 641 0 274635 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1101116

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

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.85 2/171 7463
/proc/meminfo: memFree=22247096/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1103860 CPUtime=1791.2 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 274154 0 0 0 178958 162 0 0 20 0 1 0 367899033 1130352640 273554 33554432000 134512640 137136520 4291718976 4291718092 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7417/statm: 275965 273554 198 641 0 275321 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 1103860

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.85 2/171 7463
/proc/meminfo: memFree=22245856/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1105500 CPUtime=1794.41 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 274561 0 0 0 179278 163 0 0 20 0 1 0 367899033 1132032000 273961 33554432000 134512640 137136520 4291718976 4291717904 134544129 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7417/statm: 276375 273961 198 641 0 275731 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 1105500

[startup+1796.7 s]
/proc/loadavg: 1.00 0.99 0.85 2/171 7463
/proc/meminfo: memFree=22245112/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1106464 CPUtime=1796 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 274807 0 0 0 179437 163 0 0 20 0 1 0 367899033 1133019136 274207 33554432000 134512640 137136520 4291718976 4291717904 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7417/statm: 276616 274207 198 641 0 275972 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 1106464

[startup+1797.5 s]
/proc/loadavg: 1.00 0.99 0.85 2/171 7463
/proc/meminfo: memFree=22244740/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1106728 CPUtime=1796.8 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 274864 0 0 0 179517 163 0 0 20 0 1 0 367899033 1133289472 274264 33554432000 134512640 137136520 4291718976 4291717904 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7417/statm: 276682 274264 198 641 0 276038 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 1106728

[startup+1798.3 s]
/proc/loadavg: 1.00 0.99 0.85 2/171 7463
/proc/meminfo: memFree=22244740/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=1106932 CPUtime=1797.6 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202496 274920 0 0 0 179597 163 0 0 20 0 1 0 367899033 1133498368 274320 33554432000 134512640 137136520 4291718976 4291717904 134543965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7417/statm: 276733 274320 198 641 0 276089 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1106932

[startup+1798.7 s]
/proc/loadavg: 1.00 0.99 0.85 2/171 7463
/proc/meminfo: memFree=22244120/32873844 swapFree=7628/7628
[pid=7417] ppid=7413 vsize=0 CPUtime=1797.99 cores=0,2,4,6
/proc/7417/stat : 7417 (bsolo) R 7413 7417 7360 0 -1 4202500 274953 0 0 0 179636 163 0 0 20 0 1 0 367899033 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7417/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.71
CPU time (s): 1798.01
CPU user time (s): 1796.37
CPU system time (s): 1.64475
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 1107048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.37
system time used= 1.64475
maximum resident set size= 1097408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274953
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= 491
involuntary context switches= 2490

runsolver used 2.52062 second user time and 7.47486 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-06 23:22:26
IDJOB=3742765
IDBENCH=90229
IDSOLVER=2320
FILE ID=node143/3742765-1339017746
RUNJOBID= node143-1339017745-7376
PBS_JOBID= 14643272
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=141507972

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23332564 kB
Buffers:         3545832 kB
Cached:          4954880 kB
SwapCached:          196 kB
Active:          5462572 kB
Inactive:        3060132 kB
Active(anon):       2732 kB
Inactive(anon):    11012 kB
Active(file):    5459840 kB
Inactive(file):  3049120 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108460 kB
Dirty:             14380 kB
Writeback:             0 kB
AnonPages:         18648 kB
Mapped:             9944 kB
Shmem:               160 kB
Slab:             877636 kB
SReclaimable:     319400 kB
SUnreclaim:       558236 kB
KernelStack:        1408 kB
PageTables:         3836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3742765-1339017746.opb

Free space on /tmp at the end= 68468 MiB
End job on node143 at 2012-06-06 23:52:26