Trace number 3740831

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.05 1798.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-146.opb
MD5SUM132271a8a55b01af9ffef359148ae5e1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48417
Total number of constraints1121431
Number of constraints which are clauses1007614
Number of constraints which are cardinality constraints (but not clauses)3525
Number of constraints which are nor clauses,nor cardinality constraints110292
Minimum length of a constraint2
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
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-3740831-1338760310.opb
0.00/0.00	c File size is 50921616 bytes.
3.08/3.64	c Highest Coefficient sum: 691
3.08/3.64	c Parsing was ok!!
3.08/3.64	c Total parsing time: 3.64 s
3.80/3.84	c Var: 48417 Constr: 1123206 1009387/3527/110292 Lit: 4339192 Watch. Lit: 2265912
3.80/3.84	c Obj. Vars: 0 (0 % of total variables)
182.95/183.05	c Pre-processing Time: 183.009 s
182.95/183.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.95/183.07	c        0  48417  1123206  4339192    3  2376204  500000      0      0 183.01
182.95/183.07	c Switching off lower bounding mode.
1798.03/1798.60	c      101  48417  1123405  4349490    3  2366302  550001    199      0 183.73
1798.03/1798.60	c      256  48417  1123714  4378321    3  2366814  605002    508      1 184.07
1798.03/1798.60	c      481  48417  1124159  4411563    3  2362702  665503    953      2 184.77
1798.03/1798.60	c      819  48417  1124835  4452418    3  2359857  732054   1629      4 186.39
1798.03/1798.60	c     1332  48417  1125855  4573272    4  2359898  805260   2649      7 188.83
1798.03/1798.60	c     2095  48417  1127372  4716519    4  2359297  885787   4166     10 193.26
1798.03/1798.60	c     3248  48417  1129675  4971254    4  2361741  974366   6469     16 197.32
1798.03/1798.60	c     4973  48417  1133063  5515853    4  2365110  500000   9857     23 209.03
1798.03/1798.60	c     7559  48417  1138211  6668325    5  2377285  550001  15005     34 220.53
1798.03/1798.60	c    11442  48417  1145947  8148907    7  2392623  605002  22741     47 238.54
1798.03/1798.60	c    17264  48417  1157549  9952733    8  2414623  665503  34343     63 273.34
1798.03/1798.60	c    26003  48417  1175027 14178630   12  2449576  732054  51821     78 332.54
1798.03/1798.60	c    39113  48417  1201247 20503396   17  2501926  805260  78041     84 460.89
1798.03/1798.60	c    58786  48417  1240590 30470921   24  2579663  885787 117384     89 654.07
1798.03/1798.60	c    88297  48417  1299612 40770563   31  2697702  974366 176406     84 1047.63
1798.03/1798.60	c Resources Exceeded
1798.03/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.03/1798.60	c   15   132072  40791  9685655  1386623 54649800 263417     73 1798.04
1798.03/1798.60	s UNKNOWN
1798.03/1798.60	c Total time: 1798.04 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-3740831-1338760310/watcher-3740831-1338760310 -o /tmp/evaluation-result-3740831-1338760310/solver-3740831-1338760310 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3740831-1338760310.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.03 3/176 23929
/proc/meminfo: memFree=28067080/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=60664 CPUtime=0 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 336 0 0 0 0 0 0 0 20 0 1 0 342155497 62119936 290 33554432000 134512640 137136520 4292874304 4292872784 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 15166 290 188 641 0 2089 0

[startup+0.013975 s]
/proc/loadavg: 2.07 2.02 2.03 3/176 23929
/proc/meminfo: memFree=28067080/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=61068 CPUtime=0.01 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 449 0 0 0 1 0 0 0 20 0 1 0 342155497 62533632 403 33554432000 134512640 137136520 4292874304 4292872816 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 15267 405 215 641 0 2190 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 61068

[startup+0.100261 s]
/proc/loadavg: 2.07 2.02 2.03 3/176 23929
/proc/meminfo: memFree=28067080/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=65164 CPUtime=0.09 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 1813 0 0 0 9 0 0 0 20 0 1 0 342155497 66727936 1767 33554432000 134512640 137136520 4292874304 4292872504 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 16291 1767 543 641 0 3214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65164

[startup+0.300257 s]
/proc/loadavg: 2.07 2.02 2.03 3/176 23929
/proc/meminfo: memFree=28067080/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=73896 CPUtime=0.29 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 4714 0 0 0 29 0 0 0 20 0 1 0 342155497 75669504 4668 33554432000 134512640 137136520 4292874304 4292872816 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 18474 4669 1265 641 0 5397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73896

[startup+0.700244 s]
/proc/loadavg: 2.07 2.02 2.03 3/176 23929
/proc/meminfo: memFree=28067080/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=91248 CPUtime=0.69 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 10493 0 0 0 68 1 0 0 20 0 1 0 342155497 93437952 10447 33554432000 134512640 137136520 4292874304 4292872504 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 22813 10448 2714 641 0 9736 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91248

[startup+1.50024 s]
/proc/loadavg: 2.07 2.02 2.03 3/177 23930
/proc/meminfo: memFree=28023580/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=123640 CPUtime=1.49 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 21531 0 0 0 146 3 0 0 20 0 1 0 342155497 126607360 21445 33554432000 134512640 137136520 4292874304 4292872536 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 30910 21445 5623 641 0 17833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123640

[startup+3.10027 s]
/proc/loadavg: 2.07 2.02 2.03 3/177 23930
/proc/meminfo: memFree=27981528/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=182280 CPUtime=3.08 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 41498 0 0 0 302 6 0 0 20 0 1 0 342155497 186654720 41333 33554432000 134512640 137136520 4292874304 4292872504 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 45570 41334 10895 641 0 32493 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 182280

[startup+6.30032 s]
/proc/loadavg: 2.06 2.02 2.03 3/177 23930
/proc/meminfo: memFree=27796272/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=281608 CPUtime=6.29 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 80418 0 0 0 615 14 0 0 20 0 1 0 342155497 288366592 67725 33554432000 134512640 137136520 4292874304 4292291772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 70402 67725 191 641 0 69758 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 281608

[startup+12.7004 s]
/proc/loadavg: 2.22 2.05 2.04 3/177 23930
/proc/meminfo: memFree=27794800/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=281608 CPUtime=12.69 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 80424 0 0 0 1250 19 0 0 20 0 1 0 342155497 288366592 67731 33554432000 134512640 137136520 4292874304 4292291772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 70402 67731 191 641 0 69758 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 281608

[startup+25.5003 s]
/proc/loadavg: 2.17 2.04 2.04 3/177 23930
/proc/meminfo: memFree=27793436/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=281608 CPUtime=25.48 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 80431 0 0 0 2523 25 0 0 20 0 1 0 342155497 288366592 67738 33554432000 134512640 137136520 4292874304 4292291772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 70402 67738 191 641 0 69758 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 281608

[startup+51.1069 s]
/proc/loadavg: 2.11 2.04 2.04 3/177 23930
/proc/meminfo: memFree=27787360/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=281608 CPUtime=51.09 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 80440 0 0 0 5074 35 0 0 20 0 1 0 342155497 288366592 67747 33554432000 134512640 137136520 4292874304 4292291772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 70402 67747 191 641 0 69758 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 281608

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.03 3/178 23942
/proc/meminfo: memFree=27779888/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=281740 CPUtime=102.27 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 80452 0 0 0 10177 50 0 0 20 0 1 0 342155497 288501760 67759 33554432000 134512640 137136520 4292874304 4292291772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 70435 67759 191 641 0 69791 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281740

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.03 3/177 23942
/proc/meminfo: memFree=27768100/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=281740 CPUtime=162.25 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 80471 0 0 0 16163 62 0 0 20 0 1 0 342155497 288501760 67770 33554432000 134512640 137136520 4292874304 4292291772 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 70435 67770 191 641 0 69791 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 281740

[startup+222.3 s]
/proc/loadavg: 2.07 2.04 2.03 3/177 23942
/proc/meminfo: memFree=27762300/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=279184 CPUtime=222.21 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 80565 0 0 0 22073 148 0 0 20 0 1 0 342155497 285884416 67163 33554432000 134512640 137136520 4292874304 4292873232 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 69796 67163 197 641 0 69152 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 279184

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/177 23942
/proc/meminfo: memFree=27736728/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=296632 CPUtime=282.16 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 84949 0 0 0 27989 227 0 0 20 0 1 0 342155497 303751168 71682 33554432000 134512640 137136520 4292874304 4292873232 134543799 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 74158 71682 197 641 0 73514 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 296632

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/177 23942
/proc/meminfo: memFree=27674600/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=350480 CPUtime=342.15 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 98412 0 0 0 33984 231 0 0 20 0 1 0 342155497 358891520 85217 33554432000 134512640 137136520 4292874304 4292872628 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 87620 85217 197 641 0 86976 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 350480

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/176 23942
/proc/meminfo: memFree=27629316/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=387948 CPUtime=402.14 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 107779 0 0 0 39977 237 0 0 20 0 1 0 342155497 397258752 94584 33554432000 134512640 137136520 4292874304 4292873232 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 96987 94584 197 641 0 96343 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 387948

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/177 23943
/proc/meminfo: memFree=27583540/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=427660 CPUtime=462.13 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 117707 0 0 0 45973 240 0 0 20 0 1 0 342155497 437923840 104512 33554432000 134512640 137136520 4292874304 4292873232 134543760 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 106915 104512 197 641 0 106271 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 427660

[startup+522.3 s]
/proc/loadavg: 2.05 2.02 2.01 3/178 23946
/proc/meminfo: memFree=27550424/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=457624 CPUtime=522.13 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 125198 0 0 0 51950 263 0 0 20 0 1 0 342155497 468606976 112003 33554432000 134512640 137136520 4292874304 4292873232 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 114406 112003 197 641 0 113762 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 457624

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 23969
/proc/meminfo: memFree=27489292/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=513352 CPUtime=582.12 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 139130 0 0 0 57945 267 0 0 20 0 1 0 342155497 525672448 125935 33554432000 134512640 137136520 4292874304 4292873072 134573554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 128338 125935 197 641 0 127694 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 513352

[startup+642.3 s]

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

/proc/meminfo: memFree=27266676/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=699684 CPUtime=1061.91 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 185867 0 0 0 105893 298 0 0 20 0 1 0 342155497 716476416 172518 33554432000 134512640 137136520 4292874304 4292873232 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 174921 172518 197 641 0 174277 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 699684

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23974
/proc/meminfo: memFree=27235916/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=726248 CPUtime=1121.9 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 192508 0 0 0 111886 304 0 0 20 0 1 0 342155497 743677952 179159 33554432000 134512640 137136520 4292874304 4292873232 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 181562 179159 197 641 0 180918 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 726248

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23974
/proc/meminfo: memFree=27213232/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=745280 CPUtime=1181.89 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 197285 0 0 0 117880 309 0 0 20 0 1 0 342155497 763166720 183936 33554432000 134512640 137136520 4292874304 4292872584 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 186320 183936 197 641 0 185676 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 745280

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23974
/proc/meminfo: memFree=27191656/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=762980 CPUtime=1241.88 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 201691 0 0 0 123869 319 0 0 20 0 1 0 342155497 781291520 188342 33554432000 134512640 137136520 4292874304 4292873232 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 190745 188342 197 641 0 190101 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 762980

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23974
/proc/meminfo: memFree=27166608/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=784848 CPUtime=1301.87 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 207158 0 0 0 129865 322 0 0 20 0 1 0 342155497 803684352 193809 33554432000 134512640 137136520 4292874304 4292873232 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 196212 193809 197 641 0 195568 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 784848

[startup+1362.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27150600/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=797540 CPUtime=1361.83 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 210367 0 0 0 135825 358 0 0 20 0 1 0 342155497 816680960 196982 33554432000 134512640 137136520 4292874304 4292873232 134544135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 199385 196982 197 641 0 198741 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 797540

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27139716/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=805676 CPUtime=1421.79 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 212444 0 0 0 141776 403 0 0 20 0 1 0 342155497 825012224 199017 33554432000 134512640 137136520 4292874304 4292873232 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 201419 199017 197 641 0 200775 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 805676

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27137516/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=811364 CPUtime=1481.77 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 213874 0 0 0 147755 422 0 0 20 0 1 0 342155497 830836736 200438 33554432000 134512640 137136520 4292874304 4292873072 134576684 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 202841 200438 197 641 0 202197 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 811364

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27132336/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=816716 CPUtime=1541.76 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 215223 0 0 0 153735 441 0 0 20 0 1 0 342155497 836317184 201787 33554432000 134512640 137136520 4292874304 4292873072 134576272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 204179 201787 197 641 0 203535 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 816716

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27119120/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=828316 CPUtime=1601.76 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 218112 0 0 0 159710 466 0 0 20 0 1 0 342155497 848195584 204676 33554432000 134512640 137136520 4292874304 4292873200 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 207079 204676 197 641 0 206435 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 828316

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24024
/proc/meminfo: memFree=27123764/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=835396 CPUtime=1661.75 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 219894 0 0 0 165688 487 0 0 20 0 1 0 342155497 855445504 206458 33554432000 134512640 137136520 4292874304 4292873016 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 208849 206458 198 641 0 208205 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 835396

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24027
/proc/meminfo: memFree=27030508/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=855196 CPUtime=1721.74 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 224833 0 0 0 171684 490 0 0 20 0 1 0 342155497 875720704 211397 33554432000 134512640 137136520 4292874304 4292873228 135982512 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 213799 211397 198 641 0 213155 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 855196

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24027
/proc/meminfo: memFree=26966036/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=877684 CPUtime=1781.73 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 230455 0 0 0 177681 492 0 0 20 0 1 0 342155497 898748416 217019 33554432000 134512640 137136520 4292874304 4292873232 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 219421 217019 198 641 0 218777 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 877684

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

[startup+1792.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24027
/proc/meminfo: memFree=26955496/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=880300 CPUtime=1791.84 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 231109 0 0 0 178691 493 0 0 20 0 1 0 342155497 901427200 217673 33554432000 134512640 137136520 4292874304 4292873232 134543959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 220075 217673 198 641 0 219431 0
Current children cumulated CPU time (s) 1791.84
Current children cumulated vsize (KiB) 880300

[startup+1795.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24027
/proc/meminfo: memFree=26952148/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=881508 CPUtime=1795.03 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 231411 0 0 0 179010 493 0 0 20 0 1 0 342155497 902664192 217975 33554432000 134512640 137136520 4292874304 4292873232 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 220377 217975 198 641 0 219733 0
Current children cumulated CPU time (s) 1795.03
Current children cumulated vsize (KiB) 881508

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24027
/proc/meminfo: memFree=26950908/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=881904 CPUtime=1796.63 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 231510 0 0 0 179170 493 0 0 20 0 1 0 342155497 903069696 218074 33554432000 134512640 137136520 4292874304 4292873232 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 220476 218074 198 641 0 219832 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (KiB) 881904

[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24027
/proc/meminfo: memFree=26950040/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=881904 CPUtime=1797.43 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 231510 0 0 0 179250 493 0 0 20 0 1 0 342155497 903069696 218074 33554432000 134512640 137136520 4292874304 4292873232 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 220476 218074 198 641 0 219832 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 881904

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24027
/proc/meminfo: memFree=26950040/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=882292 CPUtime=1797.83 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 231607 0 0 0 179290 493 0 0 20 0 1 0 342155497 903467008 218171 33554432000 134512640 137136520 4292874304 4292873232 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 220573 218171 198 641 0 219929 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 882292

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24027
/proc/meminfo: memFree=26950040/32873844 swapFree=7632/7632
[pid=23929] ppid=23927 vsize=882292 CPUtime=1798.03 cores=1,3,5,7
/proc/23929/stat : 23929 (bsolo) R 23927 23929 17063 0 -1 4202496 231607 0 0 0 179310 493 0 0 20 0 1 0 342155497 903467008 218171 33554432000 134512640 137136520 4292874304 4292873232 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23929/statm: 220573 218171 198 641 0 219929 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 882292

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798.05
CPU user time (s): 1793.11
CPU system time (s): 4.94225
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 882292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.11
system time used= 4.94225
maximum resident set size= 872684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231608
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= 341
involuntary context switches= 1838

runsolver used 3.16352 second user time and 8.83266 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-03 23:51:52
IDJOB=3740831
IDBENCH=89637
IDSOLVER=2320
FILE ID=node141/3740831-1338760310
RUNJOBID= node141-1338758009-23436
PBS_JOBID= 14636770
Free space on /tmp= 70660 MiB

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

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

MD5SUM BENCH= 132271a8a55b01af9ffef359148ae5e1
RANDOM SEED=1866952993

node141.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.744
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.48
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.744
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.744
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.93
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.744
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.92
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.744
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.92
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.744
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	: 5331.91
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.744
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.92
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.744
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:        28067608 kB
Buffers:          432212 kB
Cached:          3324660 kB
SwapCached:          216 kB
Active:          1501260 kB
Inactive:        2419900 kB
Active(anon):     154744 kB
Inactive(anon):    11288 kB
Active(file):    1346516 kB
Inactive(file):  2408612 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:             53388 kB
Writeback:             0 kB
AnonPages:        173132 kB
Mapped:            11556 kB
Shmem:               172 kB
Slab:             743448 kB
SReclaimable:     185400 kB
SUnreclaim:       558048 kB
KernelStack:        1448 kB
PageTables:         4328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     284188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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-3740831-1338760310.opb

Free space on /tmp at the end= 70624 MiB
End job on node141 at 2012-06-04 00:21:50