Trace number 3735169

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 NameAnswerobjective functionCPU timeWall clock time
PB09: bsolo 3.1? 1798.01 1798.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_20.opb
MD5SUM601a73d2c5752739e04dd0126b5500f0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark392
Best CPU time to get the best result obtained on this benchmark1783.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 398
Optimality of the best value was proved NO
Number of variables13478
Total number of constraints26620
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints26619
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 190
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 445
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 589
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2977
Number of bits of the biggest sum of numbers12
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-3735169-1338719793.opb
0.00/0.00	c File size is 7672173 bytes.
0.49/0.54	c Highest Coefficient sum: 2977
0.49/0.54	c Parsing was ok!!
0.49/0.54	c Total parsing time: 0.54 s
0.49/0.55	c Var: 13478 Constr: 26620 1/0/26619 Lit: 901318 Watch. Lit: 141864
0.49/0.55	c Obj. Vars: 9 (0.0667755 % of total variables)
2.48/2.56	c Pre-processing Time: 2.562 s
2.48/2.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.48/2.56	c        0  13477    26619   901317   33   214682  500000      0      0 2.56
2.48/2.56	c Switching off lower bounding mode.
1797.99/1798.50	c      100  13477    26801   908521   33   496891  550001    182     29 3.43
1797.99/1798.50	c      251  13477    27031   916870   33   503476  605002    412     62 4.03
1797.99/1798.50	c      476  13477    27330   931111   34   510122  665503    711    107 4.41
1797.99/1798.50	c      814  13477    27792   947117   34   520162  732054   1173    158 5.14
1797.99/1798.50	c     1322  13477    28487   975082   34   512472  805260   1868    191 6.89
1797.99/1798.50	c     2086  13477    29480  1020943   34   485614  885787   2861    239 8.72
1797.99/1798.50	c     3234  13477    30960  1106320   35   516998  974366   4341    269 12.02
1797.99/1798.50	c     4956  13477    33197  1224857   36   495599  500000   6578    317 15.63
1797.99/1798.50	c     7540  13477    36635  1426204   38   508876  550001  10016    333 22.58
1797.99/1798.50	c    11419  13477    41886  1730169   41   537406  605002  15267    358 31.83
1797.99/1798.50	c    17242  13477    49681  2230410   44   533034  665503  23062    357 48.17
1797.99/1798.50	c    25980  13477    61404  2936241   47   601607  732054  34785    353 73.42
1797.99/1798.50	c    39090  13477    78903  3947427   50   613495  805260  52284    342 113.97
1797.99/1798.50	c    58760  13477   105639  5567752   52   701752  885787  79020    335 175.17
1797.99/1798.50	c    88270  13477   145857  7489274   51   752051  974366 119238    320 275.04
1797.99/1798.50	c   132541  13477   206061 12355055   59   888462  500000 179442    311 426.09
1797.99/1798.50	c   198951  13477   296298 18051916   60  1121991  550001 269679    263 755.62
1797.99/1798.50	c   298574  13476   433005 27649356   63  1425446  605002 406386    202 1473.34
1797.99/1798.50	c Resources Exceeded
1797.99/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.50	c   18   358975  48763   451244   513875 33851877 487256    199 1798.00
1797.99/1798.50	s UNKNOWN
1797.99/1798.50	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-3735169-1338719793/watcher-3735169-1338719793 -o /tmp/evaluation-result-3735169-1338719793/solver-3735169-1338719793 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3735169-1338719793.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 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=18284 CPUtime=0 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 305 0 0 0 0 0 0 0 20 0 1 0 338104095 18722816 259 33554432000 134512640 137136520 4287536464 4287534312 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15250/statm: 4571 260 189 641 0 2053 0

[startup+0.0717651 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=19968 CPUtime=0.07 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 940 0 0 0 7 0 0 0 20 0 1 0 338104095 20447232 894 33554432000 134512640 137136520 4287536464 4287534988 134529504 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15250/statm: 4992 895 415 641 0 2474 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19968

[startup+0.100202 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=20628 CPUtime=0.09 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 1220 0 0 0 9 0 0 0 20 0 1 0 338104095 21123072 1174 33554432000 134512640 137136520 4287536464 4287534992 134517586 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15250/statm: 5157 1174 514 641 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20628

[startup+0.300163 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=25736 CPUtime=0.29 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 3190 0 0 0 29 0 0 0 20 0 1 0 338104095 26353664 3144 33554432000 134512640 137136520 4287536464 4287534376 134598944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15250/statm: 6434 3144 1202 641 0 3916 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25736

[startup+0.700272 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=45416 CPUtime=0.69 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 10794 0 0 0 68 1 0 0 20 0 1 0 338104095 46505984 8874 33554432000 134512640 137136520 4287536464 4287373212 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 11354 8874 191 641 0 10710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45416

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29110592/32873844 swapFree=7616/7616
[pid=15250] ppid=15248 vsize=45416 CPUtime=1.49 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 10794 0 0 0 147 2 0 0 20 0 1 0 338104095 46505984 8874 33554432000 134512640 137136520 4287536464 4287373212 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 11354 8874 191 641 0 10710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45416

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29110096/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=39276 CPUtime=3.09 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 12871 0 0 0 306 3 0 0 20 0 1 0 338104095 40218624 7353 33554432000 134512640 137136520 4287536464 4287535392 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 9819 7353 197 641 0 9175 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39276

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29114560/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=40572 CPUtime=6.29 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 13201 0 0 0 625 4 0 0 20 0 1 0 338104095 41545728 7683 33554432000 134512640 137136520 4287536464 4287535392 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 10143 7683 198 641 0 9499 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40572

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29112476/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=42416 CPUtime=12.68 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 13686 0 0 0 1264 4 0 0 20 0 1 0 338104095 43433984 8168 33554432000 134512640 137136520 4287536464 4287535392 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 10604 8168 198 641 0 9960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42416

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29106772/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=48188 CPUtime=25.49 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 15117 0 0 0 2543 6 0 0 20 0 1 0 338104095 49344512 9599 33554432000 134512640 137136520 4287536464 4287535360 134543846 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 12047 9599 198 641 0 11403 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48188

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29094268/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=60760 CPUtime=51.06 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 18263 0 0 0 5098 8 0 0 20 0 1 0 338104095 62218240 12731 33554432000 134512640 137136520 4287536464 4287535232 134576268 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 15190 12731 198 641 0 14546 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 60760

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29074112/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=80876 CPUtime=102.26 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 23318 0 0 0 10215 11 0 0 20 0 1 0 338104095 82817024 17783 33554432000 134512640 137136520 4287536464 4287535392 134543939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 20219 17783 198 641 0 19575 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 80876

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/179 15251
/proc/meminfo: memFree=29048780/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=106528 CPUtime=162.22 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 29727 0 0 0 16207 15 0 0 20 0 1 0 338104095 109084672 24174 33554432000 134512640 137136520 4287536464 4287535360 134543939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 26632 24174 198 641 0 25988 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 106528

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/180 15254
/proc/meminfo: memFree=29030048/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=124536 CPUtime=222.22 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 34229 0 0 0 22201 21 0 0 20 0 1 0 338104095 127524864 28676 33554432000 134512640 137136520 4287536464 4287535360 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 31134 28676 198 641 0 30490 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 124536

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15254
/proc/meminfo: memFree=29011980/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=142636 CPUtime=282.19 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 38798 0 0 0 28194 25 0 0 20 0 1 0 338104095 146059264 33228 33554432000 134512640 137136520 4287536464 4287535580 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 35659 33228 198 641 0 35015 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 142636

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15255
/proc/meminfo: memFree=28979988/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=174620 CPUtime=342.18 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 46799 0 0 0 34188 30 0 0 20 0 1 0 338104095 178810880 41229 33554432000 134512640 137136520 4287536464 4287535392 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 43655 41229 198 641 0 43011 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 174620

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15255
/proc/meminfo: memFree=28954024/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=201100 CPUtime=402.14 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 53408 0 0 0 40179 35 0 0 20 0 1 0 338104095 205926400 47817 33554432000 134512640 137136520 4287536464 4287535392 134543939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 50275 47817 198 641 0 49631 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 201100

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15255
/proc/meminfo: memFree=28933108/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=221916 CPUtime=462.12 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 58651 0 0 0 46173 39 0 0 20 0 1 0 338104095 227241984 53049 33554432000 134512640 137136520 4287536464 4287535392 134543846 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 55479 53049 198 641 0 54835 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 221916

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15255
/proc/meminfo: memFree=28914880/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=240288 CPUtime=522.11 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 63216 0 0 0 52169 42 0 0 20 0 1 0 338104095 246054912 57614 33554432000 134512640 137136520 4287536464 4287535360 134544135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 60072 57614 198 641 0 59428 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 240288

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15303
/proc/meminfo: memFree=28734780/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=255832 CPUtime=582.09 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 67137 0 0 0 58163 46 0 0 20 0 1 0 338104095 261971968 61527 33554432000 134512640 137136520 4287536464 4287535360 134543834 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 63958 61527 198 641 0 63314 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 255832

[startup+642.3 s]

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

/proc/meminfo: memFree=28413972/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=371380 CPUtime=1061.95 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 96065 0 0 0 106123 72 0 0 20 0 1 0 338104095 380293120 90386 33554432000 134512640 137136520 4287536464 4287535392 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 92845 90386 198 641 0 92201 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 371380

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/179 15308
/proc/meminfo: memFree=28401696/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=383300 CPUtime=1121.94 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 99046 0 0 0 112118 76 0 0 20 0 1 0 338104095 392499200 93367 33554432000 134512640 137136520 4287536464 4287535360 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 95825 93367 198 641 0 95181 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 383300

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 15308
/proc/meminfo: memFree=28390536/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=394668 CPUtime=1181.93 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 101888 0 0 0 118113 80 0 0 20 0 1 0 338104095 404140032 96209 33554432000 134512640 137136520 4287536464 4287535392 134544384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 98667 96209 198 641 0 98023 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 394668

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 15309
/proc/meminfo: memFree=28324364/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=404416 CPUtime=1241.93 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 104353 0 0 0 124110 83 0 0 20 0 1 0 338104095 414121984 98674 33554432000 134512640 137136520 4287536464 4287535392 134544472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 101104 98674 198 641 0 100460 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 404416

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15309
/proc/meminfo: memFree=28314780/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=413952 CPUtime=1301.92 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 106737 0 0 0 130107 85 0 0 20 0 1 0 338104095 423886848 101058 33554432000 134512640 137136520 4287536464 4287535392 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 103488 101058 198 641 0 102844 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 413952

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15309
/proc/meminfo: memFree=28305480/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=423264 CPUtime=1361.91 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 109065 0 0 0 136104 87 0 0 20 0 1 0 338104095 433422336 103386 33554432000 134512640 137136520 4287536464 4287535392 134543875 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 105816 103386 198 641 0 105172 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 423264

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 15312
/proc/meminfo: memFree=28295800/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=432924 CPUtime=1421.9 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 111478 0 0 0 142100 90 0 0 20 0 1 0 338104095 443314176 105799 33554432000 134512640 137136520 4287536464 4287535392 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 108231 105799 198 641 0 107587 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 432924

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 15335
/proc/meminfo: memFree=28287368/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=442224 CPUtime=1481.89 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 113777 0 0 0 148097 92 0 0 20 0 1 0 338104095 452837376 108098 33554432000 134512640 137136520 4287536464 4287535360 134543942 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 110556 108098 198 641 0 109912 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 442224

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28268712/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=461080 CPUtime=1541.85 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 118553 0 0 0 154089 96 0 0 20 0 1 0 338104095 472145920 112842 33554432000 134512640 137136520 4287536464 4287535392 134544396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 115270 112842 198 641 0 114626 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 461080

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/179 15336
/proc/meminfo: memFree=28249208/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=480692 CPUtime=1601.82 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 123444 0 0 0 160082 100 0 0 20 0 1 0 338104095 492228608 117715 33554432000 134512640 137136520 4287536464 4287535392 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 120173 117715 198 641 0 119529 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 480692

[startup+1662.31 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 15336
/proc/meminfo: memFree=28234204/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=495292 CPUtime=1661.81 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 127123 0 0 0 166079 102 0 0 20 0 1 0 338104095 507179008 121394 33554432000 134512640 137136520 4287536464 4287535392 134544425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 123823 121394 198 641 0 123179 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 495292

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28218332/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=511572 CPUtime=1721.8 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 131164 0 0 0 172074 106 0 0 20 0 1 0 338104095 523849728 125435 33554432000 134512640 137136520 4287536464 4287535580 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 127893 125435 198 641 0 127249 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 511572

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28201592/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=527636 CPUtime=1781.8 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 135207 0 0 0 178070 110 0 0 20 0 1 0 338104095 540299264 129478 33554432000 134512640 137136520 4287536464 4287535392 134543924 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 131909 129478 198 641 0 131265 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 527636

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

[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28201532/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=530408 CPUtime=1791.6 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 135873 0 0 0 179049 111 0 0 20 0 1 0 338104095 543137792 130144 33554432000 134512640 137136520 4287536464 4287535360 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132602 130144 198 641 0 131958 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 530408

[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200788/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=531280 CPUtime=1794.8 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136091 0 0 0 179369 111 0 0 20 0 1 0 338104095 544030720 130362 33554432000 134512640 137136520 4287536464 4287535384 135982528 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132820 130362 198 641 0 132176 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 531280

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200540/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=531552 CPUtime=1796.39 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136183 0 0 0 179528 111 0 0 20 0 1 0 338104095 544309248 130454 33554432000 134512640 137136520 4287536464 4287535392 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132888 130454 198 641 0 132244 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 531552

[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200292/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=531764 CPUtime=1797.19 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136241 0 0 0 179608 111 0 0 20 0 1 0 338104095 544526336 130512 33554432000 134512640 137136520 4287536464 4287535392 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132941 130512 198 641 0 132297 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 531764

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200292/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=531896 CPUtime=1797.59 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136271 0 0 0 179648 111 0 0 20 0 1 0 338104095 544661504 130542 33554432000 134512640 137136520 4287536464 4287535384 135982492 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132974 130542 198 641 0 132330 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 531896

[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200292/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=532052 CPUtime=1797.99 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136312 0 0 0 179688 111 0 0 20 0 1 0 338104095 544821248 130583 33554432000 134512640 137136520 4287536464 4287535392 134544434 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 133013 130583 198 641 0 132369 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 532052

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.01
CPU user time (s): 1796.89
CPU system time (s): 1.11883
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 532052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.89
system time used= 1.11883
maximum resident set size= 522332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136313
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= 221
involuntary context switches= 1954

runsolver used 3.40848 second user time and 7.53585 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 12:36:33
IDJOB=3735169
IDBENCH=2947
IDSOLVER=2320
FILE ID=node135/3735169-1338719793
RUNJOBID= node135-1338712994-13137
PBS_JOBID= 14636721
Free space on /tmp= 70968 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735169-1338719793/watcher-3735169-1338719793 -o /tmp/evaluation-result-3735169-1338719793/solver-3735169-1338719793 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3735169-1338719793.opb

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

MD5SUM BENCH= 601a73d2c5752739e04dd0126b5500f0
RANDOM SEED=950327814

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29144732 kB
Buffers:          361820 kB
Cached:          2505464 kB
SwapCached:         1672 kB
Active:          1176372 kB
Inactive:        1709864 kB
Active(anon):       9092 kB
Inactive(anon):    12036 kB
Active(file):    1167280 kB
Inactive(file):  1697828 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:             11276 kB
Writeback:             0 kB
AnonPages:         26848 kB
Mapped:            11360 kB
Shmem:               132 kB
Slab:             701928 kB
SReclaimable:     143736 kB
SUnreclaim:       558192 kB
KernelStack:        1464 kB
PageTables:         3992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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-3735169-1338719793.opb

Free space on /tmp at the end= 70900 MiB
End job on node135 at 2012-06-03 13:06:32