Trace number 3743244

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb
MD5SUMfd17a1ef8bbc0500cef6aa90a9a85c00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-9733
Best CPU time to get the best result obtained on this benchmark1801.26
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 995
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 442322
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 995
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 442322
Number of bits of the biggest sum of numbers19
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-3743244-1338795228.opb
0.00/0.00	c File size is 28226240 bytes.
3.59/3.63	c Highest Coefficient sum: 442322
3.59/3.63	c Parsing was ok!!
3.59/3.63	c Total parsing time: 3.634 s
4.09/4.12	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260446
4.09/4.12	c Obj. Vars: 892 (0.222502 % of total variables)
182.93/183.06	c Pre-processing Time: 183.001 s
182.93/183.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.93/183.07	c        0 399937   401643  2331966    5  1257083  500000      0      0 183.00
182.93/183.07	c Switching off lower bounding mode.
1797.97/1798.34	c      101 397565   401745  2360857    5  1257545  550001    102      0 190.69
1797.97/1798.34	c      251 397565   401903  2478232    6  1257874  605002    260      1 208.10
1797.97/1798.34	c      476 397565   402129  2554554    6  1258337  665503    486      2 219.69
1797.97/1798.34	c      814 397565   402472  2672147    6  1259016  732054    829      3 235.48
1797.97/1798.34	c     1322 397565   402993  2883167    7  1260079  805260   1350      4 268.26
1797.97/1798.34	c     2087 397565   403798  3192461    7  1262246  885787   2155      6 327.44
1797.97/1798.34	c     3234 397565   405052  3917180    9  1266105  974366   3409      7 421.90
1797.97/1798.34	c     4955 397565   406856  4841462   11  1270008  500000   5213      8 561.00
1797.97/1798.34	c     7539 397565   409627  6252181   15  1276232  550001   7984      9 778.98
1797.97/1798.34	c    11418 397565   413687  8146682   19  1285272  605002  12044      9 1259.18
1797.97/1798.34	c Resources Exceeded
1797.97/1798.34	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.34	c   10    15840   9894  1857433   418518 10842074  16875      8 1798.03
1797.97/1798.34	s UNKNOWN
1797.97/1798.34	c Total time: 1798.03 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-3743244-1338795228/watcher-3743244-1338795228 -o /tmp/evaluation-result-3743244-1338795228/solver-3743244-1338795228 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743244-1338795228.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.03 2.01 2.00 3/175 1145
/proc/meminfo: memFree=26334720/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=38644 CPUtime=0 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 345651507 39571456 306 33554432000 134512640 137136520 4292579664 4292577880 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 9661 306 183 641 0 2125 0

[startup+0.045808 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1145
/proc/meminfo: memFree=26334720/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=40908 CPUtime=0.04 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 1090 0 0 0 4 0 0 0 20 0 1 0 345651507 41889792 1003 33554432000 134512640 137136520 4292579664 4292578016 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 10227 1003 310 641 0 2691 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 40908

[startup+0.100264 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1145
/proc/meminfo: memFree=26334720/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=43040 CPUtime=0.09 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 1794 0 0 0 9 0 0 0 20 0 1 0 345651507 44072960 1707 33554432000 134512640 137136520 4292579664 4292578348 134538512 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 10793 1708 456 641 0 3257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43040

[startup+0.300274 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1145
/proc/meminfo: memFree=26334720/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=49736 CPUtime=0.29 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 4081 0 0 0 29 0 0 0 20 0 1 0 345651507 50929664 3866 33554432000 134512640 137136520 4292579664 4292578424 134519475 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 12434 3867 982 641 0 4898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49736

[startup+0.700277 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1145
/proc/meminfo: memFree=26334720/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=62864 CPUtime=0.69 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 8552 0 0 0 68 1 0 0 20 0 1 0 345651507 64372736 8083 33554432000 134512640 137136520 4292579664 4292578056 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 15716 8084 1952 641 0 8180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62864

[startup+1.50027 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 1146
/proc/meminfo: memFree=26299604/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=89648 CPUtime=1.49 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 17375 0 0 0 147 2 0 0 20 0 1 0 345651507 91799552 16400 33554432000 134512640 137136520 4292579664 4292578176 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 22412 16400 3623 641 0 14876 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89648

[startup+3.10028 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 1146
/proc/meminfo: memFree=26266308/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=121908 CPUtime=3.09 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 27945 0 0 0 304 5 0 0 20 0 1 0 345651507 124833792 26981 33554432000 134512640 137136520 4292579664 4292578144 134516215 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 30477 26981 6332 641 0 22941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121908

[startup+6.30028 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 1146
/proc/meminfo: memFree=26175028/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=175392 CPUtime=6.29 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 44523 0 0 0 622 7 0 0 20 0 1 0 345651507 179601408 40130 33554432000 134512640 137136520 4292579664 4287767336 136502192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 43848 40130 189 641 0 43204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175392

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1146
/proc/meminfo: memFree=26174904/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=175392 CPUtime=12.69 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 44524 0 0 0 1262 7 0 0 20 0 1 0 345651507 179601408 40131 33554432000 134512640 137136520 4292579664 4287767424 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 43848 40131 189 641 0 43204 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175392

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1146
/proc/meminfo: memFree=26175276/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=175392 CPUtime=25.49 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 44524 0 0 0 2542 7 0 0 20 0 1 0 345651507 179601408 40131 33554432000 134512640 137136520 4292579664 4287767208 136502025 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 43848 40131 189 641 0 43204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175392

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1147
/proc/meminfo: memFree=26174864/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=175524 CPUtime=51.08 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 44532 0 0 0 5101 7 0 0 20 0 1 0 345651507 179736576 40139 33554432000 134512640 137136520 4292579664 4287767124 136498219 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 43881 40139 189 641 0 43237 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175524

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1147
/proc/meminfo: memFree=26169292/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=175524 CPUtime=102.28 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 44532 0 0 0 10220 8 0 0 20 0 1 0 345651507 179736576 40139 33554432000 134512640 137136520 4292579664 4287767160 136502385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 43881 40139 189 641 0 43237 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 175524

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1147
/proc/meminfo: memFree=26166840/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=175524 CPUtime=162.24 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 44570 0 0 0 16215 9 0 0 20 0 1 0 345651507 179736576 40140 33554432000 134512640 137136520 4292579664 4287767648 134563024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 43881 40140 189 641 0 43237 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 175524

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1147
/proc/meminfo: memFree=26148328/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=181160 CPUtime=222.22 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 590186 0 0 0 22049 173 0 0 20 0 1 0 345651507 185507840 42704 33554432000 134512640 137136520 4292579664 4292578256 134616680 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 45290 42704 198 641 0 44646 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 181160

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1148
/proc/meminfo: memFree=26145352/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=185532 CPUtime=282.22 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 1623033 0 0 0 27827 395 0 0 20 0 1 0 345651507 189984768 43797 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 46383 43797 198 641 0 45739 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 185532

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1148
/proc/meminfo: memFree=26140944/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=189868 CPUtime=342.21 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 2547696 0 0 0 33639 582 0 0 20 0 1 0 345651507 194424832 44881 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 47467 44881 198 641 0 46823 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 189868

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1151
/proc/meminfo: memFree=26133176/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=196236 CPUtime=402.19 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 3279019 0 0 0 39491 728 0 0 20 0 1 0 345651507 200945664 46473 33554432000 134512640 137136520 4292579664 4292578252 136295552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 49059 46473 198 641 0 48415 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 196236

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1151
/proc/meminfo: memFree=26127532/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=200468 CPUtime=462.18 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 3891456 0 0 0 45362 856 0 0 20 0 1 0 345651507 205279232 47531 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 50117 47531 198 641 0 49473 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 200468

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1151
/proc/meminfo: memFree=26126540/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=205984 CPUtime=522.18 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 4327410 0 0 0 51270 948 0 0 20 0 1 0 345651507 210927616 48542 33554432000 134512640 137136520 4292579664 4292578192 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 51496 48556 198 641 0 50852 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 205984

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1152
/proc/meminfo: memFree=26113264/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=209336 CPUtime=582.17 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 5389515 0 0 0 57051 1166 0 0 20 0 1 0 345651507 214360064 49748 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 52334 49748 198 641 0 51690 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 209336

[startup+642.3 s]

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

/proc/meminfo: memFree=26065844/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=240928 CPUtime=1062.08 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 10014818 0 0 0 104069 2139 0 0 20 0 1 0 345651507 246710272 57646 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 60232 57646 198 641 0 59588 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 240928

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1156
/proc/meminfo: memFree=26063292/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=243008 CPUtime=1122.07 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 10306506 0 0 0 110008 2199 0 0 20 0 1 0 345651507 248840192 58166 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 60752 58166 198 641 0 60108 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 243008

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26062424/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=247076 CPUtime=1182.07 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 10655613 0 0 0 115936 2271 0 0 20 0 1 0 345651507 253005824 59151 33554432000 134512640 137136520 4292579664 4292578196 134551976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 61769 59151 198 641 0 61125 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 247076

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26051684/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=248824 CPUtime=1242.06 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 11039567 0 0 0 121853 2353 0 0 20 0 1 0 345651507 254795776 59620 33554432000 134512640 137136520 4292579664 4292578304 134606742 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 62206 59620 198 641 0 61562 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 248824

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26048336/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=255544 CPUtime=1302.05 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 11692245 0 0 0 127721 2484 0 0 20 0 1 0 345651507 261677056 61086 33554432000 134512640 137136520 4292579664 4292578008 134598538 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 63886 61086 198 641 0 63242 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 255544

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26042936/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=257180 CPUtime=1362.04 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 12128787 0 0 0 133629 2575 0 0 20 0 1 0 345651507 263352320 61677 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 64295 61677 198 641 0 63651 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 257180

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1157
/proc/meminfo: memFree=26036860/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=261228 CPUtime=1422.04 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 12555981 0 0 0 139541 2663 0 0 20 0 1 0 345651507 267497472 62689 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 65307 62689 198 641 0 64663 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 261228

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1158
/proc/meminfo: memFree=26032520/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=264476 CPUtime=1482.02 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 13006364 0 0 0 145446 2756 0 0 20 0 1 0 345651507 270823424 63501 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 66119 63501 198 641 0 65475 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 264476

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1158
/proc/meminfo: memFree=26025864/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=269216 CPUtime=1542.01 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 13441198 0 0 0 151353 2848 0 0 20 0 1 0 345651507 275677184 64686 33554432000 134512640 137136520 4292579664 4291885504 134607171 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 67304 64686 198 641 0 66660 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 269216

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1161
/proc/meminfo: memFree=26022448/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=274688 CPUtime=1602 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 14087082 0 0 0 157220 2980 0 0 20 0 1 0 345651507 281280512 66086 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 68672 66086 198 641 0 68028 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 274688

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 1184
/proc/meminfo: memFree=26016672/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=277948 CPUtime=1661.99 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 14462624 0 0 0 163144 3055 0 0 20 0 1 0 345651507 284618752 66869 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 69487 66869 198 641 0 68843 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 277948

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1184
/proc/meminfo: memFree=26010724/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=279696 CPUtime=1721.99 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 14818973 0 0 0 169071 3128 0 0 20 0 1 0 345651507 286408704 67337 33554432000 134512640 137136520 4292579664 4292578256 134616688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 69924 67337 198 641 0 69280 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 279696

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1233
/proc/meminfo: memFree=26059508/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=284444 CPUtime=1781.98 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 15347742 0 0 0 174970 3228 0 0 20 0 1 0 345651507 291270656 68493 33554432000 134512640 137136520 4292579664 4292578256 134616845 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 71111 68493 198 641 0 70467 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 284444

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1233
/proc/meminfo: memFree=26058392/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=284304 CPUtime=1791.58 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 15458099 0 0 0 175908 3250 0 0 20 0 1 0 345651507 291127296 68490 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 71076 68490 198 641 0 70432 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 284304

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1233
/proc/meminfo: memFree=26058020/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=284648 CPUtime=1794.78 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 15478480 0 0 0 176224 3254 0 0 20 0 1 0 345651507 291479552 68576 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 71162 68576 198 641 0 70518 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 284648

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1233
/proc/meminfo: memFree=26058640/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=285360 CPUtime=1796.37 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 15500823 0 0 0 176378 3259 0 0 20 0 1 0 345651507 292208640 68754 33554432000 134512640 137136520 4292579664 4292578244 136295556 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 71340 68754 198 641 0 70696 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 285360

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1233
/proc/meminfo: memFree=26057524/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=285304 CPUtime=1797.18 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 15516398 0 0 0 176455 3263 0 0 20 0 1 0 345651507 292151296 68708 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 71326 68708 198 641 0 70682 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 285304

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1233
/proc/meminfo: memFree=26057524/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=285304 CPUtime=1797.58 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 15525118 0 0 0 176494 3264 0 0 20 0 1 0 345651507 292151296 68708 33554432000 134512640 137136520 4292579664 4292578432 134573439 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 71326 68708 198 641 0 70682 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 285304

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1233
/proc/meminfo: memFree=26057524/32873844 swapFree=7116/7116
[pid=1145] ppid=1143 vsize=285304 CPUtime=1797.97 cores=0,2,4,6
/proc/1145/stat : 1145 (bsolo) R 1143 1145 32710 0 -1 4202496 15529478 0 0 0 176533 3264 0 0 20 0 1 0 345651507 292151296 68708 33554432000 134512640 137136520 4292579664 4292578256 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1145/statm: 71326 68708 198 641 0 70682 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 285304

Child status: 0
Real time (s): 1798.35
CPU time (s): 1798.03
CPU user time (s): 1765.38
CPU system time (s): 32.651
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 287252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.38
system time used= 32.651
maximum resident set size= 277196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15530122
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= 75
involuntary context switches= 1916

runsolver used 6.76997 second user time and 13.5239 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-04 09:33:49
IDJOB=3743244
IDBENCH=90935
IDSOLVER=2320
FILE ID=node108/3743244-1338795228
RUNJOBID= node108-1338784364-32726
PBS_JOBID= 14636848
Free space on /tmp= 71416 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743244-1338795228/watcher-3743244-1338795228 -o /tmp/evaluation-result-3743244-1338795228/solver-3743244-1338795228 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3743244-1338795228.opb

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

MD5SUM BENCH= fd17a1ef8bbc0500cef6aa90a9a85c00
RANDOM SEED=1047833680

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.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.273
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.90
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.273
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:        26335612 kB
Buffers:         1780560 kB
Cached:          3720212 kB
SwapCached:          112 kB
Active:          3596908 kB
Inactive:        2086108 kB
Active(anon):     165552 kB
Inactive(anon):    13072 kB
Active(file):    3431356 kB
Inactive(file):  2073036 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:             31504 kB
Writeback:             0 kB
AnonPages:        185172 kB
Mapped:            14956 kB
Shmem:               172 kB
Slab:             717300 kB
SReclaimable:     158472 kB
SUnreclaim:       558828 kB
KernelStack:        1440 kB
PageTables:         4216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     302440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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-3743244-1338795228.opb

Free space on /tmp at the end= 71412 MiB
End job on node108 at 2012-06-04 10:03:48